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-4244499-1500683298/watcher-4244499-1500683298 -o /tmp/evaluation-result-4244499-1500683298/solver-4244499-1500683298 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 3672258 HOME/instance-4244499-1500683298.xml
pid=17451
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: 16.06 15.33 11.44 10/271 17454
/proc/meminfo: memFree=31653964/32770624 swapFree=5736/220720
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
[startup+0.100073 s]
/proc/loadavg: 16.06 15.33 11.44 10/271 17454
/proc/meminfo: memFree=31653964/32770624 swapFree=5736/220720
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200328 s]
/proc/loadavg: 16.06 15.33 11.44 10/271 17454
/proc/meminfo: memFree=31653964/32770624 swapFree=5736/220720
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300317 s]
/proc/loadavg: 16.06 15.33 11.44 10/271 17454
/proc/meminfo: memFree=31653964/32770624 swapFree=5736/220720
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700205 s]
/proc/loadavg: 16.06 15.33 11.44 10/271 17454
/proc/meminfo: memFree=31653964/32770624 swapFree=5736/220720
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50101 s]
/proc/loadavg: 16.06 15.33 11.44 15/292 17475
/proc/meminfo: memFree=31458736/32770624 swapFree=5736/220760
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
[pid=17455] ppid=17454 vsize=13801768 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/17455/stat : 17455 (java) S 17454 17454 16473 0 -1 1077944320 27936 0 0 0 626 14 0 0 20 0 28 0 3599002 14133010432 57451 33554432000 4194304 4196468 140725115461264 140725115443808 139968879140599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
/proc/17455/statm: 3450442 57451 3254 1 0 3437675 0
[pid=17455/tid=17456] ppid=17454 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17456/stat : 17456 (java) S 17454 17454 16473 0 -1 1077944384 8417 0 0 0 106 4 0 0 20 0 28 0 3599002 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968883381376 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17458] ppid=17454 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17458/stat : 17458 (java) S 17454 17454 16473 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 28 0 3599003 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968831760656 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17459] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17459/stat : 17459 (java) S 17454 17454 16473 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3599003 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968830708112 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17460] ppid=17454 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17460/stat : 17460 (java) S 17454 17454 16473 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 28 0 3599003 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968829655568 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17461] ppid=17454 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17461/stat : 17461 (java) S 17454 17454 16473 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 3599003 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968828603024 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17462] ppid=17454 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17462/stat : 17462 (java) S 17454 17454 16473 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 28 0 3599003 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968827550480 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17463] ppid=17454 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17463/stat : 17463 (java) S 17454 17454 16473 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 3599003 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968826497936 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17464] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17464/stat : 17464 (java) S 17454 17454 16473 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 28 0 3599003 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968825445392 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17465] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17465/stat : 17465 (java) S 17454 17454 16473 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3599003 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968470514832 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17466] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17466/stat : 17466 (java) S 17454 17454 16473 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 28 0 3599005 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968206809072 139968879151746 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17467] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17467/stat : 17467 (java) S 17454 17454 16473 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3599006 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968205755296 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17468] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17468/stat : 17468 (java) S 17454 17454 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3599007 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968204702704 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17469] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17469/stat : 17469 (java) S 17454 17454 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968203651280 139968879159195 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17470] ppid=17454 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17470/stat : 17470 (java) R 17454 17454 16473 0 -1 4202560 4954 0 0 0 87 0 0 0 20 0 28 0 3599011 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968202579912 139968862639468 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17471] ppid=17454 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17471/stat : 17471 (java) R 17454 17454 16473 0 -1 4202560 3920 0 0 0 86 0 0 0 20 0 28 0 3599011 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968201526696 139968858379020 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17472] ppid=17454 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17472/stat : 17472 (java) R 17454 17454 16473 0 -1 4202560 4637 0 0 0 86 0 0 0 20 0 28 0 3599011 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968200474088 139968862640996 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17473] ppid=17454 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17473/stat : 17473 (java) S 17454 17454 16473 0 -1 1077944384 3674 0 0 0 62 0 0 0 20 0 28 0 3599011 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968199441264 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17474] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17474/stat : 17474 (java) S 17454 17454 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968198387936 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17475] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17475/stat : 17475 (java) S 17454 17454 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 57451 33554432000 4194304 4196468 140725115461264 139968197335472 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 13811280
[startup+3.10146 s]
/proc/loadavg: 16.37 15.41 11.48 20/300 17483
/proc/meminfo: memFree=31402612/32770624 swapFree=5736/220772
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
[pid=17455] ppid=17454 vsize=13801768 CPUtime=19.15 cores=0,2,4,6,8,10,12,14
/proc/17455/stat : 17455 (java) S 17454 17454 16473 0 -1 1077944320 37914 0 0 0 1898 17 0 0 20 0 28 0 3599002 14133010432 65254 33554432000 4194304 4196468 140725115461264 140725115443808 139968879140599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
/proc/17455/statm: 3450442 65254 3258 1 0 3437675 0
[pid=17455/tid=17456] ppid=17454 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17456/stat : 17456 (java) S 17454 17454 16473 0 -1 1077944384 8417 0 0 0 106 4 0 0 20 0 28 0 3599002 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968883381376 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17458] ppid=17454 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17458/stat : 17458 (java) S 17454 17454 16473 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 28 0 3599003 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968831760656 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17459] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17459/stat : 17459 (java) S 17454 17454 16473 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3599003 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968830708112 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17460] ppid=17454 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17460/stat : 17460 (java) S 17454 17454 16473 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 28 0 3599003 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968829655568 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17461] ppid=17454 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17461/stat : 17461 (java) S 17454 17454 16473 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 3599003 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968828603024 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17462] ppid=17454 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17462/stat : 17462 (java) S 17454 17454 16473 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 28 0 3599003 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968827550480 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17463] ppid=17454 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17463/stat : 17463 (java) S 17454 17454 16473 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 3599003 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968826497936 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17464] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17464/stat : 17464 (java) S 17454 17454 16473 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 28 0 3599003 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968825445392 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17465] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17465/stat : 17465 (java) S 17454 17454 16473 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3599003 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968470514832 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17466] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17466/stat : 17466 (java) S 17454 17454 16473 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 28 0 3599005 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968206809072 139968879151746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17467] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17467/stat : 17467 (java) S 17454 17454 16473 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3599006 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968205755296 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17468] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17468/stat : 17468 (java) S 17454 17454 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3599007 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968204702704 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17469] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17469/stat : 17469 (java) S 17454 17454 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968203651280 139968879159195 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17470] ppid=17454 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17470/stat : 17470 (java) R 17454 17454 16473 0 -1 4202560 7646 0 0 0 198 1 0 0 20 0 28 0 3599011 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968202585312 139968856613313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17471] ppid=17454 vsize=13801768 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17471/stat : 17471 (java) R 17454 17454 16473 0 -1 4202560 6401 0 0 0 202 1 0 0 20 0 28 0 3599011 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968201527344 139968858402727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17472] ppid=17454 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17472/stat : 17472 (java) R 17454 17454 16473 0 -1 4202560 7978 0 0 0 198 1 0 0 20 0 28 0 3599011 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968200480352 139968860316501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17473] ppid=17454 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17473/stat : 17473 (java) S 17454 17454 16473 0 -1 1077944384 4262 0 0 0 73 1 0 0 20 0 28 0 3599011 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968199441264 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17474] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17474/stat : 17474 (java) S 17454 17454 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968198387936 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17475] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17475/stat : 17475 (java) S 17454 17454 16473 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968197335472 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17476] ppid=17454 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17476/stat : 17476 (java) R 17454 17454 16473 0 -1 4202560 158 0 0 0 142 0 0 0 20 0 28 0 3599117 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968189321752 139968504797343 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17477] ppid=17454 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17477/stat : 17477 (java) R 17454 17454 16473 0 -1 4202560 148 0 0 0 129 0 0 0 20 0 28 0 3599117 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968188267776 139968504797997 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17478] ppid=17454 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17478/stat : 17478 (java) R 17454 17454 16473 0 -1 4202560 109 0 0 0 133 0 0 0 20 0 28 0 3599117 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968187215384 139968504797373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17479] ppid=17454 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17479/stat : 17479 (java) R 17454 17454 16473 0 -1 4202560 499 0 0 0 127 0 0 0 20 0 28 0 3599117 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968186166152 139968504799181 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17480] ppid=17454 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17480/stat : 17480 (java) R 17454 17454 16473 0 -1 4202560 73 0 0 0 143 0 0 0 20 0 28 0 3599117 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968185110888 139968504797133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17481] ppid=17454 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17481/stat : 17481 (java) R 17454 17454 16473 0 -1 4202560 49 0 0 0 144 0 0 0 20 0 28 0 3599117 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968184059744 139968504797343 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17482] ppid=17454 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17482/stat : 17482 (java) R 17454 17454 16473 0 -1 4202560 38 0 0 0 130 0 0 0 20 0 28 0 3599118 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968183003928 139968504778908 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17483] ppid=17454 vsize=13801768 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17483/stat : 17483 (java) R 17454 17454 16473 0 -1 4202560 152 0 0 0 157 0 0 0 20 0 28 0 3599118 14133010432 65254 33554432000 4194304 4196468 140725115461264 139968181951992 139968504810800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
Current children cumulated CPU time (s) 19.15
Current children cumulated vsize (KiB) 13811280
[startup+6.30154 s]
/proc/loadavg: 16.37 15.41 11.48 17/300 17483
/proc/meminfo: memFree=31416712/32770624 swapFree=5736/220772
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
[pid=17455] ppid=17454 vsize=13801768 CPUtime=44.54 cores=0,2,4,6,8,10,12,14
/proc/17455/stat : 17455 (java) S 17454 17454 16473 0 -1 1077944320 39496 0 0 0 4435 19 0 0 20 0 28 0 3599002 14133010432 60468 33554432000 4194304 4196468 140725115461264 140725115443808 139968879140599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
/proc/17455/statm: 3450442 60468 3269 1 0 3437675 0
[pid=17455/tid=17456] ppid=17454 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17456/stat : 17456 (java) S 17454 17454 16473 0 -1 1077944384 8417 0 0 0 106 4 0 0 20 0 28 0 3599002 14133010432 60468 33554432000 4194304 4196468 140725115461264 139968883381376 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17458] ppid=17454 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17458/stat : 17458 (java) S 17454 17454 16473 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 28 0 3599003 14133010432 60468 33554432000 4194304 4196468 140725115461264 139968831760656 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17459] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17459/stat : 17459 (java) S 17454 17454 16473 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3599003 14133010432 60468 33554432000 4194304 4196468 140725115461264 139968830708112 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17460] ppid=17454 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17460/stat : 17460 (java) S 17454 17454 16473 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 28 0 3599003 14133010432 60468 33554432000 4194304 4196468 140725115461264 139968829655568 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17461] ppid=17454 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17461/stat : 17461 (java) S 17454 17454 16473 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 3599003 14133010432 60468 33554432000 4194304 4196468 140725115461264 139968828603024 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
################
# More data... #
################
[pid=17455/tid=17482] ppid=17454 vsize=13801768 CPUtime=276.18 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17482/stat : 17482 (java) R 17454 17454 16473 0 -1 4202560 1063 0 0 0 27618 0 0 0 20 0 28 0 3599118 14133010432 89690 33554432000 4194304 4196468 140725115461264 139968183004632 139968507238450 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17483] ppid=17454 vsize=13801768 CPUtime=278.84 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17483/stat : 17483 (java) R 17454 17454 16473 0 -1 4202560 916 0 0 0 27883 1 0 0 20 0 28 0 3599118 14133010432 89690 33554432000 4194304 4196468 140725115461264 139968181952088 139968507238399 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
Current children cumulated CPU time (s) 2242.49
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.101 s]
/proc/loadavg: 15.84 15.72 12.70 17/300 17591
/proc/meminfo: memFree=31348640/32770624 swapFree=5736/221116
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
[pid=17455] ppid=17454 vsize=13801768 CPUtime=2400.24 cores=0,2,4,6,8,10,12,14
/proc/17455/stat : 17455 (java) S 17454 17454 16473 0 -1 1077944320 101477 0 0 0 239882 142 0 0 20 0 28 0 3599002 14133010432 85847 33554432000 4194304 4196468 140725115461264 140725115443808 139968879140599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
/proc/17455/statm: 3450442 85847 3285 1 0 3437675 0
[pid=17455/tid=17456] ppid=17454 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17456/stat : 17456 (java) S 17454 17454 16473 0 -1 1077944384 8417 0 0 0 106 4 0 0 20 0 28 0 3599002 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968883381376 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17458] ppid=17454 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17458/stat : 17458 (java) S 17454 17454 16473 0 -1 1077944384 1953 0 0 0 17 13 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968831760656 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17459] ppid=17454 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17459/stat : 17459 (java) S 17454 17454 16473 0 -1 1077944384 789 0 0 0 13 12 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968830708112 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17460] ppid=17454 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17460/stat : 17460 (java) S 17454 17454 16473 0 -1 1077944384 462 0 0 0 16 13 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968829655568 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17461] ppid=17454 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17461/stat : 17461 (java) S 17454 17454 16473 0 -1 1077944384 542 0 0 0 15 12 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968828603024 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17462] ppid=17454 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17462/stat : 17462 (java) S 17454 17454 16473 0 -1 1077944384 1042 0 0 0 15 14 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968827550480 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17463] ppid=17454 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17463/stat : 17463 (java) S 17454 17454 16473 0 -1 1077944384 1001 0 0 0 16 12 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968826497936 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17464] ppid=17454 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17464/stat : 17464 (java) S 17454 17454 16473 0 -1 1077944384 1335 0 0 0 16 12 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968825445392 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17465] ppid=17454 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17465/stat : 17465 (java) S 17454 17454 16473 0 -1 1077944384 527 0 0 0 15 13 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968470514832 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17466] ppid=17454 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17466/stat : 17466 (java) S 17454 17454 16473 0 -1 1077944384 2381 0 0 0 8 6 0 0 20 0 28 0 3599005 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968206809072 139968879151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17467] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17467/stat : 17467 (java) S 17454 17454 16473 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3599006 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968205755360 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17468] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17468/stat : 17468 (java) S 17454 17454 16473 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3599007 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968204702720 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17469] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17469/stat : 17469 (java) S 17454 17454 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968203651280 139968879159195 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17470] ppid=17454 vsize=13801768 CPUtime=5.09 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17470/stat : 17470 (java) S 17454 17454 16473 0 -1 1077944384 20716 0 0 0 506 3 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968202598896 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17471] ppid=17454 vsize=13801768 CPUtime=5.01 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17471/stat : 17471 (java) S 17454 17454 16473 0 -1 1077944384 19858 0 0 0 499 2 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968201546352 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17472] ppid=17454 vsize=13801768 CPUtime=5.23 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17472/stat : 17472 (java) S 17454 17454 16473 0 -1 1077944384 18107 0 0 0 521 2 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968200493808 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17473] ppid=17454 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17473/stat : 17473 (java) S 17454 17454 16473 0 -1 1077944384 10877 0 0 0 114 2 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968199441264 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17474] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17474/stat : 17474 (java) S 17454 17454 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968198387936 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17475] ppid=17454 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17475/stat : 17475 (java) S 17454 17454 16473 0 -1 1077944384 654 0 0 0 6 6 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968197335472 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17476] ppid=17454 vsize=13801768 CPUtime=298.21 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17476/stat : 17476 (java) R 17454 17454 16473 0 -1 4202560 843 0 0 0 29821 0 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968189319912 139968507238211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17477] ppid=17454 vsize=13801768 CPUtime=297.05 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17477/stat : 17477 (java) R 17454 17454 16473 0 -1 4202560 1574 0 0 0 29704 1 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968188268376 139968507238328 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17478] ppid=17454 vsize=13801768 CPUtime=298.09 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17478/stat : 17478 (java) R 17454 17454 16473 0 -1 4202560 1589 0 0 0 29809 0 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968187215832 139968512868692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17479] ppid=17454 vsize=13801768 CPUtime=297.04 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17479/stat : 17479 (java) R 17454 17454 16473 0 -1 4202560 3188 0 0 0 29702 2 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968186163256 139968507238417 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17480] ppid=17454 vsize=13801768 CPUtime=297.33 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17480/stat : 17480 (java) R 17454 17454 16473 0 -1 4202560 1454 0 0 0 29733 0 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968185113312 139968511063140 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17481] ppid=17454 vsize=13801768 CPUtime=298.09 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17481/stat : 17481 (java) R 17454 17454 16473 0 -1 4202560 799 0 0 0 29809 0 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968184057872 139968511010164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17482] ppid=17454 vsize=13801768 CPUtime=295.45 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17482/stat : 17482 (java) R 17454 17454 16473 0 -1 4202560 1068 0 0 0 29545 0 0 0 20 0 28 0 3599118 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968183004632 139968507238569 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17483] ppid=17454 vsize=13801768 CPUtime=298.62 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17483/stat : 17483 (java) R 17454 17454 16473 0 -1 4202560 923 0 0 0 29861 1 0 0 20 0 28 0 3599118 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968181952088 139968507236851 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
Current children cumulated CPU time (s) 2400.24
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 17455 sig 9
??? kill 17454 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.101 s]
/proc/loadavg: 15.84 15.72 12.70 17/300 17591
/proc/meminfo: memFree=31348640/32770624 swapFree=5736/221116
[pid=17454] ppid=17451 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17454/stat : 17454 (xcsp3-exec) S 17451 17454 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3599001 9740288 346 33554432000 4194304 5098028 140735435170608 140735435168712 139793261191804 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19415040 140735435175057 140735435175264 140735435175264 140735435177963 0
/proc/17454/statm: 2378 346 289 221 0 87 0
[pid=17455] ppid=17454 vsize=13801768 CPUtime=2400.24 cores=0,2,4,6,8,10,12,14
/proc/17455/stat : 17455 (java) S 17454 17454 16473 0 -1 1077944320 101477 0 0 0 239882 142 0 0 20 0 28 0 3599002 14133010432 85847 33554432000 4194304 4196468 140725115461264 140725115443808 139968879140599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
/proc/17455/statm: 3450442 85847 3285 1 0 3437675 0
[pid=17455/tid=17456] ppid=17454 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17456/stat : 17456 (java) S 17454 17454 16473 0 -1 1077944384 8417 0 0 0 106 4 0 0 20 0 28 0 3599002 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968883381376 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17458] ppid=17454 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17458/stat : 17458 (java) S 17454 17454 16473 0 -1 1077944384 1953 0 0 0 17 13 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968831760656 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17459] ppid=17454 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17459/stat : 17459 (java) S 17454 17454 16473 0 -1 1077944384 789 0 0 0 13 12 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968830708112 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17460] ppid=17454 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17460/stat : 17460 (java) S 17454 17454 16473 0 -1 1077944384 462 0 0 0 16 13 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968829655568 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17461] ppid=17454 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17461/stat : 17461 (java) S 17454 17454 16473 0 -1 1077944384 542 0 0 0 15 12 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968828603024 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17462] ppid=17454 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17462/stat : 17462 (java) S 17454 17454 16473 0 -1 1077944384 1042 0 0 0 15 14 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968827550480 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17463] ppid=17454 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17463/stat : 17463 (java) S 17454 17454 16473 0 -1 1077944384 1001 0 0 0 16 12 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968826497936 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17464] ppid=17454 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17464/stat : 17464 (java) S 17454 17454 16473 0 -1 1077944384 1335 0 0 0 16 12 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968825445392 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17465] ppid=17454 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17465/stat : 17465 (java) S 17454 17454 16473 0 -1 1077944384 527 0 0 0 15 13 0 0 20 0 28 0 3599003 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968470514832 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17466] ppid=17454 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17466/stat : 17466 (java) S 17454 17454 16473 0 -1 1077944384 2381 0 0 0 8 6 0 0 20 0 28 0 3599005 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968206809072 139968879151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17467] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17467/stat : 17467 (java) S 17454 17454 16473 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3599006 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968205755360 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17468] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17468/stat : 17468 (java) S 17454 17454 16473 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3599007 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968204702720 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17469] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17469/stat : 17469 (java) S 17454 17454 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968203651280 139968879159195 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17470] ppid=17454 vsize=13801768 CPUtime=5.09 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17470/stat : 17470 (java) S 17454 17454 16473 0 -1 1077944384 20716 0 0 0 506 3 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968202598896 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17471] ppid=17454 vsize=13801768 CPUtime=5.01 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17471/stat : 17471 (java) S 17454 17454 16473 0 -1 1077944384 19858 0 0 0 499 2 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968201546352 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17472] ppid=17454 vsize=13801768 CPUtime=5.23 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17472/stat : 17472 (java) S 17454 17454 16473 0 -1 1077944384 18107 0 0 0 521 2 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968200493808 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17473] ppid=17454 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17473/stat : 17473 (java) S 17454 17454 16473 0 -1 1077944384 10877 0 0 0 114 2 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968199441264 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17474] ppid=17454 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17474/stat : 17474 (java) S 17454 17454 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968198387936 139968879150805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17475] ppid=17454 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17475/stat : 17475 (java) S 17454 17454 16473 0 -1 1077944384 654 0 0 0 6 6 0 0 20 0 28 0 3599011 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968197335472 139968879151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17476] ppid=17454 vsize=13801768 CPUtime=298.21 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17476/stat : 17476 (java) R 17454 17454 16473 0 -1 4202560 843 0 0 0 29821 0 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968189319912 139968507238211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17477] ppid=17454 vsize=13801768 CPUtime=297.05 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17477/stat : 17477 (java) R 17454 17454 16473 0 -1 4202560 1574 0 0 0 29704 1 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968188268376 139968507238328 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17478] ppid=17454 vsize=13801768 CPUtime=298.09 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17478/stat : 17478 (java) R 17454 17454 16473 0 -1 4202560 1589 0 0 0 29809 0 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968187215832 139968512868692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17479] ppid=17454 vsize=13801768 CPUtime=297.04 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17479/stat : 17479 (java) R 17454 17454 16473 0 -1 4202560 3188 0 0 0 29702 2 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968186163256 139968507238417 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17480] ppid=17454 vsize=13801768 CPUtime=297.33 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17480/stat : 17480 (java) R 17454 17454 16473 0 -1 4202560 1454 0 0 0 29733 0 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968185113312 139968511063140 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17481] ppid=17454 vsize=13801768 CPUtime=298.09 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17481/stat : 17481 (java) R 17454 17454 16473 0 -1 4202560 799 0 0 0 29809 0 0 0 20 0 28 0 3599117 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968184057872 139968511010164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17482] ppid=17454 vsize=13801768 CPUtime=295.45 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17482/stat : 17482 (java) R 17454 17454 16473 0 -1 4202560 1068 0 0 0 29545 0 0 0 20 0 28 0 3599118 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968183004632 139968507238569 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
[pid=17455/tid=17483] ppid=17454 vsize=13801768 CPUtime=298.62 cores=0,2,4,6,8,10,12,14
/proc/17455/task/17483/stat : 17483 (java) R 17454 17454 16473 0 -1 4202560 923 0 0 0 29861 1 0 0 20 0 28 0 3599118 14133010432 85847 33554432000 4194304 4196468 140725115461264 139968181952088 139968507236851 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39813120 140725115466940 140725115467116 140725115467116 140725115469775 0
Current children cumulated CPU time (s) 2400.24
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 17454 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=730
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2453
# CPU time returned by wait4() is 0.003183
# while last known CPU time is 2400.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.112
CPU time (s): 2400.24
CPU user time (s): 2398.82
CPU system time (s): 1.42
CPU usage (%): 794.487
Max. virtual memory (cumulated for all children) (KiB): 13813096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00073
system time used= 0.002453
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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.74296 second user time and 4.01347 second system time
The end