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-4254099-1501612983/watcher-4254099-1501612983 -o /tmp/evaluation-result-4254099-1501612983/solver-4254099-1501612983 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 276755942 HOME/instance-4254099-1501612983.xml
pid=6209
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.52 1.59 1.17 2/195 6212
/proc/meminfo: memFree=31098144/32770624 swapFree=0/179784
[pid=6212] ppid=6209 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (runsolver) D 6209 6212 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9915316 24240128 106 18446744073709551615 4194304 4338465 140722910931952 140722910929592 140574724866775 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 36925440 140722910933086 140722910933574 140722910933574 140722910937034 0
/proc/6212/statm: 5918 106 53 36 0 2156 0
[startup+0.100221 s]
/proc/loadavg: 1.52 1.59 1.17 2/195 6212
/proc/meminfo: memFree=31098144/32770624 swapFree=0/179784
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200184 s]
/proc/loadavg: 1.52 1.59 1.17 2/195 6212
/proc/meminfo: memFree=31098144/32770624 swapFree=0/179784
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300299 s]
/proc/loadavg: 1.52 1.59 1.17 2/195 6212
/proc/meminfo: memFree=31098144/32770624 swapFree=0/179784
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700722 s]
/proc/loadavg: 1.52 1.59 1.17 2/195 6212
/proc/meminfo: memFree=31098144/32770624 swapFree=0/179784
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 1.52 1.59 1.17 5/211 6229
/proc/meminfo: memFree=30975404/32770624 swapFree=0/179788
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
[pid=6214] ppid=6212 vsize=13980732 CPUtime=3.32 cores=1,3,5,7
/proc/6214/stat : 6214 (java) S 6212 6212 5123 0 -1 1077944320 18009 0 0 0 325 7 0 0 20 0 15 0 9915325 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140722506439296 140438725484279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
/proc/6214/statm: 3495183 34958 3179 1 0 3483484 0
[pid=6214/tid=6215] ppid=6212 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/6214/task/6215/stat : 6215 (java) R 6212 6212 5123 0 -1 4202560 9036 0 0 0 130 4 0 0 20 0 15 0 9915326 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438729720400 140438334107104 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6216] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6216/stat : 6216 (java) S 6212 6212 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9915326 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438659918224 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6217] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6217/stat : 6217 (java) S 6212 6212 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9915326 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438658865424 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6218] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6218/stat : 6218 (java) S 6212 6212 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9915326 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438657813136 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6219] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6219/stat : 6219 (java) S 6212 6212 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9915326 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438656760336 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6220] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6220/stat : 6220 (java) S 6212 6212 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438204000880 140438725495426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6221] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6221/stat : 6221 (java) S 6212 6212 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438202946848 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6222] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6222/stat : 6222 (java) S 6212 6212 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438201894512 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6223] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6223/stat : 6223 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915331 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438200842832 140438725502875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6224] ppid=6212 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/6214/task/6224/stat : 6224 (java) S 6212 6212 5123 0 -1 1077944384 3271 0 0 0 78 0 0 0 20 0 15 0 9915331 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438199789680 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6225] ppid=6212 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/6214/task/6225/stat : 6225 (java) S 6212 6212 5123 0 -1 1077944384 2755 0 0 0 80 0 0 0 20 0 15 0 9915331 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438198736880 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6226] ppid=6212 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/6214/task/6226/stat : 6226 (java) S 6212 6212 5123 0 -1 1077944384 1632 0 0 0 35 0 0 0 20 0 15 0 9915331 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438197684592 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6227] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6227/stat : 6227 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915332 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438196632032 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6228] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6228/stat : 6228 (java) S 6212 6212 5123 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9915335 14316269568 34958 18446744073709551615 4194304 4196468 140722506456752 140438195579824 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 13990244
[startup+3.10075 s]
/proc/loadavg: 1.56 1.60 1.18 4/211 6229
/proc/meminfo: memFree=30919240/32770624 swapFree=0/179788
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
[pid=6214] ppid=6212 vsize=13980732 CPUtime=5.22 cores=1,3,5,7
/proc/6214/stat : 6214 (java) S 6212 6212 5123 0 -1 1077944320 20257 0 0 0 511 11 0 0 20 0 15 0 9915325 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140722506439296 140438725484279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
/proc/6214/statm: 3495183 53104 3205 1 0 3483484 0
[pid=6214/tid=6215] ppid=6212 vsize=13980732 CPUtime=2.91 cores=1,3,5,7
/proc/6214/task/6215/stat : 6215 (java) R 6212 6212 5123 0 -1 4202560 9113 0 0 0 286 5 0 0 20 0 15 0 9915326 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438729723360 140438338488530 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6216] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6216/stat : 6216 (java) S 6212 6212 5123 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438659918224 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6217] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6217/stat : 6217 (java) S 6212 6212 5123 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438658865424 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6218] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6218/stat : 6218 (java) S 6212 6212 5123 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438657813136 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6219] ppid=6212 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6214/task/6219/stat : 6219 (java) S 6212 6212 5123 0 -1 1077944384 326 0 0 0 2 1 0 0 20 0 15 0 9915326 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438656760336 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6220] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6220/stat : 6220 (java) S 6212 6212 5123 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438204000880 140438725495426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6221] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6221/stat : 6221 (java) S 6212 6212 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438202946848 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6222] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6222/stat : 6222 (java) S 6212 6212 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438201894512 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6223] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6223/stat : 6223 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915331 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438200842832 140438725502875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6224] ppid=6212 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/6214/task/6224/stat : 6224 (java) S 6212 6212 5123 0 -1 1077944384 3290 0 0 0 85 0 0 0 20 0 15 0 9915331 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438199789680 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6225] ppid=6212 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/6214/task/6225/stat : 6225 (java) R 6212 6212 5123 0 -1 4202560 2789 0 0 0 89 0 0 0 20 0 15 0 9915331 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438198736880 140438706120212 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6226] ppid=6212 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/6214/task/6226/stat : 6226 (java) S 6212 6212 5123 0 -1 1077944384 2490 0 0 0 40 0 0 0 20 0 15 0 9915331 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438197684592 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6227] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6227/stat : 6227 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915332 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438196632032 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6228] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6228/stat : 6228 (java) S 6212 6212 5123 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9915335 14316269568 53104 18446744073709551615 4194304 4196468 140722506456752 140438195579824 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 1.56 1.60 1.18 3/211 6229
/proc/meminfo: memFree=30698016/32770624 swapFree=0/179792
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
[pid=6214] ppid=6212 vsize=13980732 CPUtime=8.65 cores=1,3,5,7
/proc/6214/stat : 6214 (java) S 6212 6212 5123 0 -1 1077944320 20795 0 0 0 854 11 0 0 20 0 15 0 9915325 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140722506439296 140438725484279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
/proc/6214/statm: 3495183 53223 3205 1 0 3483484 0
[pid=6214/tid=6215] ppid=6212 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/6214/task/6215/stat : 6215 (java) R 6212 6212 5123 0 -1 4202560 9349 0 0 0 606 5 0 0 20 0 15 0 9915326 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438729720720 140438338049414 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6216] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6216/stat : 6216 (java) S 6212 6212 5123 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438659918224 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6217] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6217/stat : 6217 (java) S 6212 6212 5123 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438658865424 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6218] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6218/stat : 6218 (java) S 6212 6212 5123 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438657813136 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6219] ppid=6212 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6214/task/6219/stat : 6219 (java) S 6212 6212 5123 0 -1 1077944384 326 0 0 0 2 1 0 0 20 0 15 0 9915326 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438656760336 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6220] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6220/stat : 6220 (java) S 6212 6212 5123 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438204000880 140438725495426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6221] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6221/stat : 6221 (java) S 6212 6212 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438202946848 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6222] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6222/stat : 6222 (java) S 6212 6212 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438201894512 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6223] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6223/stat : 6223 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915331 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438200842832 140438725502875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6224] ppid=6212 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/6214/task/6224/stat : 6224 (java) S 6212 6212 5123 0 -1 1077944384 3314 0 0 0 92 0 0 0 20 0 15 0 9915331 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438199789680 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6225] ppid=6212 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/6214/task/6225/stat : 6225 (java) S 6212 6212 5123 0 -1 1077944384 2835 0 0 0 100 0 0 0 20 0 15 0 9915331 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438198736880 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6226] ppid=6212 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/6214/task/6226/stat : 6226 (java) S 6212 6212 5123 0 -1 1077944384 2665 0 0 0 44 0 0 0 20 0 15 0 9915331 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438197684592 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6227] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6227/stat : 6227 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915332 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438196632032 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6228] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6228/stat : 6228 (java) S 6212 6212 5123 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9915335 14316269568 53223 18446744073709551615 4194304 4196468 140722506456752 140438195579824 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.63 1.61 1.19 3/211 6229
/proc/meminfo: memFree=30597244/32770624 swapFree=0/179792
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
[pid=6214] ppid=6212 vsize=13980732 CPUtime=15.75 cores=1,3,5,7
/proc/6214/stat : 6214 (java) S 6212 6212 5123 0 -1 1077944320 30349 0 0 0 1562 13 0 0 20 0 15 0 9915325 14316269568 54645 18446744073709551615 4194304 4196468 140722506456752 140722506439296 140438725484279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
/proc/6214/statm: 3495183 54645 3213 1 0 3483484 0
[pid=6214/tid=6215] ppid=6212 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/6214/task/6215/stat : 6215 (java) R 6212 6212 5123 0 -1 4202560 9965 0 0 0 1246 5 0 0 20 0 15 0 9915326 14316269568 54645 18446744073709551615 4194304 4196468 140722506456752 140438729720896 140438338419978 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6216] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6216/stat : 6216 (java) S 6212 6212 5123 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 54645 18446744073709551615 4194304 4196468 140722506456752 140438659918224 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6217] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6217/stat : 6217 (java) S 6212 6212 5123 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 54645 18446744073709551615 4194304 4196468 140722506456752 140438658865424 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
################
# More data... #
################
/proc/6214/stat : 6214 (java) S 6212 6212 5123 0 -1 1077944320 40179 0 0 0 10553 15 0 0 20 0 15 0 9915325 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140722506439296 140438725484279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
/proc/6214/statm: 3495183 54719 3215 1 0 3483484 0
[pid=6214/tid=6215] ppid=6212 vsize=13980732 CPUtime=102.11 cores=1,3,5,7
/proc/6214/task/6215/stat : 6215 (java) R 6212 6212 5123 0 -1 4202560 12449 0 0 0 10206 5 0 0 20 0 15 0 9915326 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438729720248 140438338181494 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6216] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6216/stat : 6216 (java) S 6212 6212 5123 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438659918224 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6217] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6217/stat : 6217 (java) S 6212 6212 5123 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438658865424 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6218] ppid=6212 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6214/task/6218/stat : 6218 (java) S 6212 6212 5123 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 15 0 9915326 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438657813136 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6219] ppid=6212 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6214/task/6219/stat : 6219 (java) S 6212 6212 5123 0 -1 1077944384 326 0 0 0 2 1 0 0 20 0 15 0 9915326 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438656760336 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6220] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6220/stat : 6220 (java) S 6212 6212 5123 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438204000880 140438725495426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6221] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6221/stat : 6221 (java) S 6212 6212 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438202946848 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6222] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6222/stat : 6222 (java) S 6212 6212 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438201894512 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6223] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6223/stat : 6223 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915331 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438200842832 140438725502875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6224] ppid=6212 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/6214/task/6224/stat : 6224 (java) S 6212 6212 5123 0 -1 1077944384 7894 0 0 0 115 1 0 0 20 0 15 0 9915331 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438199789680 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6225] ppid=6212 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/6214/task/6225/stat : 6225 (java) S 6212 6212 5123 0 -1 1077944384 12446 0 0 0 169 1 0 0 20 0 15 0 9915331 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438198736880 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6226] ppid=6212 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/6214/task/6226/stat : 6226 (java) S 6212 6212 5123 0 -1 1077944384 3846 0 0 0 46 0 0 0 20 0 15 0 9915331 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438197684592 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6227] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6227/stat : 6227 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915332 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438196632032 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6228] ppid=6212 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6214/task/6228/stat : 6228 (java) S 6212 6212 5123 0 -1 1077944384 755 0 0 0 2 2 0 0 20 0 15 0 9915335 14316269568 54719 18446744073709551615 4194304 4196468 140722506456752 140438195579824 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
Current children cumulated CPU time (s) 105.68
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.97 1.76 1.30 3/213 6241
/proc/meminfo: memFree=29463192/32770624 swapFree=0/179896
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
[pid=6214] ppid=6212 vsize=13980732 CPUtime=166.19 cores=1,3,5,7
/proc/6214/stat : 6214 (java) S 6212 6212 5123 0 -1 1077944320 44543 0 0 0 16600 19 0 0 20 0 15 0 9915325 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140722506439296 140438725484279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
/proc/6214/statm: 3495183 60987 3217 1 0 3483484 0
[pid=6214/tid=6215] ppid=6212 vsize=13980732 CPUtime=162.08 cores=1,3,5,7
/proc/6214/task/6215/stat : 6215 (java) R 6212 6212 5123 0 -1 4202560 13309 0 0 0 16203 5 0 0 20 0 15 0 9915326 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438729721168 140438338100741 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6216] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6216/stat : 6216 (java) S 6212 6212 5123 0 -1 1077944384 237 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438659918224 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6217] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6217/stat : 6217 (java) S 6212 6212 5123 0 -1 1077944384 469 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438658865424 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6218] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6218/stat : 6218 (java) S 6212 6212 5123 0 -1 1077944384 792 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438657813136 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6219] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6219/stat : 6219 (java) S 6212 6212 5123 0 -1 1077944384 588 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438656760336 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6220] ppid=6212 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6214/task/6220/stat : 6220 (java) S 6212 6212 5123 0 -1 1077944384 696 0 0 0 1 0 0 0 20 0 15 0 9915328 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438204000880 140438725495426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6221] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6221/stat : 6221 (java) S 6212 6212 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438202946848 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6222] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6222/stat : 6222 (java) S 6212 6212 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438201894512 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6223] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6223/stat : 6223 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915331 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438200842832 140438725502875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6224] ppid=6212 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/6214/task/6224/stat : 6224 (java) S 6212 6212 5123 0 -1 1077944384 9031 0 0 0 137 1 0 0 20 0 15 0 9915331 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438199789680 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6225] ppid=6212 vsize=13980732 CPUtime=1.87 cores=1,3,5,7
/proc/6214/task/6225/stat : 6225 (java) S 6212 6212 5123 0 -1 1077944384 13175 0 0 0 186 1 0 0 20 0 15 0 9915331 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438198736880 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6226] ppid=6212 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/6214/task/6226/stat : 6226 (java) S 6212 6212 5123 0 -1 1077944384 4097 0 0 0 48 1 0 0 20 0 15 0 9915331 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438197684592 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6227] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6227/stat : 6227 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915332 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438196632032 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6228] ppid=6212 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/6214/task/6228/stat : 6228 (java) S 6212 6212 5123 0 -1 1077944384 783 0 0 0 4 4 0 0 20 0 15 0 9915335 14316269568 60987 18446744073709551615 4194304 4196468 140722506456752 140438195579824 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
Current children cumulated CPU time (s) 166.19
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.19 1.87 1.37 3/213 6321
/proc/meminfo: memFree=31572552/32770624 swapFree=0/179964
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
[pid=6214] ppid=6212 vsize=13980732 CPUtime=226.3 cores=1,3,5,7
/proc/6214/stat : 6214 (java) S 6212 6212 5123 0 -1 1077944320 48281 0 0 0 22609 21 0 0 20 0 15 0 9915325 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140722506439296 140438725484279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
/proc/6214/statm: 3495183 61030 3217 1 0 3483484 0
[pid=6214/tid=6215] ppid=6212 vsize=13980732 CPUtime=222.09 cores=1,3,5,7
/proc/6214/task/6215/stat : 6215 (java) R 6212 6212 5123 0 -1 4202560 13723 0 0 0 22204 5 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438729720912 140438338049320 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6216] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6216/stat : 6216 (java) S 6212 6212 5123 0 -1 1077944384 237 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438659918224 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6217] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6217/stat : 6217 (java) S 6212 6212 5123 0 -1 1077944384 469 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438658865424 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6218] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6218/stat : 6218 (java) S 6212 6212 5123 0 -1 1077944384 792 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438657813136 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6219] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6219/stat : 6219 (java) S 6212 6212 5123 0 -1 1077944384 588 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438656760336 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6220] ppid=6212 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6214/task/6220/stat : 6220 (java) S 6212 6212 5123 0 -1 1077944384 731 0 0 0 1 0 0 0 20 0 15 0 9915328 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438204000880 140438725495426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6221] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6221/stat : 6221 (java) S 6212 6212 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438202946848 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6222] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6222/stat : 6222 (java) S 6212 6212 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438201894512 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6223] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6223/stat : 6223 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915331 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438200842832 140438725502875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6224] ppid=6212 vsize=13980732 CPUtime=1.41 cores=1,3,5,7
/proc/6214/task/6224/stat : 6224 (java) S 6212 6212 5123 0 -1 1077944384 9961 0 0 0 140 1 0 0 20 0 15 0 9915331 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438199789680 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6225] ppid=6212 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/6214/task/6225/stat : 6225 (java) S 6212 6212 5123 0 -1 1077944384 14796 0 0 0 189 1 0 0 20 0 15 0 9915331 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438198736880 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6226] ppid=6212 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/6214/task/6226/stat : 6226 (java) S 6212 6212 5123 0 -1 1077944384 4821 0 0 0 49 1 0 0 20 0 15 0 9915331 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438197684592 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6227] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6227/stat : 6227 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915332 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438196632032 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6228] ppid=6212 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/6214/task/6228/stat : 6228 (java) S 6212 6212 5123 0 -1 1077944384 797 0 0 0 5 6 0 0 20 0 15 0 9915335 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438195579824 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
Current children cumulated CPU time (s) 226.3
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.15 1.87 1.38 3/213 6400
/proc/meminfo: memFree=31670808/32770624 swapFree=0/180020
[pid=6212] ppid=6209 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6212/stat : 6212 (xcsp3-exec) S 6209 6212 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9915316 9740288 344 18446744073709551615 4194304 5098028 140736871021280 140736871019384 140421607060092 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13819904 140736871027100 140736871027303 140736871027303 140736871030763 0
/proc/6212/statm: 2378 344 289 221 0 87 0
[pid=6214] ppid=6212 vsize=13980732 CPUtime=244.01 cores=1,3,5,7
/proc/6214/stat : 6214 (java) S 6212 6212 5123 0 -1 1077944320 48449 0 0 0 24379 22 0 0 20 0 15 0 9915325 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140722506439296 140438725484279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
/proc/6214/statm: 3495183 61030 3217 1 0 3483484 0
[pid=6214/tid=6215] ppid=6212 vsize=13980732 CPUtime=239.78 cores=1,3,5,7
/proc/6214/task/6215/stat : 6215 (java) R 6212 6212 5123 0 -1 4202560 13792 0 0 0 23973 5 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438729720768 140438338700854 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6216] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6216/stat : 6216 (java) S 6212 6212 5123 0 -1 1077944384 237 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438659918224 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6217] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6217/stat : 6217 (java) S 6212 6212 5123 0 -1 1077944384 469 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438658865424 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6218] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6218/stat : 6218 (java) S 6212 6212 5123 0 -1 1077944384 792 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438657813136 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6219] ppid=6212 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6214/task/6219/stat : 6219 (java) S 6212 6212 5123 0 -1 1077944384 588 0 0 0 4 1 0 0 20 0 15 0 9915326 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438656760336 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6220] ppid=6212 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6214/task/6220/stat : 6220 (java) S 6212 6212 5123 0 -1 1077944384 731 0 0 0 1 0 0 0 20 0 15 0 9915328 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438204000880 140438725495426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6221] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6221/stat : 6221 (java) S 6212 6212 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438202946848 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6222] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6222/stat : 6222 (java) S 6212 6212 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9915328 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438201894512 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6223] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6223/stat : 6223 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915331 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438200842832 140438725502875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6224] ppid=6212 vsize=13980732 CPUtime=1.41 cores=1,3,5,7
/proc/6214/task/6224/stat : 6224 (java) S 6212 6212 5123 0 -1 1077944384 10010 0 0 0 140 1 0 0 20 0 15 0 9915331 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438199789680 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6225] ppid=6212 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/6214/task/6225/stat : 6225 (java) S 6212 6212 5123 0 -1 1077944384 14796 0 0 0 189 1 0 0 20 0 15 0 9915331 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438198736880 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6226] ppid=6212 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/6214/task/6226/stat : 6226 (java) S 6212 6212 5123 0 -1 1077944384 4871 0 0 0 49 1 0 0 20 0 15 0 9915331 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438197684592 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6227] ppid=6212 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6214/task/6227/stat : 6227 (java) S 6212 6212 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9915332 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438196632032 140438725494485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
[pid=6214/tid=6228] ppid=6212 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/6214/task/6228/stat : 6228 (java) S 6212 6212 5123 0 -1 1077944384 797 0 0 0 6 7 0 0 20 0 15 0 9915335 14316269568 61030 18446744073709551615 4194304 4196468 140722506456752 140438195579824 140438725495426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140722506461652 140722506461827 140722506461827 140722506465231 0
Current children cumulated CPU time (s) 244.01
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 6214 sig 9
??? kill 6212 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.013
CPU time (s): 244.041
CPU user time (s): 243.812
CPU system time (s): 0.229101
CPU usage (%): 101.678
Max. virtual memory (cumulated for all children) (KiB): 13992128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.812
system time used= 0.229101
maximum resident set size= 244840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49339
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= 7889
involuntary context switches= 92
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16232 second user time and 1.46331 second system time
The end