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-4249553-1500695238/watcher-4249553-1500695238 -o /tmp/evaluation-result-4249553-1500695238/solver-4249553-1500695238 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1257129471 HOME/instance-4249553-1500695238.xml
pid=17023
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: 11.93 13.91 13.79 2/263 17026
/proc/meminfo: memFree=29862068/32770624 swapFree=5972/271904
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
[startup+0.100099 s]
/proc/loadavg: 11.93 13.91 13.79 2/263 17026
/proc/meminfo: memFree=29862068/32770624 swapFree=5972/271904
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200302 s]
/proc/loadavg: 11.93 13.91 13.79 2/263 17026
/proc/meminfo: memFree=29862068/32770624 swapFree=5972/271904
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300302 s]
/proc/loadavg: 11.93 13.91 13.79 2/263 17026
/proc/meminfo: memFree=29862068/32770624 swapFree=5972/271904
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70025 s]
/proc/loadavg: 11.93 13.91 13.79 2/263 17026
/proc/meminfo: memFree=29862068/32770624 swapFree=5972/271904
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50127 s]
/proc/loadavg: 11.93 13.91 13.79 6/284 17047
/proc/meminfo: memFree=29683952/32770624 swapFree=5972/272176
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
[pid=17027] ppid=17026 vsize=13269256 CPUtime=3.76 cores=1,3,5,7,9,11,13,15
/proc/17027/stat : 17027 (java) S 17026 17026 14626 0 -1 1077944320 14490 0 0 0 363 13 0 0 20 0 20 0 4793272 13587718144 49835 33554432000 4194304 4196468 140729785064352 140729785046896 140702428552951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
/proc/17027/statm: 3317314 49835 3221 1 0 3304547 0
[pid=17027/tid=17028] ppid=17026 vsize=13269256 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17028/stat : 17028 (java) R 17026 17026 14626 0 -1 4202560 6641 0 0 0 141 4 0 0 20 0 20 0 4793272 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702432788264 140702411016074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17030] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17030/stat : 17030 (java) S 17026 17026 14626 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 4793273 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702391659280 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17031] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17031/stat : 17031 (java) S 17026 17026 14626 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4793273 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702027021200 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17032] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17032/stat : 17032 (java) S 17026 17026 14626 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4793273 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702025968656 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17033] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17033/stat : 17033 (java) S 17026 17026 14626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4793273 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702024916112 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17034] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17034/stat : 17034 (java) S 17026 17026 14626 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4793273 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702023862544 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17035] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17035/stat : 17035 (java) S 17026 17026 14626 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4793273 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702022810000 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17036] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17036/stat : 17036 (java) S 17026 17026 14626 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4793273 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702021757456 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17037] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17037/stat : 17037 (java) S 17026 17026 14626 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4793273 13587718144 49835 33554432000 4194304 4196468 140729785064352 140702020704912 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17038] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17038/stat : 17038 (java) S 17026 17026 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4793275 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701093345776 140702428564098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17039] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17039/stat : 17039 (java) S 17026 17026 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4793275 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701092292000 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17040] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17040/stat : 17040 (java) S 17026 17026 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4793276 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701091239408 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17041] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17041/stat : 17041 (java) S 17026 17026 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4793279 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701090187984 140702428571547 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17042] ppid=17026 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17042/stat : 17042 (java) R 17026 17026 14626 0 -1 4202560 2003 0 0 0 61 0 0 0 20 0 20 0 4793279 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701089120600 140702410097182 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17043] ppid=17026 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17043/stat : 17043 (java) R 17026 17026 14626 0 -1 4202560 1417 0 0 0 54 0 0 0 20 0 20 0 4793279 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701088067768 140702411940173 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17044] ppid=17026 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17044/stat : 17044 (java) R 17026 17026 14626 0 -1 4202560 1752 0 0 0 63 1 0 0 20 0 20 0 4793279 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701087010504 140702412459140 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17045] ppid=17026 vsize=13269256 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17045/stat : 17045 (java) S 17026 17026 14626 0 -1 1077944384 1218 0 0 0 37 0 0 0 20 0 20 0 4793279 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701085976944 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17046] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17046/stat : 17046 (java) S 17026 17026 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4793279 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701084924640 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17047] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17047/stat : 17047 (java) S 17026 17026 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4793279 13587718144 49835 33554432000 4194304 4196468 140729785064352 140701083872176 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13278768
[startup+3.10136 s]
/proc/loadavg: 11.61 13.81 13.76 10/284 17047
/proc/meminfo: memFree=28793344/32770624 swapFree=5972/272176
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
[pid=17027] ppid=17026 vsize=13269256 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/17027/stat : 17027 (java) S 17026 17026 14626 0 -1 1077944320 17575 0 0 0 717 54 0 0 20 0 20 0 4793272 13587718144 116218 33554432000 4194304 4196468 140729785064352 140729785046896 140702428552951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
/proc/17027/statm: 3317314 116218 3233 1 0 3304547 0
[pid=17027/tid=17028] ppid=17026 vsize=13269256 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17028/stat : 17028 (java) R 17026 17026 14626 0 -1 4202560 7214 0 0 0 289 6 0 0 20 0 20 0 4793272 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702432790968 140702068689263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17030] ppid=17026 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17030/stat : 17030 (java) S 17026 17026 14626 0 -1 1077944384 55 0 0 0 4 5 0 0 20 0 20 0 4793273 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702391659280 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17031] ppid=17026 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17031/stat : 17031 (java) S 17026 17026 14626 0 -1 1077944384 45 0 0 0 2 4 0 0 20 0 20 0 4793273 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702027021200 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17032] ppid=17026 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17032/stat : 17032 (java) S 17026 17026 14626 0 -1 1077944384 53 0 0 0 4 6 0 0 20 0 20 0 4793273 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702025968656 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17033] ppid=17026 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17033/stat : 17033 (java) S 17026 17026 14626 0 -1 1077944384 48 0 0 0 3 5 0 0 20 0 20 0 4793273 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702024916112 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17034] ppid=17026 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17034/stat : 17034 (java) S 17026 17026 14626 0 -1 1077944384 51 0 0 0 4 5 0 0 20 0 20 0 4793273 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702023862544 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17035] ppid=17026 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17035/stat : 17035 (java) S 17026 17026 14626 0 -1 1077944384 41 0 0 0 4 5 0 0 20 0 20 0 4793273 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702022810000 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17036] ppid=17026 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17036/stat : 17036 (java) S 17026 17026 14626 0 -1 1077944384 48 0 0 0 4 5 0 0 20 0 20 0 4793273 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702021757456 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17037] ppid=17026 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17037/stat : 17037 (java) S 17026 17026 14626 0 -1 1077944384 65 0 0 0 5 5 0 0 20 0 20 0 4793273 13587718144 116218 33554432000 4194304 4196468 140729785064352 140702020704912 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17038] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17038/stat : 17038 (java) S 17026 17026 14626 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 4793275 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701093345776 140702428564098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17039] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17039/stat : 17039 (java) S 17026 17026 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4793275 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701092292064 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17040] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17040/stat : 17040 (java) S 17026 17026 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4793276 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701091239424 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17041] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17041/stat : 17041 (java) S 17026 17026 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4793279 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701090187984 140702428571547 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17042] ppid=17026 vsize=13269256 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17042/stat : 17042 (java) S 17026 17026 14626 0 -1 1077944384 2458 0 0 0 115 0 0 0 20 0 20 0 4793279 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701089134576 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17043] ppid=17026 vsize=13269256 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17043/stat : 17043 (java) S 17026 17026 14626 0 -1 1077944384 1931 0 0 0 100 1 0 0 20 0 20 0 4793279 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701088082032 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17044] ppid=17026 vsize=13269256 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17044/stat : 17044 (java) S 17026 17026 14626 0 -1 1077944384 2721 0 0 0 131 1 0 0 20 0 20 0 4793279 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701087029488 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17045] ppid=17026 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17045/stat : 17045 (java) S 17026 17026 14626 0 -1 1077944384 1335 0 0 0 46 0 0 0 20 0 20 0 4793279 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701085976944 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17046] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17046/stat : 17046 (java) S 17026 17026 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4793279 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701084924640 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17047] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17047/stat : 17047 (java) S 17026 17026 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4793279 13587718144 116218 33554432000 4194304 4196468 140729785064352 140701083872176 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 13278768
[startup+6.30117 s]
/proc/loadavg: 11.61 13.81 13.76 3/284 17047
/proc/meminfo: memFree=27860216/32770624 swapFree=5972/272184
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
[pid=17027] ppid=17026 vsize=13269256 CPUtime=11.78 cores=1,3,5,7,9,11,13,15
/proc/17027/stat : 17027 (java) S 17026 17026 14626 0 -1 1077944320 23638 0 0 0 1076 102 0 0 20 0 20 0 4793272 13587718144 214162 33554432000 4194304 4196468 140729785064352 140729785046896 140702428552951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
/proc/17027/statm: 3317314 214162 3243 1 0 3304547 0
[pid=17027/tid=17028] ppid=17026 vsize=13269256 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17028/stat : 17028 (java) R 17026 17026 14626 0 -1 4202560 9004 0 0 0 594 10 0 0 20 0 20 0 4793272 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702432790600 140702068689293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17030] ppid=17026 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17030/stat : 17030 (java) S 17026 17026 14626 0 -1 1077944384 134 0 0 0 8 10 0 0 20 0 20 0 4793273 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702391659280 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17031] ppid=17026 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17031/stat : 17031 (java) S 17026 17026 14626 0 -1 1077944384 223 0 0 0 7 9 0 0 20 0 20 0 4793273 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702027021200 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17032] ppid=17026 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17032/stat : 17032 (java) S 17026 17026 14626 0 -1 1077944384 112 0 0 0 8 11 0 0 20 0 20 0 4793273 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702025968656 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17033] ppid=17026 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17033/stat : 17033 (java) S 17026 17026 14626 0 -1 1077944384 103 0 0 0 7 11 0 0 20 0 20 0 4793273 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702024916112 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17034] ppid=17026 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17034/stat : 17034 (java) S 17026 17026 14626 0 -1 1077944384 242 0 0 0 8 11 0 0 20 0 20 0 4793273 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702023862544 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17035] ppid=17026 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17035/stat : 17035 (java) S 17026 17026 14626 0 -1 1077944384 108 0 0 0 9 10 0 0 20 0 20 0 4793273 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702022810000 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17036] ppid=17026 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17036/stat : 17036 (java) S 17026 17026 14626 0 -1 1077944384 429 0 0 0 8 10 0 0 20 0 20 0 4793273 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702021757456 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17037] ppid=17026 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17037/stat : 17037 (java) S 17026 17026 14626 0 -1 1077944384 132 0 0 0 9 10 0 0 20 0 20 0 4793273 13587718144 214162 33554432000 4194304 4196468 140729785064352 140702020704912 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17038] ppid=17026 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17038/stat : 17038 (java) S 17026 17026 14626 0 -1 1077944384 770 0 0 0 1 0 0 0 20 0 20 0 4793275 13587718144 214162 33554432000 4194304 4196468 140729785064352 140701093345776 140702428564098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17039] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17039/stat : 17039 (java) S 17026 17026 14626 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4793275 13587718144 214162 33554432000 4194304 4196468 140729785064352 140701092292064 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17040] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17040/stat : 17040 (java) S 17026 17026 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4793276 13587718144 214162 33554432000 4194304 4196468 140729785064352 140701091239424 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17041] ppid=17026 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17041/stat : 17041 (java) S 17026 17026 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4793279 13587718144 214162 33554432000 4194304 4196468 140729785064352 140701090187984 140702428571547 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
################
# More data... #
################
[pid=17027/tid=17062] ppid=17026 vsize=13801768 CPUtime=265.8 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17062/stat : 17062 (java) R 17026 17026 14626 0 -1 4202560 1520 0 0 0 26579 1 0 0 20 0 28 0 4794702 14133010432 718177 33554432000 4194304 4196468 140729785064352 140701068488472 140702071625319 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17063] ppid=17026 vsize=13801768 CPUtime=265.93 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17063/stat : 17063 (java) R 17026 17026 14626 0 -1 4202560 1949 0 0 0 26592 1 0 0 20 0 28 0 4794702 14133010432 718177 33554432000 4194304 4196468 140729785064352 140701070593592 140702071624722 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
Current children cumulated CPU time (s) 2181.97
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+309.702 s]
/proc/loadavg: 14.76 12.76 13.15 17/300 17171
/proc/meminfo: memFree=27991064/32770624 swapFree=5972/272576
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
[pid=17027] ppid=17026 vsize=13801768 CPUtime=2400.3 cores=1,3,5,7,9,11,13,15
/proc/17027/stat : 17027 (java) S 17026 17026 14626 0 -1 1077944320 150040 0 0 0 239660 370 0 0 20 0 28 0 4793272 14133010432 898560 33554432000 4194304 4196468 140729785064352 140729785046896 140702428552951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
/proc/17027/statm: 3450442 898560 3297 1 0 3437675 0
[pid=17027/tid=17028] ppid=17026 vsize=13801768 CPUtime=9.06 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17028/stat : 17028 (java) S 17026 17026 14626 0 -1 1077944384 10598 0 0 0 890 16 0 0 20 0 28 0 4793272 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702432793728 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17030] ppid=17026 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17030/stat : 17030 (java) S 17026 17026 14626 0 -1 1077944384 1929 0 0 0 69 35 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702391659280 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17031] ppid=17026 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17031/stat : 17031 (java) S 17026 17026 14626 0 -1 1077944384 3495 0 0 0 65 27 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702027021200 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17032] ppid=17026 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17032/stat : 17032 (java) S 17026 17026 14626 0 -1 1077944384 1574 0 0 0 65 42 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702025968656 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17033] ppid=17026 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17033/stat : 17033 (java) S 17026 17026 14626 0 -1 1077944384 1353 0 0 0 72 30 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702024916112 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17034] ppid=17026 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17034/stat : 17034 (java) S 17026 17026 14626 0 -1 1077944384 2277 0 0 0 62 44 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702023862544 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17035] ppid=17026 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17035/stat : 17035 (java) S 17026 17026 14626 0 -1 1077944384 2206 0 0 0 66 39 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702022810000 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17036] ppid=17026 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17036/stat : 17036 (java) S 17026 17026 14626 0 -1 1077944384 1102 0 0 0 62 37 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702021757456 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17037] ppid=17026 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17037/stat : 17037 (java) S 17026 17026 14626 0 -1 1077944384 1560 0 0 0 66 35 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702020704912 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17038] ppid=17026 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17038/stat : 17038 (java) S 17026 17026 14626 0 -1 1077944384 13714 0 0 0 17 11 0 0 20 0 28 0 4793275 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701093345776 140702428564098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17039] ppid=17026 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17039/stat : 17039 (java) S 17026 17026 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4793275 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701092292064 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17040] ppid=17026 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17040/stat : 17040 (java) S 17026 17026 14626 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4793276 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701091239424 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17041] ppid=17026 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17041/stat : 17041 (java) S 17026 17026 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701090187984 140702428571547 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17042] ppid=17026 vsize=13801768 CPUtime=3.53 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17042/stat : 17042 (java) S 17026 17026 14626 0 -1 1077944384 17776 0 0 0 351 2 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701089134576 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17043] ppid=17026 vsize=13801768 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17043/stat : 17043 (java) S 17026 17026 14626 0 -1 1077944384 18156 0 0 0 356 2 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701088082032 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17044] ppid=17026 vsize=13801768 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17044/stat : 17044 (java) S 17026 17026 14626 0 -1 1077944384 22807 0 0 0 355 4 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701087029488 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17045] ppid=17026 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17045/stat : 17045 (java) S 17026 17026 14626 0 -1 1077944384 10114 0 0 0 96 2 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701085976944 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17046] ppid=17026 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17046/stat : 17046 (java) S 17026 17026 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701084924640 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17047] ppid=17026 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17047/stat : 17047 (java) S 17026 17026 14626 0 -1 1077944384 1064 0 0 0 9 8 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701083872176 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17056] ppid=17026 vsize=13801768 CPUtime=293.53 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17056/stat : 17056 (java) R 17026 17026 14626 0 -1 4202560 2459 0 0 0 29350 3 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701075856312 140702071624378 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17057] ppid=17026 vsize=13801768 CPUtime=292.26 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17057/stat : 17057 (java) R 17026 17026 14626 0 -1 4202560 1350 0 0 0 29223 3 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701071646872 140702071625314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17058] ppid=17026 vsize=13801768 CPUtime=290.59 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17058/stat : 17058 (java) R 17026 17026 14626 0 -1 4202560 12231 0 0 0 29055 4 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701074804216 140702071624221 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17059] ppid=17026 vsize=13801768 CPUtime=293.31 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17059/stat : 17059 (java) R 17026 17026 14626 0 -1 4202560 9710 0 0 0 29325 6 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701069540760 140702071625383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17060] ppid=17026 vsize=13801768 CPUtime=292.48 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17060/stat : 17060 (java) R 17026 17026 14626 0 -1 4202560 3070 0 0 0 29246 2 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701073751576 140702071625368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17061] ppid=17026 vsize=13801768 CPUtime=292.47 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17061/stat : 17061 (java) R 17026 17026 14626 0 -1 4202560 2371 0 0 0 29244 3 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701072698784 140702068613879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17062] ppid=17026 vsize=13801768 CPUtime=293.17 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17062/stat : 17062 (java) R 17026 17026 14626 0 -1 4202560 1575 0 0 0 29315 2 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701068488680 140702071623475 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17063] ppid=17026 vsize=13801768 CPUtime=293.25 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17063/stat : 17063 (java) R 17026 17026 14626 0 -1 4202560 2515 0 0 0 29323 2 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701070593592 140702071624216 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
Current children cumulated CPU time (s) 2400.3
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 17027 sig 9
??? kill 17026 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+309.702 s]
/proc/loadavg: 14.76 12.76 13.15 17/300 17171
/proc/meminfo: memFree=27991064/32770624 swapFree=5972/272576
[pid=17026] ppid=17023 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17026/stat : 17026 (xcsp3-exec) S 17023 17026 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4793272 9740288 346 33554432000 4194304 5098028 140731968145696 140731968143800 140397043380860 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39636992 140731968148622 140731968148832 140731968148832 140731968151531 0
/proc/17026/statm: 2378 346 289 221 0 87 0
[pid=17027] ppid=17026 vsize=13801768 CPUtime=2400.3 cores=1,3,5,7,9,11,13,15
/proc/17027/stat : 17027 (java) S 17026 17026 14626 0 -1 1077944320 150040 0 0 0 239660 370 0 0 20 0 28 0 4793272 14133010432 898560 33554432000 4194304 4196468 140729785064352 140729785046896 140702428552951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
/proc/17027/statm: 3450442 898560 3297 1 0 3437675 0
[pid=17027/tid=17028] ppid=17026 vsize=13801768 CPUtime=9.06 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17028/stat : 17028 (java) S 17026 17026 14626 0 -1 1077944384 10598 0 0 0 890 16 0 0 20 0 28 0 4793272 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702432793728 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17030] ppid=17026 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17030/stat : 17030 (java) S 17026 17026 14626 0 -1 1077944384 1929 0 0 0 69 35 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702391659280 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17031] ppid=17026 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17031/stat : 17031 (java) S 17026 17026 14626 0 -1 1077944384 3495 0 0 0 65 27 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702027021200 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17032] ppid=17026 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17032/stat : 17032 (java) S 17026 17026 14626 0 -1 1077944384 1574 0 0 0 65 42 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702025968656 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17033] ppid=17026 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17033/stat : 17033 (java) S 17026 17026 14626 0 -1 1077944384 1353 0 0 0 72 30 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702024916112 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17034] ppid=17026 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17034/stat : 17034 (java) S 17026 17026 14626 0 -1 1077944384 2277 0 0 0 62 44 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702023862544 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17035] ppid=17026 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17035/stat : 17035 (java) S 17026 17026 14626 0 -1 1077944384 2206 0 0 0 66 39 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702022810000 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17036] ppid=17026 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17036/stat : 17036 (java) S 17026 17026 14626 0 -1 1077944384 1102 0 0 0 62 37 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702021757456 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17037] ppid=17026 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17037/stat : 17037 (java) S 17026 17026 14626 0 -1 1077944384 1560 0 0 0 66 35 0 0 20 0 28 0 4793273 14133010432 898560 33554432000 4194304 4196468 140729785064352 140702020704912 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17038] ppid=17026 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17038/stat : 17038 (java) S 17026 17026 14626 0 -1 1077944384 13714 0 0 0 17 11 0 0 20 0 28 0 4793275 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701093345776 140702428564098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17039] ppid=17026 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17039/stat : 17039 (java) S 17026 17026 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4793275 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701092292064 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17040] ppid=17026 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17040/stat : 17040 (java) S 17026 17026 14626 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4793276 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701091239424 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17041] ppid=17026 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17041/stat : 17041 (java) S 17026 17026 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701090187984 140702428571547 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17042] ppid=17026 vsize=13801768 CPUtime=3.53 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17042/stat : 17042 (java) S 17026 17026 14626 0 -1 1077944384 17776 0 0 0 351 2 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701089134576 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17043] ppid=17026 vsize=13801768 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17043/stat : 17043 (java) S 17026 17026 14626 0 -1 1077944384 18156 0 0 0 356 2 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701088082032 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17044] ppid=17026 vsize=13801768 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17044/stat : 17044 (java) S 17026 17026 14626 0 -1 1077944384 22807 0 0 0 355 4 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701087029488 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17045] ppid=17026 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17045/stat : 17045 (java) S 17026 17026 14626 0 -1 1077944384 10114 0 0 0 96 2 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701085976944 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17046] ppid=17026 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17046/stat : 17046 (java) S 17026 17026 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701084924640 140702428563157 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17047] ppid=17026 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17047/stat : 17047 (java) S 17026 17026 14626 0 -1 1077944384 1064 0 0 0 9 8 0 0 20 0 28 0 4793279 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701083872176 140702428564098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17056] ppid=17026 vsize=13801768 CPUtime=293.53 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17056/stat : 17056 (java) R 17026 17026 14626 0 -1 4202560 2459 0 0 0 29350 3 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701075856312 140702071624378 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17057] ppid=17026 vsize=13801768 CPUtime=292.26 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17057/stat : 17057 (java) R 17026 17026 14626 0 -1 4202560 1350 0 0 0 29223 3 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701071646872 140702071625314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17058] ppid=17026 vsize=13801768 CPUtime=290.59 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17058/stat : 17058 (java) R 17026 17026 14626 0 -1 4202560 12231 0 0 0 29055 4 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701074804216 140702071624221 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17059] ppid=17026 vsize=13801768 CPUtime=293.31 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17059/stat : 17059 (java) R 17026 17026 14626 0 -1 4202560 9710 0 0 0 29325 6 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701069540760 140702071625383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17060] ppid=17026 vsize=13801768 CPUtime=292.48 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17060/stat : 17060 (java) R 17026 17026 14626 0 -1 4202560 3070 0 0 0 29246 2 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701073751576 140702071625368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17061] ppid=17026 vsize=13801768 CPUtime=292.47 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17061/stat : 17061 (java) R 17026 17026 14626 0 -1 4202560 2371 0 0 0 29244 3 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701072698784 140702068613879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17062] ppid=17026 vsize=13801768 CPUtime=293.17 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17062/stat : 17062 (java) R 17026 17026 14626 0 -1 4202560 1575 0 0 0 29315 2 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701068488680 140702071623475 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
[pid=17027/tid=17063] ppid=17026 vsize=13801768 CPUtime=293.25 cores=1,3,5,7,9,11,13,15
/proc/17027/task/17063/stat : 17063 (java) R 17026 17026 14626 0 -1 4202560 2515 0 0 0 29323 2 0 0 20 0 28 0 4794702 14133010432 898560 33554432000 4194304 4196468 140729785064352 140701070593592 140702071624216 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19329024 140729785070780 140729785070956 140729785070956 140729785073615 0
Current children cumulated CPU time (s) 2400.3
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 17026 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1164
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1164
# CPU time returned by wait4() is 0.002328
# while last known CPU time is 2400.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 309.712
CPU time (s): 2400.3
CPU user time (s): 2396.6
CPU system time (s): 3.7
CPU usage (%): 775.01
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001164
system time used= 0.001164
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.59434 second user time and 4.48081 second system time
The end