runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node30/watcher-456351-1179022588 -o ROOT/results/node30/solver-456351-1179022588 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456351-1179022588/MiraXTv3_dyn /tmp/evaluation/456351-1179022588/instance-456351-1179022588.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.55 1.88 1.93 3/77 15055
/proc/meminfo: memFree=1632008/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=3788 CPUtime=0
/proc/15055/stat : 15055 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194304 387 0 0 0 0 0 0 0 18 0 1 0 350174542 3878912 362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 7455693 0 0 4096 0 0 0 0 17 0 0 0
/proc/15055/statm: 947 364 205 20 0 305 0

[startup+0.095348 s]
/proc/loadavg: 1.55 1.88 1.93 3/77 15055
/proc/meminfo: memFree=1632008/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=11236 CPUtime=0.09
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 1134 0 0 0 9 0 0 0 18 0 3 0 350174542 11505664 1057 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 2809 1058 214 20 0 2167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11236

[startup+0.101351 s]
/proc/loadavg: 1.55 1.88 1.93 3/77 15055
/proc/meminfo: memFree=1632008/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=11656 CPUtime=0.09
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 1449 0 0 0 9 0 0 0 18 0 3 0 350174542 11935744 1372 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 2914 1373 216 20 0 2272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11656

[startup+0.301364 s]
/proc/loadavg: 1.55 1.88 1.93 3/77 15055
/proc/meminfo: memFree=1632008/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=12944 CPUtime=0.42
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 1648 0 0 0 42 0 0 0 18 0 3 0 350174542 13254656 1571 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 3236 1571 218 20 0 2594 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 12944

[startup+0.701393 s]
/proc/loadavg: 1.55 1.88 1.93 3/77 15055
/proc/meminfo: memFree=1632008/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=14892 CPUtime=1.23
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 2150 0 0 0 122 1 0 0 18 0 3 0 350174542 15249408 2073 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 3723 2073 218 20 0 3081 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 14892

[startup+1.50145 s]
/proc/loadavg: 1.55 1.88 1.93 3/80 15058
/proc/meminfo: memFree=1623024/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=19052 CPUtime=2.82
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 3226 0 0 0 281 1 0 0 18 0 3 0 350174542 19509248 3149 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 4763 3149 218 20 0 4121 0
[pid=15055/tid=15057] ppid=15053 vsize=19052 CPUtime=1.4
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 1177 0 0 0 140 0 0 0 25 0 3 0 350174552 19509248 3149 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=19052 CPUtime=1.32
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 1150 0 0 0 132 0 0 0 25 0 3 0 350174552 19509248 3149 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 19052

[startup+3.10255 s]
/proc/loadavg: 1.55 1.88 1.93 3/80 15058
/proc/meminfo: memFree=1617584/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=25888 CPUtime=6.02
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 4933 0 0 0 599 3 0 0 18 0 3 0 350174542 26509312 4856 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 6472 4856 218 20 0 5830 0
[pid=15055/tid=15057] ppid=15053 vsize=25888 CPUtime=3
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 1956 0 0 0 299 1 0 0 25 0 3 0 350174552 26509312 4856 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520280 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=25888 CPUtime=2.92
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 2078 0 0 0 291 1 0 0 25 0 3 0 350174552 26509312 4856 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 25888

[startup+6.30176 s]
/proc/loadavg: 1.58 1.88 1.93 3/80 15058
/proc/meminfo: memFree=1603312/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=38972 CPUtime=12.4
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 8274 0 0 0 1234 6 0 0 18 0 3 0 350174542 39907328 8197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 9743 8197 218 20 0 9101 0
[pid=15055/tid=15057] ppid=15053 vsize=38972 CPUtime=6.19
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 3452 0 0 0 617 2 0 0 25 0 3 0 350174552 39907328 8197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=38972 CPUtime=6.11
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 3923 0 0 0 608 3 0 0 25 0 3 0 350174552 39907328 8197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134542703 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 38972

[startup+12.7012 s]
/proc/loadavg: 1.62 1.88 1.93 3/80 15058
/proc/meminfo: memFree=1590448/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=47420 CPUtime=25.18
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 10580 0 0 0 2508 10 0 0 18 0 3 0 350174542 48558080 10503 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 11855 10503 218 20 0 11213 0
[pid=15055/tid=15057] ppid=15053 vsize=47420 CPUtime=12.6
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 4744 0 0 0 1256 4 0 0 25 0 3 0 350174552 48558080 10503 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520272 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=47420 CPUtime=12.48
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 4937 0 0 0 1243 5 0 0 25 0 3 0 350174552 48558080 10503 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 47420

