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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085537-1215234261/watcher-1085537-1215234261 -o /tmp/evaluation-result-1085537-1215234261/solver-1085537-1215234261 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1085537-1215234261.xml -v 1 -rs 903024055 -probe 1 -ph 0 -heu dom/wdeg -res no 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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.99 2.01 2.00 4/72 14642
/proc/meminfo: memFree=1583056/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=820 CPUtime=0
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 39 0 0 0 0 0 0 0 19 0 1 0 2002397489 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 10384164 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 205 25 19 177 0 3 0

[startup+0.069463 s]
/proc/loadavg: 1.99 2.01 2.00 4/72 14642
/proc/meminfo: memFree=1583056/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=6708 CPUtime=0.05
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 1005 0 0 0 5 0 0 0 19 0 1 0 2002397489 6868992 971 996147200 134512640 135239859 4294956144 18446744073709551615 4159010306 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 1677 971 400 177 0 580 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6708

[startup+0.101462 s]
/proc/loadavg: 1.99 2.01 2.00 4/72 14642
/proc/meminfo: memFree=1583056/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=7128 CPUtime=0.08
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 1121 0 0 0 8 0 0 0 19 0 1 0 2002397489 7299072 1087 996147200 134512640 135239859 4294956144 18446744073709551615 4159744918 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 1782 1087 400 177 0 685 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7128

[startup+0.301505 s]
/proc/loadavg: 1.99 2.01 2.00 4/72 14642
/proc/meminfo: memFree=1583056/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=10068 CPUtime=0.28
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 1818 0 0 0 27 1 0 0 21 0 1 0 2002397489 10309632 1784 996147200 134512640 135239859 4294956144 18446744073709551615 134603716 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 2517 1784 400 177 0 1420 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10068

[startup+0.701575 s]
/proc/loadavg: 1.99 2.01 2.00 4/72 14642
/proc/meminfo: memFree=1583056/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=15452 CPUtime=0.68
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 3240 0 0 0 66 2 0 0 25 0 1 0 2002397489 15822848 3140 996147200 134512640 135239859 4294956144 18446744073709551615 4158664983 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 3863 3140 400 177 0 2766 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15452

