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-3457556-1307228469/watcher-3457556-1307228469 -o /tmp/evaluation-result-3457556-1307228469/solver-3457556-1307228469 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457556-1307228469.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: 1.87 1.99 1.99 2/529 13430
/proc/meminfo: memFree=13965616/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 4417 0 1 0 0 0 0 0 21 0 2 0 815263124 10694979584 4119 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2611079 4133 917 9 0 2602235 0
[pid=13430/tid=13431] ppid=13428 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 7439 0 1 0 0 0 0 0 23 0 2 0 815263124 10694979584 8256 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.118715 s]
/proc/loadavg: 1.87 1.99 1.99 2/529 13430
/proc/meminfo: memFree=13965616/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10539828 CPUtime=0.13 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 15363 0 1 0 11 2 0 0 21 0 18 0 815263124 10792783872 15030 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2634957 15030 2133 9 0 2625691 0
[pid=13430/tid=13431] ppid=13428 vsize=10539828 CPUtime=0.1 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 13480 0 1 0 8 2 0 0 18 0 18 0 815263124 10792783872 15030 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 47879627246419 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539828
[startup+0.200689 s]
/proc/loadavg: 1.87 1.99 1.99 2/529 13430
/proc/meminfo: memFree=13965616/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10541424 CPUtime=0.29 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 16427 0 1 0 27 2 0 0 21 0 18 0 815263124 10794418176 16046 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2635356 16046 2188 9 0 2626090 0
[pid=13430/tid=13431] ppid=13428 vsize=10541424 CPUtime=0.19 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 14008 0 1 0 17 2 0 0 18 0 18 0 815263124 10794418176 16047 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912505548777 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10541424
[startup+0.300674 s]
/proc/loadavg: 1.87 1.99 1.99 2/529 13430
/proc/meminfo: memFree=13965616/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10541724 CPUtime=0.46 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 21633 0 1 0 43 3 0 0 21 0 18 0 815263124 10794725376 21123 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2635431 21126 2200 9 0 2626165 0
[pid=13430/tid=13431] ppid=13428 vsize=10541724 CPUtime=0.28 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 18996 0 1 0 26 2 0 0 18 0 18 0 815263124 10794725376 21127 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912505596407 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) 10541724
[startup+0.700601 s]
/proc/loadavg: 1.87 1.99 1.99 2/529 13430
/proc/meminfo: memFree=13965616/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10541724 CPUtime=0.86 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 53131 0 1 0 79 7 0 0 21 0 18 0 815263124 10794725376 52621 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2635431 52625 2200 9 0 2626165 0
[pid=13430/tid=13431] ppid=13428 vsize=10541724 CPUtime=0.68 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 50495 0 1 0 62 6 0 0 18 0 18 0 815263124 10794725376 52626 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912505573342 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10541724
[startup+1.50147 s]
/proc/loadavg: 1.87 1.99 1.99 3/547 13448
/proc/meminfo: memFree=13634588/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10541724 CPUtime=1.8 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 128069 0 1 0 165 15 0 0 21 0 18 0 815263124 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2635431 127445 2213 9 0 2626165 0
[pid=13430/tid=13431] ppid=13428 vsize=10541724 CPUtime=1.48 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 125049 0 1 0 134 14 0 0 19 0 18 0 815263124 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912505624735 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13430/tid=13433] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13433/stat : 13433 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 815263126 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13434] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13434/stat : 13434 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13435] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13435/stat : 13435 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13436] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13436/stat : 13436 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13437] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13437/stat : 13437 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13438] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13438/stat : 13438 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13439] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13439/stat : 13439 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13440] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13440/stat : 13440 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13441] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13441/stat : 13441 (java) S 13428 13430 12030 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 815263127 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 0 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13442] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13442/stat : 13442 (java) S 13428 13430 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 815263127 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13443] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13443/stat : 13443 (java) S 13428 13430 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 815263127 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13444] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13444/stat : 13444 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263130 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118592433 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13445] ppid=13428 vsize=10541724 CPUtime=0.16 cores=1,3,5,7
/proc/13430/task/13445/stat : 13445 (java) S 13428 13430 12030 0 -1 4202560 827 0 0 0 16 0 0 0 16 0 18 0 815263130 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13446] ppid=13428 vsize=10541724 CPUtime=0.14 cores=1,3,5,7
/proc/13430/task/13446/stat : 13446 (java) S 13428 13430 12030 0 -1 4202560 1043 0 0 0 14 0 0 0 18 0 18 0 815263130 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13447] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13447/stat : 13447 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263130 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13448] ppid=13428 vsize=10541724 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13448/stat : 13448 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 815263130 10794725376 127445 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10541724
[startup+3.10118 s]
/proc/loadavg: 1.87 1.99 1.99 3/547 13448
/proc/meminfo: memFree=13161776/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10541532 CPUtime=3.43 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 288153 0 1 0 308 35 0 0 21 0 18 0 815263124 10794528768 287463 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2635383 287467 2213 9 0 2626117 0
[pid=13430/tid=13431] ppid=13428 vsize=10541532 CPUtime=3.08 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 285093 0 1 0 275 33 0 0 24 0 18 0 815263124 10794528768 287469 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912505564191 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13430/tid=13433] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13433/stat : 13433 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 815263126 10794528768 287476 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13434] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13434/stat : 13434 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794528768 287476 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13435] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13435/stat : 13435 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794528768 287479 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13436] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13436/stat : 13436 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794528768 287481 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13437] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13437/stat : 13437 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794528768 287483 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13438] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13438/stat : 13438 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794528768 287486 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13439] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13439/stat : 13439 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794528768 287488 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13440] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13440/stat : 13440 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263126 10794528768 287490 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13441] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13441/stat : 13441 (java) S 13428 13430 12030 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 815263127 10794528768 287492 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 0 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13442] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13442/stat : 13442 (java) S 13428 13430 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 815263127 10794528768 287495 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13443] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13443/stat : 13443 (java) S 13428 13430 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 815263127 10794528768 287497 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13444] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13444/stat : 13444 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263130 10794528768 287499 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118592433 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13445] ppid=13428 vsize=10541532 CPUtime=0.18 cores=1,3,5,7
/proc/13430/task/13445/stat : 13445 (java) S 13428 13430 12030 0 -1 4202560 873 0 0 0 18 0 0 0 15 0 18 0 815263130 10794528768 287501 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13446] ppid=13428 vsize=10541532 CPUtime=0.14 cores=1,3,5,7
/proc/13430/task/13446/stat : 13446 (java) S 13428 13430 12030 0 -1 4202560 1043 0 0 0 14 0 0 0 18 0 18 0 815263130 10794528768 287504 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13447] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13447/stat : 13447 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 815263130 10794528768 287506 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13448] ppid=13428 vsize=10541532 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13448/stat : 13448 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 815263130 10794528768 287507 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 10541532
[startup+6.30161 s]
/proc/loadavg: 1.96 2.01 1.99 3/548 13449
/proc/meminfo: memFree=12566436/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10542560 CPUtime=7 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 364163 0 1 0 658 42 0 0 21 0 19 0 815263124 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2635640 362972 2227 9 0 2626374 0
[pid=13430/tid=13431] ppid=13428 vsize=10542560 CPUtime=6.28 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 360504 0 1 0 587 41 0 0 19 0 19 0 815263124 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912505830891 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13430/tid=13433] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13433/stat : 13433 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 815263126 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13434] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13434/stat : 13434 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263126 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13435] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13435/stat : 13435 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263126 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13436] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13436/stat : 13436 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263126 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13437] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13437/stat : 13437 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263126 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13438] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13438/stat : 13438 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263126 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13439] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13439/stat : 13439 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263126 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13440] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13440/stat : 13440 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263126 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13441] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13441/stat : 13441 (java) S 13428 13430 12030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815263127 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 0 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13442] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13442/stat : 13442 (java) S 13428 13430 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815263127 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13443] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13443/stat : 13443 (java) S 13428 13430 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815263127 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13444] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13444/stat : 13444 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10795581440 362972 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118592433 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13445] ppid=13428 vsize=10542560 CPUtime=0.36 cores=1,3,5,7
/proc/13430/task/13445/stat : 13445 (java) S 13428 13430 12030 0 -1 4202560 1050 0 0 0 36 0 0 0 15 0 19 0 815263130 10795581440 362973 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13446] ppid=13428 vsize=10542560 CPUtime=0.34 cores=1,3,5,7
/proc/13430/task/13446/stat : 13446 (java) S 13428 13430 12030 0 -1 4202560 1448 0 0 0 34 0 0 0 15 0 19 0 815263130 10795581440 362973 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13447] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13447/stat : 13447 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10795581440 362973 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13448] ppid=13428 vsize=10542560 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13448/stat : 13448 (java) S 13428 13430 12030 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 815263130 10795581440 362973 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/13430/task/13442/stat : 13442 (java) S 13428 13430 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815263127 10798747648 1037954 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13443] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13443/stat : 13443 (java) S 13428 13430 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815263127 10798747648 1037954 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13444] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13444/stat : 13444 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10798747648 1037954 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118592433 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13445] ppid=13428 vsize=10545652 CPUtime=0.7 cores=1,3,5,7
/proc/13430/task/13445/stat : 13445 (java) S 13428 13430 12030 0 -1 4202560 2511 0 0 0 70 0 0 0 16 0 19 0 815263130 10798747648 1037954 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13446] ppid=13428 vsize=10545652 CPUtime=0.58 cores=1,3,5,7
/proc/13430/task/13446/stat : 13446 (java) S 13428 13430 12030 0 -1 4202560 6284 0 0 0 58 0 0 0 15 0 19 0 815263130 10798747648 1037954 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13447] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13447/stat : 13447 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10798747648 1037954 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13448] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13448/stat : 13448 (java) S 13428 13430 12030 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 815263130 10798747648 1037954 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13449] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13449/stat : 13449 (java) S 13428 13430 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815263459 10798747648 1037954 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1670.98
Current children cumulated vsize (KiB) 10545652
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/548 13498
/proc/meminfo: memFree=8594572/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10545652 CPUtime=1731.08 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 1059797 0 1 0 172980 128 0 0 21 0 19 0 815263124 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2636413 1039778 2257 9 0 2627147 0
[pid=13430/tid=13431] ppid=13428 vsize=10545652 CPUtime=1717.94 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 692816 0 1 0 171718 76 0 0 25 0 19 0 815263124 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912506029423 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13430/tid=13433] ppid=13428 vsize=10545652 CPUtime=1.69 cores=1,3,5,7
/proc/13430/task/13433/stat : 13433 (java) S 13428 13430 12030 0 -1 4202560 55126 0 0 0 164 5 0 0 16 0 19 0 815263126 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13434] ppid=13428 vsize=10545652 CPUtime=1.38 cores=1,3,5,7
/proc/13430/task/13434/stat : 13434 (java) S 13428 13430 12030 0 -1 4202560 59665 0 0 0 130 8 0 0 15 0 19 0 815263126 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13435] ppid=13428 vsize=10545652 CPUtime=1.38 cores=1,3,5,7
/proc/13430/task/13435/stat : 13435 (java) S 13428 13430 12030 0 -1 4202560 52809 0 0 0 132 6 0 0 16 0 19 0 815263126 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13436] ppid=13428 vsize=10545652 CPUtime=1.29 cores=1,3,5,7
/proc/13430/task/13436/stat : 13436 (java) S 13428 13430 12030 0 -1 4202560 34182 0 0 0 124 5 0 0 16 0 19 0 815263126 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13437] ppid=13428 vsize=10545652 CPUtime=1.2 cores=1,3,5,7
/proc/13430/task/13437/stat : 13437 (java) S 13428 13430 12030 0 -1 4202560 32865 0 0 0 115 5 0 0 15 0 19 0 815263126 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13438] ppid=13428 vsize=10545652 CPUtime=1.33 cores=1,3,5,7
/proc/13430/task/13438/stat : 13438 (java) S 13428 13430 12030 0 -1 4202560 23411 0 0 0 130 3 0 0 15 0 19 0 815263126 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13439] ppid=13428 vsize=10545652 CPUtime=1.08 cores=1,3,5,7
/proc/13430/task/13439/stat : 13439 (java) S 13428 13430 12030 0 -1 4202560 37601 0 0 0 104 4 0 0 15 0 19 0 815263126 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13440] ppid=13428 vsize=10545652 CPUtime=1.66 cores=1,3,5,7
/proc/13430/task/13440/stat : 13440 (java) S 13428 13430 12030 0 -1 4202560 53120 0 0 0 159 7 0 0 15 0 19 0 815263126 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13441] ppid=13428 vsize=10545652 CPUtime=0.72 cores=1,3,5,7
/proc/13430/task/13441/stat : 13441 (java) S 13428 13430 12030 0 -1 4202560 8158 0 0 0 70 2 0 0 15 0 19 0 815263127 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 0 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13442] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13442/stat : 13442 (java) S 13428 13430 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815263127 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13443] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13443/stat : 13443 (java) S 13428 13430 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815263127 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13444] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13444/stat : 13444 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118592433 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13445] ppid=13428 vsize=10545652 CPUtime=0.7 cores=1,3,5,7
/proc/13430/task/13445/stat : 13445 (java) S 13428 13430 12030 0 -1 4202560 2511 0 0 0 70 0 0 0 16 0 19 0 815263130 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13446] ppid=13428 vsize=10545652 CPUtime=0.58 cores=1,3,5,7
/proc/13430/task/13446/stat : 13446 (java) S 13428 13430 12030 0 -1 4202560 6284 0 0 0 58 0 0 0 15 0 19 0 815263130 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13447] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13447/stat : 13447 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13448] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13448/stat : 13448 (java) S 13428 13430 12030 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 815263130 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13449] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13449/stat : 13449 (java) S 13428 13430 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815263459 10798747648 1039778 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1731.08
Current children cumulated vsize (KiB) 10545652
[startup+1782.3 s]
/proc/loadavg: 1.92 2.01 1.99 2/525 13656
/proc/meminfo: memFree=12487860/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10545652 CPUtime=1791.2 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 1060729 0 1 0 178991 129 0 0 21 0 19 0 815263124 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2636413 1040690 2257 9 0 2627147 0
[pid=13430/tid=13431] ppid=13428 vsize=10545652 CPUtime=1777.88 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 692827 0 1 0 177712 76 0 0 25 0 19 0 815263124 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912506010927 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13430/tid=13433] ppid=13428 vsize=10545652 CPUtime=1.71 cores=1,3,5,7
/proc/13430/task/13433/stat : 13433 (java) S 13428 13430 12030 0 -1 4202560 55877 0 0 0 166 5 0 0 15 0 19 0 815263126 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13434] ppid=13428 vsize=10545652 CPUtime=1.41 cores=1,3,5,7
/proc/13430/task/13434/stat : 13434 (java) S 13428 13430 12030 0 -1 4202560 59714 0 0 0 133 8 0 0 15 0 19 0 815263126 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13435] ppid=13428 vsize=10545652 CPUtime=1.4 cores=1,3,5,7
/proc/13430/task/13435/stat : 13435 (java) S 13428 13430 12030 0 -1 4202560 52809 0 0 0 134 6 0 0 15 0 19 0 815263126 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13436] ppid=13428 vsize=10545652 CPUtime=1.31 cores=1,3,5,7
/proc/13430/task/13436/stat : 13436 (java) S 13428 13430 12030 0 -1 4202560 34206 0 0 0 126 5 0 0 16 0 19 0 815263126 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13437] ppid=13428 vsize=10545652 CPUtime=1.22 cores=1,3,5,7
/proc/13430/task/13437/stat : 13437 (java) S 13428 13430 12030 0 -1 4202560 32946 0 0 0 117 5 0 0 16 0 19 0 815263126 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13438] ppid=13428 vsize=10545652 CPUtime=1.35 cores=1,3,5,7
/proc/13430/task/13438/stat : 13438 (java) S 13428 13430 12030 0 -1 4202560 23413 0 0 0 132 3 0 0 16 0 19 0 815263126 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13439] ppid=13428 vsize=10545652 CPUtime=1.1 cores=1,3,5,7
/proc/13430/task/13439/stat : 13439 (java) S 13428 13430 12030 0 -1 4202560 37607 0 0 0 106 4 0 0 16 0 19 0 815263126 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13440] ppid=13428 vsize=10545652 CPUtime=1.68 cores=1,3,5,7
/proc/13430/task/13440/stat : 13440 (java) S 13428 13430 12030 0 -1 4202560 53120 0 0 0 161 7 0 0 15 0 19 0 815263126 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13441] ppid=13428 vsize=10545652 CPUtime=0.72 cores=1,3,5,7
/proc/13430/task/13441/stat : 13441 (java) S 13428 13430 12030 0 -1 4202560 8162 0 0 0 70 2 0 0 15 0 19 0 815263127 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 0 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13442] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13442/stat : 13442 (java) S 13428 13430 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815263127 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13443] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13443/stat : 13443 (java) S 13428 13430 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815263127 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13444] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13444/stat : 13444 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118592433 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13445] ppid=13428 vsize=10545652 CPUtime=0.7 cores=1,3,5,7
/proc/13430/task/13445/stat : 13445 (java) S 13428 13430 12030 0 -1 4202560 2511 0 0 0 70 0 0 0 16 0 19 0 815263130 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13446] ppid=13428 vsize=10545652 CPUtime=0.58 cores=1,3,5,7
/proc/13430/task/13446/stat : 13446 (java) S 13428 13430 12030 0 -1 4202560 6284 0 0 0 58 0 0 0 15 0 19 0 815263130 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13447] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13447/stat : 13447 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13448] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13448/stat : 13448 (java) S 13428 13430 12030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 815263130 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13449] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13449/stat : 13449 (java) S 13428 13430 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815263459 10798747648 1040690 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 10545652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.1 s]
/proc/loadavg: 1.93 2.01 1.99 3/548 13685
/proc/meminfo: memFree=11428220/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=10545652 CPUtime=1800.03 cores=1,3,5,7
/proc/13430/stat : 13430 (java) S 13428 13430 12030 0 -1 4202496 1061630 0 1 0 179874 129 0 0 21 0 19 0 815263124 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 2636413 1041589 2257 9 0 2627147 0
[pid=13430/tid=13431] ppid=13428 vsize=10545652 CPUtime=1786.68 cores=1,3,5,7
/proc/13430/task/13431/stat : 13431 (java) R 13428 13430 12030 0 -1 4202560 692829 0 1 0 178592 76 0 0 25 0 19 0 815263124 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 46912506029717 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13430/tid=13433] ppid=13428 vsize=10545652 CPUtime=1.71 cores=1,3,5,7
/proc/13430/task/13433/stat : 13433 (java) S 13428 13430 12030 0 -1 4202560 55877 0 0 0 166 5 0 0 15 0 19 0 815263126 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13434] ppid=13428 vsize=10545652 CPUtime=1.42 cores=1,3,5,7
/proc/13430/task/13434/stat : 13434 (java) S 13428 13430 12030 0 -1 4202560 60474 0 0 0 134 8 0 0 16 0 19 0 815263126 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13435] ppid=13428 vsize=10545652 CPUtime=1.41 cores=1,3,5,7
/proc/13430/task/13435/stat : 13435 (java) S 13428 13430 12030 0 -1 4202560 52854 0 0 0 135 6 0 0 16 0 19 0 815263126 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13436] ppid=13428 vsize=10545652 CPUtime=1.31 cores=1,3,5,7
/proc/13430/task/13436/stat : 13436 (java) S 13428 13430 12030 0 -1 4202560 34206 0 0 0 126 5 0 0 15 0 19 0 815263126 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13437] ppid=13428 vsize=10545652 CPUtime=1.23 cores=1,3,5,7
/proc/13430/task/13437/stat : 13437 (java) S 13428 13430 12030 0 -1 4202560 32946 0 0 0 118 5 0 0 15 0 19 0 815263126 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13438] ppid=13428 vsize=10545652 CPUtime=1.35 cores=1,3,5,7
/proc/13430/task/13438/stat : 13438 (java) S 13428 13430 12030 0 -1 4202560 23413 0 0 0 132 3 0 0 15 0 19 0 815263126 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
[pid=13430/tid=13439] ppid=13428 vsize=10545652 CPUtime=1.1 cores=1,3,5,7
/proc/13430/task/13439/stat : 13439 (java) S 13428 13430 12030 0 -1 4202560 37701 0 0 0 106 4 0 0 16 0 19 0 815263126 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13440] ppid=13428 vsize=10545652 CPUtime=1.68 cores=1,3,5,7
/proc/13430/task/13440/stat : 13440 (java) S 13428 13430 12030 0 -1 4202560 53120 0 0 0 161 7 0 0 15 0 19 0 815263126 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13441] ppid=13428 vsize=10545652 CPUtime=0.72 cores=1,3,5,7
/proc/13430/task/13441/stat : 13441 (java) S 13428 13430 12030 0 -1 4202560 8162 0 0 0 70 2 0 0 15 0 19 0 815263127 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 0 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13442] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13442/stat : 13442 (java) S 13428 13430 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815263127 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13443] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13443/stat : 13443 (java) S 13428 13430 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815263127 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13444] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13444/stat : 13444 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118592433 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13445] ppid=13428 vsize=10545652 CPUtime=0.7 cores=1,3,5,7
/proc/13430/task/13445/stat : 13445 (java) S 13428 13430 12030 0 -1 4202560 2511 0 0 0 70 0 0 0 16 0 19 0 815263130 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13446] ppid=13428 vsize=10545652 CPUtime=0.58 cores=1,3,5,7
/proc/13430/task/13446/stat : 13446 (java) S 13428 13430 12030 0 -1 4202560 6284 0 0 0 58 0 0 0 15 0 19 0 815263130 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 3 0 0 0
[pid=13430/tid=13447] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13447/stat : 13447 (java) S 13428 13430 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815263130 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118584729 0 4 0 16800975 18446604460756113472 0 0 -1 5 0 0 0
[pid=13430/tid=13448] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13448/stat : 13448 (java) S 13428 13430 12030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 815263130 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 1 0 0 0
[pid=13430/tid=13449] ppid=13428 vsize=10545652 CPUtime=0 cores=1,3,5,7
/proc/13430/task/13449/stat : 13449 (java) S 13428 13430 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815263459 10798747648 1041589 33554432000 1073741824 1073778376 140734366115392 18446744073709551615 255118585344 0 4 0 16800975 18446604460756113472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10545652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.23 s]
/proc/loadavg: 1.93 2.01 1.99 3/548 13685
/proc/meminfo: memFree=11428220/32951124 swapFree=67111204/67111528
[pid=13430] ppid=13428 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/13430/stat : 13430 (java) Z 13428 13430 12030 0 -1 4203548 1061659 0 1 0 179877 138 0 0 17 0 2 0 815263124 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13430/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.3
CPU time (s): 1800.23
CPU user time (s): 1798.77
CPU system time (s): 1.45578
CPU usage (%): 100.499
Max. virtual memory (cumulated for all children) (KiB): 10577540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.45578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1061659
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= 43128
involuntary context switches= 16342
runsolver used 8.98263 second user time and 21.3168 second system time
The end