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-4254251-1501615250/watcher-4254251-1501615250 -o /tmp/evaluation-result-4254251-1501615250/solver-4254251-1501615250 -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 1477465935 HOME/instance-4254251-1501615250.xml
pid=8583
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: 2.06 2.00 1.91 3/195 8586
/proc/meminfo: memFree=31861032/32770624 swapFree=0/184252
[pid=8586] ppid=8583 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (runsolver) D 8583 8586 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10148103 24240128 108 18446744073709551615 4194304 4338465 140732188561520 140732188559160 140630012408535 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 26701824 140732188569693 140732188570182 140732188570182 140732188573642 0
/proc/8586/statm: 5918 108 54 36 0 2156 0
[startup+0.101559 s]
/proc/loadavg: 2.06 2.00 1.91 3/195 8586
/proc/meminfo: memFree=31861032/32770624 swapFree=0/184252
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20028 s]
/proc/loadavg: 2.06 2.00 1.91 3/195 8586
/proc/meminfo: memFree=31861032/32770624 swapFree=0/184252
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305478 s]
/proc/loadavg: 2.06 2.00 1.91 3/195 8586
/proc/meminfo: memFree=31861032/32770624 swapFree=0/184252
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700265 s]
/proc/loadavg: 2.06 2.00 1.91 3/195 8586
/proc/meminfo: memFree=31861032/32770624 swapFree=0/184252
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.501 s]
/proc/loadavg: 2.06 2.00 1.91 5/211 8602
/proc/meminfo: memFree=31778260/32770624 swapFree=0/184288
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
[pid=8588] ppid=8586 vsize=13985056 CPUtime=3.7 cores=1,3,5,7
/proc/8588/stat : 8588 (java) S 8586 8586 5091 0 -1 1077944320 35418 0 0 0 361 9 0 0 20 0 15 0 10148109 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 140729449127200 139824434446071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
/proc/8588/statm: 3496264 28278 3183 1 0 3484565 0
[pid=8588/tid=8589] ppid=8586 vsize=13985056 CPUtime=1.37 cores=1,3,5,7
/proc/8588/task/8589/stat : 8589 (java) R 8586 8586 5091 0 -1 4202560 9028 0 0 0 132 5 0 0 20 0 15 0 10148110 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139824438685120 139824078878109 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8590] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8590/stat : 8590 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139824406289040 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8591] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8591/stat : 8591 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139824033950224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8592] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8592/stat : 8592 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139824032897424 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8593] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8593/stat : 8593 (java) S 8586 8586 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10148110 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139824031844624 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8594] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8594/stat : 8594 (java) S 8586 8586 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10148112 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823912905584 139824434457218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8595] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8595/stat : 8595 (java) S 8586 8586 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10148112 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823911851552 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8596] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8596/stat : 8596 (java) S 8586 8586 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10148112 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823910798704 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8597] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8597/stat : 8597 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823909747024 139824434464667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8598] ppid=8586 vsize=13985056 CPUtime=0.98 cores=1,3,5,7
/proc/8588/task/8598/stat : 8598 (java) R 8586 8586 5091 0 -1 4202560 13276 0 0 0 97 1 0 0 20 0 15 0 10148115 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823908680120 139824415989794 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8599] ppid=8586 vsize=13985056 CPUtime=0.96 cores=1,3,5,7
/proc/8588/task/8599/stat : 8599 (java) R 8586 8586 5091 0 -1 4202560 9711 0 0 0 95 1 0 0 20 0 15 0 10148115 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823907630944 139824415990289 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8600] ppid=8586 vsize=13985056 CPUtime=0.37 cores=1,3,5,7
/proc/8588/task/8600/stat : 8600 (java) R 8586 8586 5091 0 -1 1077944384 2094 0 0 0 36 1 0 0 20 0 15 0 10148115 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823906588784 139824434457218 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8601] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8601/stat : 8601 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823905536224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8602] ppid=8586 vsize=13985056 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8602/stat : 8602 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148120 14320697344 28278 18446744073709551615 4194304 4196468 140729449144656 139823904484528 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13994568
[startup+3.1016 s]
/proc/loadavg: 2.06 2.00 1.91 5/211 8602
/proc/meminfo: memFree=31747508/32770624 swapFree=0/184288
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
[pid=8588] ppid=8586 vsize=13980732 CPUtime=8.31 cores=1,3,5,7
/proc/8588/stat : 8588 (java) S 8586 8586 5091 0 -1 1077944320 41054 0 0 0 820 11 0 0 20 0 15 0 10148109 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 140729449127200 139824434446071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
/proc/8588/statm: 3495183 31694 3187 1 0 3483484 0
[pid=8588/tid=8589] ppid=8586 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/8588/task/8589/stat : 8589 (java) R 8586 8586 5091 0 -1 4202560 9802 0 0 0 291 5 0 0 20 0 15 0 10148110 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139824438677328 139824079221312 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8590] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8590/stat : 8590 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139824406289040 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8591] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8591/stat : 8591 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139824033950224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8592] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8592/stat : 8592 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139824032897424 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8593] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8593/stat : 8593 (java) S 8586 8586 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139824031844624 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8594] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8594/stat : 8594 (java) S 8586 8586 5091 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823912905584 139824434457218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8595] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8595/stat : 8595 (java) S 8586 8586 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823911851552 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8596] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8596/stat : 8596 (java) S 8586 8586 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823910798704 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8597] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8597/stat : 8597 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823909747024 139824434464667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8598] ppid=8586 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/8588/task/8598/stat : 8598 (java) R 8586 8586 5091 0 -1 4202560 15652 0 0 0 243 2 0 0 20 0 15 0 10148115 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823908680608 139824413689719 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8599] ppid=8586 vsize=13980732 CPUtime=2.42 cores=1,3,5,7
/proc/8588/task/8599/stat : 8599 (java) R 8586 8586 5091 0 -1 4202560 11923 0 0 0 241 1 0 0 20 0 15 0 10148115 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823907628048 139824415967250 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8600] ppid=8586 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/8588/task/8600/stat : 8600 (java) S 8586 8586 5091 0 -1 1077944384 2326 0 0 0 43 1 0 0 20 0 15 0 10148115 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823906588784 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8601] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8601/stat : 8601 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823905536224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8602] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8602/stat : 8602 (java) S 8586 8586 5091 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 10148120 14316269568 31694 18446744073709551615 4194304 4196468 140729449144656 139823904484528 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
Current children cumulated CPU time (s) 8.31
Current children cumulated vsize (KiB) 13990244
[startup+6.30061 s]
/proc/loadavg: 2.06 2.00 1.91 4/211 8602
/proc/meminfo: memFree=31755544/32770624 swapFree=0/184292
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
[pid=8588] ppid=8586 vsize=13980732 CPUtime=12.25 cores=1,3,5,7
/proc/8588/stat : 8588 (java) S 8586 8586 5091 0 -1 1077944320 47402 0 0 0 1214 11 0 0 20 0 15 0 10148109 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 140729449127200 139824434446071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
/proc/8588/statm: 3495183 28573 3201 1 0 3483484 0
[pid=8588/tid=8589] ppid=8586 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/8588/task/8589/stat : 8589 (java) R 8586 8586 5091 0 -1 4202560 10634 0 0 0 611 5 0 0 20 0 15 0 10148110 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139824438682240 139824081089150 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8590] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8590/stat : 8590 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139824406289040 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8591] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8591/stat : 8591 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139824033950224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8592] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8592/stat : 8592 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139824032897424 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8593] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8593/stat : 8593 (java) S 8586 8586 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139824031844624 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8594] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8594/stat : 8594 (java) S 8586 8586 5091 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823912905584 139824434457218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8595] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8595/stat : 8595 (java) S 8586 8586 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823911851552 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8596] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8596/stat : 8596 (java) S 8586 8586 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823910798704 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8597] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8597/stat : 8597 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823909747024 139824434464667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8598] ppid=8586 vsize=13980732 CPUtime=2.75 cores=1,3,5,7
/proc/8588/task/8598/stat : 8598 (java) S 8586 8586 5091 0 -1 1077944384 16772 0 0 0 273 2 0 0 20 0 15 0 10148115 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823908694384 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8599] ppid=8586 vsize=13980732 CPUtime=2.82 cores=1,3,5,7
/proc/8588/task/8599/stat : 8599 (java) S 8586 8586 5091 0 -1 1077944384 14327 0 0 0 281 1 0 0 20 0 15 0 10148115 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823907641584 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8600] ppid=8586 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/8588/task/8600/stat : 8600 (java) S 8586 8586 5091 0 -1 1077944384 2857 0 0 0 48 1 0 0 20 0 15 0 10148115 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823906588784 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8601] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8601/stat : 8601 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823905536224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8602] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8602/stat : 8602 (java) S 8586 8586 5091 0 -1 1077944384 1245 0 0 0 0 0 0 0 20 0 15 0 10148120 14316269568 28573 18446744073709551615 4194304 4196468 140729449144656 139823904484528 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.05 2.00 1.91 3/211 8603
/proc/meminfo: memFree=31731960/32770624 swapFree=0/184304
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
[pid=8588] ppid=8586 vsize=13980732 CPUtime=19 cores=1,3,5,7
/proc/8588/stat : 8588 (java) S 8586 8586 5091 0 -1 1077944320 52015 0 0 0 1888 12 0 0 20 0 15 0 10148109 14316269568 33781 18446744073709551615 4194304 4196468 140729449144656 140729449127200 139824434446071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
/proc/8588/statm: 3495183 33781 3203 1 0 3483484 0
[pid=8588/tid=8589] ppid=8586 vsize=13980732 CPUtime=12.57 cores=1,3,5,7
/proc/8588/task/8589/stat : 8589 (java) R 8586 8586 5091 0 -1 4202560 11471 0 0 0 1251 6 0 0 20 0 15 0 10148110 14316269568 33781 18446744073709551615 4194304 4196468 140729449144656 139824438683368 139824081088865 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8590] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8590/stat : 8590 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 33781 18446744073709551615 4194304 4196468 140729449144656 139824406289040 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8591] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8591/stat : 8591 (java) S 8586 8586 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 33781 18446744073709551615 4194304 4196468 140729449144656 139824033950224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
################
# More data... #
################
/proc/8588/stat : 8588 (java) S 8586 8586 5091 0 -1 1077944320 65367 0 0 0 10897 15 0 0 20 0 15 0 10148109 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 140729449127200 139824434446071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
/proc/8588/statm: 3495183 54902 3221 1 0 3483484 0
[pid=8588/tid=8589] ppid=8586 vsize=13980732 CPUtime=102.15 cores=1,3,5,7
/proc/8588/task/8589/stat : 8589 (java) R 8586 8586 5091 0 -1 4202560 13824 0 0 0 10209 6 0 0 20 0 15 0 10148110 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139824438684856 139824080866185 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8590] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8590/stat : 8590 (java) S 8586 8586 5091 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139824406289040 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8591] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8591/stat : 8591 (java) S 8586 8586 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139824033950224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8592] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8592/stat : 8592 (java) S 8586 8586 5091 0 -1 1077944384 558 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139824032897424 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8593] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8593/stat : 8593 (java) S 8586 8586 5091 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139824031844624 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8594] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8594/stat : 8594 (java) S 8586 8586 5091 0 -1 1077944384 667 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823912905584 139824434457218 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8595] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8595/stat : 8595 (java) S 8586 8586 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823911851552 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8596] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8596/stat : 8596 (java) S 8586 8586 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823910798704 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8597] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8597/stat : 8597 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823909747024 139824434464667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8598] ppid=8586 vsize=13980732 CPUtime=3.16 cores=1,3,5,7
/proc/8588/task/8598/stat : 8598 (java) S 8586 8586 5091 0 -1 1077944384 21370 0 0 0 314 2 0 0 20 0 15 0 10148115 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823908694384 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8599] ppid=8586 vsize=13980732 CPUtime=3.17 cores=1,3,5,7
/proc/8588/task/8599/stat : 8599 (java) S 8586 8586 5091 0 -1 1077944384 20234 0 0 0 315 2 0 0 20 0 15 0 10148115 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823907641584 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8600] ppid=8586 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/8588/task/8600/stat : 8600 (java) S 8586 8586 5091 0 -1 1077944384 5436 0 0 0 53 1 0 0 20 0 15 0 10148115 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823906588784 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8601] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8601/stat : 8601 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823905536224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8602] ppid=8586 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8588/task/8602/stat : 8602 (java) S 8586 8586 5091 0 -1 1077944384 1445 0 0 0 0 1 0 0 20 0 15 0 10148120 14316269568 54902 18446744073709551615 4194304 4196468 140729449144656 139823904484528 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
Current children cumulated CPU time (s) 109.12
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/211 8607
/proc/meminfo: memFree=31526912/32770624 swapFree=0/184396
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
[pid=8588] ppid=8586 vsize=13980732 CPUtime=169.19 cores=1,3,5,7
/proc/8588/stat : 8588 (java) S 8586 8586 5091 0 -1 1077944320 68756 0 0 0 16903 16 0 0 20 0 15 0 10148109 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 140729449127200 139824434446071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
/proc/8588/statm: 3495183 55946 3228 1 0 3483484 0
[pid=8588/tid=8589] ppid=8586 vsize=13980732 CPUtime=162.14 cores=1,3,5,7
/proc/8588/task/8589/stat : 8589 (java) R 8586 8586 5091 0 -1 4202560 14547 0 0 0 16208 6 0 0 20 0 15 0 10148110 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139824438685568 139824081088865 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8590] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8590/stat : 8590 (java) S 8586 8586 5091 0 -1 1077944384 734 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139824406289040 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8591] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8591/stat : 8591 (java) S 8586 8586 5091 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139824033950224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8592] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8592/stat : 8592 (java) S 8586 8586 5091 0 -1 1077944384 844 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139824032897424 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8593] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8593/stat : 8593 (java) S 8586 8586 5091 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139824031844624 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8594] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8594/stat : 8594 (java) S 8586 8586 5091 0 -1 1077944384 887 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823912905584 139824434457218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8595] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8595/stat : 8595 (java) S 8586 8586 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823911851552 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8596] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8596/stat : 8596 (java) S 8586 8586 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823910798704 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8597] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8597/stat : 8597 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823909747024 139824434464667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8598] ppid=8586 vsize=13980732 CPUtime=3.2 cores=1,3,5,7
/proc/8588/task/8598/stat : 8598 (java) S 8586 8586 5091 0 -1 1077944384 22668 0 0 0 318 2 0 0 20 0 15 0 10148115 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823908694384 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8599] ppid=8586 vsize=13980732 CPUtime=3.17 cores=1,3,5,7
/proc/8588/task/8599/stat : 8599 (java) S 8586 8586 5091 0 -1 1077944384 20242 0 0 0 315 2 0 0 20 0 15 0 10148115 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823907641584 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8600] ppid=8586 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/8588/task/8600/stat : 8600 (java) S 8586 8586 5091 0 -1 1077944384 5483 0 0 0 54 1 0 0 20 0 15 0 10148115 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823906588784 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8601] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8601/stat : 8601 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823905536224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8602] ppid=8586 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8588/task/8602/stat : 8602 (java) S 8586 8586 5091 0 -1 1077944384 1478 0 0 0 1 1 0 0 20 0 15 0 10148120 14316269568 55946 18446744073709551615 4194304 4196468 140729449144656 139823904484528 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
Current children cumulated CPU time (s) 169.19
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/212 8616
/proc/meminfo: memFree=31527196/32770624 swapFree=0/184432
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
[pid=8588] ppid=8586 vsize=13980732 CPUtime=229.2 cores=1,3,5,7
/proc/8588/stat : 8588 (java) S 8586 8586 5091 0 -1 1077944320 69192 0 0 0 22904 16 0 0 20 0 15 0 10148109 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 140729449127200 139824434446071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
/proc/8588/statm: 3495183 55948 3228 1 0 3483484 0
[pid=8588/tid=8589] ppid=8586 vsize=13980732 CPUtime=222.15 cores=1,3,5,7
/proc/8588/task/8589/stat : 8589 (java) R 8586 8586 5091 0 -1 4202560 14780 0 0 0 22209 6 0 0 20 0 15 0 10148110 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139824438685064 139824080854950 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8590] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8590/stat : 8590 (java) S 8586 8586 5091 0 -1 1077944384 734 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139824406289040 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8591] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8591/stat : 8591 (java) S 8586 8586 5091 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139824033950224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8592] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8592/stat : 8592 (java) S 8586 8586 5091 0 -1 1077944384 844 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139824032897424 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8593] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8593/stat : 8593 (java) S 8586 8586 5091 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139824031844624 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8594] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8594/stat : 8594 (java) S 8586 8586 5091 0 -1 1077944384 889 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823912905584 139824434457218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8595] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8595/stat : 8595 (java) S 8586 8586 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823911851552 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8596] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8596/stat : 8596 (java) S 8586 8586 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823910798704 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8597] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8597/stat : 8597 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823909747024 139824434464667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8598] ppid=8586 vsize=13980732 CPUtime=3.2 cores=1,3,5,7
/proc/8588/task/8598/stat : 8598 (java) S 8586 8586 5091 0 -1 1077944384 22670 0 0 0 318 2 0 0 20 0 15 0 10148115 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823908694384 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8599] ppid=8586 vsize=13980732 CPUtime=3.17 cores=1,3,5,7
/proc/8588/task/8599/stat : 8599 (java) S 8586 8586 5091 0 -1 1077944384 20244 0 0 0 315 2 0 0 20 0 15 0 10148115 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823907641584 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8600] ppid=8586 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/8588/task/8600/stat : 8600 (java) S 8586 8586 5091 0 -1 1077944384 5678 0 0 0 54 1 0 0 20 0 15 0 10148115 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823906588784 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8601] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8601/stat : 8601 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823905536224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8602] ppid=8586 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8588/task/8602/stat : 8602 (java) S 8586 8586 5091 0 -1 1077944384 1480 0 0 0 2 2 0 0 20 0 15 0 10148120 14316269568 55948 18446744073709551615 4194304 4196468 140729449144656 139823904484528 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
Current children cumulated CPU time (s) 229.2
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.08 2.01 1.94 3/212 8694
/proc/meminfo: memFree=31379924/32770624 swapFree=0/184476
[pid=8586] ppid=8583 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8586/stat : 8586 (xcsp3-exec) S 8583 8586 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10148103 9740288 345 18446744073709551615 4194304 5098028 140732273846384 140732273844488 140202719425148 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38187008 140732273852827 140732273853031 140732273853031 140732273856491 0
/proc/8586/statm: 2378 345 289 221 0 87 0
[pid=8588] ppid=8586 vsize=13980732 CPUtime=246.91 cores=1,3,5,7
/proc/8588/stat : 8588 (java) S 8586 8586 5091 0 -1 1077944320 70417 0 0 0 24675 16 0 0 20 0 15 0 10148109 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 140729449127200 139824434446071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
/proc/8588/statm: 3495183 55956 3228 1 0 3483484 0
[pid=8588/tid=8589] ppid=8586 vsize=13980732 CPUtime=239.85 cores=1,3,5,7
/proc/8588/task/8589/stat : 8589 (java) R 8586 8586 5091 0 -1 4202560 15299 0 0 0 23978 7 0 0 20 0 15 0 10148110 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139824438682568 139824081156450 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8590] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8590/stat : 8590 (java) S 8586 8586 5091 0 -1 1077944384 795 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139824406289040 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8591] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8591/stat : 8591 (java) S 8586 8586 5091 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139824033950224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8592] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8592/stat : 8592 (java) S 8586 8586 5091 0 -1 1077944384 1022 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139824032897424 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8593] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8593/stat : 8593 (java) S 8586 8586 5091 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 15 0 10148110 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139824031844624 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8594] ppid=8586 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8588/task/8594/stat : 8594 (java) S 8586 8586 5091 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 15 0 10148112 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823912905584 139824434457218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8595] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8595/stat : 8595 (java) S 8586 8586 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823911851552 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8596] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8596/stat : 8596 (java) S 8586 8586 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10148112 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823910798704 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8597] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8597/stat : 8597 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823909747024 139824434464667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8598] ppid=8586 vsize=13980732 CPUtime=3.2 cores=1,3,5,7
/proc/8588/task/8598/stat : 8598 (java) S 8586 8586 5091 0 -1 1077944384 22671 0 0 0 318 2 0 0 20 0 15 0 10148115 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823908694384 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8599] ppid=8586 vsize=13980732 CPUtime=3.18 cores=1,3,5,7
/proc/8588/task/8599/stat : 8599 (java) S 8586 8586 5091 0 -1 1077944384 20582 0 0 0 316 2 0 0 20 0 15 0 10148115 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823907641584 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8600] ppid=8586 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/8588/task/8600/stat : 8600 (java) S 8586 8586 5091 0 -1 1077944384 5679 0 0 0 54 1 0 0 20 0 15 0 10148115 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823906588784 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8601] ppid=8586 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8588/task/8601/stat : 8601 (java) S 8586 8586 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10148115 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823905536224 139824434456277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
[pid=8588/tid=8602] ppid=8586 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8588/task/8602/stat : 8602 (java) S 8586 8586 5091 0 -1 1077944384 1502 0 0 0 2 2 0 0 20 0 15 0 10148120 14316269568 55956 18446744073709551615 4194304 4196468 140729449144656 139823904484528 139824434457218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32243712 140729449148884 140729449149059 140729449149059 140729449152463 0
Current children cumulated CPU time (s) 246.91
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 8588 sig 9
??? kill 8586 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.013
CPU time (s): 246.938
CPU user time (s): 246.763
CPU system time (s): 0.174948
CPU usage (%): 102.886
Max. virtual memory (cumulated for all children) (KiB): 13994568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.763
system time used= 0.174948
maximum resident set size= 224424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71429
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= 7927
involuntary context switches= 151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02973 second user time and 1.28359 second system time
The end