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-4253926-1501617230/watcher-4253926-1501617230 -o /tmp/evaluation-result-4253926-1501617230/solver-4253926-1501617230 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18990 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 39346768 HOME/instance-4253926-1501617230.xml
pid=24329
running on 4 cores: 0,2,4,6
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: 2.06 1.96 1.96 3/199 24332
/proc/meminfo: memFree=31822932/32770624 swapFree=0/211168
[pid=24332] ppid=24329 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (runsolver) D 24329 24332 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61376520 24240128 107 18446744073709551615 4194304 4338465 140724578132512 140724578130152 139707480462039 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23621632 140724578140253 140724578140741 140724578140741 140724578144202 0
/proc/24332/statm: 5918 107 54 36 0 2156 0
[startup+0.100109 s]
/proc/loadavg: 2.06 1.96 1.96 3/199 24332
/proc/meminfo: memFree=31822932/32770624 swapFree=0/211168
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.202291 s]
/proc/loadavg: 2.06 1.96 1.96 3/199 24332
/proc/meminfo: memFree=31822932/32770624 swapFree=0/211168
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305892 s]
/proc/loadavg: 2.06 1.96 1.96 3/199 24332
/proc/meminfo: memFree=31822932/32770624 swapFree=0/211168
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70825 s]
/proc/loadavg: 2.06 1.96 1.96 3/199 24332
/proc/meminfo: memFree=31822932/32770624 swapFree=0/211168
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 2.06 1.96 1.96 3/215 24348
/proc/meminfo: memFree=31762484/32770624 swapFree=0/211184
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
[pid=24334] ppid=24332 vsize=13980732 CPUtime=3.19 cores=0,2,4,6
/proc/24334/stat : 24334 (java) S 24332 24332 18930 0 -1 1077944320 22440 0 0 0 313 6 0 0 20 0 15 0 61376527 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140721617405872 140402401046263 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
/proc/24334/statm: 3495183 21825 3173 1 0 3483484 0
[pid=24334/tid=24335] ppid=24332 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/24334/task/24335/stat : 24335 (java) R 24332 24332 18930 0 -1 4202560 8955 0 0 0 135 3 0 0 20 0 15 0 61376528 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140402405283400 140402031493346 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24336] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24336/stat : 24336 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140402358012304 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24337] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24337/stat : 24337 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140402356959504 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24338] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24338/stat : 24338 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140402355907216 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24339] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24339/stat : 24339 (java) S 24332 24332 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140402354854416 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24340] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24340/stat : 24340 (java) S 24332 24332 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401946815088 140402401057410 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24341] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24341/stat : 24341 (java) S 24332 24332 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401945761056 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24342] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24342/stat : 24342 (java) S 24332 24332 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401876919920 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24343] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24343/stat : 24343 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401875868240 140402401064859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24344] ppid=24332 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/24334/task/24344/stat : 24344 (java) R 24332 24332 18930 0 -1 4202560 4802 0 0 0 74 0 0 0 20 0 15 0 61376533 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401874800968 140402387069985 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24345] ppid=24332 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/24334/task/24345/stat : 24345 (java) S 24332 24332 18930 0 -1 1077944384 4710 0 0 0 71 1 0 0 20 0 15 0 61376533 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401873762288 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24346] ppid=24332 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/24334/task/24346/stat : 24346 (java) S 24332 24332 18930 0 -1 1077944384 2655 0 0 0 31 0 0 0 20 0 15 0 61376533 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401872710000 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24347] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24347/stat : 24347 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401871657440 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24348] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24348/stat : 24348 (java) S 24332 24332 18930 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 61376536 14316269568 21825 18446744073709551615 4194304 4196468 140721617423328 140401870605232 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 13990244
[startup+3.10054 s]
/proc/loadavg: 2.06 1.96 1.96 3/215 24349
/proc/meminfo: memFree=31745708/32770624 swapFree=0/211184
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
[pid=24334] ppid=24332 vsize=13980732 CPUtime=5.28 cores=0,2,4,6
/proc/24334/stat : 24334 (java) S 24332 24332 18930 0 -1 1077944320 22657 0 0 0 521 7 0 0 20 0 15 0 61376527 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140721617405872 140402401046263 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
/proc/24334/statm: 3495183 22465 3173 1 0 3483484 0
[pid=24334/tid=24335] ppid=24332 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/24334/task/24335/stat : 24335 (java) R 24332 24332 18930 0 -1 4202560 8966 0 0 0 294 4 0 0 20 0 15 0 61376528 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140402405285320 140402032473689 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24336] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24336/stat : 24336 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140402358012304 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24337] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24337/stat : 24337 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140402356959504 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24338] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24338/stat : 24338 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140402355907216 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24339] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24339/stat : 24339 (java) S 24332 24332 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140402354854416 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24340] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24340/stat : 24340 (java) S 24332 24332 18930 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401946815088 140402401057410 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24341] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24341/stat : 24341 (java) S 24332 24332 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401945761056 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24342] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24342/stat : 24342 (java) S 24332 24332 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401876919920 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24343] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24343/stat : 24343 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401875868240 140402401064859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24344] ppid=24332 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/24334/task/24344/stat : 24344 (java) S 24332 24332 18930 0 -1 1077944384 4869 0 0 0 92 0 0 0 20 0 15 0 61376533 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401874815088 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24345] ppid=24332 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/24334/task/24345/stat : 24345 (java) S 24332 24332 18930 0 -1 1077944384 4753 0 0 0 100 1 0 0 20 0 15 0 61376533 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401873762288 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24346] ppid=24332 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/24334/task/24346/stat : 24346 (java) S 24332 24332 18930 0 -1 1077944384 2717 0 0 0 33 0 0 0 20 0 15 0 61376533 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401872710000 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24347] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24347/stat : 24347 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401871657440 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24348] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24348/stat : 24348 (java) S 24332 24332 18930 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 61376536 14316269568 22465 18446744073709551615 4194304 4196468 140721617423328 140401870605232 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 13990244
[startup+6.30057 s]
/proc/loadavg: 2.05 1.96 1.96 3/215 24349
/proc/meminfo: memFree=31749416/32770624 swapFree=0/211196
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
[pid=24334] ppid=24332 vsize=13980732 CPUtime=8.52 cores=0,2,4,6
/proc/24334/stat : 24334 (java) S 24332 24332 18930 0 -1 1077944320 24252 0 0 0 845 7 0 0 20 0 15 0 61376527 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140721617405872 140402401046263 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
/proc/24334/statm: 3495183 20679 3178 1 0 3483484 0
[pid=24334/tid=24335] ppid=24332 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/24334/task/24335/stat : 24335 (java) R 24332 24332 18930 0 -1 4202560 9361 0 0 0 614 4 0 0 20 0 15 0 61376528 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140402405282000 140402032476676 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24336] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24336/stat : 24336 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140402358012304 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24337] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24337/stat : 24337 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140402356959504 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24338] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24338/stat : 24338 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140402355907216 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24339] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24339/stat : 24339 (java) S 24332 24332 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140402354854416 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24340] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24340/stat : 24340 (java) S 24332 24332 18930 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401946815088 140402401057410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24341] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24341/stat : 24341 (java) S 24332 24332 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401945761056 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24342] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24342/stat : 24342 (java) S 24332 24332 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401876919920 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24343] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24343/stat : 24343 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401875868240 140402401064859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24344] ppid=24332 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/24334/task/24344/stat : 24344 (java) S 24332 24332 18930 0 -1 1077944384 5088 0 0 0 93 0 0 0 20 0 15 0 61376533 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401874815088 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24345] ppid=24332 vsize=13980732 CPUtime=1.04 cores=0,2,4,6
/proc/24334/task/24345/stat : 24345 (java) S 24332 24332 18930 0 -1 1077944384 4762 0 0 0 103 1 0 0 20 0 15 0 61376533 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401873762288 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24346] ppid=24332 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/24334/task/24346/stat : 24346 (java) S 24332 24332 18930 0 -1 1077944384 2763 0 0 0 33 0 0 0 20 0 15 0 61376533 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401872710000 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24347] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24347/stat : 24347 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401871657440 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24348] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24348/stat : 24348 (java) S 24332 24332 18930 0 -1 1077944384 699 0 0 0 0 0 0 0 20 0 15 0 61376536 14316269568 20679 18446744073709551615 4194304 4196468 140721617423328 140401870605232 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.13 1.98 1.96 3/215 24349
/proc/meminfo: memFree=31744208/32770624 swapFree=0/211204
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
[pid=24334] ppid=24332 vsize=13980732 CPUtime=15.05 cores=0,2,4,6
/proc/24334/stat : 24334 (java) S 24332 24332 18930 0 -1 1077944320 28212 0 0 0 1498 7 0 0 20 0 15 0 61376527 14316269568 21250 18446744073709551615 4194304 4196468 140721617423328 140721617405872 140402401046263 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
/proc/24334/statm: 3495183 21250 3178 1 0 3483484 0
[pid=24334/tid=24335] ppid=24332 vsize=13980732 CPUtime=12.58 cores=0,2,4,6
/proc/24334/task/24335/stat : 24335 (java) R 24332 24332 18930 0 -1 4202560 10434 0 0 0 1254 4 0 0 20 0 15 0 61376528 14316269568 21250 18446744073709551615 4194304 4196468 140721617423328 140402405283624 140402032473838 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24336] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24336/stat : 24336 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 21250 18446744073709551615 4194304 4196468 140721617423328 140402358012304 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24337] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24337/stat : 24337 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 21250 18446744073709551615 4194304 4196468 140721617423328 140402356959504 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
################
# More data... #
################
[pid=24334/tid=24341] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24341/stat : 24341 (java) S 24332 24332 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 29581 18446744073709551615 4194304 4196468 140721617423328 140401945761056 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24342] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24342/stat : 24342 (java) S 24332 24332 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 29581 18446744073709551615 4194304 4196468 140721617423328 140401876919920 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24343] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24343/stat : 24343 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 29581 18446744073709551615 4194304 4196468 140721617423328 140401875868240 140402401064859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24344] ppid=24332 vsize=13980732 CPUtime=1.75 cores=0,2,4,6
/proc/24334/task/24344/stat : 24344 (java) S 24332 24332 18930 0 -1 1077944384 17035 0 0 0 173 2 0 0 20 0 15 0 61376533 14316269568 29581 18446744073709551615 4194304 4196468 140721617423328 140401874815088 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24345] ppid=24332 vsize=13980732 CPUtime=1.6 cores=0,2,4,6
/proc/24334/task/24345/stat : 24345 (java) S 24332 24332 18930 0 -1 1077944384 11213 0 0 0 159 1 0 0 20 0 15 0 61376533 14316269568 29581 18446744073709551615 4194304 4196468 140721617423328 140401873762288 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24346] ppid=24332 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/24334/task/24346/stat : 24346 (java) S 24332 24332 18930 0 -1 1077944384 5036 0 0 0 39 0 0 0 20 0 15 0 61376533 14316269568 29581 18446744073709551615 4194304 4196468 140721617423328 140401872710000 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24347] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24347/stat : 24347 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 29581 18446744073709551615 4194304 4196468 140721617423328 140401871657440 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24348] ppid=24332 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/24334/task/24348/stat : 24348 (java) S 24332 24332 18930 0 -1 1077944384 1309 0 0 0 1 2 0 0 20 0 15 0 61376536 14316269568 29581 18446744073709551615 4194304 4196468 140721617423328 140401870605232 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
Current children cumulated CPU time (s) 105.99
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.02 1.98 1.96 3/215 24360
/proc/meminfo: memFree=31631444/32770624 swapFree=0/211304
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
[pid=24334] ppid=24332 vsize=13980732 CPUtime=166.02 cores=0,2,4,6
/proc/24334/stat : 24334 (java) S 24332 24332 18930 0 -1 1077944320 50922 0 0 0 16591 11 0 0 20 0 15 0 61376527 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140721617405872 140402401046263 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
/proc/24334/statm: 3495183 33684 3191 1 0 3483484 0
[pid=24334/tid=24335] ppid=24332 vsize=13980732 CPUtime=162.16 cores=0,2,4,6
/proc/24334/task/24335/stat : 24335 (java) R 24332 24332 18930 0 -1 4202560 13168 0 0 0 16212 4 0 0 20 0 15 0 61376528 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140402405282768 140402031627912 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24336] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24336/stat : 24336 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140402358012304 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24337] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24337/stat : 24337 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140402356959504 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24338] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24338/stat : 24338 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140402355907216 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24339] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24339/stat : 24339 (java) S 24332 24332 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140402354854416 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24340] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24340/stat : 24340 (java) S 24332 24332 18930 0 -1 1077944384 536 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401946815088 140402401057410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24341] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24341/stat : 24341 (java) S 24332 24332 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401945761056 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24342] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24342/stat : 24342 (java) S 24332 24332 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401876919920 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24343] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24343/stat : 24343 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401875868240 140402401064859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24344] ppid=24332 vsize=13980732 CPUtime=1.77 cores=0,2,4,6
/proc/24334/task/24344/stat : 24344 (java) S 24332 24332 18930 0 -1 1077944384 17199 0 0 0 175 2 0 0 20 0 15 0 61376533 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401874815088 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24345] ppid=24332 vsize=13980732 CPUtime=1.61 cores=0,2,4,6
/proc/24334/task/24345/stat : 24345 (java) S 24332 24332 18930 0 -1 1077944384 11393 0 0 0 160 1 0 0 20 0 15 0 61376533 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401873762288 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24346] ppid=24332 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/24334/task/24346/stat : 24346 (java) S 24332 24332 18930 0 -1 1077944384 5878 0 0 0 40 0 0 0 20 0 15 0 61376533 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401872710000 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24347] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24347/stat : 24347 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401871657440 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24348] ppid=24332 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/24334/task/24348/stat : 24348 (java) S 24332 24332 18930 0 -1 1077944384 1447 0 0 0 2 2 0 0 20 0 15 0 61376536 14316269568 33684 18446744073709551615 4194304 4196468 140721617423328 140401870605232 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
Current children cumulated CPU time (s) 166.02
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.09 2.00 1.97 3/215 24362
/proc/meminfo: memFree=31598436/32770624 swapFree=0/211328
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
[pid=24334] ppid=24332 vsize=13980732 CPUtime=226.07 cores=0,2,4,6
/proc/24334/stat : 24334 (java) S 24332 24332 18930 0 -1 1077944320 53478 0 0 0 22595 12 0 0 20 0 15 0 61376527 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140721617405872 140402401046263 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
/proc/24334/statm: 3495183 38297 3191 1 0 3483484 0
[pid=24334/tid=24335] ppid=24332 vsize=13980732 CPUtime=222.17 cores=0,2,4,6
/proc/24334/task/24335/stat : 24335 (java) R 24332 24332 18930 0 -1 4202560 13728 0 0 0 22212 5 0 0 20 0 15 0 61376528 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140402405283848 140402032870348 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24336] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24336/stat : 24336 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140402358012304 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24337] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24337/stat : 24337 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140402356959504 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24338] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24338/stat : 24338 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140402355907216 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24339] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24339/stat : 24339 (java) S 24332 24332 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140402354854416 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24340] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24340/stat : 24340 (java) S 24332 24332 18930 0 -1 1077944384 543 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401946815088 140402401057410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24341] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24341/stat : 24341 (java) S 24332 24332 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401945761056 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24342] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24342/stat : 24342 (java) S 24332 24332 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401876919920 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24343] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24343/stat : 24343 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401875868240 140402401064859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24344] ppid=24332 vsize=13980732 CPUtime=1.79 cores=0,2,4,6
/proc/24334/task/24344/stat : 24344 (java) S 24332 24332 18930 0 -1 1077944384 18339 0 0 0 177 2 0 0 20 0 15 0 61376533 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401874815088 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24345] ppid=24332 vsize=13980732 CPUtime=1.61 cores=0,2,4,6
/proc/24334/task/24345/stat : 24345 (java) S 24332 24332 18930 0 -1 1077944384 11481 0 0 0 160 1 0 0 20 0 15 0 61376533 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401873762288 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24346] ppid=24332 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/24334/task/24346/stat : 24346 (java) S 24332 24332 18930 0 -1 1077944384 6605 0 0 0 40 0 0 0 20 0 15 0 61376533 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401872710000 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24347] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24347/stat : 24347 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401871657440 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24348] ppid=24332 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/24334/task/24348/stat : 24348 (java) S 24332 24332 18930 0 -1 1077944384 1481 0 0 0 2 3 0 0 20 0 15 0 61376536 14316269568 38297 18446744073709551615 4194304 4196468 140721617423328 140401870605232 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
Current children cumulated CPU time (s) 226.07
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.98 1.98 1.96 3/215 24440
/proc/meminfo: memFree=29719544/32770624 swapFree=0/212344
[pid=24332] ppid=24329 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (xcsp3-exec) S 24329 24332 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61376520 9740288 345 18446744073709551615 4194304 5098028 140721868342912 140721868341016 140095228875388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 23683072 140721868349852 140721868350054 140721868350054 140721868353515 0
/proc/24332/statm: 2378 345 289 221 0 87 0
[pid=24334] ppid=24332 vsize=13980732 CPUtime=243.77 cores=0,2,4,6
/proc/24334/stat : 24334 (java) S 24332 24332 18930 0 -1 1077944320 54385 0 0 0 24365 12 0 0 20 0 15 0 61376527 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140721617405872 140402401046263 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
/proc/24334/statm: 3495183 39834 3191 1 0 3483484 0
[pid=24334/tid=24335] ppid=24332 vsize=13980732 CPUtime=239.86 cores=0,2,4,6
/proc/24334/task/24335/stat : 24335 (java) R 24332 24332 18930 0 -1 4202560 14011 0 0 0 23981 5 0 0 20 0 15 0 61376528 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140402405282816 140402032474169 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24336] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24336/stat : 24336 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140402358012304 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24337] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24337/stat : 24337 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140402356959504 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24338] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24338/stat : 24338 (java) S 24332 24332 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140402355907216 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24339] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24339/stat : 24339 (java) S 24332 24332 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61376528 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140402354854416 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24340] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24340/stat : 24340 (java) S 24332 24332 18930 0 -1 1077944384 583 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401946815088 140402401057410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24341] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24341/stat : 24341 (java) S 24332 24332 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401945761056 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24342] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24342/stat : 24342 (java) S 24332 24332 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61376530 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401876919920 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24343] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24343/stat : 24343 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401875868240 140402401064859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24344] ppid=24332 vsize=13980732 CPUtime=1.79 cores=0,2,4,6
/proc/24334/task/24344/stat : 24344 (java) S 24332 24332 18930 0 -1 1077944384 18342 0 0 0 177 2 0 0 20 0 15 0 61376533 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401874815088 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24345] ppid=24332 vsize=13980732 CPUtime=1.61 cores=0,2,4,6
/proc/24334/task/24345/stat : 24345 (java) S 24332 24332 18930 0 -1 1077944384 12036 0 0 0 160 1 0 0 20 0 15 0 61376533 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401873762288 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24346] ppid=24332 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/24334/task/24346/stat : 24346 (java) S 24332 24332 18930 0 -1 1077944384 6609 0 0 0 40 0 0 0 20 0 15 0 61376533 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401872710000 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24347] ppid=24332 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/24334/task/24347/stat : 24347 (java) S 24332 24332 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61376533 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401871657440 140402401056469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
[pid=24334/tid=24348] ppid=24332 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/24334/task/24348/stat : 24348 (java) S 24332 24332 18930 0 -1 1077944384 1503 0 0 0 3 3 0 0 20 0 15 0 61376536 14316269568 39834 18446744073709551615 4194304 4196468 140721617423328 140401870605232 140402401057410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140721617428947 140721617429122 140721617429122 140721617432527 0
Current children cumulated CPU time (s) 243.77
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 24334 sig 9
??? kill 24332 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24332 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1831
# CPU time returned by wait4() is 0.001831
# while last known CPU time is 243.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 243.77
CPU user time (s): 243.65
CPU system time (s): 0.12
CPU usage (%): 101.567
Max. virtual memory (cumulated for all children) (KiB): 13992004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001831
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06241 second user time and 1.33303 second system time
The end