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-4254111-1501613089/watcher-4254111-1501613089 -o /tmp/evaluation-result-4254111-1501613089/solver-4254111-1501613089 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18991 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1960818436 HOME/instance-4254111-1501613089.xml
pid=20219
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.73 1.70 1.52 2/200 20222
/proc/meminfo: memFree=31566768/32770624 swapFree=0/206504
[pid=20222] ppid=20219 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (runsolver) D 20219 20222 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60962427 24240128 107 18446744073709551615 4194304 4338465 140721626018784 140721626016424 140151710593751 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 34095104 140721626021979 140721626022469 140721626022469 140721626025930 0
/proc/20222/statm: 5918 107 54 36 0 2156 0
[startup+0.100141 s]
/proc/loadavg: 1.73 1.70 1.52 2/200 20222
/proc/meminfo: memFree=31566768/32770624 swapFree=0/206504
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20026 s]
/proc/loadavg: 1.73 1.70 1.52 2/200 20222
/proc/meminfo: memFree=31566768/32770624 swapFree=0/206504
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300689 s]
/proc/loadavg: 1.73 1.70 1.52 2/200 20222
/proc/meminfo: memFree=31566768/32770624 swapFree=0/206504
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70484 s]
/proc/loadavg: 1.73 1.70 1.52 2/200 20222
/proc/meminfo: memFree=31566768/32770624 swapFree=0/206504
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 1.73 1.70 1.52 3/216 20238
/proc/meminfo: memFree=31485156/32770624 swapFree=0/206520
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
[pid=20224] ppid=20222 vsize=13980732 CPUtime=3.06 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20222 18930 0 -1 1077944320 18067 0 0 0 301 5 0 0 20 0 15 0 60962434 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140731993487024 140403967287031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
/proc/20224/statm: 3495183 24729 3172 1 0 3483484 0
[pid=20224/tid=20225] ppid=20222 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20222 18930 0 -1 4202560 9977 0 0 0 133 3 0 0 20 0 15 0 60962434 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403971522192 140403576491504 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20226] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20226/stat : 20226 (java) S 20222 20222 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403901721744 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20227] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20222 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403900668944 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20228] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20222 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403899616144 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20229] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20222 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403898563344 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20230] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20222 18930 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403445037424 140403967298178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20231] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20222 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403443983392 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20232] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20222 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60962437 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403442930544 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20233] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403441878864 140403967305627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20234] ppid=20222 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20222 18930 0 -1 1077944384 2123 0 0 0 59 0 0 0 20 0 15 0 60962439 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403440827248 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20235] ppid=20222 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20222 18930 0 -1 1077944384 1985 0 0 0 64 0 0 0 20 0 15 0 60962439 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403439774448 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20236] ppid=20222 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20222 18930 0 -1 1077944384 2627 0 0 0 43 0 0 0 20 0 15 0 60962439 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403438721648 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20237] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403437669088 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20238] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20222 18930 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 60962444 14316269568 24729 18446744073709551615 4194304 4196468 140731993504480 140403436616368 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13990244
[startup+3.10084 s]
/proc/loadavg: 1.73 1.70 1.52 3/216 20238
/proc/meminfo: memFree=31458164/32770624 swapFree=0/206520
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
[pid=20224] ppid=20222 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20222 18930 0 -1 1077944320 25819 0 0 0 605 7 0 0 20 0 15 0 60962434 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140731993487024 140403967287031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
/proc/20224/statm: 3495183 30873 3178 1 0 3483484 0
[pid=20224/tid=20225] ppid=20222 vsize=13980732 CPUtime=2.97 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20222 18930 0 -1 4202560 10035 0 0 0 293 4 0 0 20 0 15 0 60962434 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403971524088 140403575801843 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20226] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20226/stat : 20226 (java) S 20222 20222 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403901721744 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20227] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20222 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403900668944 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20228] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20222 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403899616144 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20229] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20222 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403898563344 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20230] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20222 18930 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403445037424 140403967298178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20231] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20222 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403443983392 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20232] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20222 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60962437 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403442930544 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20233] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403441878864 140403967305627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20234] ppid=20222 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) R 20222 20222 18930 0 -1 4202560 7773 0 0 0 148 1 0 0 20 0 15 0 60962439 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403440813408 140403948808486 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20235] ppid=20222 vsize=13980732 CPUtime=1.17 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20222 18930 0 -1 1077944384 3877 0 0 0 116 1 0 0 20 0 15 0 60962439 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403439774448 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20236] ppid=20222 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20222 18930 0 -1 1077944384 2779 0 0 0 46 0 0 0 20 0 15 0 60962439 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403438721648 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20237] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403437669088 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20238] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20222 18930 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 60962444 14316269568 30873 18446744073709551615 4194304 4196468 140731993504480 140403436616368 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 13990244
[startup+6.30064 s]
/proc/loadavg: 1.59 1.67 1.51 5/214 20269
/proc/meminfo: memFree=31619788/32770624 swapFree=0/206504
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
[pid=20224] ppid=20222 vsize=13980732 CPUtime=9.54 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20222 18930 0 -1 1077944320 27616 0 0 0 947 7 0 0 20 0 15 0 60962434 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140731993487024 140403967287031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
/proc/20224/statm: 3495183 32481 3184 1 0 3483484 0
[pid=20224/tid=20225] ppid=20222 vsize=13980732 CPUtime=6.17 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20222 18930 0 -1 4202560 10645 0 0 0 613 4 0 0 20 0 15 0 60962434 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403971523872 140403575632099 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20226] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20226/stat : 20226 (java) S 20222 20222 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403901721744 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20227] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20222 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403900668944 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20228] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20222 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403899616144 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20229] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20222 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403898563344 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20230] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20222 18930 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403445037424 140403967298178 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20231] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20222 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403443983392 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20232] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20222 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60962437 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403442930544 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20233] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403441878864 140403967305627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20234] ppid=20222 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20222 18930 0 -1 1077944384 7918 0 0 0 163 1 0 0 20 0 15 0 60962439 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403440827248 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20235] ppid=20222 vsize=13980732 CPUtime=1.23 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20222 18930 0 -1 1077944384 4058 0 0 0 122 1 0 0 20 0 15 0 60962439 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403439774448 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20236] ppid=20222 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20222 18930 0 -1 1077944384 2785 0 0 0 46 0 0 0 20 0 15 0 60962439 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403438721648 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20237] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403437669088 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20238] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20222 18930 0 -1 1077944384 743 0 0 0 0 0 0 0 20 0 15 0 60962444 14316269568 32481 18446744073709551615 4194304 4196468 140731993504480 140403436616368 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
Current children cumulated CPU time (s) 9.54
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.70 1.69 1.52 6/216 20392
/proc/meminfo: memFree=31715136/32770624 swapFree=0/206532
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
[pid=20224] ppid=20222 vsize=13980732 CPUtime=16.07 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20222 18930 0 -1 1077944320 31564 0 0 0 1600 7 0 0 20 0 15 0 60962434 14316269568 34569 18446744073709551615 4194304 4196468 140731993504480 140731993487024 140403967287031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
/proc/20224/statm: 3495183 34569 3184 1 0 3483484 0
[pid=20224/tid=20225] ppid=20222 vsize=13980732 CPUtime=12.57 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20222 18930 0 -1 4202560 11194 0 0 0 1253 4 0 0 20 0 15 0 60962434 14316269568 34569 18446744073709551615 4194304 4196468 140731993504480 140403971525640 140403576395151 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20226] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20226/stat : 20226 (java) S 20222 20222 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 34569 18446744073709551615 4194304 4196468 140731993504480 140403901721744 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20227] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20222 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 34569 18446744073709551615 4194304 4196468 140731993504480 140403900668944 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
################
# More data... #
################
/proc/20224/stat : 20224 (java) S 20222 20222 18930 0 -1 1077944320 39728 0 0 0 10571 11 0 0 20 0 15 0 60962434 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140731993487024 140403967287031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
/proc/20224/statm: 3495183 53118 3218 1 0 3483484 0
[pid=20224/tid=20225] ppid=20222 vsize=13980732 CPUtime=102.16 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20222 18930 0 -1 4202560 12999 0 0 0 10211 5 0 0 20 0 15 0 60962434 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403971524032 140403575801415 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20226] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20226/stat : 20226 (java) S 20222 20222 18930 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403901721744 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20227] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20222 18930 0 -1 1077944384 561 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403900668944 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20228] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20222 18930 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403899616144 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20229] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20222 18930 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 60962435 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403898563344 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20230] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20222 18930 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403445037424 140403967298178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20231] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20222 18930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403443983392 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20232] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20222 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 60962437 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403442930544 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20233] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403441878864 140403967305627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20234] ppid=20222 vsize=13980732 CPUtime=1.69 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20222 18930 0 -1 1077944384 9387 0 0 0 168 1 0 0 20 0 15 0 60962439 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403440827248 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20235] ppid=20222 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20222 18930 0 -1 1077944384 7936 0 0 0 137 1 0 0 20 0 15 0 60962439 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403439774448 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20236] ppid=20222 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20222 18930 0 -1 1077944384 5546 0 0 0 48 0 0 0 20 0 15 0 60962439 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403438721648 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20237] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403437669088 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20238] ppid=20222 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20222 18930 0 -1 1077944384 874 0 0 0 0 1 0 0 20 0 15 0 60962444 14316269568 53118 18446744073709551615 4194304 4196468 140731993504480 140403436616368 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
Current children cumulated CPU time (s) 105.82
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.98 1.81 1.59 4/216 20396
/proc/meminfo: memFree=31496932/32770624 swapFree=0/206628
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
[pid=20224] ppid=20222 vsize=13980732 CPUtime=165.88 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20222 18930 0 -1 1077944320 42710 0 0 0 16575 13 0 0 20 0 15 0 60962434 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140731993487024 140403967287031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
/proc/20224/statm: 3495183 59230 3218 1 0 3483484 0
[pid=20224/tid=20225] ppid=20222 vsize=13980732 CPUtime=162.13 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20222 18930 0 -1 4202560 13770 0 0 0 16208 5 0 0 20 0 15 0 60962434 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403971525728 140403575566348 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20226] ppid=20222 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20224/task/20226/stat : 20226 (java) S 20222 20222 18930 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 60962435 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403901721744 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20227] ppid=20222 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20222 18930 0 -1 1077944384 703 0 0 0 1 0 0 0 20 0 15 0 60962435 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403900668944 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20228] ppid=20222 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20222 18930 0 -1 1077944384 860 0 0 0 1 0 0 0 20 0 15 0 60962435 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403899616144 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20229] ppid=20222 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20222 18930 0 -1 1077944384 599 0 0 0 1 0 0 0 20 0 15 0 60962435 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403898563344 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20230] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20222 18930 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403445037424 140403967298178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20231] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20222 18930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403443983392 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20232] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20222 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 60962437 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403442930544 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20233] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403441878864 140403967305627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20234] ppid=20222 vsize=13980732 CPUtime=1.69 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20222 18930 0 -1 1077944384 9395 0 0 0 168 1 0 0 20 0 15 0 60962439 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403440827248 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20235] ppid=20222 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20222 18930 0 -1 1077944384 8074 0 0 0 138 1 0 0 20 0 15 0 60962439 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403439774448 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20236] ppid=20222 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20222 18930 0 -1 1077944384 5715 0 0 0 49 0 0 0 20 0 15 0 60962439 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403438721648 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20237] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403437669088 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20238] ppid=20222 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20222 18930 0 -1 1077944384 898 0 0 0 1 2 0 0 20 0 15 0 60962444 14316269568 59230 18446744073709551615 4194304 4196468 140731993504480 140403436616368 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
Current children cumulated CPU time (s) 165.88
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.92 1.83 1.61 4/214 20398
/proc/meminfo: memFree=31498320/32770624 swapFree=0/206656
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
[pid=20224] ppid=20222 vsize=13980732 CPUtime=225.9 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20222 18930 0 -1 1077944320 43832 0 0 0 22577 13 0 0 20 0 15 0 60962434 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140731993487024 140403967287031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
/proc/20224/statm: 3495183 59233 3218 1 0 3483484 0
[pid=20224/tid=20225] ppid=20222 vsize=13980732 CPUtime=222.13 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20222 18930 0 -1 4202560 14191 0 0 0 22208 5 0 0 20 0 15 0 60962434 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403971525680 140403575487460 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20226] ppid=20222 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20224/task/20226/stat : 20226 (java) S 20222 20222 18930 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 15 0 60962435 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403901721744 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20227] ppid=20222 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20222 18930 0 -1 1077944384 965 0 0 0 2 0 0 0 20 0 15 0 60962435 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403900668944 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20228] ppid=20222 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20222 18930 0 -1 1077944384 1034 0 0 0 2 0 0 0 20 0 15 0 60962435 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403899616144 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20229] ppid=20222 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20222 18930 0 -1 1077944384 628 0 0 0 2 0 0 0 20 0 15 0 60962435 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403898563344 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20230] ppid=20222 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20222 18930 0 -1 1077944384 821 0 0 0 1 0 0 0 20 0 15 0 60962436 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403445037424 140403967298178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20231] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20222 18930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403443983392 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20232] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20222 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 60962437 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403442930544 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20233] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403441878864 140403967305627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20234] ppid=20222 vsize=13980732 CPUtime=1.69 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20222 18930 0 -1 1077944384 9397 0 0 0 168 1 0 0 20 0 15 0 60962439 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403440827248 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20235] ppid=20222 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20222 18930 0 -1 1077944384 8076 0 0 0 138 1 0 0 20 0 15 0 60962439 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403439774448 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20236] ppid=20222 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20222 18930 0 -1 1077944384 5889 0 0 0 49 0 0 0 20 0 15 0 60962439 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403438721648 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20237] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403437669088 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20238] ppid=20222 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20222 18930 0 -1 1077944384 900 0 0 0 1 2 0 0 20 0 15 0 60962444 14316269568 59233 18446744073709551615 4194304 4196468 140731993504480 140403436616368 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
Current children cumulated CPU time (s) 225.9
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.94 1.84 1.62 4/214 20399
/proc/meminfo: memFree=31508256/32770624 swapFree=0/206664
[pid=20222] ppid=20219 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20222/stat : 20222 (xcsp3-exec) S 20219 20222 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 60962427 9740288 345 18446744073709551615 4194304 5098028 140732517611872 140732517609976 139878150034044 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40632320 140732517613978 140732517614182 140732517614182 140732517617643 0
/proc/20222/statm: 2378 345 289 221 0 87 0
[pid=20224] ppid=20222 vsize=13980732 CPUtime=243.62 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20222 18930 0 -1 1077944320 43847 0 0 0 24348 14 0 0 20 0 15 0 60962434 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140731993487024 140403967287031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
/proc/20224/statm: 3495183 56791 3218 1 0 3483484 0
[pid=20224/tid=20225] ppid=20222 vsize=13980732 CPUtime=239.81 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20222 18930 0 -1 4202560 14202 0 0 0 23976 5 0 0 20 0 15 0 60962434 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403971525648 140403576491416 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20226] ppid=20222 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20224/task/20226/stat : 20226 (java) S 20222 20222 18930 0 -1 1077944384 561 0 0 0 3 0 0 0 20 0 15 0 60962435 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403901721744 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20227] ppid=20222 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20222 18930 0 -1 1077944384 965 0 0 0 3 0 0 0 20 0 15 0 60962435 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403900668944 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20228] ppid=20222 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20222 18930 0 -1 1077944384 1036 0 0 0 3 0 0 0 20 0 15 0 60962435 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403899616144 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20229] ppid=20222 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20222 18930 0 -1 1077944384 628 0 0 0 3 0 0 0 20 0 15 0 60962435 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403898563344 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20230] ppid=20222 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20222 18930 0 -1 1077944384 822 0 0 0 1 0 0 0 20 0 15 0 60962436 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403445037424 140403967298178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20231] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20222 18930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 60962436 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403443983392 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20232] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20222 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 60962437 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403442930544 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20233] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403441878864 140403967305627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20234] ppid=20222 vsize=13980732 CPUtime=1.69 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20222 18930 0 -1 1077944384 9397 0 0 0 168 1 0 0 20 0 15 0 60962439 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403440827248 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20235] ppid=20222 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20222 18930 0 -1 1077944384 8076 0 0 0 138 1 0 0 20 0 15 0 60962439 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403439774448 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20236] ppid=20222 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20222 18930 0 -1 1077944384 5889 0 0 0 49 0 0 0 20 0 15 0 60962439 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403438721648 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20237] ppid=20222 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20222 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60962439 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403437669088 140403967297237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
[pid=20224/tid=20238] ppid=20222 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20222 18930 0 -1 1077944384 900 0 0 0 2 3 0 0 20 0 15 0 60962444 14316269568 56791 18446744073709551615 4194304 4196468 140731993504480 140403436616368 140403967298178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140731993510355 140731993510530 140731993510530 140731993513935 0
Current children cumulated CPU time (s) 243.62
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Solver just ended.
Sleeping 2 seconds
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20224 sig 9
??? kill 20222 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.01
CPU time (s): 243.643
CPU user time (s): 243.498
CPU system time (s): 0.145165
CPU usage (%): 101.514
Max. virtual memory (cumulated for all children) (KiB): 13992244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.498
system time used= 0.145165
maximum resident set size= 236932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7711
involuntary context switches= 156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03454 second user time and 1.35207 second system time
The end