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-4246632-1500688000/watcher-4246632-1500688000 -o /tmp/evaluation-result-4246632-1500688000/solver-4246632-1500688000 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 387079723 HOME/instance-4246632-1500688000.xml
pid=28571
running on 8 cores: 0,2,4,6,8,10,12,14
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: 11.72 13.29 14.17 10/262 28574
/proc/meminfo: memFree=21464180/32770624 swapFree=5808/101412
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
[startup+0.100129 s]
/proc/loadavg: 11.72 13.29 14.17 10/262 28574
/proc/meminfo: memFree=21464180/32770624 swapFree=5808/101412
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200316 s]
/proc/loadavg: 11.72 13.29 14.17 10/262 28574
/proc/meminfo: memFree=21464180/32770624 swapFree=5808/101412
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300266 s]
/proc/loadavg: 11.72 13.29 14.17 10/262 28574
/proc/meminfo: memFree=21464180/32770624 swapFree=5808/101412
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700173 s]
/proc/loadavg: 11.72 13.29 14.17 10/262 28574
/proc/meminfo: memFree=21464180/32770624 swapFree=5808/101412
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50149 s]
/proc/loadavg: 11.72 13.29 14.17 18/291 28603
/proc/meminfo: memFree=21325944/32770624 swapFree=5808/101444
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
[pid=28575] ppid=28574 vsize=13801768 CPUtime=6.7 cores=0,2,4,6,8,10,12,14
/proc/28575/stat : 28575 (java) S 28574 28574 15196 0 -1 1077944320 16826 0 0 0 653 17 0 0 20 0 28 0 4065123 14133010432 52775 33554432000 4194304 4196468 140722099893792 140722099876336 140373270855415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
/proc/28575/statm: 3450442 52775 3245 1 0 3437675 0
[pid=28575/tid=28576] ppid=28574 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28576/stat : 28576 (java) S 28574 28574 15196 0 -1 1077944384 6999 0 0 0 90 3 0 0 20 0 28 0 4065124 14133010432 52775 33554432000 4194304 4196468 140722099893792 140373275096192 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28578] ppid=28574 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28578/stat : 28578 (java) S 28574 28574 15196 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 4065125 14133010432 52775 33554432000 4194304 4196468 140722099893792 140373223475472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28579] ppid=28574 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28579/stat : 28579 (java) S 28574 28574 15196 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 28 0 4065125 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372868528528 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28580] ppid=28574 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28580/stat : 28580 (java) S 28574 28574 15196 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 28 0 4065125 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372867475984 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28581] ppid=28574 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28581/stat : 28581 (java) S 28574 28574 15196 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 28 0 4065125 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372866423440 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28582] ppid=28574 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28582/stat : 28582 (java) S 28574 28574 15196 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 4065125 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372865370896 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28583] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28583/stat : 28583 (java) S 28574 28574 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4065125 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372864318352 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28584] ppid=28574 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28584/stat : 28584 (java) S 28574 28574 15196 0 -1 1077944384 9 0 0 0 0 1 0 0 20 0 28 0 4065125 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372863265808 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28585] ppid=28574 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28585/stat : 28585 (java) S 28574 28574 15196 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 28 0 4065125 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372862213264 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28586] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28586/stat : 28586 (java) S 28574 28574 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4065127 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372464666608 140373270866562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28587] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28587/stat : 28587 (java) S 28574 28574 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4065128 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372463612832 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28588] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28588/stat : 28588 (java) S 28574 28574 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4065128 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372462560240 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28589] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28589/stat : 28589 (java) S 28574 28574 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4065132 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372461508816 140373270874011 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28590] ppid=28574 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28590/stat : 28590 (java) R 28574 28574 15196 0 -1 4202560 2222 0 0 0 76 0 0 0 20 0 28 0 4065132 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372460442312 140373252400017 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28591] ppid=28574 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28591/stat : 28591 (java) R 28574 28574 15196 0 -1 4202560 1551 0 0 0 77 0 0 0 20 0 28 0 4065132 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372459384904 140373254369504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28592] ppid=28574 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28592/stat : 28592 (java) R 28574 28574 15196 0 -1 4202560 1530 0 0 0 77 0 0 0 20 0 28 0 4065132 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372458337912 140373252391395 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28593] ppid=28574 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28593/stat : 28593 (java) S 28574 28574 15196 0 -1 1077944384 2643 0 0 0 56 1 0 0 20 0 28 0 4065132 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372457298800 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28594] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28594/stat : 28594 (java) S 28574 28574 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4065132 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372456245472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28595] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28595/stat : 28595 (java) S 28574 28574 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4065133 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372455193008 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28596] ppid=28574 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28596/stat : 28596 (java) R 28574 28574 15196 0 -1 4202560 65 0 0 0 31 0 0 0 20 0 28 0 4065220 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372447177048 140372908232552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28597] ppid=28574 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28597/stat : 28597 (java) R 28574 28574 15196 0 -1 4202560 44 0 0 0 30 0 0 0 20 0 28 0 4065220 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372446125768 140372908880786 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28598] ppid=28574 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28598/stat : 28598 (java) R 28574 28574 15196 0 -1 4202560 38 0 0 0 28 0 0 0 20 0 28 0 4065220 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372445072688 140372908316889 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28599] ppid=28574 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28599/stat : 28599 (java) R 28574 28574 15196 0 -1 4202560 72 0 0 0 31 0 0 0 20 0 28 0 4065220 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372444022448 140372908879388 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28600] ppid=28574 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28600/stat : 28600 (java) R 28574 28574 15196 0 -1 4202560 41 0 0 0 34 0 0 0 20 0 28 0 4065220 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372442967880 140372908878415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28601] ppid=28574 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28601/stat : 28601 (java) R 28574 28574 15196 0 -1 4202560 33 0 0 0 32 0 0 0 20 0 28 0 4065220 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372441915592 140372908316258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28602] ppid=28574 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28602/stat : 28602 (java) R 28574 28574 15196 0 -1 4202560 45 0 0 0 38 0 0 0 20 0 28 0 4065220 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372440862280 140372907880780 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28603] ppid=28574 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28603/stat : 28603 (java) R 28574 28574 15196 0 -1 4202560 51 0 0 0 40 0 0 0 20 0 28 0 4065220 14133010432 52775 33554432000 4194304 4196468 140722099893792 140372439809080 140372908860651 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 13811280
[startup+3.10131 s]
/proc/loadavg: 12.31 13.38 14.20 15/291 28611
/proc/meminfo: memFree=21238616/32770624 swapFree=5808/101444
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
[pid=28575] ppid=28574 vsize=13801768 CPUtime=18.69 cores=0,2,4,6,8,10,12,14
/proc/28575/stat : 28575 (java) S 28574 28574 15196 0 -1 1077944320 19090 0 0 0 1835 34 0 0 20 0 28 0 4065123 14133010432 92344 33554432000 4194304 4196468 140722099893792 140722099876336 140373270855415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
/proc/28575/statm: 3450442 92344 3257 1 0 3437675 0
[pid=28575/tid=28576] ppid=28574 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28576/stat : 28576 (java) S 28574 28574 15196 0 -1 1077944384 7002 0 0 0 91 3 0 0 20 0 28 0 4065124 14133010432 92344 33554432000 4194304 4196468 140722099893792 140373275096192 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28578] ppid=28574 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28578/stat : 28578 (java) S 28574 28574 15196 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 28 0 4065125 14133010432 92344 33554432000 4194304 4196468 140722099893792 140373223475472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28579] ppid=28574 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28579/stat : 28579 (java) S 28574 28574 15196 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 28 0 4065125 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372868528528 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28580] ppid=28574 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28580/stat : 28580 (java) S 28574 28574 15196 0 -1 1077944384 28 0 0 0 2 2 0 0 20 0 28 0 4065125 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372867475984 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28581] ppid=28574 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28581/stat : 28581 (java) S 28574 28574 15196 0 -1 1077944384 37 0 0 0 3 3 0 0 20 0 28 0 4065125 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372866423440 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28582] ppid=28574 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28582/stat : 28582 (java) S 28574 28574 15196 0 -1 1077944384 42 0 0 0 3 2 0 0 20 0 28 0 4065125 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372865370896 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28583] ppid=28574 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28583/stat : 28583 (java) S 28574 28574 15196 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 28 0 4065125 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372864318352 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28584] ppid=28574 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28584/stat : 28584 (java) S 28574 28574 15196 0 -1 1077944384 26 0 0 0 2 2 0 0 20 0 28 0 4065125 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372863265808 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28585] ppid=28574 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28585/stat : 28585 (java) S 28574 28574 15196 0 -1 1077944384 27 0 0 0 3 2 0 0 20 0 28 0 4065125 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372862213264 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28586] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28586/stat : 28586 (java) S 28574 28574 15196 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 4065127 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372464666608 140373270866562 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28587] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28587/stat : 28587 (java) S 28574 28574 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4065128 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372463612896 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28588] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28588/stat : 28588 (java) S 28574 28574 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4065128 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372462560256 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28589] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28589/stat : 28589 (java) S 28574 28574 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4065132 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372461508816 140373270874011 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28590] ppid=28574 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28590/stat : 28590 (java) S 28574 28574 15196 0 -1 1077944384 2539 0 0 0 179 1 0 0 20 0 28 0 4065132 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372460456432 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28591] ppid=28574 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28591/stat : 28591 (java) S 28574 28574 15196 0 -1 1077944384 2017 0 0 0 165 1 0 0 20 0 28 0 4065132 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372459403888 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28592] ppid=28574 vsize=13801768 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28592/stat : 28592 (java) S 28574 28574 15196 0 -1 1077944384 1872 0 0 0 173 0 0 0 20 0 28 0 4065132 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372458351344 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28593] ppid=28574 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28593/stat : 28593 (java) S 28574 28574 15196 0 -1 1077944384 2852 0 0 0 74 1 0 0 20 0 28 0 4065132 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372457298800 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28594] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28594/stat : 28594 (java) S 28574 28574 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4065132 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372456245472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28595] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28595/stat : 28595 (java) S 28574 28574 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4065133 14133010432 92344 33554432000 4194304 4196468 140722099893792 140372455193008 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (KiB) 13811280
[startup+6.30159 s]
/proc/loadavg: 12.31 13.38 14.20 11/291 28643
/proc/meminfo: memFree=21055544/32770624 swapFree=5808/101444
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
[pid=28575] ppid=28574 vsize=13801768 CPUtime=43.95 cores=0,2,4,6,8,10,12,14
/proc/28575/stat : 28575 (java) S 28574 28574 15196 0 -1 1077944320 23758 0 0 0 4347 48 0 0 20 0 28 0 4065123 14133010432 132945 33554432000 4194304 4196468 140722099893792 140722099876336 140373270855415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
/proc/28575/statm: 3450442 132945 3266 1 0 3437675 0
[pid=28575/tid=28576] ppid=28574 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28576/stat : 28576 (java) S 28574 28574 15196 0 -1 1077944384 7003 0 0 0 91 3 0 0 20 0 28 0 4065124 14133010432 132945 33554432000 4194304 4196468 140722099893792 140373275096192 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28578] ppid=28574 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28578/stat : 28578 (java) S 28574 28574 15196 0 -1 1077944384 46 0 0 0 2 3 0 0 20 0 28 0 4065125 14133010432 132945 33554432000 4194304 4196468 140722099893792 140373223475472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28579] ppid=28574 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28579/stat : 28579 (java) S 28574 28574 15196 0 -1 1077944384 42 0 0 0 3 3 0 0 20 0 28 0 4065125 14133010432 132945 33554432000 4194304 4196468 140722099893792 140372868528528 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28580] ppid=28574 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28580/stat : 28580 (java) S 28574 28574 15196 0 -1 1077944384 43 0 0 0 3 3 0 0 20 0 28 0 4065125 14133010432 132945 33554432000 4194304 4196468 140722099893792 140372867475984 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28581] ppid=28574 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28581/stat : 28581 (java) S 28574 28574 15196 0 -1 1077944384 90 0 0 0 4 4 0 0 20 0 28 0 4065125 14133010432 132945 33554432000 4194304 4196468 140722099893792 140372866423440 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
################
# More data... #
################
[pid=28575/tid=28667] ppid=28574 vsize=13801768 CPUtime=187.8 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28667/stat : 28667 (java) R 28574 28574 15196 0 -1 4202560 4429 0 0 0 18778 2 0 0 20 0 28 0 4074401 14133010432 516888 33554432000 4194304 4196468 140722099893792 140372444020168 140372910187328 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28668] ppid=28574 vsize=13801768 CPUtime=189.18 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28668/stat : 28668 (java) R 28574 28574 15196 0 -1 4202560 1156 0 0 0 18918 0 0 0 20 0 28 0 4074401 14133010432 516888 33554432000 4194304 4196468 140722099893792 140372442967440 140372910187282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
Current children cumulated CPU time (s) 2238.2
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.702 s]
/proc/loadavg: 15.95 14.88 14.60 17/300 28876
/proc/meminfo: memFree=29758576/32770624 swapFree=5808/101840
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
[pid=28575] ppid=28574 vsize=13801768 CPUtime=2400.68 cores=0,2,4,6,8,10,12,14
/proc/28575/stat : 28575 (java) S 28574 28574 15196 0 -1 1077944320 97825 0 0 0 239890 178 0 0 20 0 28 0 4065123 14133010432 505860 33554432000 4194304 4196468 140722099893792 140722099876336 140373270855415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
/proc/28575/statm: 3450442 505860 3275 1 0 3437675 0
[pid=28575/tid=28576] ppid=28574 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28576/stat : 28576 (java) S 28574 28574 15196 0 -1 1077944384 7329 0 0 0 91 3 0 0 20 0 28 0 4065124 14133010432 505860 33554432000 4194304 4196468 140722099893792 140373275096192 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28578] ppid=28574 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28578/stat : 28578 (java) S 28574 28574 15196 0 -1 1077944384 1583 0 0 0 16 13 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140373223475472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28579] ppid=28574 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28579/stat : 28579 (java) S 28574 28574 15196 0 -1 1077944384 1737 0 0 0 17 15 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372868528528 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28580] ppid=28574 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28580/stat : 28580 (java) S 28574 28574 15196 0 -1 1077944384 665 0 0 0 15 13 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372867475984 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28581] ppid=28574 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28581/stat : 28581 (java) S 28574 28574 15196 0 -1 1077944384 489 0 0 0 16 14 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372866423440 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28582] ppid=28574 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28582/stat : 28582 (java) S 28574 28574 15196 0 -1 1077944384 1080 0 0 0 18 11 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372865370896 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28583] ppid=28574 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28583/stat : 28583 (java) S 28574 28574 15196 0 -1 1077944384 1427 0 0 0 13 11 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372864318352 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28584] ppid=28574 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28584/stat : 28584 (java) S 28574 28574 15196 0 -1 1077944384 1162 0 0 0 21 12 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372863265808 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28585] ppid=28574 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28585/stat : 28585 (java) S 28574 28574 15196 0 -1 1077944384 574 0 0 0 18 15 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372862213264 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28586] ppid=28574 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28586/stat : 28586 (java) S 28574 28574 15196 0 -1 1077944384 3760 0 0 0 6 9 0 0 20 0 28 0 4065127 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372464666608 140373270866562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28587] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28587/stat : 28587 (java) S 28574 28574 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4065128 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372463612896 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28588] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28588/stat : 28588 (java) S 28574 28574 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4065128 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372462560256 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28589] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28589/stat : 28589 (java) S 28574 28574 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372461508816 140373270874011 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28590] ppid=28574 vsize=13801768 CPUtime=3.17 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28590/stat : 28590 (java) S 28574 28574 15196 0 -1 1077944384 10527 0 0 0 315 2 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372460456432 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28591] ppid=28574 vsize=13801768 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28591/stat : 28591 (java) S 28574 28574 15196 0 -1 1077944384 10831 0 0 0 303 2 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372459403888 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28592] ppid=28574 vsize=13801768 CPUtime=3.5 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28592/stat : 28592 (java) S 28574 28574 15196 0 -1 1077944384 10898 0 0 0 349 1 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372458351344 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28593] ppid=28574 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28593/stat : 28593 (java) S 28574 28574 15196 0 -1 1077944384 8554 0 0 0 95 2 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372457298800 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28594] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28594/stat : 28594 (java) S 28574 28574 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372456245472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28595] ppid=28574 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28595/stat : 28595 (java) S 28574 28574 15196 0 -1 1077944384 1006 0 0 0 6 5 0 0 20 0 28 0 4065133 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372455193008 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28661] ppid=28574 vsize=13801768 CPUtime=209.51 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28661/stat : 28661 (java) R 28574 28574 15196 0 -1 4202560 2272 0 0 0 20951 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372445072232 140372911461006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28662] ppid=28574 vsize=13801768 CPUtime=209.15 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28662/stat : 28662 (java) R 28574 28574 15196 0 -1 4202560 1859 0 0 0 20914 1 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372447181504 140372908824756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28663] ppid=28574 vsize=13801768 CPUtime=209.29 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28663/stat : 28663 (java) R 28574 28574 15196 0 -1 4202560 3265 0 0 0 20929 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372446125728 140372911793179 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28664] ppid=28574 vsize=13801768 CPUtime=208.62 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28664/stat : 28664 (java) R 28574 28574 15196 0 -1 4202560 1840 0 0 0 20862 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372440862936 140372909326387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28665] ppid=28574 vsize=13801768 CPUtime=208.48 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28665/stat : 28665 (java) R 28574 28574 15196 0 -1 4202560 1180 0 0 0 20848 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372441915592 140372910914574 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28666] ppid=28574 vsize=13801768 CPUtime=209.11 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28666/stat : 28666 (java) R 28574 28574 15196 0 -1 4202560 416 0 0 0 20911 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372439810376 140372909326268 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28667] ppid=28574 vsize=13801768 CPUtime=207.78 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28667/stat : 28667 (java) R 28574 28574 15196 0 -1 4202560 4537 0 0 0 20776 2 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372444020248 140372909881083 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28668] ppid=28574 vsize=13801768 CPUtime=209.56 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28668/stat : 28668 (java) R 28574 28574 15196 0 -1 4202560 1182 0 0 0 20955 1 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372442967448 140372908824012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
Current children cumulated CPU time (s) 2400.68
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 28575 sig 9
??? kill 28574 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.702 s]
/proc/loadavg: 15.95 14.88 14.60 17/300 28876
/proc/meminfo: memFree=29758576/32770624 swapFree=5808/101840
[pid=28574] ppid=28571 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065123 9740288 346 33554432000 4194304 5098028 140723788064880 140723788062984 140212354052732 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 30236672 140723788067983 140723788068192 140723788068192 140723788070891 0
/proc/28574/statm: 2378 346 289 221 0 87 0
[pid=28575] ppid=28574 vsize=13801768 CPUtime=2400.68 cores=0,2,4,6,8,10,12,14
/proc/28575/stat : 28575 (java) S 28574 28574 15196 0 -1 1077944320 97825 0 0 0 239890 178 0 0 20 0 28 0 4065123 14133010432 505860 33554432000 4194304 4196468 140722099893792 140722099876336 140373270855415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
/proc/28575/statm: 3450442 505860 3275 1 0 3437675 0
[pid=28575/tid=28576] ppid=28574 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28576/stat : 28576 (java) S 28574 28574 15196 0 -1 1077944384 7329 0 0 0 91 3 0 0 20 0 28 0 4065124 14133010432 505860 33554432000 4194304 4196468 140722099893792 140373275096192 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28578] ppid=28574 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28578/stat : 28578 (java) S 28574 28574 15196 0 -1 1077944384 1583 0 0 0 16 13 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140373223475472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28579] ppid=28574 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28579/stat : 28579 (java) S 28574 28574 15196 0 -1 1077944384 1737 0 0 0 17 15 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372868528528 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28580] ppid=28574 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28580/stat : 28580 (java) S 28574 28574 15196 0 -1 1077944384 665 0 0 0 15 13 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372867475984 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28581] ppid=28574 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28581/stat : 28581 (java) S 28574 28574 15196 0 -1 1077944384 489 0 0 0 16 14 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372866423440 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28582] ppid=28574 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28582/stat : 28582 (java) S 28574 28574 15196 0 -1 1077944384 1080 0 0 0 18 11 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372865370896 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28583] ppid=28574 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28583/stat : 28583 (java) S 28574 28574 15196 0 -1 1077944384 1427 0 0 0 13 11 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372864318352 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28584] ppid=28574 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28584/stat : 28584 (java) S 28574 28574 15196 0 -1 1077944384 1162 0 0 0 21 12 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372863265808 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28585] ppid=28574 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28585/stat : 28585 (java) S 28574 28574 15196 0 -1 1077944384 574 0 0 0 18 15 0 0 20 0 28 0 4065125 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372862213264 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28586] ppid=28574 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28586/stat : 28586 (java) S 28574 28574 15196 0 -1 1077944384 3760 0 0 0 6 9 0 0 20 0 28 0 4065127 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372464666608 140373270866562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28587] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28587/stat : 28587 (java) S 28574 28574 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4065128 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372463612896 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28588] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28588/stat : 28588 (java) S 28574 28574 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4065128 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372462560256 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28589] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28589/stat : 28589 (java) S 28574 28574 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372461508816 140373270874011 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28590] ppid=28574 vsize=13801768 CPUtime=3.17 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28590/stat : 28590 (java) S 28574 28574 15196 0 -1 1077944384 10527 0 0 0 315 2 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372460456432 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28591] ppid=28574 vsize=13801768 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28591/stat : 28591 (java) S 28574 28574 15196 0 -1 1077944384 10831 0 0 0 303 2 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372459403888 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28592] ppid=28574 vsize=13801768 CPUtime=3.5 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28592/stat : 28592 (java) S 28574 28574 15196 0 -1 1077944384 10898 0 0 0 349 1 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372458351344 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28593] ppid=28574 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28593/stat : 28593 (java) S 28574 28574 15196 0 -1 1077944384 8554 0 0 0 95 2 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372457298800 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28594] ppid=28574 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28594/stat : 28594 (java) S 28574 28574 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4065132 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372456245472 140373270865621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28595] ppid=28574 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28595/stat : 28595 (java) S 28574 28574 15196 0 -1 1077944384 1006 0 0 0 6 5 0 0 20 0 28 0 4065133 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372455193008 140373270866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28661] ppid=28574 vsize=13801768 CPUtime=209.51 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28661/stat : 28661 (java) R 28574 28574 15196 0 -1 4202560 2272 0 0 0 20951 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372445072232 140372911461006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28662] ppid=28574 vsize=13801768 CPUtime=209.15 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28662/stat : 28662 (java) R 28574 28574 15196 0 -1 4202560 1859 0 0 0 20914 1 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372447181504 140372908824756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28663] ppid=28574 vsize=13801768 CPUtime=209.29 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28663/stat : 28663 (java) R 28574 28574 15196 0 -1 4202560 3265 0 0 0 20929 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372446125728 140372911793179 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28664] ppid=28574 vsize=13801768 CPUtime=208.62 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28664/stat : 28664 (java) R 28574 28574 15196 0 -1 4202560 1840 0 0 0 20862 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372440862936 140372909326387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28665] ppid=28574 vsize=13801768 CPUtime=208.48 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28665/stat : 28665 (java) R 28574 28574 15196 0 -1 4202560 1180 0 0 0 20848 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372441915592 140372910914574 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28666] ppid=28574 vsize=13801768 CPUtime=209.11 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28666/stat : 28666 (java) R 28574 28574 15196 0 -1 4202560 416 0 0 0 20911 0 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372439810376 140372909326268 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28667] ppid=28574 vsize=13801768 CPUtime=207.78 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28667/stat : 28667 (java) R 28574 28574 15196 0 -1 4202560 4537 0 0 0 20776 2 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372444020248 140372909881083 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
[pid=28575/tid=28668] ppid=28574 vsize=13801768 CPUtime=209.56 cores=0,2,4,6,8,10,12,14
/proc/28575/task/28668/stat : 28668 (java) R 28574 28574 15196 0 -1 4202560 1182 0 0 0 20955 1 0 0 20 0 28 0 4074401 14133010432 505860 33554432000 4194304 4196468 140722099893792 140372442967448 140372908824012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140722099901628 140722099901804 140722099901804 140722099904463 0
Current children cumulated CPU time (s) 2400.68
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28574 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=946
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1892
# CPU time returned by wait4() is 0.002838
# while last known CPU time is 2400.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.712
CPU time (s): 2400.68
CPU user time (s): 2398.9
CPU system time (s): 1.78
CPU usage (%): 793.057
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000946
system time used= 0.001892
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.78246 second user time and 3.99597 second system time
The end