[startup+1.50171 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 14643
/proc/meminfo: memFree=1567944/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=26384 CPUtime=1.47
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 5978 0 0 0 144 3 0 0 25 0 1 0 2002397489 27017216 5748 996147200 134512640 135239859 4294956144 18446744073709551615 134942151 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 6596 5748 406 177 0 5499 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26384

[startup+3.10198 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 14643
/proc/meminfo: memFree=1530376/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=3.06
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13723 0 0 0 299 7 0 0 25 0 1 0 2002397489 84348928 13493 996147200 134512640 135239859 4294956144 18446744073709551615 134543098 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13493 420 177 0 19496 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 82372

[startup+6.30155 s]
/proc/loadavg: 2.07 2.03 2.01 3/73 14643
/proc/meminfo: memFree=1530184/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=6.23
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13723 0 0 0 616 7 0 0 25 0 1 0 2002397489 84348928 13493 996147200 134512640 135239859 4294956144 18446744073709551615 134541297 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13493 420 177 0 19496 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 82372

[startup+12.7017 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 14643
/proc/meminfo: memFree=1530312/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=12.59
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13723 0 0 0 1252 7 0 0 25 0 1 0 2002397489 84348928 13493 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13493 420 177 0 19496 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 82372

[startup+25.5019 s]
/proc/loadavg: 2.05 2.02 2.00 3/73 14643
/proc/meminfo: memFree=1530440/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=25.28
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13724 0 0 0 2521 7 0 0 25 0 1 0 2002397489 84348928 13494 996147200 134512640 135239859 4294956144 18446744073709551615 134543166 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13494 421 177 0 19496 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 82372

[startup+51.1014 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 14643
/proc/meminfo: memFree=1530312/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=50.69
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13724 0 0 0 5062 7 0 0 25 0 1 0 2002397489 84348928 13494 996147200 134512640 135239859 4294956144 18446744073709551615 134543180 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13494 421 177 0 19496 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 82372

[startup+102.306 s]
/proc/loadavg: 2.05 2.03 2.00 3/73 14643
/proc/meminfo: memFree=1530248/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=101.5
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13724 0 0 0 10143 7 0 0 25 0 1 0 2002397489 84348928 13494 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13494 421 177 0 19496 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 82372

[startup+162.302 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 14643
/proc/meminfo: memFree=1530248/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=161.04
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13724 0 0 0 16097 7 0 0 25 0 1 0 2002397489 84348928 13494 996147200 134512640 135239859 4294956144 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13494 421 177 0 19496 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 82372

[startup+222.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 14643
/proc/meminfo: memFree=1530184/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=220.58
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13724 0 0 0 22051 7 0 0 25 0 1 0 2002397489 84348928 13494 996147200 134512640 135239859 4294956144 18446744073709551615 134543127 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13494 421 177 0 19496 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 82372

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14643
/proc/meminfo: memFree=1530248/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=280.13
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13724 0 0 0 28006 7 0 0 25 0 1 0 2002397489 84348928 13494 996147200 134512640 135239859 4294956144 18446744073709551615 134535371 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13494 421 177 0 19496 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 82372

[startup+342.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/73 14643
/proc/meminfo: memFree=1530256/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=339.67
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13724 0 0 0 33960 7 0 0 25 0 1 0 2002397489 84348928 13494 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13494 421 177 0 19496 0
Current children cumulated CPU time (s) 339.67
Current children cumulated vsize (KiB) 82372

[startup+402.302 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 14643
/proc/meminfo: memFree=1530064/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=399.21
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13732 0 0 0 39914 7 0 0 25 0 1 0 2002397489 84348928 13502 996147200 134512640 135239859 4294956144 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13502 422 177 0 19496 0
Current children cumulated CPU time (s) 399.21
Current children cumulated vsize (KiB) 82372

[startup+462.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/73 14643
/proc/meminfo: memFree=1530000/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=458.75
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13732 0 0 0 45868 7 0 0 25 0 1 0 2002397489 84348928 13502 996147200 134512640 135239859 4294956144 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13502 422 177 0 19496 0
Current children cumulated CPU time (s) 458.75
Current children cumulated vsize (KiB) 82372

[startup+522.302 s]
/proc/loadavg: 2.07 2.06 2.01 3/73 14643
/proc/meminfo: memFree=1530000/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=518.29
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13735 0 0 0 51822 7 0 0 25 0 1 0 2002397489 84348928 13505 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13505 422 177 0 19496 0
Current children cumulated CPU time (s) 518.29
Current children cumulated vsize (KiB) 82372

[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 14643
/proc/meminfo: memFree=1530000/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=577.84
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13735 0 0 0 57777 7 0 0 25 0 1 0 2002397489 84348928 13505 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13505 422 177 0 19496 0
Current children cumulated CPU time (s) 577.84
Current children cumulated vsize (KiB) 82372

[startup+642.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 14643
/proc/meminfo: memFree=1530000/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82372 CPUtime=637.38
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13735 0 0 0 63731 7 0 0 25 0 1 0 2002397489 84348928 13505 996147200 134512640 135239859 4294956144 18446744073709551615 134543182 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20593 13505 422 177 0 19496 0
Current children cumulated CPU time (s) 637.38
Current children cumulated vsize (KiB) 82372


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

/proc/meminfo: memFree=1530000/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82552 CPUtime=816
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13765 0 0 0 81593 7 0 0 25 0 1 0 2002397489 84533248 13535 996147200 134512640 135239859 4294956144 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20638 13535 423 177 0 19541 0
Current children cumulated CPU time (s) 816
Current children cumulated vsize (KiB) 82552

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14643
/proc/meminfo: memFree=1529936/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82600 CPUtime=875.54
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13783 0 0 0 87547 7 0 0 25 0 1 0 2002397489 84582400 13553 996147200 134512640 135239859 4294956144 18446744073709551615 135096964 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20650 13553 423 177 0 19553 0
Current children cumulated CPU time (s) 875.54
Current children cumulated vsize (KiB) 82600

[startup+942.303 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 14643
/proc/meminfo: memFree=1529872/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=935.09
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 93502 7 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134538568 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 935.09
Current children cumulated vsize (KiB) 82624

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 14679
/proc/meminfo: memFree=1459856/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=994.63
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 99455 8 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 994.63
Current children cumulated vsize (KiB) 82624

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 14710
/proc/meminfo: memFree=1467344/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1054.5
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 105441 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1054.5
Current children cumulated vsize (KiB) 82624

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467216/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1114.47
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 111438 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 135095222 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1114.47
Current children cumulated vsize (KiB) 82624

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467152/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1174.45
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 117436 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134543205 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1174.45
Current children cumulated vsize (KiB) 82624

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467024/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1234.42
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 123433 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1234.42
Current children cumulated vsize (KiB) 82624

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467024/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1294.4
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 129431 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134540257 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1294.4
Current children cumulated vsize (KiB) 82624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1354.37
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 135428 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1354.37
Current children cumulated vsize (KiB) 82624

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1414.35
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 141426 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1414.35
Current children cumulated vsize (KiB) 82624

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

[startup+1433.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1425.54
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 142545 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1425.54
Current children cumulated vsize (KiB) 82624

[startup+1459.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1451.13
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 145104 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1451.13
Current children cumulated vsize (KiB) 82624

[startup+1471.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1463.92
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 146383 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134534766 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1463.92
Current children cumulated vsize (KiB) 82624

[startup+1478.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1470.32
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 147023 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1470.32
Current children cumulated vsize (KiB) 82624

[startup+1479.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1471.92
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 147183 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1471.92
Current children cumulated vsize (KiB) 82624

[startup+1480.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1472.72
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 147263 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134535664 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1472.72
Current children cumulated vsize (KiB) 82624

[startup+1481.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=82624 CPUtime=1473.52
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13808 0 0 0 147343 9 0 0 25 0 1 0 2002397489 84606976 13578 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 20656 13578 423 177 0 19559 0
Current children cumulated CPU time (s) 1473.52
Current children cumulated vsize (KiB) 82624

[startup+1481.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14710
/proc/meminfo: memFree=1467088/2055920 swapFree=4180700/4192956
[pid=14642] ppid=14640 vsize=26588 CPUtime=1473.73
/proc/14642/stat : 14642 (xsolve) R 14640 14642 13280 0 -1 4194304 13824 0 0 0 147363 10 0 0 25 0 1 0 2002397489 27226112 5816 996147200 134512640 135239859 4294956144 18446744073709551615 4159148591 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 6647 5816 433 177 0 5550 0
Current children cumulated CPU time (s) 1473.73
Current children cumulated vsize (KiB) 26588

Child status: 0
Real time (s): 1481.77
CPU time (s): 1473.8
CPU user time (s): 1473.69
CPU system time (s): 0.103984
CPU usage (%): 99.4618
Max. virtual memory (cumulated for all children) (KiB): 82624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1473.69
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13825
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= 7
involuntary context switches= 23796

runsolver used 1.45578 second user time and 3.9454 second system time

The end