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-4254212-1501615511/watcher-4254212-1501615511 -o /tmp/evaluation-result-4254212-1501615511/solver-4254212-1501615511 -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 1890659502 HOME/instance-4254212-1501615511.xml
pid=7198
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.87 1.98 1.96 4/200 7201
/proc/meminfo: memFree=31722516/32770624 swapFree=0/162752
[pid=7201] ppid=7198 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (runsolver) D 7198 7201 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3461705 24240128 106 18446744073709551615 4194304 4338465 140726838859216 140726838856856 140658091541207 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29192192 140726838866014 140726838866503 140726838866503 140726838869962 0
/proc/7201/statm: 5918 106 53 36 0 2156 0
[startup+0.100138 s]
/proc/loadavg: 1.87 1.98 1.96 4/200 7201
/proc/meminfo: memFree=31722516/32770624 swapFree=0/162752
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200313 s]
/proc/loadavg: 1.87 1.98 1.96 4/200 7201
/proc/meminfo: memFree=31722516/32770624 swapFree=0/162752
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30058 s]
/proc/loadavg: 1.87 1.98 1.96 4/200 7201
/proc/meminfo: memFree=31722516/32770624 swapFree=0/162752
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700278 s]
/proc/loadavg: 1.87 1.98 1.96 4/200 7201
/proc/meminfo: memFree=31722516/32770624 swapFree=0/162752
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50059 s]
/proc/loadavg: 1.87 1.98 1.96 5/216 7217
/proc/meminfo: memFree=31537996/32770624 swapFree=0/162756
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
[pid=7203] ppid=7201 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 3187 0 -1 1077944320 28111 0 0 0 283 6 0 0 20 0 15 0 3461714 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 140721134228256 139761176735479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
/proc/7203/statm: 3495183 28842 3167 1 0 3483484 0
[pid=7203/tid=7204] ppid=7201 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 3187 0 -1 4202560 8635 0 0 0 131 3 0 0 20 0 15 0 3461715 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139761180969696 139760806276718 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7205] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139761133701904 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7206] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139761132649360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7207] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139761131596816 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7208] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139761130544272 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7209] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760384481264 139761176746626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7210] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760293651360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7211] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760292598768 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7212] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760291547344 139761176754075 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7213] ppid=7201 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 3187 0 -1 1077944384 7626 0 0 0 61 1 0 0 20 0 15 0 3461720 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760290494960 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7214] ppid=7201 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 3187 0 -1 1077944384 8568 0 0 0 60 1 0 0 20 0 15 0 3461720 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760289442416 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7215] ppid=7201 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 3187 0 -1 1077944384 1991 0 0 0 30 0 0 0 20 0 15 0 3461720 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760288389872 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7216] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760287337568 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7217] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461725 14316269568 28842 18446744073709551615 4194304 4196468 140721134245712 139760286284080 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 13990244
[startup+3.10059 s]
/proc/loadavg: 1.87 1.98 1.96 5/216 7217
/proc/meminfo: memFree=31533108/32770624 swapFree=0/162756
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
[pid=7203] ppid=7201 vsize=13980732 CPUtime=5.34 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 3187 0 -1 1077944320 32195 0 0 0 528 6 0 0 20 0 15 0 3461714 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 140721134228256 139761176735479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
/proc/7203/statm: 3495183 31201 3169 1 0 3483484 0
[pid=7203/tid=7204] ppid=7201 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 3187 0 -1 4202560 9421 0 0 0 291 3 0 0 20 0 15 0 3461715 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139761180970984 139760806572252 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7205] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139761133701904 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7206] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139761132649360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7207] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139761131596816 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7208] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139761130544272 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7209] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 3187 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760384481264 139761176746626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7210] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760293651360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7211] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760292598768 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7212] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760291547344 139761176754075 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7213] ppid=7201 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 3187 0 -1 1077944384 9109 0 0 0 101 1 0 0 20 0 15 0 3461720 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760290494960 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7214] ppid=7201 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 3187 0 -1 1077944384 9843 0 0 0 98 1 0 0 20 0 15 0 3461720 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760289442416 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7215] ppid=7201 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 3187 0 -1 1077944384 2467 0 0 0 35 0 0 0 20 0 15 0 3461720 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760288389872 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7216] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760287337568 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7217] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3461725 14316269568 31201 18446744073709551615 4194304 4196468 140721134245712 139760286284080 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 13990244
[startup+6.30057 s]
/proc/loadavg: 1.88 1.98 1.96 3/216 7218
/proc/meminfo: memFree=31520052/32770624 swapFree=0/162764
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
[pid=7203] ppid=7201 vsize=13980732 CPUtime=8.59 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 3187 0 -1 1077944320 35573 0 0 0 852 7 0 0 20 0 15 0 3461714 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 140721134228256 139761176735479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
/proc/7203/statm: 3495183 33364 3173 1 0 3483484 0
[pid=7203/tid=7204] ppid=7201 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 3187 0 -1 4202560 10301 0 0 0 611 3 0 0 20 0 15 0 3461715 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139761180970880 139760806277290 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7205] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139761133701904 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7206] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139761132649360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7207] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139761131596816 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7208] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139761130544272 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7209] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 3187 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760384481264 139761176746626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7210] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760293651360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7211] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760292598768 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7212] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760291547344 139761176754075 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7213] ppid=7201 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 3187 0 -1 1077944384 9240 0 0 0 102 1 0 0 20 0 15 0 3461720 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760290494960 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7214] ppid=7201 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 3187 0 -1 1077944384 10091 0 0 0 100 1 0 0 20 0 15 0 3461720 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760289442416 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7215] ppid=7201 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 3187 0 -1 1077944384 2869 0 0 0 37 0 0 0 20 0 15 0 3461720 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760288389872 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7216] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760287337568 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7217] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 3187 0 -1 1077944384 1525 0 0 0 0 0 0 0 20 0 15 0 3461725 14316269568 33364 18446744073709551615 4194304 4196468 140721134245712 139760286284080 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.89 1.98 1.96 4/216 7218
/proc/meminfo: memFree=31467152/32770624 swapFree=0/162776
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
[pid=7203] ppid=7201 vsize=13980732 CPUtime=15.32 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 3187 0 -1 1077944320 42477 0 0 0 1524 8 0 0 20 0 15 0 3461714 14316269568 41273 18446744073709551615 4194304 4196468 140721134245712 140721134228256 139761176735479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
/proc/7203/statm: 3495183 41273 3183 1 0 3483484 0
[pid=7203/tid=7204] ppid=7201 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 3187 0 -1 4202560 11227 0 0 0 1250 4 0 0 20 0 15 0 3461715 14316269568 41273 18446744073709551615 4194304 4196468 140721134245712 139761180970144 139760806125475 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7205] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 41273 18446744073709551615 4194304 4196468 140721134245712 139761133701904 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7206] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3461715 14316269568 41273 18446744073709551615 4194304 4196468 140721134245712 139761132649360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
################
# More data... #
################
/proc/7203/stat : 7203 (java) S 7201 7201 3187 0 -1 1077944320 63056 0 0 0 10895 81 0 0 20 0 15 0 3461714 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 140721134228256 139761176735479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
/proc/7203/statm: 3495183 219937 3244 1 0 3483484 0
[pid=7203/tid=7204] ppid=7201 vsize=13980732 CPUtime=100.63 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 3187 0 -1 4202560 15570 0 0 0 10055 8 0 0 20 0 15 0 3461715 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139761180971184 139760806095174 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7205] ppid=7201 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 3187 0 -1 1077944384 698 0 0 0 63 16 0 0 20 0 15 0 3461715 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139761133701904 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7206] ppid=7201 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 3187 0 -1 1077944384 1125 0 0 0 62 16 0 0 20 0 15 0 3461715 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139761132649360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7207] ppid=7201 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 3187 0 -1 1077944384 1441 0 0 0 63 16 0 0 20 0 15 0 3461715 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139761131596816 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7208] ppid=7201 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 3187 0 -1 1077944384 789 0 0 0 62 16 0 0 20 0 15 0 3461715 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139761130544272 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7209] ppid=7201 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 3187 0 -1 1077944384 3209 0 0 0 72 1 0 0 20 0 15 0 3461717 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760384481264 139761176746626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7210] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 3187 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760293651424 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7211] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760292598784 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7212] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760291547344 139761176754075 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7213] ppid=7201 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 3187 0 -1 1077944384 12887 0 0 0 212 1 0 0 20 0 15 0 3461720 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760290494960 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7214] ppid=7201 vsize=13980732 CPUtime=2.41 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 3187 0 -1 1077944384 17936 0 0 0 239 2 0 0 20 0 15 0 3461720 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760289442416 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7215] ppid=7201 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 3187 0 -1 1077944384 6431 0 0 0 60 1 0 0 20 0 15 0 3461720 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760288389872 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7216] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760287337568 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7217] ppid=7201 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 3187 0 -1 1077944384 1652 0 0 0 2 2 0 0 20 0 15 0 3461725 14316269568 219937 18446744073709551615 4194304 4196468 140721134245712 139760286284080 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
Current children cumulated CPU time (s) 109.76
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/215 7222
/proc/meminfo: memFree=30325612/32770624 swapFree=0/162860
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
[pid=7203] ppid=7201 vsize=13980732 CPUtime=169.92 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 3187 0 -1 1077944320 66968 0 0 0 16902 90 0 0 20 0 15 0 3461714 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 140721134228256 139761176735479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
/proc/7203/statm: 3495183 232324 3244 1 0 3483484 0
[pid=7203/tid=7204] ppid=7201 vsize=13980732 CPUtime=160.59 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 3187 0 -1 4202560 17232 0 0 0 16051 8 0 0 20 0 15 0 3461715 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139761180974280 139760809813081 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7205] ppid=7201 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 3187 0 -1 1077944384 1071 0 0 0 64 18 0 0 20 0 15 0 3461715 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139761133701904 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7206] ppid=7201 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 3187 0 -1 1077944384 1257 0 0 0 64 18 0 0 20 0 15 0 3461715 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139761132649360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7207] ppid=7201 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 3187 0 -1 1077944384 1523 0 0 0 65 18 0 0 20 0 15 0 3461715 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139761131596816 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7208] ppid=7201 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 3187 0 -1 1077944384 1145 0 0 0 64 17 0 0 20 0 15 0 3461715 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139761130544272 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7209] ppid=7201 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 3187 0 -1 1077944384 3429 0 0 0 72 1 0 0 20 0 15 0 3461717 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760384481264 139761176746626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7210] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 3187 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760293651424 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7211] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760292598784 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7212] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760291547344 139761176754075 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7213] ppid=7201 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 3187 0 -1 1077944384 12911 0 0 0 212 1 0 0 20 0 15 0 3461720 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760290494960 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7214] ppid=7201 vsize=13980732 CPUtime=2.42 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 3187 0 -1 1077944384 18112 0 0 0 240 2 0 0 20 0 15 0 3461720 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760289442416 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7215] ppid=7201 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 3187 0 -1 1077944384 7280 0 0 0 60 1 0 0 20 0 15 0 3461720 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760288389872 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7216] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760287337568 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7217] ppid=7201 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 3187 0 -1 1077944384 1690 0 0 0 4 3 0 0 20 0 15 0 3461725 14316269568 232324 18446744073709551615 4194304 4196468 140721134245712 139760286284080 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
Current children cumulated CPU time (s) 169.92
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/215 7224
/proc/meminfo: memFree=30215708/32770624 swapFree=0/162896
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
[pid=7203] ppid=7201 vsize=13980732 CPUtime=230.03 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 3187 0 -1 1077944320 70207 0 0 0 22908 95 0 0 20 0 15 0 3461714 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 140721134228256 139761176735479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
/proc/7203/statm: 3495183 254372 3245 1 0 3483484 0
[pid=7203/tid=7204] ppid=7201 vsize=13980732 CPUtime=220.58 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 3187 0 -1 4202560 18078 0 0 0 22049 9 0 0 20 0 15 0 3461715 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139761180972088 139760809084374 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7205] ppid=7201 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 3187 0 -1 1077944384 1394 0 0 0 65 18 0 0 20 0 15 0 3461715 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139761133701904 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7206] ppid=7201 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 3187 0 -1 1077944384 1336 0 0 0 65 19 0 0 20 0 15 0 3461715 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139761132649360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7207] ppid=7201 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 3187 0 -1 1077944384 1888 0 0 0 66 18 0 0 20 0 15 0 3461715 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139761131596816 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7208] ppid=7201 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 3187 0 -1 1077944384 1285 0 0 0 65 18 0 0 20 0 15 0 3461715 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139761130544272 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7209] ppid=7201 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 3187 0 -1 1077944384 3648 0 0 0 72 1 0 0 20 0 15 0 3461717 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760384481264 139761176746626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7210] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 3187 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760293651424 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7211] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760292598784 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7212] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760291547344 139761176754075 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7213] ppid=7201 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 3187 0 -1 1077944384 12963 0 0 0 212 1 0 0 20 0 15 0 3461720 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760290494960 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7214] ppid=7201 vsize=13980732 CPUtime=2.42 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 3187 0 -1 1077944384 18419 0 0 0 240 2 0 0 20 0 15 0 3461720 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760289442416 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7215] ppid=7201 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 3187 0 -1 1077944384 8180 0 0 0 61 1 0 0 20 0 15 0 3461720 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760288389872 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7216] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760287337568 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7217] ppid=7201 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 3187 0 -1 1077944384 1698 0 0 0 6 5 0 0 20 0 15 0 3461725 14316269568 254372 18446744073709551615 4194304 4196468 140721134245712 139760286284080 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
Current children cumulated CPU time (s) 230.03
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.14 2.03 1.97 3/214 7302
/proc/meminfo: memFree=30859928/32770624 swapFree=0/162944
[pid=7201] ppid=7198 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3461705 9740288 345 18446744073709551615 4194304 5098028 140730275096224 140730275094328 140698427978364 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32251904 140730275103132 140730275103336 140730275103336 140730275106795 0
/proc/7201/statm: 2378 345 289 221 0 87 0
[pid=7203] ppid=7201 vsize=13980732 CPUtime=247.79 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 3187 0 -1 1077944320 71358 0 0 0 24681 98 0 0 20 0 15 0 3461714 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 140721134228256 139761176735479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
/proc/7203/statm: 3495183 260536 3245 1 0 3483484 0
[pid=7203/tid=7204] ppid=7201 vsize=13980732 CPUtime=238.26 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 3187 0 -1 4202560 18828 0 0 0 23817 9 0 0 20 0 15 0 3461715 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139761180973648 139760809814535 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7205] ppid=7201 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 3187 0 -1 1077944384 1445 0 0 0 67 19 0 0 20 0 15 0 3461715 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139761133701904 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7206] ppid=7201 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 3187 0 -1 1077944384 1381 0 0 0 66 19 0 0 20 0 15 0 3461715 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139761132649360 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7207] ppid=7201 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 3187 0 -1 1077944384 1903 0 0 0 67 19 0 0 20 0 15 0 3461715 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139761131596816 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7208] ppid=7201 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 3187 0 -1 1077944384 1552 0 0 0 66 19 0 0 20 0 15 0 3461715 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139761130544272 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7209] ppid=7201 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 3187 0 -1 1077944384 3656 0 0 0 72 1 0 0 20 0 15 0 3461717 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760384481264 139761176746626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7210] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 3187 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760293651424 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7211] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3461717 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760292598784 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7212] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760291547344 139761176754075 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7213] ppid=7201 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 3187 0 -1 1077944384 12963 0 0 0 212 1 0 0 20 0 15 0 3461720 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760290494960 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7214] ppid=7201 vsize=13980732 CPUtime=2.42 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 3187 0 -1 1077944384 18419 0 0 0 240 2 0 0 20 0 15 0 3461720 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760289442416 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7215] ppid=7201 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 3187 0 -1 1077944384 8195 0 0 0 61 1 0 0 20 0 15 0 3461720 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760288389872 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7216] ppid=7201 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3461720 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760287337568 139761176745685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
[pid=7203/tid=7217] ppid=7201 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 3187 0 -1 1077944384 1698 0 0 0 6 6 0 0 20 0 15 0 3461725 14316269568 260536 18446744073709551615 4194304 4196468 140721134245712 139760286284080 139761176746626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26157056 140721134252501 140721134252676 140721134252676 140721134256079 0
Current children cumulated CPU time (s) 247.79
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 7203 sig 9
??? kill 7201 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.017
CPU time (s): 247.816
CPU user time (s): 246.823
CPU system time (s): 0.992716
CPU usage (%): 103.25
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.823
system time used= 0.992716
maximum resident set size= 1042664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72252
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= 8443
involuntary context switches= 180
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48436 second user time and 1.1828 second system time
The end