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/rand192.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand192.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand192.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.84 0.61 0.26 1/38 22777
/proc/meminfo: memFree=956372/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=3020 CPUtime=0
/proc/22777/stat : 22777 (runsolver) D 22776 22777 22717 34817 22717 4202560 73 0 0 0 0 0 0 0 24 0 1 0 71622848 3092480 94 1283457024 134512640 134586868 4294342752 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/22777/statm: 755 94 62 19 0 54 0

[startup+0.13271 s]
/proc/loadavg: 0.84 0.61 0.26 1/38 22777
/proc/meminfo: memFree=956372/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2564

[startup+0.204735 s]
/proc/loadavg: 0.84 0.61 0.26 1/38 22777
/proc/meminfo: memFree=956372/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2564

[startup+0.304748 s]
/proc/loadavg: 0.84 0.61 0.26 1/38 22777
/proc/meminfo: memFree=956372/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2564

[startup+0.704772 s]
/proc/loadavg: 0.84 0.61 0.26 1/38 22777
/proc/meminfo: memFree=956372/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2564

[startup+1.50478 s]
/proc/loadavg: 0.84 0.61 0.26 3/48 22787
/proc/meminfo: memFree=933528/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=411552 CPUtime=0.28
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 9265 0 242 0 26 2 0 0 23 0 9 0 71622849 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 102888 8746 2901 10 0 97036 0
[pid=22779/tid=22780] ppid=22777 vsize=411552 CPUtime=0.18
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 3374 0 152 0 17 1 0 0 21 0 9 0 71622872 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4115328466 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=411552 CPUtime=0.07
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 4568 0 27 0 7 0 0 0 16 0 9 0 71622897 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=411552 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 71622904 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=411552 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71622904 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=411552 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 71622924 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=411552 CPUtime=0.02
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 439 0 5 0 2 0 0 0 18 0 9 0 71622924 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=411552 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71622924 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=411552 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 18 0 9 0 71622924 421429248 8746 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 414116

[startup+3.1049 s]
/proc/loadavg: 0.93 0.63 0.27 3/48 22787
/proc/meminfo: memFree=865348/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=411684 CPUtime=1.78
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 36133 0 242 0 165 13 0 0 23 0 9 0 71622849 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 102921 35614 2901 10 0 97069 0
[pid=22779/tid=22780] ppid=22777 vsize=411684 CPUtime=0.72
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 9262 0 152 0 67 5 0 0 22 0 9 0 71622872 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4115338076 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=411684 CPUtime=1.01
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 25542 0 27 0 94 7 0 0 16 0 9 0 71622897 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=411684 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 71622904 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=411684 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71622904 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=411684 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 71622924 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=411684 CPUtime=0.03
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 445 0 5 0 3 0 0 0 15 0 9 0 71622924 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=411684 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71622924 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=411684 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71622924 421564416 35614 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 414248
heavy processes:

[startup+6.30588 s]
/proc/loadavg: 0.93 0.63 0.27 3/48 22788
/proc/meminfo: memFree=645688/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=411816 CPUtime=4.87
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 69966 0 243 0 466 21 0 0 23 0 9 0 71622849 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 102954 69442 2903 10 0 97102 0
[pid=22779/tid=22780] ppid=22777 vsize=411816 CPUtime=1.72
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 13808 0 153 0 166 6 0 0 25 0 9 0 71622872 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=411816 CPUtime=3.08
/proc/22779/task/22781/stat : 22781 (java) R 22777 22777 22717 34817 22717 4202560 54806 0 27 0 294 14 0 0 16 0 9 0 71622897 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4153281122 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=411816 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 71622904 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=411816 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71622904 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=411816 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 71622924 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=411816 CPUtime=0.05
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 468 0 5 0 5 0 0 0 15 0 9 0 71622924 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=411816 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71622924 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=411816 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71622924 421699584 69442 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 414380
heavy processes:

