runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand461.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand461.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand461.cudf.dudf-random.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.85 1.01 0.99 5/38 26856
/proc/meminfo: memFree=474408/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=11356 CPUtime=0.01
/proc/26855/stat : 26855 (java) R 26854 26854 22717 34817 22717 4202496 918 0 0 0 0 1 0 0 25 0 2 0 72161442 11628544 651 1283457024 134512640 134550932 4290962752 18446744073709551615 4158971496 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 2839 651 285 10 0 1185 0
[pid=26855/tid=26856] ppid=26854 vsize=11356 CPUtime=0
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 2 0 72161443 11628544 651 1283457024 134512640 134550932 4290962752 18446744073709551615 4158971496 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.175153 s]
/proc/loadavg: 0.85 1.01 0.99 5/38 26856
/proc/meminfo: memFree=474408/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=410064 CPUtime=0.18
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 4434 0 1 0 16 2 0 0 25 0 9 0 72161442 419905536 3862 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 102516 3862 1935 10 0 96664 0
[pid=26855/tid=26856] ppid=26854 vsize=410064 CPUtime=0.15
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 3233 0 1 0 15 0 0 0 25 0 9 0 72161443 419905536 3862 1283457024 134512640 134550932 4290962752 18446744073709551615 4114309645 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412628

[startup+0.205154 s]
/proc/loadavg: 0.85 1.01 0.99 5/38 26856
/proc/meminfo: memFree=474408/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=410064 CPUtime=0.21
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 4626 0 1 0 19 2 0 0 25 0 9 0 72161442 419905536 4054 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 102516 4054 1935 10 0 96664 0
[pid=26855/tid=26856] ppid=26854 vsize=410064 CPUtime=0.18
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 3425 0 1 0 18 0 0 0 25 0 9 0 72161443 419905536 4054 1283457024 134512640 134550932 4290962752 18446744073709551615 4114749283 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412628

[startup+0.305181 s]
/proc/loadavg: 0.85 1.01 0.99 5/38 26856
/proc/meminfo: memFree=474408/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=410064 CPUtime=0.31
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 5282 0 1 0 29 2 0 0 25 0 9 0 72161442 419905536 4709 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 102516 4709 1941 10 0 96664 0
[pid=26855/tid=26856] ppid=26854 vsize=410064 CPUtime=0.27
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 3512 0 1 0 27 0 0 0 25 0 9 0 72161443 419905536 4709 1283457024 134512640 134550932 4290962752 18446744073709551615 4114321586 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412628

[startup+0.705302 s]
/proc/loadavg: 0.85 1.01 0.99 5/38 26856
/proc/meminfo: memFree=474408/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=410748 CPUtime=0.7
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 12773 0 1 0 68 2 0 0 25 0 9 0 72161442 420605952 12013 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 102687 12013 2901 10 0 96835 0
[pid=26855/tid=26856] ppid=26854 vsize=410748 CPUtime=0.47
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 4184 0 1 0 47 0 0 0 25 0 9 0 72161443 420605952 12013 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413312

[startup+1.50549 s]
/proc/loadavg: 1.02 1.04 1.01 2/46 26864
/proc/meminfo: memFree=417044/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=410748 CPUtime=1.5
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 27566 0 1 0 143 7 0 0 25 0 9 0 72161442 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 102687 26806 2901 10 0 96835 0
[pid=26855/tid=26856] ppid=26854 vsize=410748 CPUtime=0.79
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 6760 0 1 0 76 3 0 0 25 0 9 0 72161443 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=410748 CPUtime=0.65
/proc/26855/task/26858/stat : 26858 (java) R 26854 26854 22717 34817 22717 4202560 19419 0 0 0 62 3 0 0 18 0 9 0 72161444 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4150956080 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72161444 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72161444 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=410748 CPUtime=0.04
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 446 0 0 0 4 0 0 0 20 0 9 0 72161445 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72161445 420605952 26806 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413312

[startup+3.1069 s]
/proc/loadavg: 1.02 1.04 1.01 2/46 26864
/proc/meminfo: memFree=344504/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=410748 CPUtime=3.1
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 49153 0 1 0 301 9 0 0 25 0 9 0 72161442 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 102687 48393 2901 10 0 96835 0
[pid=26855/tid=26856] ppid=26854 vsize=410748 CPUtime=1.41
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 13944 0 1 0 137 4 0 0 25 0 9 0 72161443 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=410748 CPUtime=1.63
/proc/26855/task/26858/stat : 26858 (java) R 26854 26854 22717 34817 22717 4202560 33817 0 0 0 160 3 0 0 16 0 9 0 72161444 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4150956151 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72161444 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72161444 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=410748 CPUtime=0.04
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 451 0 0 0 4 0 0 0 16 0 9 0 72161445 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=410748 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72161445 420605952 48393 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413312