[startup+25.501 s]
/proc/loadavg: 1.70 1.88 1.93 3/80 15058
/proc/meminfo: memFree=1552688/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=85652 CPUtime=50.71
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 20337 0 0 0 5051 20 0 0 18 0 3 0 350174542 87707648 20105 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 21413 20105 218 20 0 20771 0
[pid=15055/tid=15057] ppid=15053 vsize=85652 CPUtime=25.39
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 9340 0 0 0 2531 8 0 0 25 0 3 0 350174552 87707648 20105 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=85652 CPUtime=25.23
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 10098 0 0 0 2511 12 0 0 25 0 3 0 350174552 87707648 20105 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 85652

[startup+51.1017 s]
/proc/loadavg: 1.80 1.89 1.93 3/80 15058
/proc/meminfo: memFree=1509360/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=128160 CPUtime=101.78
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 31102 0 0 0 10141 37 0 0 18 0 3 0 350174542 131235840 30667 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 32040 30667 218 20 0 31398 0
[pid=15055/tid=15057] ppid=15053 vsize=128160 CPUtime=50.96
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 15277 0 0 0 5082 14 0 0 25 0 3 0 350174552 131235840 30667 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=128160 CPUtime=50.72
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 14926 0 0 0 5050 22 0 0 25 0 3 0 350174552 131235840 30667 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 128160

[startup+102.306 s]
/proc/loadavg: 1.91 1.91 1.93 3/80 15058
/proc/meminfo: memFree=1477616/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=160448 CPUtime=203.95
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 39569 0 0 0 20346 49 0 0 18 0 3 0 350174542 164298752 38702 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 40112 38702 218 20 0 39470 0
[pid=15055/tid=15057] ppid=15053 vsize=160448 CPUtime=102.13
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 19363 0 0 0 10194 19 0 0 25 0 3 0 350174552 164298752 38702 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=160448 CPUtime=101.72
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 19307 0 0 0 10143 29 0 0 25 0 3 0 350174552 164298752 38702 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 160448

[startup+162.301 s]
/proc/loadavg: 1.97 1.92 1.93 3/80 15058
/proc/meminfo: memFree=1461296/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=176436 CPUtime=323.63
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 43976 0 0 0 32307 56 0 0 18 0 3 0 350174542 180670464 42628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 44109 42628 218 20 0 43467 0
[pid=15055/tid=15057] ppid=15053 vsize=176436 CPUtime=162.07
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 21566 0 0 0 16184 23 0 0 25 0 3 0 350174552 180670464 42628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=176436 CPUtime=161.46
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 21511 0 0 0 16114 32 0 0 25 0 3 0 350174552 180670464 42628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (KiB) 176436

[startup+222.302 s]
/proc/loadavg: 1.99 1.93 1.93 3/80 15058
/proc/meminfo: memFree=1461104/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=176436 CPUtime=443.35
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 44597 0 0 0 44279 56 0 0 18 0 3 0 350174542 180670464 42673 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 44109 42673 218 20 0 43467 0
[pid=15055/tid=15057] ppid=15053 vsize=176436 CPUtime=222.02
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 21882 0 0 0 22179 23 0 0 25 0 3 0 350174552 180670464 42673 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526215 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=176436 CPUtime=221.23
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 21816 0 0 0 22090 33 0 0 25 0 3 0 350174552 180670464 42673 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.35
Current children cumulated vsize (KiB) 176436

[startup+282.302 s]
/proc/loadavg: 2.07 1.96 1.93 3/80 15058
/proc/meminfo: memFree=1447920/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=188724 CPUtime=563.08
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 48409 0 0 0 56244 64 0 0 18 0 3 0 350174542 193253376 45965 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 47181 45965 218 20 0 46539 0
[pid=15055/tid=15057] ppid=15053 vsize=188724 CPUtime=281.97
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 22240 0 0 0 28174 23 0 0 25 0 3 0 350174552 193253376 45965 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=188724 CPUtime=280.99
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 25270 0 0 0 28060 39 0 0 25 0 3 0 350174552 193253376 45965 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (KiB) 188724