[startup+12.7066 s]
/proc/loadavg: 1.10 0.68 0.29 3/48 22788
/proc/meminfo: memFree=635552/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=439840 CPUtime=11.12
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103644 0 249 0 1081 31 0 0 23 0 9 0 71622849 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 109960 77427 2918 10 0 104105 0
[pid=22779/tid=22780] ppid=22777 vsize=439840 CPUtime=2.66
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14037 0 159 0 260 6 0 0 25 0 9 0 71622872 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=439840 CPUtime=8.38
/proc/22779/task/22781/stat : 22781 (java) R 22777 22777 22717 34817 22717 4202560 88233 0 27 0 814 24 0 0 16 0 9 0 71622897 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4152662555 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=439840 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 71622904 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=439840 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71622904 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=439840 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 71622924 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=439840 CPUtime=0.06
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 490 0 5 0 6 0 0 0 15 0 9 0 71622924 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=439840 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71622924 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=439840 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71622924 450396160 77427 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.12
Current children cumulated vsize (KiB) 442404

[startup+25.505 s]
/proc/loadavg: 1.08 0.69 0.30 2/49 22791
/proc/meminfo: memFree=634924/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=23.9
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103744 0 249 0 2355 35 0 0 23 0 10 0 71622849 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71298 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=14.01
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14060 0 159 0 1393 8 0 0 25 0 10 0 71622872 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4115805802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=9.76
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 950 26 0 0 16 0 10 0 71622897 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.12
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 560 0 5 0 12 0 0 0 15 0 10 0 71622924 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71298 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.9
Current children cumulated vsize (KiB) 417792

[startup+51.1116 s]
/proc/loadavg: 1.05 0.71 0.31 2/49 22793
/proc/meminfo: memFree=634924/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=49.5
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103747 0 249 0 4914 36 0 0 23 0 10 0 71622849 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71301 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=38.54
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14061 0 159 0 3845 9 0 0 25 0 10 0 71622872 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4115902213 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=10.82
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1056 26 0 0 16 0 10 0 71622897 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 562 0 5 0 13 0 0 0 15 0 10 0 71622924 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.5
Current children cumulated vsize (KiB) 417792

[startup+102.304 s]
/proc/loadavg: 1.02 0.76 0.35 2/48 22794
/proc/meminfo: memFree=634940/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=100.66
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103747 0 249 0 10030 36 0 0 23 0 10 0 71622849 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71301 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=88.28
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14061 0 159 0 8819 9 0 0 25 0 10 0 71622872 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4115800106 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=12.24
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1198 26 0 0 15 0 10 0 71622897 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 562 0 5 0 13 0 0 0 15 0 10 0 71622924 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71301 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.66
Current children cumulated vsize (KiB) 417792

[startup+162.309 s]
/proc/loadavg: 1.00 0.80 0.39 2/47 22794
/proc/meminfo: memFree=634948/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=160.61
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103748 0 249 0 16021 40 0 0 23 0 10 0 71622849 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71302 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=147.73
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14061 0 159 0 14760 13 0 0 25 0 10 0 71622872 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4115794599 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=12.74
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1248 26 0 0 15 0 10 0 71622897 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 563 0 5 0 13 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.61
Current children cumulated vsize (KiB) 417792

[startup+222.307 s]
/proc/loadavg: 1.00 0.83 0.42 2/47 22794
/proc/meminfo: memFree=634948/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=220.57
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103748 0 249 0 22017 40 0 0 23 0 10 0 71622849 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71302 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=206.88
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14061 0 159 0 20674 14 0 0 25 0 10 0 71622872 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4115901769 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=13.56
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1330 26 0 0 15 0 10 0 71622897 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 563 0 5 0 13 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.57
Current children cumulated vsize (KiB) 417792

[startup+282.31 s]
/proc/loadavg: 1.00 0.86 0.46 2/47 22794
/proc/meminfo: memFree=634948/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=280.53
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103748 0 249 0 28011 42 0 0 23 0 10 0 71622849 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71302 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=266.48
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14061 0 159 0 26633 15 0 0 25 0 10 0 71622872 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4115801326 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=13.9
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1364 26 0 0 16 0 10 0 71622897 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 563 0 5 0 13 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.53
Current children cumulated vsize (KiB) 417792

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

