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-4248974-1500693335/watcher-4248974-1500693335 -o /tmp/evaluation-result-4248974-1500693335/solver-4248974-1500693335 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1143060373 HOME/instance-4248974-1500693335.xml
pid=4980
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.84 12.21 12.55 9/270 4983
/proc/meminfo: memFree=27764696/32770624 swapFree=5880/292000
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
[startup+0.100065 s]
/proc/loadavg: 14.84 12.21 12.55 9/270 4983
/proc/meminfo: memFree=27764696/32770624 swapFree=5880/292000
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200299 s]
/proc/loadavg: 14.84 12.21 12.55 9/270 4983
/proc/meminfo: memFree=27764696/32770624 swapFree=5880/292000
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300325 s]
/proc/loadavg: 14.84 12.21 12.55 9/270 4983
/proc/meminfo: memFree=27764696/32770624 swapFree=5880/292000
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700245 s]
/proc/loadavg: 14.84 12.21 12.55 9/270 4983
/proc/meminfo: memFree=27764696/32770624 swapFree=5880/292000
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50123 s]
/proc/loadavg: 14.84 12.21 12.55 10/291 5004
/proc/meminfo: memFree=27533076/32770624 swapFree=5880/292272
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
[pid=4984] ppid=4983 vsize=13269256 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/4984/stat : 4984 (java) S 4983 4983 7744 0 -1 1077944320 15517 0 0 0 425 34 0 0 20 0 20 0 4601162 13587718144 64938 33554432000 4194304 4196468 140734426365968 140734426348512 140668333522679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
/proc/4984/statm: 3317314 64938 3226 1 0 3304547 0
[pid=4984/tid=4985] ppid=4983 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4985/stat : 4985 (java) R 4983 4983 7744 0 -1 4202560 6371 0 0 0 135 5 0 0 20 0 20 0 4601163 13587718144 64938 33554432000 4194304 4196468 140734426365968 140668337758792 140667971240190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4987] ppid=4983 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4987/stat : 4987 (java) S 4983 4983 7744 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 20 0 4601164 13587718144 64938 33554432000 4194304 4196468 140734426365968 140668301081744 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4988] ppid=4983 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4988/stat : 4988 (java) S 4983 4983 7744 0 -1 1077944384 27 0 0 0 2 3 0 0 20 0 20 0 4601164 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667931266064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4989] ppid=4983 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4989/stat : 4989 (java) S 4983 4983 7744 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 20 0 4601164 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667930213264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4990] ppid=4983 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4990/stat : 4990 (java) S 4983 4983 7744 0 -1 1077944384 36 0 0 0 1 3 0 0 20 0 20 0 4601164 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667929160464 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4991] ppid=4983 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4991/stat : 4991 (java) S 4983 4983 7744 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 4601164 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667928107664 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4992] ppid=4983 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4992/stat : 4992 (java) S 4983 4983 7744 0 -1 1077944384 43 0 0 0 2 3 0 0 20 0 20 0 4601164 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667927054864 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4993] ppid=4983 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4993/stat : 4993 (java) S 4983 4983 7744 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 20 0 4601164 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667926002064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4994] ppid=4983 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4994/stat : 4994 (java) S 4983 4983 7744 0 -1 1077944384 33 0 0 0 3 3 0 0 20 0 20 0 4601164 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667924949264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4995] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4995/stat : 4995 (java) S 4983 4983 7744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4601166 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667527367536 140668333533826 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4996] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4996/stat : 4996 (java) S 4983 4983 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4601167 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667526313504 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4997] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4997/stat : 4997 (java) S 4983 4983 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4601167 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667525260656 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4998] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4998/stat : 4998 (java) S 4983 4983 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4601172 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667524208976 140668333541275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4999] ppid=4983 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4999/stat : 4999 (java) S 4983 4983 7744 0 -1 1077944384 2084 0 0 0 71 0 0 0 20 0 20 0 4601172 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667523156336 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5000] ppid=4983 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5000/stat : 5000 (java) R 4983 4983 7744 0 -1 4202560 1992 0 0 0 75 0 0 0 20 0 20 0 4601172 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667522091568 140668317407428 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5001] ppid=4983 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5001/stat : 5001 (java) R 4983 4983 7744 0 -1 4202560 1260 0 0 0 70 0 0 0 20 0 20 0 4601172 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667521050736 140668317492472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5002] ppid=4983 vsize=13269256 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5002/stat : 5002 (java) S 4983 4983 7744 0 -1 1077944384 2134 0 0 0 51 0 0 0 20 0 20 0 4601172 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667519997936 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5003] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5003/stat : 5003 (java) S 4983 4983 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4601172 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667518946400 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5004] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5004/stat : 5004 (java) S 4983 4983 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4601172 13587718144 64938 33554432000 4194304 4196468 140734426365968 140667517893680 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 13278768
[startup+3.10083 s]
/proc/loadavg: 14.84 12.21 12.55 18/291 5004
/proc/meminfo: memFree=27330268/32770624 swapFree=5880/292272
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
[pid=4984] ppid=4983 vsize=13269256 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/4984/stat : 4984 (java) S 4983 4983 7744 0 -1 1077944320 19221 0 0 0 826 123 0 0 20 0 20 0 4601162 13587718144 185268 33554432000 4194304 4196468 140734426365968 140734426348512 140668333522679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
/proc/4984/statm: 3317314 185268 3262 1 0 3304547 0
[pid=4984/tid=4985] ppid=4983 vsize=13269256 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4985/stat : 4985 (java) R 4983 4983 7744 0 -1 4202560 6981 0 0 0 268 9 0 0 20 0 20 0 4601163 13587718144 185268 33554432000 4194304 4196468 140734426365968 140668337759816 140667973079210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4987] ppid=4983 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4987/stat : 4987 (java) S 4983 4983 7744 0 -1 1077944384 147 0 0 0 13 12 0 0 20 0 20 0 4601164 13587718144 185268 33554432000 4194304 4196468 140734426365968 140668301081744 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4988] ppid=4983 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4988/stat : 4988 (java) S 4983 4983 7744 0 -1 1077944384 132 0 0 0 13 14 0 0 20 0 20 0 4601164 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667931266064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4989] ppid=4983 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4989/stat : 4989 (java) S 4983 4983 7744 0 -1 1077944384 192 0 0 0 12 12 0 0 20 0 20 0 4601164 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667930213264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4990] ppid=4983 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4990/stat : 4990 (java) S 4983 4983 7744 0 -1 1077944384 162 0 0 0 13 13 0 0 20 0 20 0 4601164 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667929160464 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4991] ppid=4983 vsize=13269256 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4991/stat : 4991 (java) S 4983 4983 7744 0 -1 1077944384 161 0 0 0 14 14 0 0 20 0 20 0 4601164 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667928107664 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4992] ppid=4983 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4992/stat : 4992 (java) S 4983 4983 7744 0 -1 1077944384 147 0 0 0 12 14 0 0 20 0 20 0 4601164 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667927054864 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4993] ppid=4983 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4993/stat : 4993 (java) S 4983 4983 7744 0 -1 1077944384 196 0 0 0 13 13 0 0 20 0 20 0 4601164 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667926002064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4994] ppid=4983 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4994/stat : 4994 (java) S 4983 4983 7744 0 -1 1077944384 156 0 0 0 14 13 0 0 20 0 20 0 4601164 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667924949264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4995] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4995/stat : 4995 (java) S 4983 4983 7744 0 -1 1077944384 515 0 0 0 0 0 0 0 20 0 20 0 4601166 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667527367536 140668333533826 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4996] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4996/stat : 4996 (java) S 4983 4983 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4601167 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667526313568 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4997] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4997/stat : 4997 (java) S 4983 4983 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4601167 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667525260672 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4998] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4998/stat : 4998 (java) S 4983 4983 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4601172 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667524208976 140668333541275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4999] ppid=4983 vsize=13269256 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4999/stat : 4999 (java) S 4983 4983 7744 0 -1 1077944384 2484 0 0 0 130 0 0 0 20 0 20 0 4601172 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667523156336 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5000] ppid=4983 vsize=13269256 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5000/stat : 5000 (java) S 4983 4983 7744 0 -1 1077944384 2644 0 0 0 128 0 0 0 20 0 20 0 4601172 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667522103536 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5001] ppid=4983 vsize=13269256 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5001/stat : 5001 (java) S 4983 4983 7744 0 -1 1077944384 1710 0 0 0 128 1 0 0 20 0 20 0 4601172 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667521050736 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5002] ppid=4983 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5002/stat : 5002 (java) S 4983 4983 7744 0 -1 1077944384 2295 0 0 0 60 0 0 0 20 0 20 0 4601172 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667519997936 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5003] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5003/stat : 5003 (java) S 4983 4983 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4601172 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667518946400 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5004] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5004/stat : 5004 (java) S 4983 4983 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4601172 13587718144 185268 33554432000 4194304 4196468 140734426365968 140667517893680 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 13278768
[startup+6.30091 s]
/proc/loadavg: 14.61 12.21 12.54 11/291 5004
/proc/meminfo: memFree=26383236/32770624 swapFree=5880/292280
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
[pid=4984] ppid=4983 vsize=13269256 CPUtime=16.49 cores=1,3,5,7,9,11,13,15
/proc/4984/stat : 4984 (java) S 4983 4983 7744 0 -1 1077944320 22922 0 0 0 1349 300 0 0 20 0 20 0 4601162 13587718144 390171 33554432000 4194304 4196468 140734426365968 140734426348512 140668333522679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
/proc/4984/statm: 3317314 390171 3262 1 0 3304547 0
[pid=4984/tid=4985] ppid=4983 vsize=13269256 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4985/stat : 4985 (java) R 4983 4983 7744 0 -1 4202560 7407 0 0 0 533 16 0 0 20 0 20 0 4601163 13587718144 390171 33554432000 4194304 4196468 140734426365968 140668337759432 140667974859609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4987] ppid=4983 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4987/stat : 4987 (java) S 4983 4983 7744 0 -1 1077944384 455 0 0 0 39 33 0 0 20 0 20 0 4601164 13587718144 390171 33554432000 4194304 4196468 140734426365968 140668301081744 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4988] ppid=4983 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4988/stat : 4988 (java) S 4983 4983 7744 0 -1 1077944384 556 0 0 0 38 36 0 0 20 0 20 0 4601164 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667931266064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4989] ppid=4983 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4989/stat : 4989 (java) S 4983 4983 7744 0 -1 1077944384 509 0 0 0 37 33 0 0 20 0 20 0 4601164 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667930213264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4990] ppid=4983 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4990/stat : 4990 (java) S 4983 4983 7744 0 -1 1077944384 320 0 0 0 38 33 0 0 20 0 20 0 4601164 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667929160464 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4991] ppid=4983 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4991/stat : 4991 (java) S 4983 4983 7744 0 -1 1077944384 550 0 0 0 40 34 0 0 20 0 20 0 4601164 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667928107664 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4992] ppid=4983 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4992/stat : 4992 (java) S 4983 4983 7744 0 -1 1077944384 426 0 0 0 36 37 0 0 20 0 20 0 4601164 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667927054864 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4993] ppid=4983 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4993/stat : 4993 (java) S 4983 4983 7744 0 -1 1077944384 406 0 0 0 39 34 0 0 20 0 20 0 4601164 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667926002064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4994] ppid=4983 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4994/stat : 4994 (java) S 4983 4983 7744 0 -1 1077944384 580 0 0 0 39 35 0 0 20 0 20 0 4601164 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667924949264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4995] ppid=4983 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4995/stat : 4995 (java) S 4983 4983 7744 0 -1 1077944384 1089 0 0 0 1 0 0 0 20 0 20 0 4601166 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667527367536 140668333533826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4996] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4996/stat : 4996 (java) S 4983 4983 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4601167 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667526313568 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4997] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4997/stat : 4997 (java) S 4983 4983 7744 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 4601167 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667525260672 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4998] ppid=4983 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4998/stat : 4998 (java) S 4983 4983 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4601172 13587718144 390171 33554432000 4194304 4196468 140734426365968 140667524208976 140668333541275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
################
# More data... #
################
[pid=4984/tid=5356] ppid=4983 vsize=13801768 CPUtime=75.11 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5356/stat : 5356 (java) R 4983 4983 7744 0 -1 4202560 2516 0 0 0 7511 0 0 0 20 0 28 0 4621873 14133010432 891684 33554432000 4194304 4196468 140734426365968 140667508829440 140667976709273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5357] ppid=4983 vsize=13801768 CPUtime=75.11 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5357/stat : 5357 (java) R 4983 4983 7744 0 -1 4202560 626 0 0 0 7511 0 0 0 20 0 28 0 4621873 14133010432 891684 33554432000 4194304 4196468 140734426365968 140667509879376 140667974028265 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
Current children cumulated CPU time (s) 2202.92
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.102 s]
/proc/loadavg: 16.00 14.60 13.49 17/301 5382
/proc/meminfo: memFree=24361108/32770624 swapFree=5880/292700
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
[pid=4984] ppid=4983 vsize=13801768 CPUtime=2400.34 cores=1,3,5,7,9,11,13,15
/proc/4984/stat : 4984 (java) S 4983 4983 7744 0 -1 1077944320 179767 0 0 0 239531 503 0 0 20 0 28 0 4601162 14133010432 891683 33554432000 4194304 4196468 140734426365968 140734426348512 140668333522679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
/proc/4984/statm: 3450442 891683 3306 1 0 3437675 0
[pid=4984/tid=4985] ppid=4983 vsize=13801768 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4985/stat : 4985 (java) S 4983 4983 7744 0 -1 1077944384 9090 0 0 0 610 17 0 0 20 0 28 0 4601163 14133010432 891683 33554432000 4194304 4196468 140734426365968 140668337763456 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4987] ppid=4983 vsize=13801768 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4987/stat : 4987 (java) S 4983 4983 7744 0 -1 1077944384 1056 0 0 0 129 47 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140668301081744 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4988] ppid=4983 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4988/stat : 4988 (java) S 4983 4983 7744 0 -1 1077944384 1107 0 0 0 130 52 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667931266064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4989] ppid=4983 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4989/stat : 4989 (java) S 4983 4983 7744 0 -1 1077944384 1230 0 0 0 130 50 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667930213264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4990] ppid=4983 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4990/stat : 4990 (java) S 4983 4983 7744 0 -1 1077944384 1322 0 0 0 132 48 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667929160464 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4991] ppid=4983 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4991/stat : 4991 (java) S 4983 4983 7744 0 -1 1077944384 1865 0 0 0 130 50 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667928107664 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4992] ppid=4983 vsize=13801768 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4992/stat : 4992 (java) S 4983 4983 7744 0 -1 1077944384 899 0 0 0 124 53 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667927054864 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4993] ppid=4983 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4993/stat : 4993 (java) S 4983 4983 7744 0 -1 1077944384 1231 0 0 0 133 47 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667926002064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4994] ppid=4983 vsize=13801768 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4994/stat : 4994 (java) S 4983 4983 7744 0 -1 1077944384 1884 0 0 0 133 51 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667924949264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4995] ppid=4983 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4995/stat : 4995 (java) S 4983 4983 7744 0 -1 1077944384 7287 0 0 0 30 5 0 0 20 0 28 0 4601166 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667527367536 140668333533826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4996] ppid=4983 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4996/stat : 4996 (java) S 4983 4983 7744 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 4601167 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667526313568 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4997] ppid=4983 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4997/stat : 4997 (java) S 4983 4983 7744 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4601167 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667525260672 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4998] ppid=4983 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4998/stat : 4998 (java) S 4983 4983 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667524208976 140668333541275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4999] ppid=4983 vsize=13801768 CPUtime=5.25 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4999/stat : 4999 (java) S 4983 4983 7744 0 -1 1077944384 27193 0 0 0 522 3 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667523156336 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5000] ppid=4983 vsize=13801768 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5000/stat : 5000 (java) S 4983 4983 7744 0 -1 1077944384 26543 0 0 0 452 3 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667522103536 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5001] ppid=4983 vsize=13801768 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5001/stat : 5001 (java) S 4983 4983 7744 0 -1 1077944384 24167 0 0 0 452 3 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667521050736 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5002] ppid=4983 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5002/stat : 5002 (java) S 4983 4983 7744 0 -1 1077944384 10413 0 0 0 115 1 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667519997936 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5003] ppid=4983 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5003/stat : 5003 (java) S 4983 4983 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667518946400 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5004] ppid=4983 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5004/stat : 5004 (java) S 4983 4983 7744 0 -1 1077944384 2223 0 0 0 11 9 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667517893680 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5375] ppid=4983 vsize=13801768 CPUtime=11.6 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5375/stat : 5375 (java) R 4983 4983 7744 0 -1 4202560 378 0 0 0 1160 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667507772888 140667976601146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5376] ppid=4983 vsize=13801768 CPUtime=11.65 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5376/stat : 5376 (java) R 4983 4983 7744 0 -1 4202560 249 0 0 0 1165 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667505668232 140667976709402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5377] ppid=4983 vsize=13801768 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5377/stat : 5377 (java) R 4983 4983 7744 0 -1 4202560 576 0 0 0 1170 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667508825960 140667974466889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5378] ppid=4983 vsize=13801768 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5378/stat : 5378 (java) R 4983 4983 7744 0 -1 4202560 774 0 0 0 1170 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667502510280 140667976709402 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5379] ppid=4983 vsize=13801768 CPUtime=11.69 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5379/stat : 5379 (java) R 4983 4983 7744 0 -1 4202560 674 0 0 0 1169 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667503562504 140667973375504 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5380] ppid=4983 vsize=13801768 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5380/stat : 5380 (java) R 4983 4983 7744 0 -1 4202560 280 0 0 0 1170 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667506720392 140667976601146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5381] ppid=4983 vsize=13801768 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5381/stat : 5381 (java) R 4983 4983 7744 0 -1 4202560 260 0 0 0 1170 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667509879528 140667977212602 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5382] ppid=4983 vsize=13801768 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5382/stat : 5382 (java) R 4983 4983 7744 0 -1 4202560 841 0 0 0 1148 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667504615920 140667976709273 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
Current children cumulated CPU time (s) 2400.34
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 4984 sig 9
??? kill 4983 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.102 s]
/proc/loadavg: 16.00 14.60 13.49 17/301 5382
/proc/meminfo: memFree=24361108/32770624 swapFree=5880/292700
[pid=4983] ppid=4980 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4983/stat : 4983 (xcsp3-exec) S 4980 4983 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4601162 9740288 346 33554432000 4194304 5098028 140721585591920 140721585590024 140443843003004 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 23191552 140721585595534 140721585595744 140721585595744 140721585598443 0
/proc/4983/statm: 2378 346 289 221 0 87 0
[pid=4984] ppid=4983 vsize=13801768 CPUtime=2400.34 cores=1,3,5,7,9,11,13,15
/proc/4984/stat : 4984 (java) S 4983 4983 7744 0 -1 1077944320 179767 0 0 0 239531 503 0 0 20 0 28 0 4601162 14133010432 891683 33554432000 4194304 4196468 140734426365968 140734426348512 140668333522679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
/proc/4984/statm: 3450442 891683 3306 1 0 3437675 0
[pid=4984/tid=4985] ppid=4983 vsize=13801768 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4985/stat : 4985 (java) S 4983 4983 7744 0 -1 1077944384 9090 0 0 0 610 17 0 0 20 0 28 0 4601163 14133010432 891683 33554432000 4194304 4196468 140734426365968 140668337763456 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4987] ppid=4983 vsize=13801768 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4987/stat : 4987 (java) S 4983 4983 7744 0 -1 1077944384 1056 0 0 0 129 47 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140668301081744 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4988] ppid=4983 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4988/stat : 4988 (java) S 4983 4983 7744 0 -1 1077944384 1107 0 0 0 130 52 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667931266064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4989] ppid=4983 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4989/stat : 4989 (java) S 4983 4983 7744 0 -1 1077944384 1230 0 0 0 130 50 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667930213264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4990] ppid=4983 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4990/stat : 4990 (java) S 4983 4983 7744 0 -1 1077944384 1322 0 0 0 132 48 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667929160464 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4991] ppid=4983 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4991/stat : 4991 (java) S 4983 4983 7744 0 -1 1077944384 1865 0 0 0 130 50 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667928107664 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4992] ppid=4983 vsize=13801768 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4992/stat : 4992 (java) S 4983 4983 7744 0 -1 1077944384 899 0 0 0 124 53 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667927054864 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4993] ppid=4983 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4993/stat : 4993 (java) S 4983 4983 7744 0 -1 1077944384 1231 0 0 0 133 47 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667926002064 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4994] ppid=4983 vsize=13801768 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4994/stat : 4994 (java) S 4983 4983 7744 0 -1 1077944384 1884 0 0 0 133 51 0 0 20 0 28 0 4601164 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667924949264 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4995] ppid=4983 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4995/stat : 4995 (java) S 4983 4983 7744 0 -1 1077944384 7287 0 0 0 30 5 0 0 20 0 28 0 4601166 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667527367536 140668333533826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4996] ppid=4983 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4996/stat : 4996 (java) S 4983 4983 7744 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 4601167 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667526313568 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4997] ppid=4983 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4997/stat : 4997 (java) S 4983 4983 7744 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4601167 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667525260672 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4998] ppid=4983 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4998/stat : 4998 (java) S 4983 4983 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667524208976 140668333541275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=4999] ppid=4983 vsize=13801768 CPUtime=5.25 cores=1,3,5,7,9,11,13,15
/proc/4984/task/4999/stat : 4999 (java) S 4983 4983 7744 0 -1 1077944384 27193 0 0 0 522 3 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667523156336 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5000] ppid=4983 vsize=13801768 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5000/stat : 5000 (java) S 4983 4983 7744 0 -1 1077944384 26543 0 0 0 452 3 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667522103536 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5001] ppid=4983 vsize=13801768 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5001/stat : 5001 (java) S 4983 4983 7744 0 -1 1077944384 24167 0 0 0 452 3 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667521050736 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5002] ppid=4983 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5002/stat : 5002 (java) S 4983 4983 7744 0 -1 1077944384 10413 0 0 0 115 1 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667519997936 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5003] ppid=4983 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5003/stat : 5003 (java) S 4983 4983 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667518946400 140668333532885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5004] ppid=4983 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5004/stat : 5004 (java) S 4983 4983 7744 0 -1 1077944384 2223 0 0 0 11 9 0 0 20 0 28 0 4601172 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667517893680 140668333533826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5375] ppid=4983 vsize=13801768 CPUtime=11.6 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5375/stat : 5375 (java) R 4983 4983 7744 0 -1 4202560 378 0 0 0 1160 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667507772888 140667976601146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5376] ppid=4983 vsize=13801768 CPUtime=11.65 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5376/stat : 5376 (java) R 4983 4983 7744 0 -1 4202560 249 0 0 0 1165 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667505668232 140667976709402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5377] ppid=4983 vsize=13801768 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5377/stat : 5377 (java) R 4983 4983 7744 0 -1 4202560 576 0 0 0 1170 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667508825960 140667974466889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5378] ppid=4983 vsize=13801768 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5378/stat : 5378 (java) R 4983 4983 7744 0 -1 4202560 774 0 0 0 1170 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667502510280 140667976709402 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5379] ppid=4983 vsize=13801768 CPUtime=11.69 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5379/stat : 5379 (java) R 4983 4983 7744 0 -1 4202560 674 0 0 0 1169 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667503562504 140667973375504 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5380] ppid=4983 vsize=13801768 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5380/stat : 5380 (java) R 4983 4983 7744 0 -1 4202560 280 0 0 0 1170 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667506720392 140667976601146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5381] ppid=4983 vsize=13801768 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5381/stat : 5381 (java) R 4983 4983 7744 0 -1 4202560 260 0 0 0 1170 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667509879528 140667977212602 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
[pid=4984/tid=5382] ppid=4983 vsize=13801768 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/4984/task/5382/stat : 5382 (java) R 4983 4983 7744 0 -1 4202560 841 0 0 0 1148 0 0 0 20 0 28 0 4630701 14133010432 891683 33554432000 4194304 4196468 140734426365968 140667504615920 140667976709273 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30973952 140734426367164 140734426367340 140734426367340 140734426369999 0
Current children cumulated CPU time (s) 2400.34
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 4983 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1371
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1955
# CPU time returned by wait4() is 0.003326
# while last known CPU time is 2400.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 307.112
CPU time (s): 2400.34
CPU user time (s): 2395.31
CPU system time (s): 5.03
CPU usage (%): 781.583
Max. virtual memory (cumulated for all children) (KiB): 13813264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001371
system time used= 0.001955
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.53189 second user time and 4.41601 second system time
The end