[startup+342.302 s]
/proc/loadavg: 2.25 2.01 1.95 5/86 16307
/proc/meminfo: memFree=1395760/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=237344 CPUtime=679.71
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 61075 0 0 0 67888 83 0 0 18 0 3 0 350174542 243040256 58179 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 59336 58179 218 20 0 58694 0
[pid=15055/tid=15057] ppid=15053 vsize=237344 CPUtime=341.25
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29473 0 0 0 34093 32 0 0 25 0 3 0 350174552 243040256 58179 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=237344 CPUtime=338.36
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 30703 0 0 0 33785 51 0 0 25 0 3 0 350174552 243040256 58179 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 679.71
Current children cumulated vsize (KiB) 237344

[startup+402.302 s]

################
# More data... #
################

/proc/15055/statm: 60104 59007 218 20 0 59462 0
[pid=15055/tid=15057] ppid=15053 vsize=240416 CPUtime=444.26
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29867 0 0 0 44389 37 0 0 25 0 3 0 350174552 246185984 59007 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=240416 CPUtime=449.13
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 31979 0 0 0 44853 60 0 0 25 0 3 0 350174552 246185984 59007 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 893.49
Current children cumulated vsize (KiB) 240416

[startup+522.302 s]
/proc/loadavg: 3.07 2.51 2.14 5/86 32446
/proc/meminfo: memFree=1373808/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=241152 CPUtime=1001.2
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 62972 0 0 0 100015 105 0 0 18 0 3 0 350174542 246939648 59080 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 60288 59080 218 20 0 59646 0
[pid=15055/tid=15057] ppid=15053 vsize=241152 CPUtime=496.67
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29950 0 0 0 49627 40 0 0 25 0 3 0 350174552 246939648 59080 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=241152 CPUtime=504.43
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 32123 0 0 0 50379 64 0 0 25 0 3 0 350174552 246939648 59080 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1001.2
Current children cumulated vsize (KiB) 241152

[startup+582.301 s]
/proc/loadavg: 3.08 2.61 2.20 4/87 5446
/proc/meminfo: memFree=1367456/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=241152 CPUtime=1108.36
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 62978 0 0 0 110726 110 0 0 18 0 3 0 350174542 246939648 59086 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 60288 59086 218 20 0 59646 0
[pid=15055/tid=15057] ppid=15053 vsize=241152 CPUtime=548.12
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29952 0 0 0 54769 43 0 0 25 0 3 0 350174552 246939648 59086 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=241152 CPUtime=560.15
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 32127 0 0 0 55948 67 0 0 25 0 3 0 350174552 246939648 59086 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1108.36
Current children cumulated vsize (KiB) 241152

[startup+642.301 s]
/proc/loadavg: 3.18 2.72 2.26 4/87 10755
/proc/meminfo: memFree=1346144/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1215.68
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66505 0 0 0 121443 125 0 0 18 0 3 0 350174542 260571136 62455 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62455 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=602.89
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29953 0 0 0 60240 49 0 0 25 0 3 0 350174552 260571136 62455 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=612.69
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35653 0 0 0 61194 75 0 0 25 0 3 0 350174552 260571136 62455 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1215.68
Current children cumulated vsize (KiB) 254464

[startup+702.301 s]
/proc/loadavg: 3.32 2.83 2.33 4/87 16374
/proc/meminfo: memFree=1340832/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1323.02
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66669 0 0 0 132171 131 0 0 18 0 3 0 350174542 260571136 62461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62461 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=654.51
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29958 0 0 0 65399 52 0 0 25 0 3 0 350174552 260571136 62461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=668.41
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35812 0 0 0 66763 78 0 0 25 0 3 0 350174552 260571136 62461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1323.02
Current children cumulated vsize (KiB) 254464

[startup+762.306 s]
/proc/loadavg: 2.62 2.73 2.33 3/80 17335
/proc/meminfo: memFree=1342128/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1440.48
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66834 0 0 0 143916 132 0 0 18 0 3 0 350174542 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62468 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=714.06
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29960 0 0 0 71354 52 0 0 25 0 3 0 350174552 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=726.32
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35975 0 0 0 72553 79 0 0 25 0 3 0 350174552 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521263 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1440.48
Current children cumulated vsize (KiB) 254464

Solver just ended. Dumping a history of the last processes samples

[startup+767.902 s]
/proc/loadavg: 2.57 2.72 2.32 3/80 17335
/proc/meminfo: memFree=1342128/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1451.65
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66834 0 0 0 145033 132 0 0 18 0 3 0 350174542 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62468 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=719.65
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29960 0 0 0 71913 52 0 0 25 0 3 0 350174552 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=731.9
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35975 0 0 0 73111 79 0 0 25 0 3 0 350174552 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1451.65
Current children cumulated vsize (KiB) 254464

