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-4253978-1501613481/watcher-4253978-1501613481 -o /tmp/evaluation-result-4253978-1501613481/solver-4253978-1501613481 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 523159014 HOME/instance-4253978-1501613481.xml
pid=6535
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.82 1.83 1.50 3/195 6538
/proc/meminfo: memFree=31844032/32770624 swapFree=0/182136
[pid=6538] ppid=6535 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (runsolver) D 6535 6538 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9971202 24240128 108 18446744073709551615 4194304 4338465 140726715576480 140726715574120 139850565726935 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 7192576 140726715580510 140726715580998 140726715580998 140726715584458 0
/proc/6538/statm: 5918 108 54 36 0 2156 0
[startup+0.10122 s]
/proc/loadavg: 1.82 1.83 1.50 3/195 6538
/proc/meminfo: memFree=31844032/32770624 swapFree=0/182136
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20027 s]
/proc/loadavg: 1.82 1.83 1.50 3/195 6538
/proc/meminfo: memFree=31844032/32770624 swapFree=0/182136
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300238 s]
/proc/loadavg: 1.82 1.83 1.50 3/195 6538
/proc/meminfo: memFree=31844032/32770624 swapFree=0/182136
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700283 s]
/proc/loadavg: 1.82 1.83 1.50 3/195 6538
/proc/meminfo: memFree=31844032/32770624 swapFree=0/182136
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.82 1.83 1.50 5/211 6554
/proc/meminfo: memFree=31767364/32770624 swapFree=0/182156
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 CPUtime=3.26 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 5091 0 -1 1077944320 25204 0 0 0 319 7 0 0 20 0 15 0 9971209 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140722683835440 140542720806647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
/proc/6540/statm: 3495183 26161 3182 1 0 3483484 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 5091 0 -1 4202560 8780 0 0 0 130 3 0 0 20 0 15 0 9971209 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140542725042592 140542357146254 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140542677772944 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140542676720144 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140542675667344 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140542674614544 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9971211 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541704002416 140542720817794 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541702948384 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541701895536 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541700843856 140542720825243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 5091 0 -1 1077944384 7429 0 0 0 68 1 0 0 20 0 15 0 9971214 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541699791216 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) R 6538 6538 5091 0 -1 4202560 6023 0 0 0 80 1 0 0 20 0 15 0 9971214 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541698738416 140542705609181 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 5091 0 -1 1077944384 1664 0 0 0 40 1 0 0 20 0 15 0 9971214 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541697685616 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541696633056 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971223 14316269568 26161 18446744073709551615 4194304 4196468 140722683852896 140541695581360 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 1.82 1.83 1.50 4/211 6554
/proc/meminfo: memFree=31750232/32770624 swapFree=0/182156
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 CPUtime=5.08 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 5091 0 -1 1077944320 26312 0 0 0 501 7 0 0 20 0 15 0 9971209 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140722683835440 140542720806647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
/proc/6540/statm: 3495183 26549 3182 1 0 3483484 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 5091 0 -1 4202560 8941 0 0 0 290 3 0 0 20 0 15 0 9971209 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140542725042384 140542353694076 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140542677772944 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140542676720144 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140542675667344 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140542674614544 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 5091 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 9971211 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541704002416 140542720817794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541702948384 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541701895536 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541700843856 140542720825243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 5091 0 -1 1077944384 7837 0 0 0 74 1 0 0 20 0 15 0 9971214 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541699791216 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 5091 0 -1 1077944384 6450 0 0 0 95 1 0 0 20 0 15 0 9971214 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541698738416 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 5091 0 -1 1077944384 1712 0 0 0 40 1 0 0 20 0 15 0 9971214 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541697685616 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541696633056 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9971223 14316269568 26549 18446744073709551615 4194304 4196468 140722683852896 140541695581360 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 13990244
[startup+6.30064 s]
/proc/loadavg: 1.83 1.84 1.50 3/211 6635
/proc/meminfo: memFree=31815676/32770624 swapFree=0/182200
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 CPUtime=8.49 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 5091 0 -1 1077944320 29277 0 0 0 841 8 0 0 20 0 15 0 9971209 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140722683835440 140542720806647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
/proc/6540/statm: 3495183 26627 3186 1 0 3483484 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 5091 0 -1 4202560 9451 0 0 0 610 3 0 0 20 0 15 0 9971209 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140542725043656 140542357833905 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140542677772944 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140542676720144 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140542675667344 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140542674614544 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 5091 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 9971211 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541704002416 140542720817794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541702948384 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541701895536 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541700843856 140542720825243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 5091 0 -1 1077944384 8208 0 0 0 82 1 0 0 20 0 15 0 9971214 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541699791216 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 CPUtime=1.06 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 5091 0 -1 1077944384 7022 0 0 0 105 1 0 0 20 0 15 0 9971214 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541698738416 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 5091 0 -1 1077944384 2226 0 0 0 42 1 0 0 20 0 15 0 9971214 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541697685616 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541696633056 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 5091 0 -1 1077944384 786 0 0 0 0 0 0 0 20 0 15 0 9971223 14316269568 26627 18446744073709551615 4194304 4196468 140722683852896 140541695581360 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.84 1.84 1.51 3/211 6635
/proc/meminfo: memFree=31778760/32770624 swapFree=0/182208
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 CPUtime=14.95 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 5091 0 -1 1077944320 31261 0 0 0 1487 8 0 0 20 0 15 0 9971209 14316269568 25540 18446744073709551615 4194304 4196468 140722683852896 140722683835440 140542720806647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
/proc/6540/statm: 3495183 25540 3186 1 0 3483484 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 CPUtime=12.52 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 5091 0 -1 4202560 9950 0 0 0 1249 3 0 0 20 0 15 0 9971209 14316269568 25540 18446744073709551615 4194304 4196468 140722683852896 140542725042416 140542357833956 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 25540 18446744073709551615 4194304 4196468 140722683852896 140542677772944 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 25540 18446744073709551615 4194304 4196468 140722683852896 140542676720144 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
################
# More data... #
################
/proc/6540/stat : 6540 (java) S 6538 6538 5091 0 -1 1077944320 64522 0 0 0 10638 12 0 0 20 0 15 0 9971209 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140722683835440 140542720806647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
/proc/6540/statm: 3495183 32163 3192 1 0 3483484 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 CPUtime=102.11 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 5091 0 -1 4202560 12654 0 0 0 10208 3 0 0 20 0 15 0 9971209 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140542725043976 140542353694076 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140542677772944 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140542676720144 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140542675667344 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140542674614544 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 5091 0 -1 1077944384 523 0 0 0 0 0 0 0 20 0 15 0 9971211 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541704002416 140542720817794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541702948384 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541701895536 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541700843856 140542720825243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 CPUtime=1.85 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 5091 0 -1 1077944384 22461 0 0 0 182 3 0 0 20 0 15 0 9971214 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541699791216 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 CPUtime=1.95 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 5091 0 -1 1077944384 20353 0 0 0 193 2 0 0 20 0 15 0 9971214 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541698738416 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 5091 0 -1 1077944384 6195 0 0 0 51 1 0 0 20 0 15 0 9971214 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541697685616 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541696633056 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 5091 0 -1 1077944384 1036 0 0 0 1 1 0 0 20 0 15 0 9971223 14316269568 32163 18446744073709551615 4194304 4196468 140722683852896 140541695581360 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
Current children cumulated CPU time (s) 106.5
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.96 1.89 1.57 3/212 6723
/proc/meminfo: memFree=31630012/32770624 swapFree=0/182360
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 CPUtime=166.75 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 5091 0 -1 1077944320 65633 0 0 0 16662 13 0 0 20 0 15 0 9971209 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140722683835440 140542720806647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
/proc/6540/statm: 3495183 35248 3195 1 0 3483484 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 CPUtime=162.1 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 5091 0 -1 4202560 12964 0 0 0 16207 3 0 0 20 0 15 0 9971209 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140542725042624 140542353694076 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140542677772944 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140542676720144 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140542675667344 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140542674614544 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 5091 0 -1 1077944384 555 0 0 0 0 0 0 0 20 0 15 0 9971211 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541704002416 140542720817794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541702948384 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541701895536 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541700843856 140542720825243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 CPUtime=2.06 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 5091 0 -1 1077944384 22922 0 0 0 203 3 0 0 20 0 15 0 9971214 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541699791216 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 CPUtime=1.98 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 5091 0 -1 1077944384 20466 0 0 0 196 2 0 0 20 0 15 0 9971214 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541698738416 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 5091 0 -1 1077944384 6359 0 0 0 51 1 0 0 20 0 15 0 9971214 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541697685616 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541696633056 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 5091 0 -1 1077944384 1067 0 0 0 1 2 0 0 20 0 15 0 9971223 14316269568 35248 18446744073709551615 4194304 4196468 140722683852896 140541695581360 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
Current children cumulated CPU time (s) 166.75
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.98 1.91 1.60 3/212 6725
/proc/meminfo: memFree=31625648/32770624 swapFree=0/182396
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 CPUtime=226.79 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 5091 0 -1 1077944320 66729 0 0 0 22666 13 0 0 20 0 15 0 9971209 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140722683835440 140542720806647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
/proc/6540/statm: 3495183 36273 3195 1 0 3483484 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 CPUtime=222.11 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 5091 0 -1 4202560 13272 0 0 0 22208 3 0 0 20 0 15 0 9971209 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140542725043136 140542357833987 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140542677772944 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140542676720144 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140542675667344 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140542674614544 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 5091 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 9971211 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541704002416 140542720817794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541702948384 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541701895536 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541700843856 140542720825243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 CPUtime=2.07 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 5091 0 -1 1077944384 23202 0 0 0 204 3 0 0 20 0 15 0 9971214 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541699791216 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 5091 0 -1 1077944384 20899 0 0 0 197 2 0 0 20 0 15 0 9971214 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541698738416 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 5091 0 -1 1077944384 6371 0 0 0 52 1 0 0 20 0 15 0 9971214 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541697685616 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541696633056 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 5091 0 -1 1077944384 1099 0 0 0 2 3 0 0 20 0 15 0 9971223 14316269568 36273 18446744073709551615 4194304 4196468 140722683852896 140541695581360 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
Current children cumulated CPU time (s) 226.79
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.99 1.91 1.61 3/212 6725
/proc/meminfo: memFree=31601528/32770624 swapFree=0/182400
[pid=6538] ppid=6535 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9971202 9740288 345 18446744073709551615 4194304 5098028 140721996518288 140721996516392 139703402242684 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 24821760 140721996521884 140721996522087 140721996522087 140721996525547 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 CPUtime=245.31 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 5091 0 -1 1077944320 73371 0 0 0 24516 15 0 0 20 0 15 0 9971209 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140722683835440 140542720806647 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
/proc/6540/statm: 3495183 42300 3195 1 0 3483484 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 CPUtime=239.81 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 5091 0 -1 4202560 13496 0 0 0 23977 4 0 0 20 0 15 0 9971209 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140542725043040 140542357834149 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140542677772944 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140542676720144 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140542675667344 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971210 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140542674614544 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 5091 0 -1 1077944384 602 0 0 0 0 0 0 0 20 0 15 0 9971211 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541704002416 140542720817794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541702948384 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971212 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541701895536 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541700843856 140542720825243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 5091 0 -1 1077944384 28378 0 0 0 245 3 0 0 20 0 15 0 9971214 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541699791216 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 CPUtime=2.39 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 5091 0 -1 1077944384 21596 0 0 0 236 3 0 0 20 0 15 0 9971214 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541698738416 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 5091 0 -1 1077944384 6881 0 0 0 52 1 0 0 20 0 15 0 9971214 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541697685616 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971214 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541696633056 140542720816853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 5091 0 -1 1077944384 1118 0 0 0 2 3 0 0 20 0 15 0 9971223 14316269568 42300 18446744073709551615 4194304 4196468 140722683852896 140541695581360 140542720817794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140722683855316 140722683855491 140722683855491 140722683858895 0
Current children cumulated CPU time (s) 245.31
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 6540 sig 9
??? kill 6538 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.012
CPU time (s): 245.332
CPU user time (s): 245.169
CPU system time (s): 0.162977
CPU usage (%): 102.217
Max. virtual memory (cumulated for all children) (KiB): 13992332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.169
system time used= 0.162977
maximum resident set size= 176084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74282
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= 7790
involuntary context switches= 171
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10665 second user time and 1.30377 second system time
The end