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-4245105-1500685334/watcher-4245105-1500685334 -o /tmp/evaluation-result-4245105-1500685334/solver-4245105-1500685334 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 371557696 HOME/instance-4245105-1500685334.xml
pid=28471
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: 10.24 13.61 14.00 10/272 28474
/proc/meminfo: memFree=31126260/32770624 swapFree=5972/219340
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
[startup+0.100137 s]
/proc/loadavg: 10.24 13.61 14.00 10/272 28474
/proc/meminfo: memFree=31126260/32770624 swapFree=5972/219340
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200307 s]
/proc/loadavg: 10.24 13.61 14.00 10/272 28474
/proc/meminfo: memFree=31126260/32770624 swapFree=5972/219340
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300281 s]
/proc/loadavg: 10.24 13.61 14.00 10/272 28474
/proc/meminfo: memFree=31126260/32770624 swapFree=5972/219340
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700242 s]
/proc/loadavg: 10.24 13.61 14.00 10/272 28474
/proc/meminfo: memFree=31126260/32770624 swapFree=5972/219340
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 10.24 13.61 14.00 19/301 28503
/proc/meminfo: memFree=30983704/32770624 swapFree=5972/219412
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
[pid=28475] ppid=28474 vsize=13801768 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/28475/stat : 28475 (java) S 28474 28474 14626 0 -1 1077944320 28287 0 0 0 594 14 0 0 20 0 28 0 3802894 14133010432 53761 33554432000 4194304 4196468 140733380971008 140733380953552 139638627655415 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
/proc/28475/statm: 3450442 53761 3234 1 0 3437675 0
[pid=28475/tid=28476] ppid=28474 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28476/stat : 28476 (java) S 28474 28474 14626 0 -1 1077944384 8526 0 0 0 100 5 0 0 20 0 28 0 3802895 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638631896192 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28478] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28478/stat : 28478 (java) S 28474 28474 14626 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 3802896 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638584208144 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28479] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28479/stat : 28479 (java) S 28474 28474 14626 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3802896 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638583155600 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28480] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28480/stat : 28480 (java) S 28474 28474 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3802896 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638582103056 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28481] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28481/stat : 28481 (java) S 28474 28474 14626 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3802896 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638223862928 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28482] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28482/stat : 28482 (java) S 28474 28474 14626 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 3802896 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638222809360 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28483] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28483/stat : 28483 (java) S 28474 28474 14626 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 3802896 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638221756816 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28484] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28484/stat : 28484 (java) S 28474 28474 14626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 3802896 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638220704272 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28485] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28485/stat : 28485 (java) S 28474 28474 14626 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 3802896 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638219651728 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28486] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28486/stat : 28486 (java) S 28474 28474 14626 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3802898 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638089992688 139638627666562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28487] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28487/stat : 28487 (java) S 28474 28474 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3802899 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638088938912 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28488] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28488/stat : 28488 (java) S 28474 28474 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3802899 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638087886320 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28489] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28489/stat : 28489 (java) S 28474 28474 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3802903 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638086834896 139638627674011 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28490] ppid=28474 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28490/stat : 28490 (java) R 28474 28474 14626 0 -1 4202560 4969 0 0 0 79 0 0 0 20 0 28 0 3802903 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638085767512 139638609176764 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28491] ppid=28474 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28491/stat : 28491 (java) R 28474 28474 14626 0 -1 4202560 4345 0 0 0 82 0 0 0 20 0 28 0 3802903 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638084709960 139638612555740 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28492] ppid=28474 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28492/stat : 28492 (java) R 28474 28474 14626 0 -1 4202560 3591 0 0 0 72 1 0 0 20 0 28 0 3802903 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638083657416 139638605402959 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28493] ppid=28474 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28493/stat : 28493 (java) R 28474 28474 14626 0 -1 4202560 4080 0 0 0 69 1 0 0 20 0 28 0 3802903 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638082623696 139638609220053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28494] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28494/stat : 28494 (java) S 28474 28474 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3802903 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638081571552 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28495] ppid=28474 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28495/stat : 28495 (java) S 28474 28474 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3802904 14133010432 53761 33554432000 4194304 4196468 140733380971008 139638080519088 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 13811280
[startup+3.10148 s]
/proc/loadavg: 10.24 13.61 14.00 21/301 28551
/proc/meminfo: memFree=30891068/32770624 swapFree=5972/219412
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
[pid=28475] ppid=28474 vsize=13802796 CPUtime=18.77 cores=0,2,4,6,8,10,12,14
/proc/28475/stat : 28475 (java) S 28474 28474 14626 0 -1 1077944320 41468 0 0 0 1860 17 0 0 20 0 28 0 3802894 14134063104 64500 33554432000 4194304 4196468 140733380971008 140733380953552 139638627655415 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
/proc/28475/statm: 3450699 64500 3241 1 0 3437932 0
[pid=28475/tid=28476] ppid=28474 vsize=13802796 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28476/stat : 28476 (java) S 28474 28474 14626 0 -1 1077944384 8526 0 0 0 100 5 0 0 20 0 28 0 3802895 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638631896192 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28478] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28478/stat : 28478 (java) S 28474 28474 14626 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 3802896 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638584208144 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28479] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28479/stat : 28479 (java) S 28474 28474 14626 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3802896 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638583155600 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28480] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28480/stat : 28480 (java) S 28474 28474 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3802896 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638582103056 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28481] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28481/stat : 28481 (java) S 28474 28474 14626 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3802896 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638223862928 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28482] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28482/stat : 28482 (java) S 28474 28474 14626 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 3802896 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638222809360 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28483] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28483/stat : 28483 (java) S 28474 28474 14626 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 3802896 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638221756816 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28484] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28484/stat : 28484 (java) S 28474 28474 14626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 3802896 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638220704272 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28485] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28485/stat : 28485 (java) S 28474 28474 14626 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 3802896 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638219651728 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28486] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28486/stat : 28486 (java) S 28474 28474 14626 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3802898 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638089992688 139638627666562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28487] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28487/stat : 28487 (java) S 28474 28474 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3802899 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638088938912 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28488] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28488/stat : 28488 (java) S 28474 28474 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3802899 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638087886320 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28489] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28489/stat : 28489 (java) S 28474 28474 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3802903 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638086834896 139638627674011 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28490] ppid=28474 vsize=13802796 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28490/stat : 28490 (java) R 28474 28474 14626 0 -1 4202560 8517 0 0 0 163 1 0 0 20 0 28 0 3802903 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638085767512 139638609178035 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28491] ppid=28474 vsize=13802796 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28491/stat : 28491 (java) R 28474 28474 14626 0 -1 4202560 8300 0 0 0 193 1 0 0 20 0 28 0 3802903 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638084710656 139638611042333 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28492] ppid=28474 vsize=13802796 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28492/stat : 28492 (java) R 28474 28474 14626 0 -1 4202560 7542 0 0 0 168 1 0 0 20 0 28 0 3802903 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638083665760 139638611138831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28493] ppid=28474 vsize=13802796 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28493/stat : 28493 (java) S 28474 28474 14626 0 -1 1077944384 5078 0 0 0 78 1 0 0 20 0 28 0 3802903 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638082623856 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28494] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28494/stat : 28494 (java) S 28474 28474 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3802903 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638081571552 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28495] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28495/stat : 28495 (java) S 28474 28474 14626 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3802904 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638080519088 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28544] ppid=28474 vsize=13802796 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28544/stat : 28544 (java) R 28474 28474 14626 0 -1 4202560 92 0 0 0 109 0 0 0 20 0 28 0 3803061 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638066187040 139638267844079 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28545] ppid=28474 vsize=13802796 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28545/stat : 28545 (java) R 28474 28474 14626 0 -1 4202560 100 0 0 0 93 0 0 0 20 0 28 0 3803061 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638070401384 139638265329504 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28546] ppid=28474 vsize=13802796 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28546/stat : 28546 (java) R 28474 28474 14626 0 -1 4202560 176 0 0 0 108 0 0 0 20 0 28 0 3803061 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638072503528 139638269443813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28547] ppid=28474 vsize=13802796 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28547/stat : 28547 (java) R 28474 28474 14626 0 -1 4202560 63 0 0 0 111 0 0 0 20 0 28 0 3803061 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638067240480 139638269368615 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28548] ppid=28474 vsize=13802796 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28548/stat : 28548 (java) R 28474 28474 14626 0 -1 4202560 94 0 0 0 106 0 0 0 20 0 28 0 3803061 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638069345752 139638267950932 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28549] ppid=28474 vsize=13802796 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28549/stat : 28549 (java) R 28474 28474 14626 0 -1 4202560 37 0 0 0 95 0 0 0 20 0 28 0 3803061 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638068294408 139638269443732 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28550] ppid=28474 vsize=13802796 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28550/stat : 28550 (java) R 28474 28474 14626 0 -1 4202560 42 0 0 0 124 0 0 0 20 0 28 0 3803061 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638065135040 139638269445960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28551] ppid=28474 vsize=13802796 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28551/stat : 28551 (java) R 28474 28474 14626 0 -1 4202560 108 0 0 0 105 0 0 0 20 0 28 0 3803064 14134063104 64500 33554432000 4194304 4196468 140733380971008 139638064083512 139638268025975 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
Current children cumulated CPU time (s) 18.77
Current children cumulated vsize (KiB) 13812308
[startup+6.3016 s]
/proc/loadavg: 10.62 13.63 14.01 18/301 28551
/proc/meminfo: memFree=30875576/32770624 swapFree=5972/219424
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
[pid=28475] ppid=28474 vsize=13802796 CPUtime=44.14 cores=0,2,4,6,8,10,12,14
/proc/28475/stat : 28475 (java) S 28474 28474 14626 0 -1 1077944320 46138 0 0 0 4392 22 0 0 20 0 28 0 3802894 14134063104 65654 33554432000 4194304 4196468 140733380971008 140733380953552 139638627655415 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
/proc/28475/statm: 3450699 65654 3269 1 0 3437932 0
[pid=28475/tid=28476] ppid=28474 vsize=13802796 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28476/stat : 28476 (java) S 28474 28474 14626 0 -1 1077944384 8526 0 0 0 100 5 0 0 20 0 28 0 3802895 14134063104 65654 33554432000 4194304 4196468 140733380971008 139638631896192 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28478] ppid=28474 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28478/stat : 28478 (java) S 28474 28474 14626 0 -1 1077944384 191 0 0 0 1 1 0 0 20 0 28 0 3802896 14134063104 65654 33554432000 4194304 4196468 140733380971008 139638584208144 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28479] ppid=28474 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28479/stat : 28479 (java) S 28474 28474 14626 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 3802896 14134063104 65654 33554432000 4194304 4196468 140733380971008 139638583155600 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28480] ppid=28474 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28480/stat : 28480 (java) S 28474 28474 14626 0 -1 1077944384 114 0 0 0 1 1 0 0 20 0 28 0 3802896 14134063104 65654 33554432000 4194304 4196468 140733380971008 139638582103056 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28481] ppid=28474 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28481/stat : 28481 (java) S 28474 28474 14626 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 3802896 14134063104 65654 33554432000 4194304 4196468 140733380971008 139638223862928 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
################
# More data... #
################
[pid=28475/tid=28550] ppid=28474 vsize=13802796 CPUtime=274.97 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28550/stat : 28550 (java) R 28474 28474 14626 0 -1 4202560 4237 0 0 0 27493 4 0 0 20 0 28 0 3803061 14134063104 739227 33554432000 4194304 4196468 140733380971008 139638065138528 139638268025243 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28551] ppid=28474 vsize=13802796 CPUtime=276.21 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28551/stat : 28551 (java) R 28474 28474 14626 0 -1 4202560 6830 0 0 0 27613 8 0 0 20 0 28 0 3803064 14134063104 739227 33554432000 4194304 4196468 140733380971008 139638064086872 139638270233958 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
Current children cumulated CPU time (s) 2231.48
Current children cumulated vsize (KiB) 13812308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.502 s]
/proc/loadavg: 16.28 15.20 14.57 17/300 28707
/proc/meminfo: memFree=25580368/32770624 swapFree=5972/219804
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
[pid=28475] ppid=28474 vsize=13802796 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/28475/stat : 28475 (java) S 28474 28474 14626 0 -1 1077944320 148788 0 0 0 239612 392 0 0 20 0 28 0 3802894 14134063104 729898 33554432000 4194304 4196468 140733380971008 140733380953552 139638627655415 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
/proc/28475/statm: 3450699 729898 3290 1 0 3437932 0
[pid=28475/tid=28476] ppid=28474 vsize=13802796 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28476/stat : 28476 (java) S 28474 28474 14626 0 -1 1077944384 8526 0 0 0 100 5 0 0 20 0 28 0 3802895 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638631896192 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28478] ppid=28474 vsize=13802796 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28478/stat : 28478 (java) S 28474 28474 14626 0 -1 1077944384 2916 0 0 0 141 33 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638584208144 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28479] ppid=28474 vsize=13802796 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28479/stat : 28479 (java) S 28474 28474 14626 0 -1 1077944384 2124 0 0 0 141 30 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638583155600 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28480] ppid=28474 vsize=13802796 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28480/stat : 28480 (java) S 28474 28474 14626 0 -1 1077944384 1718 0 0 0 139 32 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638582103056 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28481] ppid=28474 vsize=13802796 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28481/stat : 28481 (java) S 28474 28474 14626 0 -1 1077944384 2428 0 0 0 142 31 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638223862928 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28482] ppid=28474 vsize=13802796 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28482/stat : 28482 (java) S 28474 28474 14626 0 -1 1077944384 2035 0 0 0 140 33 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638222809360 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28483] ppid=28474 vsize=13802796 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28483/stat : 28483 (java) S 28474 28474 14626 0 -1 1077944384 2044 0 0 0 144 33 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638221756816 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28484] ppid=28474 vsize=13802796 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28484/stat : 28484 (java) S 28474 28474 14626 0 -1 1077944384 1844 0 0 0 139 30 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638220704272 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28485] ppid=28474 vsize=13802796 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28485/stat : 28485 (java) S 28474 28474 14626 0 -1 1077944384 1815 0 0 0 136 30 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638219651728 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28486] ppid=28474 vsize=13802796 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28486/stat : 28486 (java) S 28474 28474 14626 0 -1 1077944384 15001 0 0 0 46 47 0 0 20 0 28 0 3802898 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638089992688 139638627666562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28487] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28487/stat : 28487 (java) S 28474 28474 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3802899 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638088938976 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28488] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28488/stat : 28488 (java) S 28474 28474 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3802899 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638087886320 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28489] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28489/stat : 28489 (java) S 28474 28474 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638086834896 139638627674011 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28490] ppid=28474 vsize=13802796 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28490/stat : 28490 (java) S 28474 28474 14626 0 -1 1077944384 16234 0 0 0 291 2 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638085781488 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28491] ppid=28474 vsize=13802796 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28491/stat : 28491 (java) S 28474 28474 14626 0 -1 1077944384 14801 0 0 0 282 2 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638084728944 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28492] ppid=28474 vsize=13802796 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28492/stat : 28492 (java) S 28474 28474 14626 0 -1 1077944384 13761 0 0 0 249 2 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638083676400 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28493] ppid=28474 vsize=13802796 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28493/stat : 28493 (java) S 28474 28474 14626 0 -1 1077944384 8035 0 0 0 93 1 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638082623856 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28494] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28494/stat : 28494 (java) S 28474 28474 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638081571552 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28495] ppid=28474 vsize=13802796 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28495/stat : 28495 (java) S 28474 28474 14626 0 -1 1077944384 669 0 0 0 5 7 0 0 20 0 28 0 3802904 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638080519088 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28544] ppid=28474 vsize=13802796 CPUtime=296.75 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28544/stat : 28544 (java) R 28474 28474 14626 0 -1 4202560 3557 0 0 0 29668 7 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638066187688 139638269446195 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28545] ppid=28474 vsize=13802796 CPUtime=295.63 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28545/stat : 28545 (java) R 28474 28474 14626 0 -1 4202560 6682 0 0 0 29550 13 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638070400376 139638268366170 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28546] ppid=28474 vsize=13802796 CPUtime=296.69 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28546/stat : 28546 (java) R 28474 28474 14626 0 -1 4202560 16794 0 0 0 29655 14 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638072506656 139638269377776 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28547] ppid=28474 vsize=13802796 CPUtime=296.57 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28547/stat : 28547 (java) R 28474 28474 14626 0 -1 4202560 7580 0 0 0 29647 10 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638067240368 139638269141789 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28548] ppid=28474 vsize=13802796 CPUtime=296.3 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28548/stat : 28548 (java) R 28474 28474 14626 0 -1 4202560 5927 0 0 0 29618 12 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638069347064 139638270868220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28549] ppid=28474 vsize=13802796 CPUtime=296.73 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28549/stat : 28549 (java) R 28474 28474 14626 0 -1 4202560 569 0 0 0 29672 1 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638068294520 139638268025844 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28550] ppid=28474 vsize=13802796 CPUtime=295.88 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28550/stat : 28550 (java) R 28474 28474 14626 0 -1 4202560 4302 0 0 0 29584 4 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638065136328 139638268320924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28551] ppid=28474 vsize=13802796 CPUtime=297.24 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28551/stat : 28551 (java) R 28474 28474 14626 0 -1 4202560 6923 0 0 0 29716 8 0 0 20 0 28 0 3803064 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638064084088 139638268366777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13812308
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 28475 sig 9
??? kill 28474 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.502 s]
/proc/loadavg: 16.28 15.20 14.57 17/300 28707
/proc/meminfo: memFree=25580368/32770624 swapFree=5972/219804
[pid=28474] ppid=28471 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28474/stat : 28474 (xcsp3-exec) S 28471 28474 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3802894 9740288 346 33554432000 4194304 5098028 140722087209504 140722087207608 140152783712892 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29933568 140722087216271 140722087216480 140722087216480 140722087219179 0
/proc/28474/statm: 2378 346 289 221 0 87 0
[pid=28475] ppid=28474 vsize=13802796 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/28475/stat : 28475 (java) S 28474 28474 14626 0 -1 1077944320 148788 0 0 0 239612 392 0 0 20 0 28 0 3802894 14134063104 729898 33554432000 4194304 4196468 140733380971008 140733380953552 139638627655415 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
/proc/28475/statm: 3450699 729898 3290 1 0 3437932 0
[pid=28475/tid=28476] ppid=28474 vsize=13802796 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28476/stat : 28476 (java) S 28474 28474 14626 0 -1 1077944384 8526 0 0 0 100 5 0 0 20 0 28 0 3802895 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638631896192 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28478] ppid=28474 vsize=13802796 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28478/stat : 28478 (java) S 28474 28474 14626 0 -1 1077944384 2916 0 0 0 141 33 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638584208144 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28479] ppid=28474 vsize=13802796 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28479/stat : 28479 (java) S 28474 28474 14626 0 -1 1077944384 2124 0 0 0 141 30 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638583155600 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28480] ppid=28474 vsize=13802796 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28480/stat : 28480 (java) S 28474 28474 14626 0 -1 1077944384 1718 0 0 0 139 32 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638582103056 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28481] ppid=28474 vsize=13802796 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28481/stat : 28481 (java) S 28474 28474 14626 0 -1 1077944384 2428 0 0 0 142 31 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638223862928 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28482] ppid=28474 vsize=13802796 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28482/stat : 28482 (java) S 28474 28474 14626 0 -1 1077944384 2035 0 0 0 140 33 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638222809360 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28483] ppid=28474 vsize=13802796 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28483/stat : 28483 (java) S 28474 28474 14626 0 -1 1077944384 2044 0 0 0 144 33 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638221756816 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28484] ppid=28474 vsize=13802796 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28484/stat : 28484 (java) S 28474 28474 14626 0 -1 1077944384 1844 0 0 0 139 30 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638220704272 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28485] ppid=28474 vsize=13802796 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28485/stat : 28485 (java) S 28474 28474 14626 0 -1 1077944384 1815 0 0 0 136 30 0 0 20 0 28 0 3802896 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638219651728 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28486] ppid=28474 vsize=13802796 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28486/stat : 28486 (java) S 28474 28474 14626 0 -1 1077944384 15001 0 0 0 46 47 0 0 20 0 28 0 3802898 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638089992688 139638627666562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28487] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28487/stat : 28487 (java) S 28474 28474 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3802899 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638088938976 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28488] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28488/stat : 28488 (java) S 28474 28474 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3802899 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638087886320 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28489] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28489/stat : 28489 (java) S 28474 28474 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638086834896 139638627674011 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28490] ppid=28474 vsize=13802796 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28490/stat : 28490 (java) S 28474 28474 14626 0 -1 1077944384 16234 0 0 0 291 2 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638085781488 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28491] ppid=28474 vsize=13802796 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28491/stat : 28491 (java) S 28474 28474 14626 0 -1 1077944384 14801 0 0 0 282 2 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638084728944 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28492] ppid=28474 vsize=13802796 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28492/stat : 28492 (java) S 28474 28474 14626 0 -1 1077944384 13761 0 0 0 249 2 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638083676400 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28493] ppid=28474 vsize=13802796 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28493/stat : 28493 (java) S 28474 28474 14626 0 -1 1077944384 8035 0 0 0 93 1 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638082623856 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28494] ppid=28474 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28494/stat : 28494 (java) S 28474 28474 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3802903 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638081571552 139638627665621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28495] ppid=28474 vsize=13802796 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28495/stat : 28495 (java) S 28474 28474 14626 0 -1 1077944384 669 0 0 0 5 7 0 0 20 0 28 0 3802904 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638080519088 139638627666562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28544] ppid=28474 vsize=13802796 CPUtime=296.75 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28544/stat : 28544 (java) R 28474 28474 14626 0 -1 4202560 3557 0 0 0 29668 7 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638066187688 139638269446195 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28545] ppid=28474 vsize=13802796 CPUtime=295.63 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28545/stat : 28545 (java) R 28474 28474 14626 0 -1 4202560 6682 0 0 0 29550 13 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638070400376 139638268366170 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28546] ppid=28474 vsize=13802796 CPUtime=296.69 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28546/stat : 28546 (java) R 28474 28474 14626 0 -1 4202560 16794 0 0 0 29655 14 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638072506656 139638269377776 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28547] ppid=28474 vsize=13802796 CPUtime=296.57 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28547/stat : 28547 (java) R 28474 28474 14626 0 -1 4202560 7580 0 0 0 29647 10 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638067240368 139638269141789 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28548] ppid=28474 vsize=13802796 CPUtime=296.3 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28548/stat : 28548 (java) R 28474 28474 14626 0 -1 4202560 5927 0 0 0 29618 12 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638069347064 139638270868220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28549] ppid=28474 vsize=13802796 CPUtime=296.73 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28549/stat : 28549 (java) R 28474 28474 14626 0 -1 4202560 569 0 0 0 29672 1 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638068294520 139638268025844 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28550] ppid=28474 vsize=13802796 CPUtime=295.88 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28550/stat : 28550 (java) R 28474 28474 14626 0 -1 4202560 4302 0 0 0 29584 4 0 0 20 0 28 0 3803061 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638065136328 139638268320924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
[pid=28475/tid=28551] ppid=28474 vsize=13802796 CPUtime=297.24 cores=0,2,4,6,8,10,12,14
/proc/28475/task/28551/stat : 28551 (java) R 28474 28474 14626 0 -1 4202560 6923 0 0 0 29716 8 0 0 20 0 28 0 3803064 14134063104 729898 33554432000 4194304 4196468 140733380971008 139638064084088 139638268366777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29589504 140733380973756 140733380973932 140733380973932 140733380976591 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13812308
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28474 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=743
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2514
# CPU time returned by wait4() is 0.003257
# while last known CPU time is 2400.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.512
CPU time (s): 2400.04
CPU user time (s): 2396.12
CPU system time (s): 3.92
CPU usage (%): 790.756
Max. virtual memory (cumulated for all children) (KiB): 13816864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000743
system time used= 0.002514
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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 4.02537 second user time and 4.33435 second system time
The end