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-4253941-1501617022/watcher-4253941-1501617022 -o /tmp/evaluation-result-4253941-1501617022/solver-4253941-1501617022 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1144690865 HOME/instance-4253941-1501617022.xml
pid=8357
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.81 1.89 1.93 3/198 8360
/proc/meminfo: memFree=31904332/32770624 swapFree=0/164824
[pid=8360] ppid=8357 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (runsolver) D 8357 8360 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3612758 24240128 106 18446744073709551615 4194304 4338465 140724260472304 140724260469944 140519511253719 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 18583552 140724260479070 140724260479559 140724260479559 140724260483018 0
/proc/8360/statm: 5918 106 53 36 0 2156 0
[startup+0.100111 s]
/proc/loadavg: 1.81 1.89 1.93 3/198 8360
/proc/meminfo: memFree=31904332/32770624 swapFree=0/164824
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.209274 s]
/proc/loadavg: 1.81 1.89 1.93 3/198 8360
/proc/meminfo: memFree=31904332/32770624 swapFree=0/164824
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300251 s]
/proc/loadavg: 1.81 1.89 1.93 3/198 8360
/proc/meminfo: memFree=31904332/32770624 swapFree=0/164824
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700274 s]
/proc/loadavg: 1.81 1.89 1.93 3/198 8360
/proc/meminfo: memFree=31904332/32770624 swapFree=0/164824
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.81 1.89 1.93 3/214 8376
/proc/meminfo: memFree=31711816/32770624 swapFree=0/164648
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
[pid=8362] ppid=8360 vsize=13978684 CPUtime=2.37 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8360 3187 0 -1 1077944320 13925 0 0 0 229 8 0 0 20 0 15 0 3612767 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 140730040685808 139850570723063 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
/proc/8362/statm: 3494671 51303 3180 1 0 3482972 0
[pid=8362/tid=8363] ppid=8360 vsize=13978684 CPUtime=1.33 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8360 3187 0 -1 4202560 7955 0 0 0 128 5 0 0 20 0 15 0 3612767 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850574961992 139850553131221 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8364] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8364/stat : 8364 (java) S 8360 8360 3187 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 3612768 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850512669584 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8365] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8360 3187 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 3612768 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850511616784 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8366] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8360 3187 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 3612768 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850169195664 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8367] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8360 3187 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 3612768 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850168142864 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8368] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8360 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 3612769 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850116425840 139850570734210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8369] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8360 3187 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 3612770 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850115371808 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8370] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8360 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3612770 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850114319472 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8371] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850113267792 139850570741659 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8372] ppid=8360 vsize=13978684 CPUtime=0.37 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8360 3187 0 -1 1077944384 1760 0 0 0 37 0 0 0 20 0 15 0 3612772 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850112215664 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8373] ppid=8360 vsize=13978684 CPUtime=0.32 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8360 3187 0 -1 1077944384 1528 0 0 0 32 0 0 0 20 0 15 0 3612772 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850111162864 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8374] ppid=8360 vsize=13978684 CPUtime=0.28 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8360 3187 0 -1 1077944384 1250 0 0 0 28 0 0 0 20 0 15 0 3612772 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850110110576 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8375] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850109058016 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8376] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8360 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3612777 14314172416 51303 18446744073709551615 4194304 4196468 140730040703264 139850040732080 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 13988196
[startup+3.10066 s]
/proc/loadavg: 1.81 1.89 1.93 3/214 8376
/proc/meminfo: memFree=31710932/32770624 swapFree=0/164648
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
[pid=8362] ppid=8360 vsize=13978684 CPUtime=3.98 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8360 3187 0 -1 1077944320 14112 0 0 0 390 8 0 0 20 0 15 0 3612767 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 140730040685808 139850570723063 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
/proc/8362/statm: 3494671 51340 3180 1 0 3482972 0
[pid=8362/tid=8363] ppid=8360 vsize=13978684 CPUtime=2.93 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8360 3187 0 -1 4202560 8135 0 0 0 288 5 0 0 20 0 15 0 3612767 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850574962384 139850555797918 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8364] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8364/stat : 8364 (java) S 8360 8360 3187 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 3612768 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850512669584 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8365] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8360 3187 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 3612768 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850511616784 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8366] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8360 3187 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 3612768 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850169195664 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8367] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8360 3187 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 3612768 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850168142864 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8368] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8360 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 3612769 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850116425840 139850570734210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8369] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8360 3187 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 3612770 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850115371808 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8370] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8360 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3612770 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850114319472 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8371] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850113267792 139850570741659 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8372] ppid=8360 vsize=13978684 CPUtime=0.37 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8360 3187 0 -1 1077944384 1760 0 0 0 37 0 0 0 20 0 15 0 3612772 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850112215664 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8373] ppid=8360 vsize=13978684 CPUtime=0.32 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8360 3187 0 -1 1077944384 1530 0 0 0 32 0 0 0 20 0 15 0 3612772 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850111162864 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8374] ppid=8360 vsize=13978684 CPUtime=0.28 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8360 3187 0 -1 1077944384 1255 0 0 0 28 0 0 0 20 0 15 0 3612772 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850110110576 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8375] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850109058016 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8376] ppid=8360 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8360 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3612777 14314172416 51340 18446744073709551615 4194304 4196468 140730040703264 139850040732080 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13988196
[startup+6.30078 s]
/proc/loadavg: 1.82 1.89 1.94 3/214 8376
/proc/meminfo: memFree=31684076/32770624 swapFree=0/164648
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
[pid=8362] ppid=8360 vsize=13980732 CPUtime=7.5 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8360 3187 0 -1 1077944320 19068 0 0 0 740 10 0 0 20 0 15 0 3612767 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 140730040685808 139850570723063 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
/proc/8362/statm: 3495183 57878 3191 1 0 3483484 0
[pid=8362/tid=8363] ppid=8360 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8360 3187 0 -1 4202560 9722 0 0 0 606 5 0 0 20 0 15 0 3612767 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850574958160 139850196020527 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8364] ppid=8360 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8362/task/8364/stat : 8364 (java) S 8360 8360 3187 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 3612768 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850512669584 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8365] ppid=8360 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8360 3187 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 3612768 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850511616784 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8366] ppid=8360 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8360 3187 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 3612768 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850169195664 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8367] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8360 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 3612768 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850168142864 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8368] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8360 3187 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 3612769 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850116425840 139850570734210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8369] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8360 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850115371872 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8370] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8360 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850114319488 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8371] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850113267792 139850570741659 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8372] ppid=8360 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8360 3187 0 -1 1077944384 2494 0 0 0 48 0 0 0 20 0 15 0 3612772 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850112215664 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8373] ppid=8360 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8360 3187 0 -1 1077944384 2152 0 0 0 43 0 0 0 20 0 15 0 3612772 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850111162864 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8374] ppid=8360 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8360 3187 0 -1 1077944384 2548 0 0 0 34 0 0 0 20 0 15 0 3612772 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850110110576 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8375] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850109058016 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8376] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8360 3187 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 3612777 14316269568 57878 18446744073709551615 4194304 4196468 140730040703264 139850040732080 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.84 1.90 1.94 3/214 8376
/proc/meminfo: memFree=31622684/32770624 swapFree=0/164660
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
[pid=8362] ppid=8360 vsize=13980732 CPUtime=13.9 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8360 3187 0 -1 1077944320 20020 0 0 0 1379 11 0 0 20 0 15 0 3612767 14316269568 76834 18446744073709551615 4194304 4196468 140730040703264 140730040685808 139850570723063 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
/proc/8362/statm: 3495183 76834 3191 1 0 3483484 0
[pid=8362/tid=8363] ppid=8360 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8360 3187 0 -1 4202560 10581 0 0 0 1245 6 0 0 20 0 15 0 3612767 14316269568 76834 18446744073709551615 4194304 4196468 140730040703264 139850574958952 139850196020486 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8364] ppid=8360 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8362/task/8364/stat : 8364 (java) S 8360 8360 3187 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 3612768 14316269568 76834 18446744073709551615 4194304 4196468 140730040703264 139850512669584 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8365] ppid=8360 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8360 3187 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 3612768 14316269568 76834 18446744073709551615 4194304 4196468 140730040703264 139850511616784 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
################
# More data... #
################
[pid=8362/tid=8369] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8360 3187 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 1265768 18446744073709551615 4194304 4196468 140730040703264 139850115371872 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8370] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8360 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 1265768 18446744073709551615 4194304 4196468 140730040703264 139850114319488 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8371] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 1265768 18446744073709551615 4194304 4196468 140730040703264 139850113267792 139850570741659 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8372] ppid=8360 vsize=13980732 CPUtime=1.06 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8360 3187 0 -1 1077944384 3722 0 0 0 105 1 0 0 20 0 15 0 3612772 14316269568 1265768 18446744073709551615 4194304 4196468 140730040703264 139850112215664 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8373] ppid=8360 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8360 3187 0 -1 1077944384 4510 0 0 0 134 0 0 0 20 0 15 0 3612772 14316269568 1265768 18446744073709551615 4194304 4196468 140730040703264 139850111162864 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8374] ppid=8360 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8360 3187 0 -1 1077944384 3768 0 0 0 51 0 0 0 20 0 15 0 3612772 14316269568 1265768 18446744073709551615 4194304 4196468 140730040703264 139850110110576 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8375] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 1265768 18446744073709551615 4194304 4196468 140730040703264 139850109058016 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8376] ppid=8360 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8360 3187 0 -1 1077944384 217 0 0 0 2 3 0 0 20 0 15 0 3612777 14316269568 1265768 18446744073709551615 4194304 4196468 140730040703264 139850040732080 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
Current children cumulated CPU time (s) 117.4
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.00 1.95 1.95 3/214 8458
/proc/meminfo: memFree=25843332/32770624 swapFree=0/164844
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
[pid=8362] ppid=8360 vsize=13980732 CPUtime=178.85 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8360 3187 0 -1 1077944320 71442 0 0 0 17283 602 0 0 20 0 15 0 3612767 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 140730040685808 139850570723063 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
/proc/8362/statm: 3495183 1377263 3224 1 0 3483484 0
[pid=8362/tid=8363] ppid=8360 vsize=13980732 CPUtime=156.99 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8360 3187 0 -1 4202560 17534 0 0 0 15688 11 0 0 20 0 15 0 3612767 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850574961768 139850197543047 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8364] ppid=8360 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/8362/task/8364/stat : 8364 (java) S 8360 8360 3187 0 -1 1077944384 7068 0 0 0 301 143 0 0 20 0 15 0 3612768 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850512669584 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8365] ppid=8360 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8360 3187 0 -1 1077944384 3806 0 0 0 299 145 0 0 20 0 15 0 3612768 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850511616784 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8366] ppid=8360 vsize=13980732 CPUtime=4.46 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8360 3187 0 -1 1077944384 7093 0 0 0 299 147 0 0 20 0 15 0 3612768 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850169195664 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8367] ppid=8360 vsize=13980732 CPUtime=4.41 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8360 3187 0 -1 1077944384 8148 0 0 0 298 143 0 0 20 0 15 0 3612768 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850168142864 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8368] ppid=8360 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8360 3187 0 -1 1077944384 9815 0 0 0 66 2 0 0 20 0 15 0 3612769 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850116425840 139850570734210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8369] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8360 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850115371872 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8370] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8360 3187 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850114319488 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8371] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850113267792 139850570741659 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8372] ppid=8360 vsize=13980732 CPUtime=1.17 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8360 3187 0 -1 1077944384 4909 0 0 0 116 1 0 0 20 0 15 0 3612772 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850112215664 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8373] ppid=8360 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8360 3187 0 -1 1077944384 6471 0 0 0 153 0 0 0 20 0 15 0 3612772 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850111162864 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8374] ppid=8360 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8360 3187 0 -1 1077944384 4916 0 0 0 54 1 0 0 20 0 15 0 3612772 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850110110576 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8375] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850109058016 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8376] ppid=8360 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8360 3187 0 -1 1077944384 288 0 0 0 3 6 0 0 20 0 15 0 3612777 14316269568 1377263 18446744073709551615 4194304 4196468 140730040703264 139850040732080 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
Current children cumulated CPU time (s) 178.85
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.20 2.01 1.97 3/215 8467
/proc/meminfo: memFree=25821260/32770624 swapFree=0/164876
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
[pid=8362] ppid=8360 vsize=13980732 CPUtime=238.9 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8360 3187 0 -1 1077944320 77217 0 0 0 23286 604 0 0 20 0 15 0 3612767 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 140730040685808 139850570723063 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
/proc/8362/statm: 3495183 1377265 3224 1 0 3483484 0
[pid=8362/tid=8363] ppid=8360 vsize=13980732 CPUtime=216.99 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8360 3187 0 -1 4202560 22740 0 0 0 21688 11 0 0 20 0 15 0 3612767 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850574958816 139850197543934 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8364] ppid=8360 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/8362/task/8364/stat : 8364 (java) S 8360 8360 3187 0 -1 1077944384 7068 0 0 0 301 143 0 0 20 0 15 0 3612768 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850512669584 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8365] ppid=8360 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8360 3187 0 -1 1077944384 3806 0 0 0 299 145 0 0 20 0 15 0 3612768 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850511616784 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8366] ppid=8360 vsize=13980732 CPUtime=4.46 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8360 3187 0 -1 1077944384 7093 0 0 0 299 147 0 0 20 0 15 0 3612768 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850169195664 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8367] ppid=8360 vsize=13980732 CPUtime=4.41 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8360 3187 0 -1 1077944384 8148 0 0 0 298 143 0 0 20 0 15 0 3612768 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850168142864 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8368] ppid=8360 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8360 3187 0 -1 1077944384 9865 0 0 0 66 2 0 0 20 0 15 0 3612769 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850116425840 139850570734210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8369] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8360 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850115371872 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8370] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8360 3187 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850114319488 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8371] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850113267792 139850570741659 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8372] ppid=8360 vsize=13980732 CPUtime=1.17 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8360 3187 0 -1 1077944384 4912 0 0 0 116 1 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850112215664 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8373] ppid=8360 vsize=13980732 CPUtime=1.54 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8360 3187 0 -1 1077944384 6612 0 0 0 153 1 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850111162864 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8374] ppid=8360 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8360 3187 0 -1 1077944384 5249 0 0 0 54 1 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850110110576 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8375] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850109058016 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8376] ppid=8360 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8360 3187 0 -1 1077944384 330 0 0 0 5 7 0 0 20 0 15 0 3612777 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850040732080 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
Current children cumulated CPU time (s) 238.9
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.21 2.02 1.98 3/215 8468
/proc/meminfo: memFree=25821804/32770624 swapFree=0/164888
[pid=8360] ppid=8357 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (xcsp3-exec) S 8357 8360 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3612758 9740288 344 18446744073709551615 4194304 5098028 140725012262080 140725012260184 140341085078140 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 9605120 140725012263324 140725012263528 140725012263528 140725012266987 0
/proc/8360/statm: 2378 344 289 221 0 87 0
[pid=8362] ppid=8360 vsize=13980732 CPUtime=256.61 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8360 3187 0 -1 1077944320 78675 0 0 0 25056 605 0 0 20 0 15 0 3612767 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 140730040685808 139850570723063 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
/proc/8362/statm: 3495183 1377265 3224 1 0 3483484 0
[pid=8362/tid=8363] ppid=8360 vsize=13980732 CPUtime=234.69 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8360 3187 0 -1 4202560 23784 0 0 0 23458 11 0 0 20 0 15 0 3612767 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850574958672 139850197542859 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8364] ppid=8360 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/8362/task/8364/stat : 8364 (java) S 8360 8360 3187 0 -1 1077944384 7068 0 0 0 301 143 0 0 20 0 15 0 3612768 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850512669584 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8365] ppid=8360 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8360 3187 0 -1 1077944384 3806 0 0 0 299 145 0 0 20 0 15 0 3612768 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850511616784 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8366] ppid=8360 vsize=13980732 CPUtime=4.46 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8360 3187 0 -1 1077944384 7093 0 0 0 299 147 0 0 20 0 15 0 3612768 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850169195664 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8367] ppid=8360 vsize=13980732 CPUtime=4.41 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8360 3187 0 -1 1077944384 8148 0 0 0 298 143 0 0 20 0 15 0 3612768 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850168142864 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8368] ppid=8360 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8360 3187 0 -1 1077944384 9923 0 0 0 66 2 0 0 20 0 15 0 3612769 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850116425840 139850570734210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8369] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8360 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850115371872 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8370] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8360 3187 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 3612770 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850114319488 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8371] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850113267792 139850570741659 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8372] ppid=8360 vsize=13980732 CPUtime=1.17 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8360 3187 0 -1 1077944384 5219 0 0 0 116 1 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850112215664 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8373] ppid=8360 vsize=13980732 CPUtime=1.54 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8360 3187 0 -1 1077944384 6615 0 0 0 153 1 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850111162864 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8374] ppid=8360 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8360 3187 0 -1 1077944384 5253 0 0 0 54 1 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850110110576 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8375] ppid=8360 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8360 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3612772 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850109058016 139850570733269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
[pid=8362/tid=8376] ppid=8360 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8360 3187 0 -1 1077944384 372 0 0 0 5 7 0 0 20 0 15 0 3612777 14316269568 1377265 18446744073709551615 4194304 4196468 140730040703264 139850040732080 139850570734210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9707520 140730040705493 140730040705668 140730040705668 140730040709071 0
Current children cumulated CPU time (s) 256.61
Current children cumulated vsize (KiB) 13990244
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 8362 sig 9
??? kill 8360 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8360 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1745
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=149
# CPU time returned by wait4() is 0.001894
# while last known CPU time is 256.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.011
CPU time (s): 256.61
CPU user time (s): 250.56
CPU system time (s): 6.05
CPU usage (%): 106.916
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001745
system time used= 0.000149
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 1.28251 second user time and 1.45421 second system time
The end