[startup+6.30775 s]
/proc/loadavg: 1.02 1.04 1.01 3/46 26864
/proc/meminfo: memFree=207732/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=438864 CPUtime=6.29
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 77991 0 1 0 608 21 0 0 25 0 9 0 72161442 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 109716 77225 2903 10 0 103864 0
[pid=26855/tid=26856] ppid=26854 vsize=438864 CPUtime=2.31
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 13962 0 1 0 223 8 0 0 25 0 9 0 72161443 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=438864 CPUtime=3.9
/proc/26855/task/26858/stat : 26858 (java) R 26854 26854 22717 34817 22717 4202560 62617 0 0 0 378 12 0 0 16 0 9 0 72161444 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4152687202 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=438864 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72161444 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=438864 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72161444 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=438864 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=438864 CPUtime=0.06
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 471 0 0 0 6 0 0 0 16 0 9 0 72161445 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=438864 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=438864 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72161445 449396736 77225 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 441428

[startup+12.7095 s]
/proc/loadavg: 1.10 1.05 1.01 2/46 26864
/proc/meminfo: memFree=176732/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=413972 CPUtime=12.7
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104256 0 1 0 1236 34 0 0 25 0 9 0 72161442 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103493 71196 2918 10 0 97638 0
[pid=26855/tid=26856] ppid=26854 vsize=413972 CPUtime=3.21
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14198 0 1 0 313 8 0 0 25 0 9 0 72161443 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=413972 CPUtime=9.36
/proc/26855/task/26858/stat : 26858 (java) R 26854 26854 22717 34817 22717 4202560 88613 0 0 0 912 24 0 0 16 0 9 0 72161444 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4152688161 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=413972 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72161444 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=413972 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72161444 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=413972 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=413972 CPUtime=0.1
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 504 0 0 0 10 0 0 0 15 0 9 0 72161445 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=413972 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=413972 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) R 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72161445 423907328 71196 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 416536

[startup+25.5131 s]
/proc/loadavg: 1.08 1.05 1.01 3/47 26865
/proc/meminfo: memFree=201152/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=25.48
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104337 0 1 0 2514 34 0 0 25 0 10 0 72161442 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71276 2922 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=15.53
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14215 0 1 0 1545 8 0 0 25 0 10 0 72161443 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4115280181 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=9.76
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 952 24 0 0 15 0 10 0 72161444 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 562 0 0 0 16 0 0 0 15 0 10 0 72161445 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72161445 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26865] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26865/stat : 26865 (java) S 26854 26854 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72162726 424239104 71276 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 416860

[startup+51.1096 s]
/proc/loadavg: 1.12 1.06 1.01 2/47 26865
/proc/meminfo: memFree=201152/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=51.04
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104340 0 1 0 5070 34 0 0 25 0 10 0 72161442 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71279 2922 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=40.37
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 4029 8 0 0 25 0 10 0 72161443 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4115165670 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=10.48
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1024 24 0 0 15 0 10 0 72161444 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 564 0 0 0 16 0 0 0 15 0 10 0 72161445 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72161445 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26865] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26865/stat : 26865 (java) S 26854 26854 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72162726 424239104 71279 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 416860

[startup+102.307 s]
/proc/loadavg: 1.05 1.05 1.01 2/47 26865
/proc/meminfo: memFree=201152/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=102.2
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104343 0 1 0 10185 35 0 0 25 0 10 0 72161442 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71282 2922 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=90.86
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 9077 9 0 0 25 0 10 0 72161443 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4115344133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=11.14
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1090 24 0 0 15 0 10 0 72161444 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 567 0 0 0 16 0 0 0 15 0 10 0 72161445 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72161445 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26865] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26865/stat : 26865 (java) S 26854 26854 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72162726 424239104 71282 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 416860

[startup+162.312 s]
/proc/loadavg: 1.02 1.04 1.00 2/47 26865
/proc/meminfo: memFree=201028/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=162.15
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104349 0 1 0 16180 35 0 0 25 0 10 0 72161442 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71288 2922 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=150.47
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 15038 9 0 0 25 0 10 0 72161443 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4115237372 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=11.48
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1124 24 0 0 15 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 573 0 0 0 16 0 0 0 15 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26865] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26865/stat : 26865 (java) S 26854 26854 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72162726 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 416860

[startup+222.306 s]
/proc/loadavg: 1.00 1.03 1.00 2/49 26869
/proc/meminfo: memFree=200880/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=222.11
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104349 0 1 0 22175 36 0 0 25 0 10 0 72161442 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71288 2922 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=210.04
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 20994 10 0 0 25 0 10 0 72161443 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4115344133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=11.87
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1163 24 0 0 16 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 573 0 0 0 16 0 0 0 15 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26865] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26865/stat : 26865 (java) S 26854 26854 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72162726 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 416860

