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-4253932-1501616780/watcher-4253932-1501616780 -o /tmp/evaluation-result-4253932-1501616780/solver-4253932-1501616780 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 614627664 HOME/instance-4253932-1501616780.xml
pid=8191
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.99 1.94 1.95 2/201 8194
/proc/meminfo: memFree=31673028/32770624 swapFree=0/164332
[pid=8194] ppid=8191 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (runsolver) D 8191 8194 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3588591 24240128 108 18446744073709551615 4194304 4338465 140728924541152 140728924538792 140143475524311 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 22528000 140728924549215 140728924549703 140728924549703 140728924553162 0
/proc/8194/statm: 5918 108 54 36 0 2156 0
[startup+0.100134 s]
/proc/loadavg: 1.99 1.94 1.95 2/201 8194
/proc/meminfo: memFree=31673028/32770624 swapFree=0/164332
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.204852 s]
/proc/loadavg: 1.99 1.94 1.95 2/201 8194
/proc/meminfo: memFree=31673028/32770624 swapFree=0/164332
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300292 s]
/proc/loadavg: 1.99 1.94 1.95 2/201 8194
/proc/meminfo: memFree=31673028/32770624 swapFree=0/164332
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700496 s]
/proc/loadavg: 1.99 1.94 1.95 2/201 8194
/proc/meminfo: memFree=31673028/32770624 swapFree=0/164332
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.99 1.94 1.95 4/217 8210
/proc/meminfo: memFree=31594224/32770624 swapFree=0/164360
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
[pid=8196] ppid=8194 vsize=13980732 CPUtime=2.74 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 3187 0 -1 1077944320 16998 0 0 0 268 6 0 0 20 0 15 0 3588600 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140727511037072 140546848415479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
/proc/8196/statm: 3495183 23225 3167 1 0 3483484 0
[pid=8196/tid=8197] ppid=8194 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 3187 0 -1 4202560 8942 0 0 0 133 3 0 0 20 0 15 0 3588600 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546852651240 140546450226632 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8198] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546767829648 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8199] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546766776848 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8200] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546446190992 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8201] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546445138192 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8202] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 3187 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546326874992 140546848426626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8203] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546325820960 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8204] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546324768112 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8205] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546323716432 140546848434075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8206] ppid=8194 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 3187 0 -1 1077944384 2439 0 0 0 54 0 0 0 20 0 15 0 3588605 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546322663792 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8207] ppid=8194 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 3187 0 -1 1077944384 2314 0 0 0 46 1 0 0 20 0 15 0 3588605 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546321610992 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8208] ppid=8194 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 3187 0 -1 1077944384 1844 0 0 0 33 0 0 0 20 0 15 0 3588605 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546320558192 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8209] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546319505632 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8210] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3588609 14316269568 23225 18446744073709551615 4194304 4196468 140727511054528 140546318453936 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 13990244
[startup+3.10062 s]
/proc/loadavg: 1.99 1.94 1.95 3/217 8210
/proc/meminfo: memFree=31591500/32770624 swapFree=0/164364
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
[pid=8196] ppid=8194 vsize=13980732 CPUtime=4.45 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 3187 0 -1 1077944320 17338 0 0 0 439 6 0 0 20 0 15 0 3588600 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140727511037072 140546848415479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
/proc/8196/statm: 3495183 23279 3173 1 0 3483484 0
[pid=8196/tid=8197] ppid=8194 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 3187 0 -1 4202560 8987 0 0 0 293 3 0 0 20 0 15 0 3588600 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546852651928 140546450226261 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8198] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546767829648 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8199] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546766776848 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8200] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546446190992 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8201] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546445138192 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8202] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 3187 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546326874992 140546848426626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8203] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546325820960 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8204] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546324768112 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8205] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546323716432 140546848434075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8206] ppid=8194 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 3187 0 -1 1077944384 2506 0 0 0 58 0 0 0 20 0 15 0 3588605 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546322663792 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8207] ppid=8194 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 3187 0 -1 1077944384 2490 0 0 0 52 1 0 0 20 0 15 0 3588605 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546321610992 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8208] ppid=8194 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 3187 0 -1 1077944384 1896 0 0 0 35 0 0 0 20 0 15 0 3588605 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546320558192 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8209] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546319505632 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8210] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3588609 14316269568 23279 18446744073709551615 4194304 4196468 140727511054528 140546318453936 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 13990244
[startup+6.30062 s]
/proc/loadavg: 1.99 1.94 1.95 3/217 8210
/proc/meminfo: memFree=31591324/32770624 swapFree=0/164372
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
[pid=8196] ppid=8194 vsize=13980732 CPUtime=7.8 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 3187 0 -1 1077944320 19791 0 0 0 774 6 0 0 20 0 15 0 3588600 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140727511037072 140546848415479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
/proc/8196/statm: 3495183 23322 3175 1 0 3483484 0
[pid=8196/tid=8197] ppid=8194 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 3187 0 -1 4202560 9359 0 0 0 613 3 0 0 20 0 15 0 3588600 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546852651136 140546450163075 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8198] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546767829648 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8199] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546766776848 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8200] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546446190992 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8201] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546445138192 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8202] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 3187 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546326874992 140546848426626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8203] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546325820960 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8204] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546324768112 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8205] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546323716432 140546848434075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8206] ppid=8194 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 3187 0 -1 1077944384 3061 0 0 0 69 0 0 0 20 0 15 0 3588605 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546322663792 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8207] ppid=8194 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 3187 0 -1 1077944384 3545 0 0 0 55 1 0 0 20 0 15 0 3588605 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546321610992 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8208] ppid=8194 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 3187 0 -1 1077944384 1945 0 0 0 36 0 0 0 20 0 15 0 3588605 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546320558192 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8209] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546319505632 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8210] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 3187 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 15 0 3588609 14316269568 23322 18446744073709551615 4194304 4196468 140727511054528 140546318453936 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.07 1.96 1.96 3/217 8210
/proc/meminfo: memFree=31585372/32770624 swapFree=0/164376
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
[pid=8196] ppid=8194 vsize=13980732 CPUtime=15.12 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 3187 0 -1 1077944320 25968 0 0 0 1505 7 0 0 20 0 15 0 3588600 14316269568 24595 18446744073709551615 4194304 4196468 140727511054528 140727511037072 140546848415479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
/proc/8196/statm: 3495183 24595 3175 1 0 3483484 0
[pid=8196/tid=8197] ppid=8194 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 3187 0 -1 4202560 9844 0 0 0 1253 3 0 0 20 0 15 0 3588600 14316269568 24595 18446744073709551615 4194304 4196468 140727511054528 140546852651168 140546451261516 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8198] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 24595 18446744073709551615 4194304 4196468 140727511054528 140546767829648 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8199] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 24595 18446744073709551615 4194304 4196468 140727511054528 140546766776848 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
################
# More data... #
################
/proc/8196/stat : 8196 (java) S 8194 8194 3187 0 -1 1077944320 44793 0 0 0 10625 10 0 0 20 0 15 0 3588600 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140727511037072 140546848415479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
/proc/8196/statm: 3495183 29897 3178 1 0 3483484 0
[pid=8196/tid=8197] ppid=8194 vsize=13980732 CPUtime=102.16 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 3187 0 -1 4202560 12787 0 0 0 10213 3 0 0 20 0 15 0 3588600 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546852652024 140546450226266 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8198] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546767829648 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8199] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546766776848 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8200] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546446190992 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8201] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546445138192 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8202] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 3187 0 -1 1077944384 540 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546326874992 140546848426626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8203] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546325820960 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8204] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546324768112 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8205] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546323716432 140546848434075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8206] ppid=8194 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 3187 0 -1 1077944384 11084 0 0 0 155 1 0 0 20 0 15 0 3588605 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546322663792 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8207] ppid=8194 vsize=13980732 CPUtime=2.08 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 3187 0 -1 1077944384 13789 0 0 0 206 2 0 0 20 0 15 0 3588605 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546321610992 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8208] ppid=8194 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 3187 0 -1 1077944384 4863 0 0 0 48 0 0 0 20 0 15 0 3588605 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546320558192 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8209] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546319505632 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8210] ppid=8194 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 3187 0 -1 1077944384 430 0 0 0 0 1 0 0 20 0 15 0 3588609 14316269568 29897 18446744073709551615 4194304 4196468 140727511054528 140546318453936 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
Current children cumulated CPU time (s) 106.35
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.83 1.92 1.94 3/217 8292
/proc/meminfo: memFree=31732276/32770624 swapFree=0/164524
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
[pid=8196] ppid=8194 vsize=13980732 CPUtime=166.57 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 3187 0 -1 1077944320 48486 0 0 0 16646 11 0 0 20 0 15 0 3588600 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140727511037072 140546848415479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
/proc/8196/statm: 3495183 35327 3180 1 0 3483484 0
[pid=8196/tid=8197] ppid=8194 vsize=13980732 CPUtime=162.16 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 3187 0 -1 4202560 13326 0 0 0 16213 3 0 0 20 0 15 0 3588600 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546852651376 140546450163094 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8198] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546767829648 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8199] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546766776848 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8200] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546446190992 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8201] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546445138192 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8202] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 3187 0 -1 1077944384 595 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546326874992 140546848426626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8203] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546325820960 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8204] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546324768112 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8205] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546323716432 140546848434075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8206] ppid=8194 vsize=13980732 CPUtime=1.72 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 3187 0 -1 1077944384 13189 0 0 0 171 1 0 0 20 0 15 0 3588605 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546322663792 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8207] ppid=8194 vsize=13980732 CPUtime=2.12 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 3187 0 -1 1077944384 14493 0 0 0 210 2 0 0 20 0 15 0 3588605 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546321610992 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8208] ppid=8194 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 3187 0 -1 1077944384 5116 0 0 0 48 1 0 0 20 0 15 0 3588605 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546320558192 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8209] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546319505632 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8210] ppid=8194 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 3187 0 -1 1077944384 467 0 0 0 1 2 0 0 20 0 15 0 3588609 14316269568 35327 18446744073709551615 4194304 4196468 140727511054528 140546318453936 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
Current children cumulated CPU time (s) 166.57
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.85 1.90 1.94 3/214 8294
/proc/meminfo: memFree=31760768/32770624 swapFree=0/164556
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
[pid=8196] ppid=8194 vsize=13980732 CPUtime=226.63 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 3187 0 -1 1077944320 48791 0 0 0 22652 11 0 0 20 0 15 0 3588600 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140727511037072 140546848415479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
/proc/8196/statm: 3495183 37385 3180 1 0 3483484 0
[pid=8196/tid=8197] ppid=8194 vsize=13980732 CPUtime=222.18 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 3187 0 -1 4202560 13405 0 0 0 22214 4 0 0 20 0 15 0 3588600 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546852652328 140546450163056 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8198] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546767829648 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8199] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546766776848 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8200] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546446190992 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8201] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546445138192 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8202] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 3187 0 -1 1077944384 599 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546326874992 140546848426626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8203] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546325820960 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8204] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546324768112 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8205] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546323716432 140546848434075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8206] ppid=8194 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 3187 0 -1 1077944384 13292 0 0 0 172 1 0 0 20 0 15 0 3588605 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546322663792 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8207] ppid=8194 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 3187 0 -1 1077944384 14586 0 0 0 213 2 0 0 20 0 15 0 3588605 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546321610992 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8208] ppid=8194 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 3187 0 -1 1077944384 5117 0 0 0 48 1 0 0 20 0 15 0 3588605 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546320558192 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8209] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546319505632 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8210] ppid=8194 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 3187 0 -1 1077944384 492 0 0 0 1 2 0 0 20 0 15 0 3588609 14316269568 37385 18446744073709551615 4194304 4196468 140727511054528 140546318453936 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
Current children cumulated CPU time (s) 226.63
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.88 1.91 1.94 3/214 8294
/proc/meminfo: memFree=31765276/32770624 swapFree=0/164564
[pid=8194] ppid=8191 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 3588591 9740288 344 18446744073709551615 4194304 5098028 140724220148608 140724220146712 139937020023420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 12558336 140724220154269 140724220154472 140724220154472 140724220157931 0
/proc/8194/statm: 2378 344 289 221 0 87 0
[pid=8196] ppid=8194 vsize=13980732 CPUtime=244.34 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 3187 0 -1 1077944320 48793 0 0 0 24422 12 0 0 20 0 15 0 3588600 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140727511037072 140546848415479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
/proc/8196/statm: 3495183 37897 3180 1 0 3483484 0
[pid=8196/tid=8197] ppid=8194 vsize=13980732 CPUtime=239.87 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 3187 0 -1 4202560 13407 0 0 0 23983 4 0 0 20 0 15 0 3588600 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546852652328 140546450226337 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8198] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546767829648 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8199] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546766776848 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8200] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546446190992 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8201] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3588601 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546445138192 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8202] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 3187 0 -1 1077944384 599 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546326874992 140546848426626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8203] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546325820960 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8204] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3588602 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546324768112 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8205] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546323716432 140546848434075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8206] ppid=8194 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 3187 0 -1 1077944384 13292 0 0 0 172 1 0 0 20 0 15 0 3588605 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546322663792 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8207] ppid=8194 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 3187 0 -1 1077944384 14586 0 0 0 213 2 0 0 20 0 15 0 3588605 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546321610992 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8208] ppid=8194 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 3187 0 -1 1077944384 5117 0 0 0 48 1 0 0 20 0 15 0 3588605 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546320558192 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8209] ppid=8194 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3588605 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546319505632 140546848425685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
[pid=8196/tid=8210] ppid=8194 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 3187 0 -1 1077944384 492 0 0 0 1 3 0 0 20 0 15 0 3588609 14316269568 37897 18446744073709551615 4194304 4196468 140727511054528 140546318453936 140546848426626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140727511060949 140727511061124 140727511061124 140727511064527 0
Current children cumulated CPU time (s) 244.34
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 8196 sig 9
??? kill 8194 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.01
CPU time (s): 244.357
CPU user time (s): 244.229
CPU system time (s): 0.128021
CPU usage (%): 101.811
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.229
system time used= 0.128021
maximum resident set size= 158332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49575
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= 7756
involuntary context switches= 109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.98604 second user time and 1.37821 second system time
The end