runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457084-1307216372/watcher-3457084-1307216372 -o /tmp/evaluation-result-3457084-1307216372/solver-3457084-1307216372 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457084-1307216372.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.65 0.84 2/533 22420
/proc/meminfo: memFree=19427144/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 4485 0 1 0 0 0 0 0 25 0 2 0 911867837 10694979584 4188 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2611079 4202 917 9 0 2602235 0
[pid=22420/tid=22421] ppid=22418 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 5294 0 1 0 0 0 0 0 18 0 2 0 911867837 10694979584 6110 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.1174 s]
/proc/loadavg: 2.00 1.65 0.84 2/533 22420
/proc/meminfo: memFree=19427144/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10540380 CPUtime=0.12 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 13268 0 1 0 10 2 0 0 25 0 18 0 911867837 10793349120 12936 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2635095 12936 2125 9 0 2625829 0
[pid=22420/tid=22421] ppid=22418 vsize=10540380 CPUtime=0.09 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 11297 0 1 0 8 1 0 0 22 0 18 0 911867837 10793349120 12936 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256415088132 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540380
[startup+0.200387 s]
/proc/loadavg: 2.00 1.65 0.84 2/533 22420
/proc/meminfo: memFree=19427144/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10541064 CPUtime=0.26 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 13944 0 1 0 24 2 0 0 25 0 18 0 911867837 10794049536 13612 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2635266 13613 2170 9 0 2626000 0
[pid=22420/tid=22421] ppid=22418 vsize=10541064 CPUtime=0.17 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 11757 0 1 0 16 1 0 0 22 0 18 0 911867837 10794049536 13613 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 47477091097427 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10541064
[startup+0.300367 s]
/proc/loadavg: 2.00 1.65 0.84 2/533 22420
/proc/meminfo: memFree=19427144/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10541392 CPUtime=0.46 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 15928 0 1 0 44 2 0 0 25 0 18 0 911867837 10794385408 15208 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2635348 15208 2200 9 0 2626082 0
[pid=22420/tid=22421] ppid=22418 vsize=10541392 CPUtime=0.27 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 12904 0 1 0 26 1 0 0 22 0 18 0 911867837 10794385408 15208 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 47477090759871 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541392
[startup+0.700288 s]
/proc/loadavg: 2.00 1.65 0.84 2/533 22420
/proc/meminfo: memFree=19427144/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10555764 CPUtime=1.58 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 42562 0 1 0 153 5 0 0 25 0 19 0 911867837 10809102336 38030 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2638941 38033 2223 9 0 2629675 0
[pid=22420/tid=22421] ppid=22418 vsize=10555764 CPUtime=0.67 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 30235 0 1 0 64 3 0 0 25 0 19 0 911867837 10809102336 38035 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 46912505715866 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10555764
[startup+1.50115 s]
/proc/loadavg: 2.00 1.65 0.84 3/552 22439
/proc/meminfo: memFree=19106152/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10555764 CPUtime=2.67 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 131495 0 1 0 252 15 0 0 25 0 19 0 911867837 10809102336 126872 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2638941 126876 2227 9 0 2629675 0
[pid=22420/tid=22421] ppid=22418 vsize=10555764 CPUtime=1.48 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 119035 0 1 0 135 13 0 0 25 0 19 0 911867837 10809102336 126878 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 46912505662485 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22420/tid=22423] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22423/stat : 22423 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867839 10809102336 126881 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22424] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22424/stat : 22424 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 126884 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22425] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22425/stat : 22425 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 126886 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22426] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22426/stat : 22426 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 126889 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22427] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22427/stat : 22427 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 126891 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22428] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22428/stat : 22428 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 126894 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22429] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22429/stat : 22429 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867839 10809102336 126896 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22430] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22430/stat : 22430 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867839 10809102336 126898 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22431] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22431/stat : 22431 (java) S 22418 22420 22299 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911867840 10809102336 126900 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 0 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22432] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22432/stat : 22432 (java) S 22418 22420 22299 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 911867841 10809102336 126902 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22433] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22433/stat : 22433 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867841 10809102336 126905 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22434] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22434/stat : 22434 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867843 10809102336 126908 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427215281 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22435] ppid=22418 vsize=10555764 CPUtime=0.56 cores=1,3,5,7
/proc/22420/task/22435/stat : 22435 (java) S 22418 22420 22299 0 -1 4202560 4406 0 0 0 56 0 0 0 15 0 19 0 911867843 10809102336 126911 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22436] ppid=22418 vsize=10555764 CPUtime=0.61 cores=1,3,5,7
/proc/22420/task/22436/stat : 22436 (java) S 22418 22420 22299 0 -1 4202560 6901 0 0 0 61 0 0 0 15 0 19 0 911867843 10809102336 126914 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22437] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22437/stat : 22437 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867843 10809102336 126917 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22438] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22438/stat : 22438 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911867843 10809102336 126919 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22439] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22439/stat : 22439 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867867 10809102336 126922 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10555764
[startup+3.10085 s]
/proc/loadavg: 2.00 1.65 0.84 3/552 22439
/proc/meminfo: memFree=18621684/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10555764 CPUtime=4.39 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 303072 0 1 0 406 33 0 0 25 0 19 0 911867837 10809102336 298370 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2638941 298373 2227 9 0 2629675 0
[pid=22420/tid=22421] ppid=22418 vsize=10555764 CPUtime=3.07 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 290519 0 1 0 276 31 0 0 25 0 19 0 911867837 10809102336 298375 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 46912505715847 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22420/tid=22423] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22423/stat : 22423 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867839 10809102336 298378 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22424] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22424/stat : 22424 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 298381 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22425] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22425/stat : 22425 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 298383 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22426] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22426/stat : 22426 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 298386 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22427] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22427/stat : 22427 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 298388 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22428] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22428/stat : 22428 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 298390 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22429] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22429/stat : 22429 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867839 10809102336 298392 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22430] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22430/stat : 22430 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867839 10809102336 298394 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22431] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22431/stat : 22431 (java) S 22418 22420 22299 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911867840 10809102336 298396 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 0 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22432] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22432/stat : 22432 (java) S 22418 22420 22299 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 911867841 10809102336 298398 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22433] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22433/stat : 22433 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867841 10809102336 298399 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22434] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22434/stat : 22434 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867843 10809102336 298401 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427215281 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22435] ppid=22418 vsize=10555764 CPUtime=0.63 cores=1,3,5,7
/proc/22420/task/22435/stat : 22435 (java) S 22418 22420 22299 0 -1 4202560 4413 0 0 0 63 0 0 0 15 0 19 0 911867843 10809102336 298403 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22436] ppid=22418 vsize=10555764 CPUtime=0.65 cores=1,3,5,7
/proc/22420/task/22436/stat : 22436 (java) S 22418 22420 22299 0 -1 4202560 6987 0 0 0 65 0 0 0 15 0 19 0 911867843 10809102336 298405 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22437] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22437/stat : 22437 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867843 10809102336 298407 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22438] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22438/stat : 22438 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911867843 10809102336 298410 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22439] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22439/stat : 22439 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867867 10809102336 298412 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10555764
[startup+6.30123 s]
/proc/loadavg: 2.00 1.65 0.84 3/552 22439
/proc/meminfo: memFree=17236384/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10555764 CPUtime=7.61 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 632609 0 1 0 692 69 0 0 25 0 19 0 911867837 10809102336 627507 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2638941 627514 2228 9 0 2629675 0
[pid=22420/tid=22421] ppid=22418 vsize=10555764 CPUtime=6.28 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 620060 0 1 0 561 67 0 0 21 0 19 0 911867837 10809102336 627518 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 46912505642296 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22420/tid=22423] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22423/stat : 22423 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867839 10809102336 627521 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22424] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22424/stat : 22424 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 627525 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22425] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22425/stat : 22425 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 627528 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22426] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22426/stat : 22426 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 627531 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22427] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22427/stat : 22427 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 627535 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22428] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22428/stat : 22428 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911867839 10809102336 627537 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22429] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22429/stat : 22429 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867839 10809102336 627540 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22430] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22430/stat : 22430 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867839 10809102336 627542 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22431] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22431/stat : 22431 (java) S 22418 22420 22299 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911867840 10809102336 627543 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 0 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22432] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22432/stat : 22432 (java) S 22418 22420 22299 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 911867841 10809102336 627544 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22433] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22433/stat : 22433 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867841 10809102336 627546 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22434] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22434/stat : 22434 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867843 10809102336 627547 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427215281 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22435] ppid=22418 vsize=10555764 CPUtime=0.64 cores=1,3,5,7
/proc/22420/task/22435/stat : 22435 (java) S 22418 22420 22299 0 -1 4202560 4413 0 0 0 64 0 0 0 16 0 19 0 911867843 10809102336 627550 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22436] ppid=22418 vsize=10555764 CPUtime=0.66 cores=1,3,5,7
/proc/22420/task/22436/stat : 22436 (java) S 22418 22420 22299 0 -1 4202560 6987 0 0 0 66 0 0 0 15 0 19 0 911867843 10809102336 627551 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/22420/task/22433/stat : 22433 (java) S 22418 22420 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911867841 10809102336 919725 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22434] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22434/stat : 22434 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867843 10809102336 919725 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427215281 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22435] ppid=22418 vsize=10555764 CPUtime=0.77 cores=1,3,5,7
/proc/22420/task/22435/stat : 22435 (java) S 22418 22420 22299 0 -1 4202560 4441 0 0 0 76 1 0 0 15 0 19 0 911867843 10809102336 919725 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22436] ppid=22418 vsize=10555764 CPUtime=0.82 cores=1,3,5,7
/proc/22420/task/22436/stat : 22436 (java) S 22418 22420 22299 0 -1 4202560 7022 0 0 0 82 0 0 0 15 0 19 0 911867843 10809102336 919725 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22437] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22437/stat : 22437 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867843 10809102336 919725 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22438] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22438/stat : 22438 (java) S 22418 22420 22299 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 911867843 10809102336 919725 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22439] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22439/stat : 22439 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867867 10809102336 919725 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.03
Current children cumulated vsize (KiB) 10555764
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.83 3/552 22589
/proc/meminfo: memFree=15686180/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10555764 CPUtime=1727.15 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 926294 0 1 0 172612 103 0 0 25 0 19 0 911867837 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2638941 919771 2257 9 0 2629675 0
[pid=22420/tid=22421] ppid=22418 vsize=10555764 CPUtime=1719.52 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 835959 0 1 0 171864 88 0 0 25 0 19 0 911867837 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 46912505770158 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22420/tid=22423] ppid=22418 vsize=10555764 CPUtime=0.62 cores=1,3,5,7
/proc/22420/task/22423/stat : 22423 (java) S 22418 22420 22299 0 -1 4202560 11495 0 0 0 62 0 0 0 15 0 19 0 911867839 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22424] ppid=22418 vsize=10555764 CPUtime=0.63 cores=1,3,5,7
/proc/22420/task/22424/stat : 22424 (java) S 22418 22420 22299 0 -1 4202560 6366 0 0 0 62 1 0 0 15 0 19 0 911867839 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22425] ppid=22418 vsize=10555764 CPUtime=0.69 cores=1,3,5,7
/proc/22420/task/22425/stat : 22425 (java) S 22418 22420 22299 0 -1 4202560 11442 0 0 0 68 1 0 0 16 0 19 0 911867839 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22426] ppid=22418 vsize=10555764 CPUtime=0.56 cores=1,3,5,7
/proc/22420/task/22426/stat : 22426 (java) S 22418 22420 22299 0 -1 4202560 9732 0 0 0 55 1 0 0 16 0 19 0 911867839 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22427] ppid=22418 vsize=10555764 CPUtime=0.59 cores=1,3,5,7
/proc/22420/task/22427/stat : 22427 (java) S 22418 22420 22299 0 -1 4202560 9938 0 0 0 58 1 0 0 15 0 19 0 911867839 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22428] ppid=22418 vsize=10555764 CPUtime=0.67 cores=1,3,5,7
/proc/22420/task/22428/stat : 22428 (java) S 22418 22420 22299 0 -1 4202560 8876 0 0 0 66 1 0 0 15 0 19 0 911867839 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22429] ppid=22418 vsize=10555764 CPUtime=0.57 cores=1,3,5,7
/proc/22420/task/22429/stat : 22429 (java) S 22418 22420 22299 0 -1 4202560 7220 0 0 0 57 0 0 0 15 0 19 0 911867839 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22430] ppid=22418 vsize=10555764 CPUtime=0.61 cores=1,3,5,7
/proc/22420/task/22430/stat : 22430 (java) S 22418 22420 22299 0 -1 4202560 6394 0 0 0 60 1 0 0 16 0 19 0 911867839 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22431] ppid=22418 vsize=10555764 CPUtime=0.99 cores=1,3,5,7
/proc/22420/task/22431/stat : 22431 (java) S 22418 22420 22299 0 -1 4202560 6161 0 0 0 97 2 0 0 15 0 19 0 911867840 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 0 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22432] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22432/stat : 22432 (java) S 22418 22420 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911867841 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22433] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22433/stat : 22433 (java) S 22418 22420 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911867841 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22434] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22434/stat : 22434 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867843 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427215281 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22435] ppid=22418 vsize=10555764 CPUtime=0.77 cores=1,3,5,7
/proc/22420/task/22435/stat : 22435 (java) S 22418 22420 22299 0 -1 4202560 4441 0 0 0 76 1 0 0 15 0 19 0 911867843 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22436] ppid=22418 vsize=10555764 CPUtime=0.82 cores=1,3,5,7
/proc/22420/task/22436/stat : 22436 (java) S 22418 22420 22299 0 -1 4202560 7022 0 0 0 82 0 0 0 15 0 19 0 911867843 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22437] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22437/stat : 22437 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867843 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22438] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22438/stat : 22438 (java) S 22418 22420 22299 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 911867843 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22439] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22439/stat : 22439 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867867 10809102336 919771 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.15
Current children cumulated vsize (KiB) 10555764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.83 3/552 22591
/proc/meminfo: memFree=15670992/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10555764 CPUtime=1787.27 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 926348 0 1 0 178624 103 0 0 25 0 19 0 911867837 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2638941 919813 2257 9 0 2629675 0
[pid=22420/tid=22421] ppid=22418 vsize=10555764 CPUtime=1779.46 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 835963 0 1 0 177858 88 0 0 25 0 19 0 911867837 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 46912505713301 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22420/tid=22423] ppid=22418 vsize=10555764 CPUtime=0.64 cores=1,3,5,7
/proc/22420/task/22423/stat : 22423 (java) S 22418 22420 22299 0 -1 4202560 11500 0 0 0 64 0 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22424] ppid=22418 vsize=10555764 CPUtime=0.66 cores=1,3,5,7
/proc/22420/task/22424/stat : 22424 (java) S 22418 22420 22299 0 -1 4202560 6369 0 0 0 65 1 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22425] ppid=22418 vsize=10555764 CPUtime=0.7 cores=1,3,5,7
/proc/22420/task/22425/stat : 22425 (java) S 22418 22420 22299 0 -1 4202560 11442 0 0 0 69 1 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22426] ppid=22418 vsize=10555764 CPUtime=0.58 cores=1,3,5,7
/proc/22420/task/22426/stat : 22426 (java) S 22418 22420 22299 0 -1 4202560 9737 0 0 0 57 1 0 0 16 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22427] ppid=22418 vsize=10555764 CPUtime=0.61 cores=1,3,5,7
/proc/22420/task/22427/stat : 22427 (java) S 22418 22420 22299 0 -1 4202560 9947 0 0 0 60 1 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22428] ppid=22418 vsize=10555764 CPUtime=0.71 cores=1,3,5,7
/proc/22420/task/22428/stat : 22428 (java) S 22418 22420 22299 0 -1 4202560 8888 0 0 0 70 1 0 0 16 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22429] ppid=22418 vsize=10555764 CPUtime=0.59 cores=1,3,5,7
/proc/22420/task/22429/stat : 22429 (java) S 22418 22420 22299 0 -1 4202560 7228 0 0 0 59 0 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22430] ppid=22418 vsize=10555764 CPUtime=0.62 cores=1,3,5,7
/proc/22420/task/22430/stat : 22430 (java) S 22418 22420 22299 0 -1 4202560 6394 0 0 0 61 1 0 0 16 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22431] ppid=22418 vsize=10555764 CPUtime=0.99 cores=1,3,5,7
/proc/22420/task/22431/stat : 22431 (java) S 22418 22420 22299 0 -1 4202560 6165 0 0 0 97 2 0 0 15 0 19 0 911867840 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 0 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22432] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22432/stat : 22432 (java) S 22418 22420 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911867841 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22433] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22433/stat : 22433 (java) S 22418 22420 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911867841 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22434] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22434/stat : 22434 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427215281 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22435] ppid=22418 vsize=10555764 CPUtime=0.77 cores=1,3,5,7
/proc/22420/task/22435/stat : 22435 (java) S 22418 22420 22299 0 -1 4202560 4441 0 0 0 76 1 0 0 15 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22436] ppid=22418 vsize=10555764 CPUtime=0.82 cores=1,3,5,7
/proc/22420/task/22436/stat : 22436 (java) S 22418 22420 22299 0 -1 4202560 7022 0 0 0 82 0 0 0 15 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22437] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22437/stat : 22437 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22438] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22438/stat : 22438 (java) S 22418 22420 22299 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22439] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22439/stat : 22439 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867867 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.27
Current children cumulated vsize (KiB) 10555764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 1.83 3/552 22591
/proc/meminfo: memFree=15670592/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=10555764 CPUtime=1800.09 cores=1,3,5,7
/proc/22420/stat : 22420 (java) S 22418 22420 22299 0 -1 4202496 926348 0 1 0 179906 103 0 0 25 0 19 0 911867837 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 2638941 919813 2257 9 0 2629675 0
[pid=22420/tid=22421] ppid=22418 vsize=10555764 CPUtime=1792.28 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4202560 835963 0 1 0 179140 88 0 0 25 0 19 0 911867837 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 46912505837154 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22420/tid=22423] ppid=22418 vsize=10555764 CPUtime=0.64 cores=1,3,5,7
/proc/22420/task/22423/stat : 22423 (java) S 22418 22420 22299 0 -1 4202560 11500 0 0 0 64 0 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22424] ppid=22418 vsize=10555764 CPUtime=0.66 cores=1,3,5,7
/proc/22420/task/22424/stat : 22424 (java) S 22418 22420 22299 0 -1 4202560 6369 0 0 0 65 1 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22425] ppid=22418 vsize=10555764 CPUtime=0.7 cores=1,3,5,7
/proc/22420/task/22425/stat : 22425 (java) S 22418 22420 22299 0 -1 4202560 11442 0 0 0 69 1 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22426] ppid=22418 vsize=10555764 CPUtime=0.58 cores=1,3,5,7
/proc/22420/task/22426/stat : 22426 (java) S 22418 22420 22299 0 -1 4202560 9737 0 0 0 57 1 0 0 16 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22427] ppid=22418 vsize=10555764 CPUtime=0.61 cores=1,3,5,7
/proc/22420/task/22427/stat : 22427 (java) S 22418 22420 22299 0 -1 4202560 9947 0 0 0 60 1 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22428] ppid=22418 vsize=10555764 CPUtime=0.71 cores=1,3,5,7
/proc/22420/task/22428/stat : 22428 (java) S 22418 22420 22299 0 -1 4202560 8888 0 0 0 70 1 0 0 16 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22429] ppid=22418 vsize=10555764 CPUtime=0.59 cores=1,3,5,7
/proc/22420/task/22429/stat : 22429 (java) S 22418 22420 22299 0 -1 4202560 7228 0 0 0 59 0 0 0 15 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22430] ppid=22418 vsize=10555764 CPUtime=0.62 cores=1,3,5,7
/proc/22420/task/22430/stat : 22430 (java) S 22418 22420 22299 0 -1 4202560 6394 0 0 0 61 1 0 0 16 0 19 0 911867839 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
[pid=22420/tid=22431] ppid=22418 vsize=10555764 CPUtime=0.99 cores=1,3,5,7
/proc/22420/task/22431/stat : 22431 (java) S 22418 22420 22299 0 -1 4202560 6165 0 0 0 97 2 0 0 15 0 19 0 911867840 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 0 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22432] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22432/stat : 22432 (java) S 22418 22420 22299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911867841 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22433] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22433/stat : 22433 (java) S 22418 22420 22299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911867841 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 5 0 0 0
[pid=22420/tid=22434] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22434/stat : 22434 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427215281 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22435] ppid=22418 vsize=10555764 CPUtime=0.77 cores=1,3,5,7
/proc/22420/task/22435/stat : 22435 (java) S 22418 22420 22299 0 -1 4202560 4441 0 0 0 76 1 0 0 15 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 3 0 0 0
[pid=22420/tid=22436] ppid=22418 vsize=10555764 CPUtime=0.82 cores=1,3,5,7
/proc/22420/task/22436/stat : 22436 (java) S 22418 22420 22299 0 -1 4202560 7022 0 0 0 82 0 0 0 15 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22437] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22437/stat : 22437 (java) S 22418 22420 22299 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427207577 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22438] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22438/stat : 22438 (java) S 22418 22420 22299 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911867843 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 1 0 0 0
[pid=22420/tid=22439] ppid=22418 vsize=10555764 CPUtime=0 cores=1,3,5,7
/proc/22420/task/22439/stat : 22439 (java) S 22418 22420 22299 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911867867 10809102336 919813 33554432000 1073741824 1073778376 140737250993760 18446744073709551615 256427208192 0 4 0 16800975 18446604470689194048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10555764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.23 s]
/proc/loadavg: 2.00 2.02 1.83 3/536 22594
/proc/meminfo: memFree=17390580/32950928 swapFree=58671692/67111528
[pid=22420] ppid=22418 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/22420/stat : 22420 (java) Z 22418 22420 22299 0 -1 4203548 926387 0 1 0 179913 110 0 0 17 0 2 0 911867837 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22420/statm: 0 0 0 0 0 0 0
[pid=22420/tid=22421] ppid=22418 vsize=0 CPUtime=1792.39 cores=1,3,5,7
/proc/22420/task/22421/stat : 22421 (java) R 22418 22420 22299 0 -1 4203588 835963 0 1 0 179144 95 0 0 25 0 2 0 911867837 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.32
CPU time (s): 1800.31
CPU user time (s): 1799.14
CPU system time (s): 1.17382
CPU usage (%): 100.278
Max. virtual memory (cumulated for all children) (KiB): 10555764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.17382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926387
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= 40282
involuntary context switches= 25849
runsolver used 8.99463 second user time and 22.1496 second system time
The end