[startup+282.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/49 26875
/proc/meminfo: memFree=200756/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=282.1
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104349 0 1 0 28172 38 0 0 25 0 10 0 72161442 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71288 2922 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=269.71
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 26961 10 0 0 25 0 10 0 72161443 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4115237385 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=12.2
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1194 26 0 0 15 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 573 0 0 0 16 0 0 0 15 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26865] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26865/stat : 26865 (java) S 26854 26854 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72162726 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 416860

Solver just ended. Dumping a history of the last processes samples

[startup+284.611 s]
/proc/loadavg: 1.00 1.02 1.00 2/49 26875
/proc/meminfo: memFree=200756/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=284.4
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104349 0 1 0 28402 38 0 0 25 0 10 0 72161442 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71288 2922 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=272
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 27190 10 0 0 25 0 10 0 72161443 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4115197602 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=12.2
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1194 26 0 0 15 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72161444 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 573 0 0 0 16 0 0 0 15 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72161445 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26865] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26865/stat : 26865 (java) S 26854 26854 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72162726 424239104 71288 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.4
Current children cumulated vsize (KiB) 416860

[startup+285.411 s]
/proc/loadavg: 1.00 1.02 1.00 2/49 26875
/proc/meminfo: memFree=200756/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=285.2
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104350 0 1 0 28482 38 0 0 25 0 9 0 72161442 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71289 2923 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=272.79
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 27269 10 0 0 25 0 9 0 72161443 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4115291074 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=12.22
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1196 26 0 0 16 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 573 0 0 0 16 0 0 0 15 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.2
Current children cumulated vsize (KiB) 416860

[startup+285.811 s]
/proc/loadavg: 1.00 1.02 1.00 2/48 26876
/proc/meminfo: memFree=200764/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=285.6
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104350 0 1 0 28522 38 0 0 25 0 9 0 72161442 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71289 2923 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=273.19
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 27309 10 0 0 25 0 9 0 72161443 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4115344133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=12.22
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1196 26 0 0 16 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 573 0 0 0 16 0 0 0 15 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.6
Current children cumulated vsize (KiB) 416860

[startup+286.011 s]
/proc/loadavg: 1.00 1.02 1.00 2/48 26876
/proc/meminfo: memFree=200764/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=285.8
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104350 0 1 0 28542 38 0 0 25 0 9 0 72161442 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71289 2923 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=273.39
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 27329 10 0 0 25 0 9 0 72161443 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4115344133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=12.22
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1196 26 0 0 16 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 573 0 0 0 16 0 0 0 15 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.8
Current children cumulated vsize (KiB) 416860

[startup+286.111 s]
/proc/loadavg: 1.00 1.02 1.00 2/48 26876
/proc/meminfo: memFree=200764/1048576 swapFree=0/0
[pid=26854] ppid=26853 vsize=2564 CPUtime=0
/proc/26854/stat : 26854 (gj-user-solver-) S 26853 26854 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72161442 2625536 269 1283457024 134512640 135304128 4289346640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26854/statm: 641 269 229 194 0 28 0
[pid=26855] ppid=26854 vsize=414296 CPUtime=285.9
/proc/26855/stat : 26855 (java) S 26854 26854 22717 34817 22717 4202496 104350 0 1 0 28552 38 0 0 25 0 9 0 72161442 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26855/statm: 103574 71289 2923 10 0 97719 0
[pid=26855/tid=26856] ppid=26854 vsize=414296 CPUtime=273.49
/proc/26855/task/26856/stat : 26856 (java) R 26854 26854 22717 34817 22717 4202560 14216 0 1 0 27339 10 0 0 25 0 9 0 72161443 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4114885199 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26855/tid=26858] ppid=26854 vsize=414296 CPUtime=12.22
/proc/26855/task/26858/stat : 26858 (java) S 26854 26854 22717 34817 22717 4202560 88615 0 0 0 1196 26 0 0 15 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 0 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26859] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26859/stat : 26859 (java) S 26854 26854 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26860] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26860/stat : 26860 (java) S 26854 26854 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72161444 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26861] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26861/stat : 26861 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26862] ppid=26854 vsize=414296 CPUtime=0.16
/proc/26855/task/26862/stat : 26862 (java) S 26854 26854 22717 34817 22717 4202560 573 0 0 0 16 0 0 0 15 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26863] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26863/stat : 26863 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
[pid=26855/tid=26864] ppid=26854 vsize=414296 CPUtime=0
/proc/26855/task/26864/stat : 26864 (java) S 26854 26854 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72161445 424239104 71289 1283457024 134512640 134550932 4290962752 18446744073709551615 4294960130 0 4 0 16800975 18446612133256533312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.9
Current children cumulated vsize (KiB) 416860

Child status: 0
Real time (s): 286.194
CPU time (s): 285.938
CPU user time (s): 285.546
CPU system time (s): 0.392024
CPU usage (%): 99.9105
Max. virtual memory (cumulated for all children) (KiB): 441632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.546
system time used= 0.392024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104738
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6780
involuntary context switches= 9995

runsolver used 0 second user time and 0 second system time

The end