[startup+284.611 s]
/proc/loadavg: 1.00 0.86 0.46 2/47 22794
/proc/meminfo: memFree=634948/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=282.83
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103748 0 249 0 28241 42 0 0 23 0 10 0 71622849 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71302 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=268.78
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14061 0 159 0 26863 15 0 0 25 0 10 0 71622872 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4115945220 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=13.9
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1364 26 0 0 15 0 10 0 71622897 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 563 0 5 0 13 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.83
Current children cumulated vsize (KiB) 417792

[startup+285.411 s]
/proc/loadavg: 1.00 0.86 0.46 2/47 22794
/proc/meminfo: memFree=634948/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=283.63
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103748 0 249 0 28321 42 0 0 23 0 10 0 71622849 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71302 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=269.58
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14061 0 159 0 26943 15 0 0 25 0 10 0 71622872 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4115901769 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=13.9
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1364 26 0 0 15 0 10 0 71622897 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 563 0 5 0 13 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.63
Current children cumulated vsize (KiB) 417792

[startup+285.811 s]
/proc/loadavg: 1.00 0.86 0.46 2/47 22794
/proc/meminfo: memFree=634948/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=284.02
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103748 0 249 0 28360 42 0 0 23 0 10 0 71622849 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71302 2922 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=269.97
/proc/22779/task/22780/stat : 22780 (java) R 22777 22777 22717 34817 22717 4202560 14061 0 159 0 26982 15 0 0 25 0 10 0 71622872 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4115751412 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=13.9
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1364 26 0 0 15 0 10 0 71622897 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71622904 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 563 0 5 0 13 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71622924 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22790] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22790/stat : 22790 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71624245 425193472 71302 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.02
Current children cumulated vsize (KiB) 417792

[startup+286.203 s]
/proc/loadavg: 1.00 0.86 0.46 2/47 22794
/proc/meminfo: memFree=634948/1048576 swapFree=0/0
[pid=22777] ppid=22776 vsize=2564 CPUtime=0
/proc/22777/stat : 22777 (gj-user-solver-) S 22776 22777 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 71622848 2625536 268 1283457024 134512640 135304128 4294930848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22777/statm: 641 268 229 194 0 28 0
[pid=22779] ppid=22777 vsize=415228 CPUtime=284.38
/proc/22779/stat : 22779 (java) S 22777 22777 22717 34817 22717 4202496 103749 0 249 0 28396 42 0 0 23 0 9 0 71622849 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22779/statm: 103807 71303 2923 10 0 97952 0
[pid=22779/tid=22780] ppid=22777 vsize=415228 CPUtime=270.33
/proc/22779/task/22780/stat : 22780 (java) S 22777 22777 22717 34817 22717 4202560 14061 0 159 0 27018 15 0 0 25 0 9 0 71622872 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22781] ppid=22777 vsize=415228 CPUtime=13.9
/proc/22779/task/22781/stat : 22781 (java) S 22777 22777 22717 34817 22717 4202560 88235 0 27 0 1364 26 0 0 15 0 9 0 71622897 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22782] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22782/stat : 22782 (java) S 22777 22777 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 71622904 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22783] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22783/stat : 22783 (java) S 22777 22777 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71622904 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22784] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22784/stat : 22784 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 71622924 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22785] ppid=22777 vsize=415228 CPUtime=0.13
/proc/22779/task/22785/stat : 22785 (java) S 22777 22777 22717 34817 22717 4202560 563 0 5 0 13 0 0 0 15 0 9 0 71622924 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22786] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22786/stat : 22786 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71622924 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=22779/tid=22787] ppid=22777 vsize=415228 CPUtime=0
/proc/22779/task/22787/stat : 22787 (java) S 22777 22777 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71622924 425193472 71303 1283457024 134512640 134550932 4291159408 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.38
Current children cumulated vsize (KiB) 417792

Child status: 0
Real time (s): 286.237
CPU time (s): 284.406
CPU user time (s): 283.962
CPU system time (s): 0.444027
CPU usage (%): 99.3602
Max. virtual memory (cumulated for all children) (KiB): 442432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.962
system time used= 0.444027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104136
page faults= 249
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6765
involuntary context switches= 9254

runsolver used 0.008 second user time and 0 second system time

The end