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-4244437-1500682997/watcher-4244437-1500682997 -o /tmp/evaluation-result-4244437-1500682997/solver-4244437-1500682997 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 3672258 HOME/instance-4244437-1500682997.xml
pid=17581
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.17 15.13 10.44 3/266 17584
/proc/meminfo: memFree=31956296/32770624 swapFree=5900/216964
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
[startup+0.100106 s]
/proc/loadavg: 16.17 15.13 10.44 3/266 17584
/proc/meminfo: memFree=31956296/32770624 swapFree=5900/216964
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200352 s]
/proc/loadavg: 16.17 15.13 10.44 3/266 17584
/proc/meminfo: memFree=31956296/32770624 swapFree=5900/216964
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300299 s]
/proc/loadavg: 16.17 15.13 10.44 3/266 17584
/proc/meminfo: memFree=31956296/32770624 swapFree=5900/216964
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700243 s]
/proc/loadavg: 16.17 15.13 10.44 3/266 17584
/proc/meminfo: memFree=31956296/32770624 swapFree=5900/216964
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50111 s]
/proc/loadavg: 15.52 15.01 10.42 15/295 17613
/proc/meminfo: memFree=31605996/32770624 swapFree=5900/217012
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
[pid=17585] ppid=17584 vsize=13801768 CPUtime=6.41 cores=0,2,4,6,8,10,12,14
/proc/17585/stat : 17585 (java) S 17584 17584 16913 0 -1 1077944320 27476 0 0 0 620 21 0 0 20 0 28 0 3566614 14133010432 59412 33554432000 4194304 4196468 140737276379456 140737276362000 139846996745975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
/proc/17585/statm: 3450442 59412 3248 1 0 3437675 0
[pid=17585/tid=17586] ppid=17584 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17586/stat : 17586 (java) S 17584 17584 16913 0 -1 1077944384 7686 0 0 0 103 3 0 0 20 0 28 0 3566614 14133010432 59412 33554432000 4194304 4196468 140737276379456 139847000986752 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17588] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17588/stat : 17588 (java) S 17584 17584 16913 0 -1 1077944384 43 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 59412 33554432000 4194304 4196468 140737276379456 139846955506704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17589] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17589/stat : 17589 (java) S 17584 17584 16913 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 59412 33554432000 4194304 4196468 140737276379456 139846594677904 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17590] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17590/stat : 17590 (java) S 17584 17584 16913 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 59412 33554432000 4194304 4196468 140737276379456 139846593624848 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17591] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17591/stat : 17591 (java) S 17584 17584 16913 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 59412 33554432000 4194304 4196468 140737276379456 139846592572304 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17592] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17592/stat : 17592 (java) S 17584 17584 16913 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 59412 33554432000 4194304 4196468 140737276379456 139846591519248 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17593] ppid=17584 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17593/stat : 17593 (java) S 17584 17584 16913 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 28 0 3566615 14133010432 59412 33554432000 4194304 4196468 140737276379456 139846590466704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17594] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17594/stat : 17594 (java) S 17584 17584 16913 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 59412 33554432000 4194304 4196468 140737276379456 139846589413648 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17595] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17595/stat : 17595 (java) S 17584 17584 16913 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 3566615 14133010432 59412 33554432000 4194304 4196468 140737276379456 139846588361104 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17596] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17596/stat : 17596 (java) S 17584 17584 16913 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 3566618 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845661633264 139846996757122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17597] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17597/stat : 17597 (java) S 17584 17584 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3566618 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845660579488 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17598] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17598/stat : 17598 (java) S 17584 17584 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3566619 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845659526384 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17599] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17599/stat : 17599 (java) S 17584 17584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3566622 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845658474960 139846996764571 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17600] ppid=17584 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17600/stat : 17600 (java) R 17584 17584 16913 0 -1 4202560 4257 0 0 0 71 1 0 0 20 0 28 0 3566622 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845657402472 139846980242759 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17601] ppid=17584 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17601/stat : 17601 (java) R 17584 17584 16913 0 -1 4202560 5208 0 0 0 87 0 0 0 20 0 28 0 3566623 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845656350536 139846980231925 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17602] ppid=17584 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17602/stat : 17602 (java) R 17584 17584 16913 0 -1 4202560 4335 0 0 0 81 1 0 0 20 0 28 0 3566623 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845655296744 139846981646177 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17603] ppid=17584 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17603/stat : 17603 (java) R 17584 17584 16913 0 -1 4202560 3620 0 0 0 74 1 0 0 20 0 28 0 3566623 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845654260856 139846989842811 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17604] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17604/stat : 17604 (java) S 17584 17584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566623 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845653212128 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17605] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17605/stat : 17605 (java) S 17584 17584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566623 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845652159664 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17614] ppid=17584 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17614/stat : 17614 (java) R 17584 17584 16913 0 -1 4202560 116 0 0 0 24 0 0 0 20 0 28 0 3566724 14133010432 59412 33554432000 4194304 4196468 140737276379456 139845644145528 139846638995522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 13811280
[startup+3.10137 s]
/proc/loadavg: 15.52 15.01 10.42 23/303 17621
/proc/meminfo: memFree=31417088/32770624 swapFree=5900/217012
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
[pid=17585] ppid=17584 vsize=13801768 CPUtime=19.15 cores=0,2,4,6,8,10,12,14
/proc/17585/stat : 17585 (java) S 17584 17584 16913 0 -1 1077944320 36346 0 0 0 1891 24 0 0 20 0 28 0 3566614 14133010432 67618 33554432000 4194304 4196468 140737276379456 140737276362000 139846996745975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
/proc/17585/statm: 3450442 67618 3253 1 0 3437675 0
[pid=17585/tid=17586] ppid=17584 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17586/stat : 17586 (java) S 17584 17584 16913 0 -1 1077944384 7686 0 0 0 103 3 0 0 20 0 28 0 3566614 14133010432 67618 33554432000 4194304 4196468 140737276379456 139847000986752 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17588] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17588/stat : 17588 (java) S 17584 17584 16913 0 -1 1077944384 43 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 67618 33554432000 4194304 4196468 140737276379456 139846955506704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17589] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17589/stat : 17589 (java) S 17584 17584 16913 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 67618 33554432000 4194304 4196468 140737276379456 139846594677904 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17590] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17590/stat : 17590 (java) S 17584 17584 16913 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 67618 33554432000 4194304 4196468 140737276379456 139846593624848 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17591] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17591/stat : 17591 (java) S 17584 17584 16913 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 67618 33554432000 4194304 4196468 140737276379456 139846592572304 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17592] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17592/stat : 17592 (java) S 17584 17584 16913 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 67618 33554432000 4194304 4196468 140737276379456 139846591519248 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17593] ppid=17584 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17593/stat : 17593 (java) S 17584 17584 16913 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 28 0 3566615 14133010432 67618 33554432000 4194304 4196468 140737276379456 139846590466704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17594] ppid=17584 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17594/stat : 17594 (java) S 17584 17584 16913 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3566615 14133010432 67618 33554432000 4194304 4196468 140737276379456 139846589413648 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17595] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17595/stat : 17595 (java) S 17584 17584 16913 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 3566615 14133010432 67618 33554432000 4194304 4196468 140737276379456 139846588361104 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17596] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17596/stat : 17596 (java) S 17584 17584 16913 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 28 0 3566618 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845661633264 139846996757122 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17597] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17597/stat : 17597 (java) S 17584 17584 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3566618 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845660579488 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17598] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17598/stat : 17598 (java) S 17584 17584 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3566619 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845659526384 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17599] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17599/stat : 17599 (java) S 17584 17584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3566622 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845658474960 139846996764571 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17600] ppid=17584 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17600/stat : 17600 (java) R 17584 17584 16913 0 -1 4202560 7255 0 0 0 189 2 0 0 20 0 28 0 3566622 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845657408128 139846978269541 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17601] ppid=17584 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17601/stat : 17601 (java) R 17584 17584 16913 0 -1 4202560 7492 0 0 0 206 1 0 0 20 0 28 0 3566623 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845656354864 139846978290134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17602] ppid=17584 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17602/stat : 17602 (java) R 17584 17584 16913 0 -1 4202560 6293 0 0 0 203 1 0 0 20 0 28 0 3566623 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845655302624 139846978289748 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17603] ppid=17584 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17603/stat : 17603 (java) S 17584 17584 16913 0 -1 1077944384 4633 0 0 0 93 2 0 0 20 0 28 0 3566623 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845654263920 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17604] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17604/stat : 17604 (java) S 17584 17584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566623 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845653212128 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17605] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17605/stat : 17605 (java) S 17584 17584 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3566623 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845652159664 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17614] ppid=17584 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17614/stat : 17614 (java) R 17584 17584 16913 0 -1 4202560 134 0 0 0 155 0 0 0 20 0 28 0 3566724 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845644143888 139846639517284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17615] ppid=17584 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17615/stat : 17615 (java) R 17584 17584 16913 0 -1 4202560 208 0 0 0 128 0 0 0 20 0 28 0 3566728 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845643092352 139846640600303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17616] ppid=17584 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17616/stat : 17616 (java) R 17584 17584 16913 0 -1 4202560 134 0 0 0 116 0 0 0 20 0 28 0 3566728 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845642039736 139846639822500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17617] ppid=17584 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17617/stat : 17617 (java) R 17584 17584 16913 0 -1 4202560 305 0 0 0 139 0 0 0 20 0 28 0 3566728 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845640986920 139846639518025 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17618] ppid=17584 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17618/stat : 17618 (java) R 17584 17584 16913 0 -1 4202560 120 0 0 0 129 0 0 0 20 0 28 0 3566728 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845639935416 139846638982410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17619] ppid=17584 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17619/stat : 17619 (java) R 17584 17584 16913 0 -1 4202560 79 0 0 0 134 0 0 0 20 0 28 0 3566728 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845638883464 139846641397214 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17620] ppid=17584 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17620/stat : 17620 (java) R 17584 17584 16913 0 -1 4202560 66 0 0 0 150 0 0 0 20 0 28 0 3566728 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845637831656 139846638998146 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17621] ppid=17584 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17621/stat : 17621 (java) R 17584 17584 16913 0 -1 4202560 154 0 0 0 127 0 0 0 20 0 28 0 3566728 14133010432 67618 33554432000 4194304 4196468 140737276379456 139845636773056 139846640887514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
Current children cumulated CPU time (s) 19.15
Current children cumulated vsize (KiB) 13811280
[startup+6.3015 s]
/proc/loadavg: 15.52 15.01 10.42 19/303 17621
/proc/meminfo: memFree=31349016/32770624 swapFree=5900/217024
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
[pid=17585] ppid=17584 vsize=13801768 CPUtime=44.48 cores=0,2,4,6,8,10,12,14
/proc/17585/stat : 17585 (java) S 17584 17584 16913 0 -1 1077944320 44670 0 0 0 4387 61 0 0 20 0 28 0 3566614 14133010432 81307 33554432000 4194304 4196468 140737276379456 140737276362000 139846996745975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
/proc/17585/statm: 3450442 81307 3273 1 0 3437675 0
[pid=17585/tid=17586] ppid=17584 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17586/stat : 17586 (java) S 17584 17584 16913 0 -1 1077944384 7686 0 0 0 103 3 0 0 20 0 28 0 3566614 14133010432 81307 33554432000 4194304 4196468 140737276379456 139847000986752 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17588] ppid=17584 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17588/stat : 17588 (java) S 17584 17584 16913 0 -1 1077944384 147 0 0 0 4 6 0 0 20 0 28 0 3566615 14133010432 81307 33554432000 4194304 4196468 140737276379456 139846955506704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17589] ppid=17584 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17589/stat : 17589 (java) S 17584 17584 16913 0 -1 1077944384 80 0 0 0 4 6 0 0 20 0 28 0 3566615 14133010432 81307 33554432000 4194304 4196468 140737276379456 139846594677904 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17590] ppid=17584 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17590/stat : 17590 (java) S 17584 17584 16913 0 -1 1077944384 140 0 0 0 3 6 0 0 20 0 28 0 3566615 14133010432 81307 33554432000 4194304 4196468 140737276379456 139846593624848 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
################
# More data... #
################
[pid=17585/tid=17620] ppid=17584 vsize=13801768 CPUtime=277.11 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17620/stat : 17620 (java) R 17584 17584 16913 0 -1 4202560 1189 0 0 0 27711 0 0 0 20 0 28 0 3566728 14133010432 287189 33554432000 4194304 4196468 140737276379456 139845637828440 139846640587918 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17621] ppid=17584 vsize=13801768 CPUtime=277.72 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17621/stat : 17621 (java) R 17584 17584 16913 0 -1 4202560 1251 0 0 0 27771 1 0 0 20 0 28 0 3566728 14133010432 287189 33554432000 4194304 4196468 140737276379456 139845636775496 139846640587513 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
Current children cumulated CPU time (s) 2241.28
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.301 s]
/proc/loadavg: 16.17 15.73 12.00 18/303 17629
/proc/meminfo: memFree=30375568/32770624 swapFree=5900/217344
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
[pid=17585] ppid=17584 vsize=13801768 CPUtime=2400.59 cores=0,2,4,6,8,10,12,14
/proc/17585/stat : 17585 (java) S 17584 17584 16913 0 -1 1077944320 102542 0 0 0 239827 232 0 0 20 0 28 0 3566614 14133010432 278536 33554432000 4194304 4196468 140737276379456 140737276362000 139846996745975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
/proc/17585/statm: 3450442 278536 3292 1 0 3437675 0
[pid=17585/tid=17586] ppid=17584 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17586/stat : 17586 (java) S 17584 17584 16913 0 -1 1077944384 7686 0 0 0 103 3 0 0 20 0 28 0 3566614 14133010432 278536 33554432000 4194304 4196468 140737276379456 139847000986752 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17588] ppid=17584 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17588/stat : 17588 (java) S 17584 17584 16913 0 -1 1077944384 1021 0 0 0 55 22 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846955506704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17589] ppid=17584 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17589/stat : 17589 (java) S 17584 17584 16913 0 -1 1077944384 1004 0 0 0 53 23 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846594677904 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17590] ppid=17584 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17590/stat : 17590 (java) S 17584 17584 16913 0 -1 1077944384 1567 0 0 0 54 22 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846593624848 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17591] ppid=17584 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17591/stat : 17591 (java) S 17584 17584 16913 0 -1 1077944384 947 0 0 0 53 23 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846592572304 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17592] ppid=17584 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17592/stat : 17592 (java) S 17584 17584 16913 0 -1 1077944384 1003 0 0 0 54 20 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846591519248 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17593] ppid=17584 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17593/stat : 17593 (java) S 17584 17584 16913 0 -1 1077944384 2384 0 0 0 55 21 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846590466704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17594] ppid=17584 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17594/stat : 17594 (java) S 17584 17584 16913 0 -1 1077944384 647 0 0 0 54 23 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846589413648 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17595] ppid=17584 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17595/stat : 17595 (java) S 17584 17584 16913 0 -1 1077944384 2036 0 0 0 54 19 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846588361104 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17596] ppid=17584 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17596/stat : 17596 (java) S 17584 17584 16913 0 -1 1077944384 6841 0 0 0 19 15 0 0 20 0 28 0 3566618 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845661633264 139846996757122 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17597] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17597/stat : 17597 (java) S 17584 17584 16913 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3566618 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845660579552 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17598] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17598/stat : 17598 (java) S 17584 17584 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3566619 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845659526400 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17599] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17599/stat : 17599 (java) S 17584 17584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3566622 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845658474960 139846996764571 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17600] ppid=17584 vsize=13801768 CPUtime=4.46 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17600/stat : 17600 (java) S 17584 17584 16913 0 -1 1077944384 15152 0 0 0 443 3 0 0 20 0 28 0 3566622 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845657422064 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17601] ppid=17584 vsize=13801768 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17601/stat : 17601 (java) S 17584 17584 16913 0 -1 1077944384 17551 0 0 0 476 2 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845656369520 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17602] ppid=17584 vsize=13801768 CPUtime=4.69 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17602/stat : 17602 (java) S 17584 17584 16913 0 -1 1077944384 14961 0 0 0 467 2 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845655316464 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17603] ppid=17584 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17603/stat : 17603 (java) S 17584 17584 16913 0 -1 1077944384 11077 0 0 0 125 3 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845654263920 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17604] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17604/stat : 17604 (java) S 17584 17584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845653212128 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17605] ppid=17584 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17605/stat : 17605 (java) S 17584 17584 16913 0 -1 1077944384 777 0 0 0 6 6 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845652159664 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17614] ppid=17584 vsize=13801768 CPUtime=297.82 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17614/stat : 17614 (java) R 17584 17584 16913 0 -1 4202560 3334 0 0 0 29778 4 0 0 20 0 28 0 3566724 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845644142936 139846644657177 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17615] ppid=17584 vsize=13801768 CPUtime=295.89 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17615/stat : 17615 (java) R 17584 17584 16913 0 -1 4202560 1365 0 0 0 29588 1 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845643091672 139846642115520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17616] ppid=17584 vsize=13801768 CPUtime=297.7 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17616/stat : 17616 (java) R 17584 17584 16913 0 -1 4202560 3730 0 0 0 29766 4 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845642041568 139846642115380 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17617] ppid=17584 vsize=13801768 CPUtime=297.82 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17617/stat : 17617 (java) R 17584 17584 16913 0 -1 4202560 2235 0 0 0 29779 3 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845640986224 139846644657177 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17618] ppid=17584 vsize=13801768 CPUtime=297.97 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17618/stat : 17618 (java) R 17584 17584 16913 0 -1 4202560 2414 0 0 0 29795 2 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845639933416 139846644657386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17619] ppid=17584 vsize=13801768 CPUtime=296.01 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17619/stat : 17619 (java) R 17584 17584 16913 0 -1 4202560 976 0 0 0 29601 0 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845638880472 139846640888784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17620] ppid=17584 vsize=13801768 CPUtime=296.67 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17620/stat : 17620 (java) R 17584 17584 16913 0 -1 4202560 1198 0 0 0 29667 0 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845637828376 139846640600042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17621] ppid=17584 vsize=13801768 CPUtime=297.68 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17621/stat : 17621 (java) R 17584 17584 16913 0 -1 4202560 1267 0 0 0 29767 1 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845636775768 139846640887514 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
Current children cumulated CPU time (s) 2400.59
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 17585 sig 9
??? kill 17584 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.301 s]
/proc/loadavg: 16.17 15.73 12.00 18/303 17629
/proc/meminfo: memFree=30375568/32770624 swapFree=5900/217344
[pid=17584] ppid=17581 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17584/stat : 17584 (xcsp3-exec) S 17581 17584 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3566614 9740288 346 33554432000 4194304 5098028 140730989243056 140730989241160 139953578537596 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34930688 140730989249681 140730989249888 140730989249888 140730989252587 0
/proc/17584/statm: 2378 346 289 221 0 87 0
[pid=17585] ppid=17584 vsize=13801768 CPUtime=2400.59 cores=0,2,4,6,8,10,12,14
/proc/17585/stat : 17585 (java) S 17584 17584 16913 0 -1 1077944320 102542 0 0 0 239827 232 0 0 20 0 28 0 3566614 14133010432 278536 33554432000 4194304 4196468 140737276379456 140737276362000 139846996745975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
/proc/17585/statm: 3450442 278536 3292 1 0 3437675 0
[pid=17585/tid=17586] ppid=17584 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17586/stat : 17586 (java) S 17584 17584 16913 0 -1 1077944384 7686 0 0 0 103 3 0 0 20 0 28 0 3566614 14133010432 278536 33554432000 4194304 4196468 140737276379456 139847000986752 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17588] ppid=17584 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17588/stat : 17588 (java) S 17584 17584 16913 0 -1 1077944384 1021 0 0 0 55 22 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846955506704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17589] ppid=17584 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17589/stat : 17589 (java) S 17584 17584 16913 0 -1 1077944384 1004 0 0 0 53 23 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846594677904 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17590] ppid=17584 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17590/stat : 17590 (java) S 17584 17584 16913 0 -1 1077944384 1567 0 0 0 54 22 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846593624848 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17591] ppid=17584 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17591/stat : 17591 (java) S 17584 17584 16913 0 -1 1077944384 947 0 0 0 53 23 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846592572304 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17592] ppid=17584 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17592/stat : 17592 (java) S 17584 17584 16913 0 -1 1077944384 1003 0 0 0 54 20 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846591519248 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17593] ppid=17584 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17593/stat : 17593 (java) S 17584 17584 16913 0 -1 1077944384 2384 0 0 0 55 21 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846590466704 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17594] ppid=17584 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17594/stat : 17594 (java) S 17584 17584 16913 0 -1 1077944384 647 0 0 0 54 23 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846589413648 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17595] ppid=17584 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17595/stat : 17595 (java) S 17584 17584 16913 0 -1 1077944384 2036 0 0 0 54 19 0 0 20 0 28 0 3566615 14133010432 278536 33554432000 4194304 4196468 140737276379456 139846588361104 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17596] ppid=17584 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17596/stat : 17596 (java) S 17584 17584 16913 0 -1 1077944384 6841 0 0 0 19 15 0 0 20 0 28 0 3566618 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845661633264 139846996757122 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17597] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17597/stat : 17597 (java) S 17584 17584 16913 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3566618 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845660579552 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17598] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17598/stat : 17598 (java) S 17584 17584 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3566619 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845659526400 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17599] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17599/stat : 17599 (java) S 17584 17584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3566622 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845658474960 139846996764571 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17600] ppid=17584 vsize=13801768 CPUtime=4.46 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17600/stat : 17600 (java) S 17584 17584 16913 0 -1 1077944384 15152 0 0 0 443 3 0 0 20 0 28 0 3566622 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845657422064 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17601] ppid=17584 vsize=13801768 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17601/stat : 17601 (java) S 17584 17584 16913 0 -1 1077944384 17551 0 0 0 476 2 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845656369520 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17602] ppid=17584 vsize=13801768 CPUtime=4.69 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17602/stat : 17602 (java) S 17584 17584 16913 0 -1 1077944384 14961 0 0 0 467 2 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845655316464 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17603] ppid=17584 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17603/stat : 17603 (java) S 17584 17584 16913 0 -1 1077944384 11077 0 0 0 125 3 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845654263920 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17604] ppid=17584 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17604/stat : 17604 (java) S 17584 17584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845653212128 139846996756181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17605] ppid=17584 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17605/stat : 17605 (java) S 17584 17584 16913 0 -1 1077944384 777 0 0 0 6 6 0 0 20 0 28 0 3566623 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845652159664 139846996757122 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17614] ppid=17584 vsize=13801768 CPUtime=297.82 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17614/stat : 17614 (java) R 17584 17584 16913 0 -1 4202560 3334 0 0 0 29778 4 0 0 20 0 28 0 3566724 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845644142936 139846644657177 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17615] ppid=17584 vsize=13801768 CPUtime=295.89 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17615/stat : 17615 (java) R 17584 17584 16913 0 -1 4202560 1365 0 0 0 29588 1 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845643091672 139846642115520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17616] ppid=17584 vsize=13801768 CPUtime=297.7 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17616/stat : 17616 (java) R 17584 17584 16913 0 -1 4202560 3730 0 0 0 29766 4 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845642041568 139846642115380 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17617] ppid=17584 vsize=13801768 CPUtime=297.82 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17617/stat : 17617 (java) R 17584 17584 16913 0 -1 4202560 2235 0 0 0 29779 3 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845640986224 139846644657177 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17618] ppid=17584 vsize=13801768 CPUtime=297.97 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17618/stat : 17618 (java) R 17584 17584 16913 0 -1 4202560 2414 0 0 0 29795 2 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845639933416 139846644657386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17619] ppid=17584 vsize=13801768 CPUtime=296.01 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17619/stat : 17619 (java) R 17584 17584 16913 0 -1 4202560 976 0 0 0 29601 0 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845638880472 139846640888784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17620] ppid=17584 vsize=13801768 CPUtime=296.67 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17620/stat : 17620 (java) R 17584 17584 16913 0 -1 4202560 1198 0 0 0 29667 0 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845637828376 139846640600042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
[pid=17585/tid=17621] ppid=17584 vsize=13801768 CPUtime=297.68 cores=0,2,4,6,8,10,12,14
/proc/17585/task/17621/stat : 17621 (java) R 17584 17584 16913 0 -1 4202560 1267 0 0 0 29767 1 0 0 20 0 28 0 3566728 14133010432 278536 33554432000 4194304 4196468 140737276379456 139845636775768 139846640887514 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737276388540 140737276388716 140737276388716 140737276391375 0
Current children cumulated CPU time (s) 2400.59
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 17584 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2798
# CPU time returned by wait4() is 0.002798
# while last known CPU time is 2400.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.312
CPU time (s): 2400.59
CPU user time (s): 2398.27
CPU system time (s): 2.32
CPU usage (%): 794.077
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002798
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6931 second user time and 3.65789 second system time
The end