runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4244703-1500684366/watcher-4244703-1500684366 -o /tmp/evaluation-result-4244703-1500684366/solver-4244703-1500684366 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1011147965 HOME/instance-4244703-1500684366.xml
pid=17448
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.36 13.87 12.47 10/270 17451
/proc/meminfo: memFree=30349344/32770624 swapFree=5808/48472
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
[startup+0.100097 s]
/proc/loadavg: 12.36 13.87 12.47 10/270 17451
/proc/meminfo: memFree=30349344/32770624 swapFree=5808/48472
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200319 s]
/proc/loadavg: 12.36 13.87 12.47 10/270 17451
/proc/meminfo: memFree=30349344/32770624 swapFree=5808/48472
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300271 s]
/proc/loadavg: 12.36 13.87 12.47 10/270 17451
/proc/meminfo: memFree=30349344/32770624 swapFree=5808/48472
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700188 s]
/proc/loadavg: 12.36 13.87 12.47 10/270 17451
/proc/meminfo: memFree=30349344/32770624 swapFree=5808/48472
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50152 s]
/proc/loadavg: 12.36 13.87 12.47 21/299 17480
/proc/meminfo: memFree=30258084/32770624 swapFree=5808/48500
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
[pid=17452] ppid=17451 vsize=13801768 CPUtime=8.23 cores=1,3,5,7,9,11,13,15
/proc/17452/stat : 17452 (java) S 17451 17451 15196 0 -1 1077944320 15777 0 0 0 816 7 0 0 20 0 28 0 3701746 14133010432 26798 33554432000 4194304 4196468 140734229114432 140734229096976 139645399801591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
/proc/17452/statm: 3450442 26798 3223 1 0 3437675 0
[pid=17452/tid=17453] ppid=17451 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17453/stat : 17453 (java) S 17451 17451 15196 0 -1 1077944384 6841 0 0 0 57 2 0 0 20 0 28 0 3701746 14133010432 26798 33554432000 4194304 4196468 140734229114432 139645404042368 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17455] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17455/stat : 17455 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 26798 33554432000 4194304 4196468 140734229114432 139645360761488 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17456] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17456/stat : 17456 (java) S 17451 17451 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644997450256 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17457] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17457/stat : 17457 (java) S 17451 17451 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644996397456 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17458] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17458/stat : 17458 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644995344656 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17459] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17459/stat : 17459 (java) S 17451 17451 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644994292880 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17460] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17460/stat : 17460 (java) S 17451 17451 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644993240080 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17461] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17461/stat : 17461 (java) S 17451 17451 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644992187280 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17462] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17462/stat : 17462 (java) S 17451 17451 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644991134480 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17463] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17463/stat : 17463 (java) S 17451 17451 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3701749 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644727859568 139645399812738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17464] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17464/stat : 17464 (java) S 17451 17451 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3701750 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644726805536 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17465] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17465/stat : 17465 (java) S 17451 17451 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3701750 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644725752688 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17466] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17466/stat : 17466 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701754 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644724701008 139645399820187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17467] ppid=17451 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17467/stat : 17467 (java) R 17451 17451 15196 0 -1 4202560 1937 0 0 0 87 0 0 0 20 0 28 0 3701754 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644723630784 139645380437524 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17468] ppid=17451 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17468/stat : 17468 (java) R 17451 17451 15196 0 -1 4202560 1656 0 0 0 87 0 0 0 20 0 28 0 3701754 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644722589552 139645384681853 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17469] ppid=17451 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17469/stat : 17469 (java) R 17451 17451 15196 0 -1 4202560 1616 0 0 0 65 0 0 0 20 0 28 0 3701754 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644721525360 139645377776369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17470] ppid=17451 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17470/stat : 17470 (java) S 17451 17451 15196 0 -1 1077944384 1982 0 0 0 53 1 0 0 20 0 28 0 3701754 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644720490992 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17471] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17471/stat : 17471 (java) S 17451 17451 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3701754 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644719438432 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17472] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17472/stat : 17472 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701755 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644718385712 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17473] ppid=17451 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17473/stat : 17473 (java) R 17451 17451 15196 0 -1 4202560 59 0 0 0 49 0 0 0 20 0 28 0 3701808 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644710369512 139645040496462 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17474] ppid=17451 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17474/stat : 17474 (java) R 17451 17451 15196 0 -1 4202560 70 0 0 0 64 0 0 0 20 0 28 0 3701808 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644709317216 139645040495968 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17475] ppid=17451 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17475/stat : 17475 (java) R 17451 17451 15196 0 -1 4202560 49 0 0 0 48 0 0 0 20 0 28 0 3701808 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644708266408 139645040306196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17476] ppid=17451 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17476/stat : 17476 (java) R 17451 17451 15196 0 -1 4202560 70 0 0 0 59 0 0 0 20 0 28 0 3701808 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644707214104 139645381207890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17477] ppid=17451 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17477/stat : 17477 (java) R 17451 17451 15196 0 -1 4202560 39 0 0 0 69 0 0 0 20 0 28 0 3701808 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644706161304 139645040462864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17478] ppid=17451 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17478/stat : 17478 (java) R 17451 17451 15196 0 -1 4202560 44 0 0 0 59 0 0 0 20 0 28 0 3701808 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644705108344 139645040424191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17479] ppid=17451 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17479/stat : 17479 (java) R 17451 17451 15196 0 -1 4202560 51 0 0 0 64 0 0 0 20 0 28 0 3701809 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644704050960 139645040726271 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17480] ppid=17451 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17480/stat : 17480 (java) R 17451 17451 15196 0 -1 4202560 48 0 0 0 48 0 0 0 20 0 28 0 3701809 14133010432 26798 33554432000 4194304 4196468 140734229114432 139644703001064 139645035866876 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 13811280
[startup+3.10165 s]
/proc/loadavg: 12.36 13.87 12.47 19/299 17480
/proc/meminfo: memFree=30246804/32770624 swapFree=5808/48500
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
[pid=17452] ppid=17451 vsize=13801768 CPUtime=20.93 cores=1,3,5,7,9,11,13,15
/proc/17452/stat : 17452 (java) S 17451 17451 15196 0 -1 1077944320 21555 0 0 0 2084 9 0 0 20 0 28 0 3701746 14133010432 32619 33554432000 4194304 4196468 140734229114432 140734229096976 139645399801591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
/proc/17452/statm: 3450442 32619 3237 1 0 3437675 0
[pid=17452/tid=17453] ppid=17451 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17453/stat : 17453 (java) S 17451 17451 15196 0 -1 1077944384 6841 0 0 0 57 2 0 0 20 0 28 0 3701746 14133010432 32619 33554432000 4194304 4196468 140734229114432 139645404042368 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17455] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17455/stat : 17455 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 32619 33554432000 4194304 4196468 140734229114432 139645360761488 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17456] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17456/stat : 17456 (java) S 17451 17451 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644997450256 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17457] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17457/stat : 17457 (java) S 17451 17451 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644996397456 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17458] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17458/stat : 17458 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644995344656 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17459] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17459/stat : 17459 (java) S 17451 17451 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644994292880 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17460] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17460/stat : 17460 (java) S 17451 17451 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644993240080 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17461] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17461/stat : 17461 (java) S 17451 17451 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644992187280 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17462] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17462/stat : 17462 (java) S 17451 17451 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3701747 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644991134480 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17463] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17463/stat : 17463 (java) S 17451 17451 15196 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 3701749 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644727859568 139645399812738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17464] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17464/stat : 17464 (java) S 17451 17451 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3701750 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644726805536 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17465] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17465/stat : 17465 (java) S 17451 17451 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3701750 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644725752688 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17466] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17466/stat : 17466 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701754 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644724701008 139645399820187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17467] ppid=17451 vsize=13801768 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17467/stat : 17467 (java) S 17451 17451 15196 0 -1 1077944384 3186 0 0 0 152 0 0 0 20 0 28 0 3701754 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644723649392 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17468] ppid=17451 vsize=13801768 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17468/stat : 17468 (java) S 17451 17451 15196 0 -1 1077944384 2958 0 0 0 149 0 0 0 20 0 28 0 3701754 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644722596592 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17469] ppid=17451 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17469/stat : 17469 (java) S 17451 17451 15196 0 -1 1077944384 3205 0 0 0 128 0 0 0 20 0 28 0 3701754 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644721543792 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17470] ppid=17451 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17470/stat : 17470 (java) S 17451 17451 15196 0 -1 1077944384 2642 0 0 0 64 1 0 0 20 0 28 0 3701754 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644720490992 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17471] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17471/stat : 17471 (java) S 17451 17451 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3701754 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644719438432 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17472] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17472/stat : 17472 (java) S 17451 17451 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3701755 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644718385712 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17473] ppid=17451 vsize=13801768 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17473/stat : 17473 (java) R 17451 17451 15196 0 -1 4202560 118 0 0 0 183 0 0 0 20 0 28 0 3701808 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644710369552 139645039717484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17474] ppid=17451 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17474/stat : 17474 (java) R 17451 17451 15196 0 -1 4202560 193 0 0 0 194 0 0 0 20 0 28 0 3701808 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644709318120 139645040129455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17475] ppid=17451 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17475/stat : 17475 (java) R 17451 17451 15196 0 -1 4202560 250 0 0 0 181 0 0 0 20 0 28 0 3701808 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644708267192 139645040462715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17476] ppid=17451 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17476/stat : 17476 (java) R 17451 17451 15196 0 -1 4202560 268 0 0 0 192 0 0 0 20 0 28 0 3701808 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644707214280 139645041341540 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17477] ppid=17451 vsize=13801768 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17477/stat : 17477 (java) R 17451 17451 15196 0 -1 4202560 130 0 0 0 202 0 0 0 20 0 28 0 3701808 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644706161000 139645040503283 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17478] ppid=17451 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17478/stat : 17478 (java) R 17451 17451 15196 0 -1 4202560 100 0 0 0 190 0 0 0 20 0 28 0 3701808 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644705108200 139645040864357 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17479] ppid=17451 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17479/stat : 17479 (java) R 17451 17451 15196 0 -1 4202560 134 0 0 0 205 0 0 0 20 0 28 0 3701809 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644704056008 139645040327453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17480] ppid=17451 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17480/stat : 17480 (java) R 17451 17451 15196 0 -1 4202560 111 0 0 0 182 0 0 0 20 0 28 0 3701809 14133010432 32619 33554432000 4194304 4196468 140734229114432 139644703002600 139645041359047 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
Current children cumulated CPU time (s) 20.93
Current children cumulated vsize (KiB) 13811280
[startup+6.30168 s]
/proc/loadavg: 12.49 13.87 12.48 17/299 17480
/proc/meminfo: memFree=30157056/32770624 swapFree=5808/48508
################
# More data... #
################
[pid=17452/tid=17479] ppid=17451 vsize=13801768 CPUtime=218.1 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17479/stat : 17479 (java) R 17451 17451 15196 0 -1 4202560 956 0 0 0 21808 2 0 0 20 0 28 0 3701809 14133010432 61697 33554432000 4194304 4196468 140734229114432 139644704055368 139645040129690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17480] ppid=17451 vsize=13801768 CPUtime=218.42 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17480/stat : 17480 (java) R 17451 17451 15196 0 -1 4202560 983 0 0 0 21841 1 0 0 20 0 28 0 3701809 14133010432 61697 33554432000 4194304 4196468 140734229114432 139644703003080 139645040865761 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
Current children cumulated CPU time (s) 1756.83
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.99 14.96 13.27 17/301 17713
/proc/meminfo: memFree=31323400/32770624 swapFree=5808/48924
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
[pid=17452] ppid=17451 vsize=13801768 CPUtime=2230.84 cores=1,3,5,7,9,11,13,15
/proc/17452/stat : 17452 (java) S 17451 17451 15196 0 -1 1077944320 60920 0 0 0 222869 215 0 0 20 0 28 0 3701746 14133010432 79962 33554432000 4194304 4196468 140734229114432 140734229096976 139645399801591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
/proc/17452/statm: 3450442 79962 3277 1 0 3437675 0
[pid=17452/tid=17453] ppid=17451 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17453/stat : 17453 (java) S 17451 17451 15196 0 -1 1077944384 6841 0 0 0 57 2 0 0 20 0 28 0 3701746 14133010432 79962 33554432000 4194304 4196468 140734229114432 139645404042368 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17455] ppid=17451 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17455/stat : 17455 (java) S 17451 17451 15196 0 -1 1077944384 809 0 0 0 65 15 0 0 20 0 28 0 3701747 14133010432 79962 33554432000 4194304 4196468 140734229114432 139645360761488 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17456] ppid=17451 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17456/stat : 17456 (java) S 17451 17451 15196 0 -1 1077944384 1252 0 0 0 66 14 0 0 20 0 28 0 3701747 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644997450256 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17457] ppid=17451 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17457/stat : 17457 (java) S 17451 17451 15196 0 -1 1077944384 1303 0 0 0 67 12 0 0 20 0 28 0 3701747 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644996397456 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17458] ppid=17451 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17458/stat : 17458 (java) S 17451 17451 15196 0 -1 1077944384 1391 0 0 0 66 15 0 0 20 0 28 0 3701747 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644995344656 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17459] ppid=17451 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17459/stat : 17459 (java) S 17451 17451 15196 0 -1 1077944384 2855 0 0 0 65 15 0 0 20 0 28 0 3701747 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644994292880 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17460] ppid=17451 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17460/stat : 17460 (java) S 17451 17451 15196 0 -1 1077944384 1722 0 0 0 65 14 0 0 20 0 28 0 3701747 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644993240080 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17461] ppid=17451 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17461/stat : 17461 (java) S 17451 17451 15196 0 -1 1077944384 1004 0 0 0 65 14 0 0 20 0 28 0 3701747 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644992187280 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17462] ppid=17451 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17462/stat : 17462 (java) S 17451 17451 15196 0 -1 1077944384 1824 0 0 0 66 15 0 0 20 0 28 0 3701747 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644991134480 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17463] ppid=17451 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17463/stat : 17463 (java) S 17451 17451 15196 0 -1 1077944384 5107 0 0 0 64 66 0 0 20 0 28 0 3701749 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644727859568 139645399812738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17464] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17464/stat : 17464 (java) S 17451 17451 15196 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3701750 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644726805536 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17465] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17465/stat : 17465 (java) S 17451 17451 15196 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3701750 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644725752688 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17466] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17466/stat : 17466 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701754 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644724701008 139645399820187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17467] ppid=17451 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17467/stat : 17467 (java) S 17451 17451 15196 0 -1 1077944384 6651 0 0 0 173 1 0 0 20 0 28 0 3701754 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644723649392 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17468] ppid=17451 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17468/stat : 17468 (java) S 17451 17451 15196 0 -1 1077944384 6510 0 0 0 172 1 0 0 20 0 28 0 3701754 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644722596592 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17469] ppid=17451 vsize=13801768 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17469/stat : 17469 (java) S 17451 17451 15196 0 -1 1077944384 5010 0 0 0 152 0 0 0 20 0 28 0 3701754 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644721543792 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17470] ppid=17451 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17470/stat : 17470 (java) S 17451 17451 15196 0 -1 1077944384 4977 0 0 0 68 2 0 0 20 0 28 0 3701754 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644720490992 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17471] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17471/stat : 17471 (java) S 17451 17451 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3701754 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644719438432 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17472] ppid=17451 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17472/stat : 17472 (java) S 17451 17451 15196 0 -1 1077944384 1007 0 0 0 5 6 0 0 20 0 28 0 3701755 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644718385712 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17473] ppid=17451 vsize=13801768 CPUtime=276.63 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17473/stat : 17473 (java) R 17451 17451 15196 0 -1 4202560 1196 0 0 0 27661 2 0 0 20 0 28 0 3701808 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644710370040 139645041085064 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17474] ppid=17451 vsize=13801768 CPUtime=277.02 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17474/stat : 17474 (java) R 17451 17451 15196 0 -1 4202560 939 0 0 0 27700 2 0 0 20 0 28 0 3701808 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644709318344 139645040426289 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17475] ppid=17451 vsize=13801768 CPUtime=277.49 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17475/stat : 17475 (java) R 17451 17451 15196 0 -1 4202560 2730 0 0 0 27747 2 0 0 20 0 28 0 3701808 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644708267208 139645040495995 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17476] ppid=17451 vsize=13801768 CPUtime=276.95 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17476/stat : 17476 (java) R 17451 17451 15196 0 -1 4202560 1700 0 0 0 27692 3 0 0 20 0 28 0 3701808 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644707213752 139645042168567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17477] ppid=17451 vsize=13801768 CPUtime=277.14 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17477/stat : 17477 (java) R 17451 17451 15196 0 -1 4202560 1296 0 0 0 27712 2 0 0 20 0 28 0 3701808 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644706161000 139645041085156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17478] ppid=17451 vsize=13801768 CPUtime=276.95 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17478/stat : 17478 (java) R 17451 17451 15196 0 -1 4202560 517 0 0 0 27692 3 0 0 20 0 28 0 3701808 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644705107920 139645040423409 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17479] ppid=17451 vsize=13801768 CPUtime=277.05 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17479/stat : 17479 (java) R 17451 17451 15196 0 -1 4202560 1897 0 0 0 27702 3 0 0 20 0 28 0 3701809 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644704054920 139645040424298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17480] ppid=17451 vsize=13801768 CPUtime=277.32 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17480/stat : 17480 (java) R 17451 17451 15196 0 -1 4202560 1030 0 0 0 27730 2 0 0 20 0 28 0 3701809 14133010432 79962 33554432000 4194304 4196468 140734229114432 139644703005376 139645040494810 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
Current children cumulated CPU time (s) 2230.84
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.802 s]
/proc/loadavg: 15.99 15.03 13.33 17/301 17713
/proc/meminfo: memFree=31427632/32770624 swapFree=5808/48940
[pid=17451] ppid=17448 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17451/stat : 17451 (xcsp3-exec) S 17448 17451 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3701746 9740288 346 33554432000 4194304 5098028 140734068155616 140734068153720 139771571741308 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32788480 140734068159630 140734068159840 140734068159840 140734068162539 0
/proc/17451/statm: 2378 346 289 221 0 87 0
[pid=17452] ppid=17451 vsize=13801768 CPUtime=2400.5 cores=1,3,5,7,9,11,13,15
/proc/17452/stat : 17452 (java) S 17451 17451 15196 0 -1 1077944320 62881 0 0 0 239824 226 0 0 20 0 28 0 3701746 14133010432 80781 33554432000 4194304 4196468 140734229114432 140734229096976 139645399801591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
/proc/17452/statm: 3450442 80781 3281 1 0 3437675 0
[pid=17452/tid=17453] ppid=17451 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17453/stat : 17453 (java) S 17451 17451 15196 0 -1 1077944384 6841 0 0 0 57 2 0 0 20 0 28 0 3701746 14133010432 80781 33554432000 4194304 4196468 140734229114432 139645404042368 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17455] ppid=17451 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17455/stat : 17455 (java) S 17451 17451 15196 0 -1 1077944384 860 0 0 0 76 15 0 0 20 0 28 0 3701747 14133010432 80781 33554432000 4194304 4196468 140734229114432 139645360761488 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17456] ppid=17451 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17456/stat : 17456 (java) S 17451 17451 15196 0 -1 1077944384 1304 0 0 0 77 15 0 0 20 0 28 0 3701747 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644997450256 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17457] ppid=17451 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17457/stat : 17457 (java) S 17451 17451 15196 0 -1 1077944384 1408 0 0 0 77 13 0 0 20 0 28 0 3701747 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644996397456 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17458] ppid=17451 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17458/stat : 17458 (java) S 17451 17451 15196 0 -1 1077944384 1467 0 0 0 77 16 0 0 20 0 28 0 3701747 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644995344656 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17459] ppid=17451 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17459/stat : 17459 (java) S 17451 17451 15196 0 -1 1077944384 2916 0 0 0 75 15 0 0 20 0 28 0 3701747 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644994292880 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17460] ppid=17451 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17460/stat : 17460 (java) S 17451 17451 15196 0 -1 1077944384 2061 0 0 0 75 15 0 0 20 0 28 0 3701747 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644993240080 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17461] ppid=17451 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17461/stat : 17461 (java) S 17451 17451 15196 0 -1 1077944384 1087 0 0 0 75 14 0 0 20 0 28 0 3701747 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644992187280 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17462] ppid=17451 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17462/stat : 17462 (java) S 17451 17451 15196 0 -1 1077944384 1939 0 0 0 77 15 0 0 20 0 28 0 3701747 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644991134480 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17463] ppid=17451 vsize=13801768 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17463/stat : 17463 (java) S 17451 17451 15196 0 -1 1077944384 5234 0 0 0 73 73 0 0 20 0 28 0 3701749 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644727859568 139645399812738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17464] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17464/stat : 17464 (java) S 17451 17451 15196 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3701750 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644726805536 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17465] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17465/stat : 17465 (java) S 17451 17451 15196 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3701750 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644725752688 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17466] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17466/stat : 17466 (java) S 17451 17451 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3701754 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644724701008 139645399820187 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17467] ppid=17451 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17467/stat : 17467 (java) S 17451 17451 15196 0 -1 1077944384 6651 0 0 0 173 1 0 0 20 0 28 0 3701754 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644723649392 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17468] ppid=17451 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17468/stat : 17468 (java) S 17451 17451 15196 0 -1 1077944384 6510 0 0 0 172 1 0 0 20 0 28 0 3701754 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644722596592 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17469] ppid=17451 vsize=13801768 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17469/stat : 17469 (java) S 17451 17451 15196 0 -1 1077944384 5010 0 0 0 152 0 0 0 20 0 28 0 3701754 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644721543792 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17470] ppid=17451 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17470/stat : 17470 (java) S 17451 17451 15196 0 -1 1077944384 4977 0 0 0 68 2 0 0 20 0 28 0 3701754 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644720490992 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17471] ppid=17451 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17471/stat : 17471 (java) S 17451 17451 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3701754 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644719438432 139645399811797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17472] ppid=17451 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17472/stat : 17472 (java) S 17451 17451 15196 0 -1 1077944384 1009 0 0 0 5 7 0 0 20 0 28 0 3701755 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644718385712 139645399812738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17473] ppid=17451 vsize=13801768 CPUtime=297.74 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17473/stat : 17473 (java) R 17451 17451 15196 0 -1 4202560 1228 0 0 0 29772 2 0 0 20 0 28 0 3701808 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644710372912 139645040503211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17474] ppid=17451 vsize=13801768 CPUtime=298.05 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17474/stat : 17474 (java) R 17451 17451 15196 0 -1 4202560 1230 0 0 0 29803 2 0 0 20 0 28 0 3701808 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644709317936 139645040463000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17475] ppid=17451 vsize=13801768 CPUtime=298.58 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17475/stat : 17475 (java) R 17451 17451 15196 0 -1 4202560 2768 0 0 0 29856 2 0 0 20 0 28 0 3701808 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644708266344 139645040463306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17476] ppid=17451 vsize=13801768 CPUtime=297.86 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17476/stat : 17476 (java) R 17451 17451 15196 0 -1 4202560 2152 0 0 0 29783 3 0 0 20 0 28 0 3701808 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644707213784 139645040495958 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17477] ppid=17451 vsize=13801768 CPUtime=298.25 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17477/stat : 17477 (java) R 17451 17451 15196 0 -1 4202560 1331 0 0 0 29823 2 0 0 20 0 28 0 3701808 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644706161000 139645040648654 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17478] ppid=17451 vsize=13801768 CPUtime=298.09 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17478/stat : 17478 (java) R 17451 17451 15196 0 -1 4202560 529 0 0 0 29806 3 0 0 20 0 28 0 3701808 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644705108200 139645040495820 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17479] ppid=17451 vsize=13801768 CPUtime=298.15 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17479/stat : 17479 (java) R 17451 17451 15196 0 -1 4202560 1927 0 0 0 29812 3 0 0 20 0 28 0 3701809 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644704055368 139645040367339 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
[pid=17452/tid=17480] ppid=17451 vsize=13801768 CPUtime=298.44 cores=1,3,5,7,9,11,13,15
/proc/17452/task/17480/stat : 17480 (java) R 17451 17451 15196 0 -1 4202560 1090 0 0 0 29842 2 0 0 20 0 28 0 3701809 14133010432 80781 33554432000 4194304 4196468 140734229114432 139644703002552 139645041084971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140734229120188 140734229120364 140734229120364 140734229123023 0
Current children cumulated CPU time (s) 2400.5
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17452 sig 9
??? kill 17451 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17451 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=955
# CPU time returned by wait4() is 0.002866
# while last known CPU time is 2400.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.813
CPU time (s): 2400.5
CPU user time (s): 2398.24
CPU system time (s): 2.26
CPU usage (%): 790.125
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001911
system time used= 0.000955
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.2483 second user time and 4.28943 second system time
The end