[startup+774.302 s]
/proc/loadavg: 2.48 2.70 2.32 3/80 17335
/proc/meminfo: memFree=1342128/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1464.42
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66834 0 0 0 146310 132 0 0 18 0 3 0 350174542 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62468 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=726.05
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29960 0 0 0 72553 52 0 0 25 0 3 0 350174552 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526625 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=738.27
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35975 0 0 0 73748 79 0 0 25 0 3 0 350174552 260571136 62468 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1464.42
Current children cumulated vsize (KiB) 254464

[startup+777.501 s]
/proc/loadavg: 2.48 2.70 2.32 3/80 17335
/proc/meminfo: memFree=1342192/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1470.8
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66835 0 0 0 146948 132 0 0 18 0 3 0 350174542 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62469 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=729.25
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29960 0 0 0 72873 52 0 0 25 0 3 0 350174552 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=741.45
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35976 0 0 0 74066 79 0 0 25 0 3 0 350174552 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.8
Current children cumulated vsize (KiB) 254464

[startup+780.702 s]
/proc/loadavg: 2.44 2.69 2.32 3/80 17335
/proc/meminfo: memFree=1342192/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1477.19
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66835 0 0 0 147587 132 0 0 18 0 3 0 350174542 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62469 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=732.45
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29960 0 0 0 73193 52 0 0 25 0 3 0 350174552 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=744.64
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35976 0 0 0 74385 79 0 0 25 0 3 0 350174552 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.19
Current children cumulated vsize (KiB) 254464

[startup+781.502 s]
/proc/loadavg: 2.44 2.69 2.32 3/80 17335
/proc/meminfo: memFree=1342192/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1478.78
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66835 0 0 0 147746 132 0 0 18 0 3 0 350174542 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62469 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=733.25
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29960 0 0 0 73273 52 0 0 25 0 3 0 350174552 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=745.44
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35976 0 0 0 74465 79 0 0 25 0 3 0 350174552 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.78
Current children cumulated vsize (KiB) 254464

[startup+781.903 s]
/proc/loadavg: 2.44 2.69 2.32 3/80 17335
/proc/meminfo: memFree=1342192/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=254464 CPUtime=1479.59
/proc/15055/stat : 15055 (MiraXTv3_dyn) S 15053 15055 13843 0 -1 4194304 66835 0 0 0 147827 132 0 0 18 0 3 0 350174542 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15055/statm: 63616 62469 218 20 0 62974 0
[pid=15055/tid=15057] ppid=15053 vsize=254464 CPUtime=733.65
/proc/15055/task/15057/stat : 15057 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 29960 0 0 0 73313 52 0 0 25 0 3 0 350174552 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15055/tid=15058] ppid=15053 vsize=254464 CPUtime=745.84
/proc/15055/task/15058/stat : 15058 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194368 35976 0 0 0 74505 79 0 0 25 0 3 0 350174552 260571136 62469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1479.59
Current children cumulated vsize (KiB) 254464

[startup+782.107 s]
/proc/loadavg: 2.44 2.69 2.32 2/79 17335
/proc/meminfo: memFree=1344688/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=247872 CPUtime=1479.83
/proc/15055/stat : 15055 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194304 66836 0 0 0 147851 132 0 0 16 0 1 0 350174542 253820928 61210 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 7450975 0 0 4096 0 0 0 0 17 0 0 0
/proc/15055/statm: 61968 61210 219 20 0 61326 0
Current children cumulated CPU time (s) 1479.83
Current children cumulated vsize (KiB) 247872

[startup+782.202 s]
/proc/loadavg: 2.44 2.69 2.32 2/79 17335
/proc/meminfo: memFree=1344688/2055920 swapFree=4157192/4192956
[pid=15055] ppid=15053 vsize=191960 CPUtime=1479.92
/proc/15055/stat : 15055 (MiraXTv3_dyn) R 15053 15055 13843 0 -1 4194304 66842 0 0 0 147859 133 0 0 17 0 1 0 350174542 196567040 46901 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15055/statm: 47990 46901 225 20 0 47348 0
Current children cumulated CPU time (s) 1479.92
Current children cumulated vsize (KiB) 191960

Child status: 10
Real time (s): 782.238
CPU time (s): 1479.97
CPU user time (s): 1478.6
CPU system time (s): 1.37179
CPU usage (%): 189.198
Max. virtual memory (cumulated for all children) (KiB): 254780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1478.6
system time used= 1.37179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221
involuntary context switches= 47774

runsolver used 0.91886 second user time and 2.27865 second system time

The end