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-4246325-1500687453/watcher-4246325-1500687453 -o /tmp/evaluation-result-4246325-1500687453/solver-4246325-1500687453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 498403515 HOME/instance-4246325-1500687453.xml
pid=20802
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: 16.20 15.08 13.57 9/271 20805
/proc/meminfo: memFree=30707024/32770624 swapFree=5860/272932
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 16.20 15.08 13.57 9/271 20805
/proc/meminfo: memFree=30707024/32770624 swapFree=5860/272932
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200289 s]
/proc/loadavg: 16.20 15.08 13.57 9/271 20805
/proc/meminfo: memFree=30707024/32770624 swapFree=5860/272932
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300212 s]
/proc/loadavg: 16.20 15.08 13.57 9/271 20805
/proc/meminfo: memFree=30707024/32770624 swapFree=5860/272932
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700177 s]
/proc/loadavg: 16.20 15.08 13.57 9/271 20805
/proc/meminfo: memFree=30707024/32770624 swapFree=5860/272932
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50116 s]
/proc/loadavg: 16.20 15.08 13.57 19/292 20826
/proc/meminfo: memFree=30513652/32770624 swapFree=5860/272968
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20806] ppid=20805 vsize=13801768 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/20806/stat : 20806 (java) S 20805 20805 7411 0 -1 1077944320 24923 0 0 0 578 15 0 0 20 0 28 0 4012683 14133010432 53258 33554432000 4194304 4196468 140721410404016 140721410386560 140522960629495 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
/proc/20806/statm: 3450442 53258 3251 1 0 3437675 0
[pid=20806/tid=20807] ppid=20805 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20807/stat : 20807 (java) S 20805 20805 7411 0 -1 1077944384 7599 0 0 0 126 5 0 0 20 0 28 0 4012683 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522964870272 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20809] ppid=20805 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20809/stat : 20809 (java) S 20805 20805 7411 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 28 0 4012684 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522879109520 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20810] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20810/stat : 20810 (java) S 20805 20805 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4012684 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522878056720 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20811] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20811/stat : 20811 (java) S 20805 20805 7411 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 4012684 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522877004432 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20812] ppid=20805 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20812/stat : 20812 (java) S 20805 20805 7411 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 4012684 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522875951632 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20813] ppid=20805 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20813/stat : 20813 (java) S 20805 20805 7411 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 28 0 4012684 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522555435920 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20814] ppid=20805 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20814/stat : 20814 (java) S 20805 20805 7411 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 28 0 4012684 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522554383120 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20815] ppid=20805 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20815/stat : 20815 (java) S 20805 20805 7411 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 28 0 4012684 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522553330832 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20816] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20816/stat : 20816 (java) S 20805 20805 7411 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4012684 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522552278032 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20817] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20817/stat : 20817 (java) S 20805 20805 7411 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 4012687 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522422888560 140522960640642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20818] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20818/stat : 20818 (java) S 20805 20805 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4012687 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522421834528 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20819] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20819/stat : 20819 (java) S 20805 20805 7411 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4012688 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522420782192 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20820] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20820/stat : 20820 (java) S 20805 20805 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012691 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522419730512 140522960648091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20821] ppid=20805 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20821/stat : 20821 (java) R 20805 20805 7411 0 -1 4202560 4755 0 0 0 110 0 0 0 20 0 28 0 4012691 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522418663376 140522945430017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20822] ppid=20805 vsize=13801768 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20822/stat : 20822 (java) R 20805 20805 7411 0 -1 4202560 3385 0 0 0 102 1 0 0 20 0 28 0 4012691 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522417611552 140522945731119 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20823] ppid=20805 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20823/stat : 20823 (java) R 20805 20805 7411 0 -1 4202560 3803 0 0 0 104 0 0 0 20 0 28 0 4012691 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522416559176 140522942153853 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20824] ppid=20805 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20824/stat : 20824 (java) R 20805 20805 7411 0 -1 4202560 3050 0 0 0 63 1 0 0 20 0 28 0 4012691 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522415516448 140522939544451 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20825] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20825/stat : 20825 (java) S 20805 20805 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012692 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522414467424 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20826] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20826/stat : 20826 (java) S 20805 20805 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012692 14133010432 53258 33554432000 4194304 4196468 140721410404016 140522413414704 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 13811280
[startup+3.10165 s]
/proc/loadavg: 15.86 15.03 13.56 14/300 20858
/proc/meminfo: memFree=30475676/32770624 swapFree=5860/272968
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20806] ppid=20805 vsize=13801768 CPUtime=18.45 cores=1,3,5,7,9,11,13,15
/proc/20806/stat : 20806 (java) S 20805 20805 7411 0 -1 1077944320 30524 0 0 0 1808 37 0 0 20 0 28 0 4012683 14133010432 96493 33554432000 4194304 4196468 140721410404016 140721410386560 140522960629495 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
/proc/20806/statm: 3450442 96493 3284 1 0 3437675 0
[pid=20806/tid=20807] ppid=20805 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20807/stat : 20807 (java) S 20805 20805 7411 0 -1 1077944384 7669 0 0 0 127 5 0 0 20 0 28 0 4012683 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522964870272 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20809] ppid=20805 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20809/stat : 20809 (java) S 20805 20805 7411 0 -1 1077944384 99 0 0 0 4 3 0 0 20 0 28 0 4012684 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522879109520 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20810] ppid=20805 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20810/stat : 20810 (java) S 20805 20805 7411 0 -1 1077944384 643 0 0 0 4 2 0 0 20 0 28 0 4012684 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522878056720 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20811] ppid=20805 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20811/stat : 20811 (java) S 20805 20805 7411 0 -1 1077944384 65 0 0 0 4 2 0 0 20 0 28 0 4012684 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522877004432 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20812] ppid=20805 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20812/stat : 20812 (java) S 20805 20805 7411 0 -1 1077944384 68 0 0 0 4 2 0 0 20 0 28 0 4012684 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522875951632 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20813] ppid=20805 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20813/stat : 20813 (java) S 20805 20805 7411 0 -1 1077944384 156 0 0 0 4 2 0 0 20 0 28 0 4012684 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522555435920 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20814] ppid=20805 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20814/stat : 20814 (java) S 20805 20805 7411 0 -1 1077944384 104 0 0 0 4 3 0 0 20 0 28 0 4012684 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522554383120 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20815] ppid=20805 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20815/stat : 20815 (java) S 20805 20805 7411 0 -1 1077944384 92 0 0 0 5 2 0 0 20 0 28 0 4012684 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522553330832 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20816] ppid=20805 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20816/stat : 20816 (java) S 20805 20805 7411 0 -1 1077944384 98 0 0 0 3 2 0 0 20 0 28 0 4012684 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522552278032 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20817] ppid=20805 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20817/stat : 20817 (java) S 20805 20805 7411 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 28 0 4012687 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522422888560 140522960640642 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20818] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20818/stat : 20818 (java) S 20805 20805 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4012687 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522421834592 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20819] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20819/stat : 20819 (java) S 20805 20805 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4012688 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522420782208 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20820] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20820/stat : 20820 (java) S 20805 20805 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012691 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522419730512 140522960648091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20821] ppid=20805 vsize=13801768 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20821/stat : 20821 (java) R 20805 20805 7411 0 -1 4202560 5841 0 0 0 227 0 0 0 20 0 28 0 4012691 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522418664448 140522942174080 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20822] ppid=20805 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20822/stat : 20822 (java) R 20805 20805 7411 0 -1 4202560 4264 0 0 0 205 1 0 0 20 0 28 0 4012691 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522417605624 140522946644723 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20823] ppid=20805 vsize=13801768 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20823/stat : 20823 (java) S 20805 20805 7411 0 -1 1077944384 4254 0 0 0 213 0 0 0 20 0 28 0 4012691 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522416563616 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20824] ppid=20805 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20824/stat : 20824 (java) R 20805 20805 7411 0 -1 4202560 3689 0 0 0 97 2 0 0 20 0 28 0 4012691 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522415520496 140522939163784 0 4 0 16800975 0 0 0 -1 11 0 0 8 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20825] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20825/stat : 20825 (java) S 20805 20805 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012692 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522414467424 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20826] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20826/stat : 20826 (java) S 20805 20805 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4012692 14133010432 96493 33554432000 4194304 4196468 140721410404016 140522413414704 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
Current children cumulated CPU time (s) 18.45
Current children cumulated vsize (KiB) 13811280
[startup+6.30157 s]
/proc/loadavg: 15.86 15.03 13.56 17/300 20866
/proc/meminfo: memFree=30289388/32770624 swapFree=5860/272980
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20806] ppid=20805 vsize=13801768 CPUtime=43.83 cores=1,3,5,7,9,11,13,15
/proc/20806/stat : 20806 (java) S 20805 20805 7411 0 -1 1077944320 32013 0 0 0 4330 53 0 0 20 0 28 0 4012683 14133010432 119268 33554432000 4194304 4196468 140721410404016 140721410386560 140522960629495 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
/proc/20806/statm: 3450442 119268 3288 1 0 3437675 0
[pid=20806/tid=20807] ppid=20805 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20807/stat : 20807 (java) S 20805 20805 7411 0 -1 1077944384 7669 0 0 0 127 5 0 0 20 0 28 0 4012683 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522964870272 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20809] ppid=20805 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20809/stat : 20809 (java) S 20805 20805 7411 0 -1 1077944384 112 0 0 0 6 4 0 0 20 0 28 0 4012684 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522879109520 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20810] ppid=20805 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20810/stat : 20810 (java) S 20805 20805 7411 0 -1 1077944384 657 0 0 0 5 4 0 0 20 0 28 0 4012684 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522878056720 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20811] ppid=20805 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20811/stat : 20811 (java) S 20805 20805 7411 0 -1 1077944384 78 0 0 0 5 4 0 0 20 0 28 0 4012684 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522877004432 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20812] ppid=20805 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20812/stat : 20812 (java) S 20805 20805 7411 0 -1 1077944384 79 0 0 0 6 4 0 0 20 0 28 0 4012684 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522875951632 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20813] ppid=20805 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20813/stat : 20813 (java) S 20805 20805 7411 0 -1 1077944384 174 0 0 0 6 3 0 0 20 0 28 0 4012684 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522555435920 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20814] ppid=20805 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20814/stat : 20814 (java) S 20805 20805 7411 0 -1 1077944384 129 0 0 0 5 4 0 0 20 0 28 0 4012684 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522554383120 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20815] ppid=20805 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20815/stat : 20815 (java) S 20805 20805 7411 0 -1 1077944384 106 0 0 0 7 4 0 0 20 0 28 0 4012684 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522553330832 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20816] ppid=20805 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20816/stat : 20816 (java) S 20805 20805 7411 0 -1 1077944384 111 0 0 0 5 4 0 0 20 0 28 0 4012684 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522552278032 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20817] ppid=20805 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20817/stat : 20817 (java) S 20805 20805 7411 0 -1 1077944384 378 0 0 0 1 1 0 0 20 0 28 0 4012687 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522422888560 140522960640642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20818] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20818/stat : 20818 (java) S 20805 20805 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4012687 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522421834592 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20819] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20819/stat : 20819 (java) S 20805 20805 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4012688 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522420782208 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20820] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20820/stat : 20820 (java) S 20805 20805 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012691 14133010432 119268 33554432000 4194304 4196468 140721410404016 140522419730512 140522960648091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
################
# More data... #
################
[pid=20806/tid=21068] ppid=20805 vsize=13801768 CPUtime=51.83 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21068/stat : 21068 (java) R 20805 20805 7411 0 -1 4202560 1121 0 0 0 5183 0 0 0 20 0 28 0 4035716 14133010432 582184 33554432000 4194304 4196468 140721410404016 140522203106968 140522941472441 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21069] ppid=20805 vsize=13801768 CPUtime=51.62 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21069/stat : 21069 (java) R 20805 20805 7411 0 -1 4202560 1147 0 0 0 5162 0 0 0 20 0 28 0 4035716 14133010432 582184 33554432000 4194304 4196468 140721410404016 140522201001408 140522565872019 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
Current children cumulated CPU time (s) 2235.12
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.302 s]
/proc/loadavg: 14.88 15.33 14.12 18/301 21174
/proc/meminfo: memFree=28274344/32770624 swapFree=5860/273372
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20806] ppid=20805 vsize=13801768 CPUtime=2400.48 cores=1,3,5,7,9,11,13,15
/proc/20806/stat : 20806 (java) S 20805 20805 7411 0 -1 1077944320 131205 0 0 0 239778 270 0 0 20 0 28 0 4012683 14133010432 583392 33554432000 4194304 4196468 140721410404016 140721410386560 140522960629495 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
/proc/20806/statm: 3450442 583392 3289 1 0 3437675 0
[pid=20806/tid=20807] ppid=20805 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20807/stat : 20807 (java) S 20805 20805 7411 0 -1 1077944384 8357 0 0 0 130 5 0 0 20 0 28 0 4012683 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522964870272 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20809] ppid=20805 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20809/stat : 20809 (java) S 20805 20805 7411 0 -1 1077944384 1144 0 0 0 25 24 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522879109520 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20810] ppid=20805 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20810/stat : 20810 (java) S 20805 20805 7411 0 -1 1077944384 2466 0 0 0 24 22 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522878056720 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20811] ppid=20805 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20811/stat : 20811 (java) S 20805 20805 7411 0 -1 1077944384 1792 0 0 0 22 24 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522877004432 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20812] ppid=20805 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20812/stat : 20812 (java) S 20805 20805 7411 0 -1 1077944384 1517 0 0 0 25 20 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522875951632 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20813] ppid=20805 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20813/stat : 20813 (java) S 20805 20805 7411 0 -1 1077944384 2756 0 0 0 25 21 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522555435920 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20814] ppid=20805 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20814/stat : 20814 (java) S 20805 20805 7411 0 -1 1077944384 2060 0 0 0 24 23 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522554383120 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20815] ppid=20805 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20815/stat : 20815 (java) S 20805 20805 7411 0 -1 1077944384 1050 0 0 0 26 21 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522553330832 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20816] ppid=20805 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20816/stat : 20816 (java) S 20805 20805 7411 0 -1 1077944384 1212 0 0 0 23 22 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522552278032 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20817] ppid=20805 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20817/stat : 20817 (java) S 20805 20805 7411 0 -1 1077944384 6232 0 0 0 11 15 0 0 20 0 28 0 4012687 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522422888560 140522960640642 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20818] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20818/stat : 20818 (java) S 20805 20805 7411 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4012687 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522421834592 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20819] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20819/stat : 20819 (java) S 20805 20805 7411 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 4012688 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522420782208 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20820] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20820/stat : 20820 (java) S 20805 20805 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522419730512 140522960648091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20821] ppid=20805 vsize=13801768 CPUtime=3.89 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20821/stat : 20821 (java) S 20805 20805 7411 0 -1 1077944384 12854 0 0 0 388 1 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522418678384 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20822] ppid=20805 vsize=13801768 CPUtime=3.62 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20822/stat : 20822 (java) S 20805 20805 7411 0 -1 1077944384 12253 0 0 0 360 2 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522417625584 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20823] ppid=20805 vsize=13801768 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20823/stat : 20823 (java) S 20805 20805 7411 0 -1 1077944384 14160 0 0 0 396 2 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522416573296 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20824] ppid=20805 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20824/stat : 20824 (java) S 20805 20805 7411 0 -1 1077944384 10690 0 0 0 123 3 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522415520496 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20825] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20825/stat : 20825 (java) S 20805 20805 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012692 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522414467424 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20826] ppid=20805 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20826/stat : 20826 (java) S 20805 20805 7411 0 -1 1077944384 831 0 0 0 6 10 0 0 20 0 28 0 4012692 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522413414704 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21159] ppid=20805 vsize=13801768 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21159/stat : 21159 (java) R 20805 20805 7411 0 -1 4202560 269 0 0 0 807 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522197842728 140522564551017 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21160] ppid=20805 vsize=13801768 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21160/stat : 21160 (java) R 20805 20805 7411 0 -1 4202560 222 0 0 0 807 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522198896200 140522563760070 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21161] ppid=20805 vsize=13801768 CPUtime=8.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21161/stat : 21161 (java) R 20805 20805 7411 0 -1 4202560 470 0 0 0 806 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522202054656 140522564883200 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21162] ppid=20805 vsize=13801768 CPUtime=8.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21162/stat : 21162 (java) R 20805 20805 7411 0 -1 4202560 304 0 0 0 806 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522203107352 140522564883227 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21163] ppid=20805 vsize=13801768 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21163/stat : 21163 (java) R 20805 20805 7411 0 -1 4202560 832 0 0 0 800 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522196794736 140522563347429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21164] ppid=20805 vsize=13801768 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21164/stat : 21164 (java) R 20805 20805 7411 0 -1 4202560 174 0 0 0 807 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522199949800 140522564551071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21165] ppid=20805 vsize=13801768 CPUtime=8.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21165/stat : 21165 (java) R 20805 20805 7411 0 -1 4202560 428 0 0 0 806 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522201002488 140522941453601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21166] ppid=20805 vsize=13801768 CPUtime=7.91 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21166/stat : 21166 (java) R 20805 20805 7411 0 -1 4202560 423 0 0 0 791 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522195738296 140522562032087 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
Current children cumulated CPU time (s) 2400.48
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 20806 sig 9
??? kill 20805 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.302 s]
/proc/loadavg: 14.88 15.33 14.12 18/301 21174
/proc/meminfo: memFree=28274344/32770624 swapFree=5860/273372
[pid=20805] ppid=20802 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4012683 9740288 345 33554432000 4194304 5098028 140730938154880 140730938152984 139687755674236 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39792640 140730938156175 140730938156384 140730938156384 140730938159083 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20806] ppid=20805 vsize=13801768 CPUtime=2400.48 cores=1,3,5,7,9,11,13,15
/proc/20806/stat : 20806 (java) S 20805 20805 7411 0 -1 1077944320 131205 0 0 0 239778 270 0 0 20 0 28 0 4012683 14133010432 583392 33554432000 4194304 4196468 140721410404016 140721410386560 140522960629495 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
/proc/20806/statm: 3450442 583392 3289 1 0 3437675 0
[pid=20806/tid=20807] ppid=20805 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20807/stat : 20807 (java) S 20805 20805 7411 0 -1 1077944384 8357 0 0 0 130 5 0 0 20 0 28 0 4012683 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522964870272 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20809] ppid=20805 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20809/stat : 20809 (java) S 20805 20805 7411 0 -1 1077944384 1144 0 0 0 25 24 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522879109520 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20810] ppid=20805 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20810/stat : 20810 (java) S 20805 20805 7411 0 -1 1077944384 2466 0 0 0 24 22 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522878056720 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20811] ppid=20805 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20811/stat : 20811 (java) S 20805 20805 7411 0 -1 1077944384 1792 0 0 0 22 24 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522877004432 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20812] ppid=20805 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20812/stat : 20812 (java) S 20805 20805 7411 0 -1 1077944384 1517 0 0 0 25 20 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522875951632 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20813] ppid=20805 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20813/stat : 20813 (java) S 20805 20805 7411 0 -1 1077944384 2756 0 0 0 25 21 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522555435920 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20814] ppid=20805 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20814/stat : 20814 (java) S 20805 20805 7411 0 -1 1077944384 2060 0 0 0 24 23 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522554383120 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20815] ppid=20805 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20815/stat : 20815 (java) S 20805 20805 7411 0 -1 1077944384 1050 0 0 0 26 21 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522553330832 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20816] ppid=20805 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20816/stat : 20816 (java) S 20805 20805 7411 0 -1 1077944384 1212 0 0 0 23 22 0 0 20 0 28 0 4012684 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522552278032 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20817] ppid=20805 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20817/stat : 20817 (java) S 20805 20805 7411 0 -1 1077944384 6232 0 0 0 11 15 0 0 20 0 28 0 4012687 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522422888560 140522960640642 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20818] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20818/stat : 20818 (java) S 20805 20805 7411 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4012687 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522421834592 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20819] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20819/stat : 20819 (java) S 20805 20805 7411 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 4012688 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522420782208 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20820] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20820/stat : 20820 (java) S 20805 20805 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522419730512 140522960648091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20821] ppid=20805 vsize=13801768 CPUtime=3.89 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20821/stat : 20821 (java) S 20805 20805 7411 0 -1 1077944384 12854 0 0 0 388 1 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522418678384 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20822] ppid=20805 vsize=13801768 CPUtime=3.62 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20822/stat : 20822 (java) S 20805 20805 7411 0 -1 1077944384 12253 0 0 0 360 2 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522417625584 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20823] ppid=20805 vsize=13801768 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20823/stat : 20823 (java) S 20805 20805 7411 0 -1 1077944384 14160 0 0 0 396 2 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522416573296 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20824] ppid=20805 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20824/stat : 20824 (java) S 20805 20805 7411 0 -1 1077944384 10690 0 0 0 123 3 0 0 20 0 28 0 4012691 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522415520496 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20825] ppid=20805 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20825/stat : 20825 (java) S 20805 20805 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012692 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522414467424 140522960639701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=20826] ppid=20805 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/20806/task/20826/stat : 20826 (java) S 20805 20805 7411 0 -1 1077944384 831 0 0 0 6 10 0 0 20 0 28 0 4012692 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522413414704 140522960640642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21159] ppid=20805 vsize=13801768 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21159/stat : 21159 (java) R 20805 20805 7411 0 -1 4202560 269 0 0 0 807 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522197842728 140522564551017 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21160] ppid=20805 vsize=13801768 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21160/stat : 21160 (java) R 20805 20805 7411 0 -1 4202560 222 0 0 0 807 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522198896200 140522563760070 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21161] ppid=20805 vsize=13801768 CPUtime=8.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21161/stat : 21161 (java) R 20805 20805 7411 0 -1 4202560 470 0 0 0 806 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522202054656 140522564883200 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21162] ppid=20805 vsize=13801768 CPUtime=8.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21162/stat : 21162 (java) R 20805 20805 7411 0 -1 4202560 304 0 0 0 806 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522203107352 140522564883227 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21163] ppid=20805 vsize=13801768 CPUtime=8 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21163/stat : 21163 (java) R 20805 20805 7411 0 -1 4202560 832 0 0 0 800 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522196794736 140522563347429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21164] ppid=20805 vsize=13801768 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21164/stat : 21164 (java) R 20805 20805 7411 0 -1 4202560 174 0 0 0 807 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522199949800 140522564551071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21165] ppid=20805 vsize=13801768 CPUtime=8.06 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21165/stat : 21165 (java) R 20805 20805 7411 0 -1 4202560 428 0 0 0 806 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522201002488 140522941453601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
[pid=20806/tid=21166] ppid=20805 vsize=13801768 CPUtime=7.91 cores=1,3,5,7,9,11,13,15
/proc/20806/task/21166/stat : 21166 (java) R 20805 20805 7411 0 -1 4202560 423 0 0 0 791 0 0 0 20 0 28 0 4042203 14133010432 583392 33554432000 4194304 4196468 140721410404016 140522195738296 140522562032087 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30322688 140721410405564 140721410405740 140721410405740 140721410408399 0
Current children cumulated CPU time (s) 2400.48
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 20805 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2594
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002594
# while last known CPU time is 2400.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.312
CPU time (s): 2400.48
CPU user time (s): 2397.78
CPU system time (s): 2.7
CPU usage (%): 791.422
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002594
system time used= 0
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.61493 second user time and 4.63436 second system time
The end