runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885122-1245263390/watcher-1885122-1245263390 -o /tmp/evaluation-result-1885122-1245263390/solver-1885122-1245263390 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1885122-1245263390.opb 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 12863
/proc/meminfo: memFree=1732280/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=11564 CPUtime=0
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 79071933 11841536 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 2891 244 175 640 0 2034 0

[startup+0.045652 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 12863
/proc/meminfo: memFree=1732280/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=12804 CPUtime=0.04
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 654 0 0 0 4 0 0 0 18 0 1 0 79071933 13111296 638 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 3201 638 252 640 0 2344 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12804

[startup+0.101661 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 12863
/proc/meminfo: memFree=1732280/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=14304 CPUtime=0.09
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 1115 0 0 0 9 0 0 0 18 0 1 0 79071933 14647296 1099 1992294400 134512640 137136520 4294956256 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 3576 1099 355 640 0 2719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14304

[startup+0.3017 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 12863
/proc/meminfo: memFree=1732280/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=16264 CPUtime=0.29
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 1887 0 0 0 27 2 0 0 19 0 1 0 79071933 16654336 1658 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 4066 1658 193 640 0 3422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16264

[startup+0.70178 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 12863
/proc/meminfo: memFree=1732280/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=16140 CPUtime=0.69
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 2058 0 0 0 65 4 0 0 22 0 1 0 79071933 16527360 1633 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 4035 1633 198 640 0 3391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16140

[startup+1.50194 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1725616/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=18524 CPUtime=1.49
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 2640 0 0 0 144 5 0 0 25 0 1 0 79071933 18968576 2215 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 4631 2215 198 640 0 3987 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18524

[startup+3.10126 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1722608/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=22328 CPUtime=3.09
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 3574 0 0 0 303 6 0 0 25 0 1 0 79071933 22863872 3149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 5582 3149 198 640 0 4938 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22328

[startup+6.30189 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1715824/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=28384 CPUtime=6.29
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 5097 0 0 0 622 7 0 0 25 0 1 0 79071933 29065216 4672 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 7096 4672 198 640 0 6452 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28384

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1705584/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=38328 CPUtime=12.69
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 7587 0 0 0 1259 10 0 0 25 0 1 0 79071933 39247872 7162 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 9582 7162 198 640 0 8938 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38328

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1689776/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=53056 CPUtime=25.48
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 11267 0 0 0 2534 14 0 0 25 0 1 0 79071933 54329344 10842 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 13264 10842 198 640 0 12620 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53056

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1682416/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=60828 CPUtime=51.07
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 13203 0 0 0 5088 19 0 0 25 0 1 0 79071933 62287872 12778 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 15207 12778 198 640 0 14563 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60828

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1659376/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=83064 CPUtime=102.26
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 18786 0 0 0 10198 28 0 0 25 0 1 0 79071933 85057536 18361 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 20766 18361 198 640 0 20122 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 83064

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1632688/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=110328 CPUtime=162.23
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 25603 0 0 0 16190 33 0 0 25 0 1 0 79071933 112975872 25178 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 27582 25178 198 640 0 26938 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 110328

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1627440/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=114976 CPUtime=222.21
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 26768 0 0 0 22182 39 0 0 25 0 1 0 79071933 117735424 26310 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 28744 26310 198 640 0 28100 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 114976

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1627376/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=114976 CPUtime=282.19
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 26768 0 0 0 28178 41 0 0 25 0 1 0 79071933 117735424 26310 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 28744 26310 198 640 0 28100 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 114976

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1613936/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=128252 CPUtime=342.17
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 30123 0 0 0 34171 46 0 0 25 0 1 0 79071933 131330048 29629 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32063 29629 198 640 0 31419 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 128252

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1613936/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=128392 CPUtime=402.14
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 30158 0 0 0 40166 48 0 0 25 0 1 0 79071933 131473408 29664 1992294400 134512640 137136520 4294956256 18446744073709551615 134544554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32098 29664 198 640 0 31454 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 128392

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1613936/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=128392 CPUtime=462.12
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 30158 0 0 0 46161 51 0 0 25 0 1 0 79071933 131473408 29664 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32098 29664 198 640 0 31454 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 128392

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610480/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131852 CPUtime=522.1
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31023 0 0 0 52156 54 0 0 25 0 1 0 79071933 135016448 30529 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32963 30529 198 640 0 32319 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 131852

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610416/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131864 CPUtime=582.07
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31030 0 0 0 58148 59 0 0 25 0 1 0 79071933 135028736 30536 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32966 30536 198 640 0 32322 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 131864

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610352/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131704 CPUtime=642.05
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31030 0 0 0 64143 62 0 0 25 0 1 0 79071933 134864896 30524 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32926 30524 198 640 0 32282 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 131704

[startup+702.301 s]

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

/proc/meminfo: memFree=1610544/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131704 CPUtime=762.01
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31030 0 0 0 76130 71 0 0 25 0 1 0 79071933 134864896 30524 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32926 30524 198 640 0 32282 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 131704

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610480/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131704 CPUtime=821.98
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31030 0 0 0 82124 74 0 0 25 0 1 0 79071933 134864896 30524 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32926 30524 198 640 0 32282 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 131704

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610416/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131720 CPUtime=881.96
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31034 0 0 0 88120 76 0 0 25 0 1 0 79071933 134881280 30528 1992294400 134512640 137136520 4294956256 18446744073709551615 136499612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32930 30528 198 640 0 32286 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 131720

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610416/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131720 CPUtime=941.93
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31034 0 0 0 94114 79 0 0 25 0 1 0 79071933 134881280 30528 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32930 30528 198 640 0 32286 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 131720

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610416/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131720 CPUtime=1001.91
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31034 0 0 0 100109 82 0 0 25 0 1 0 79071933 134881280 30528 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32930 30528 198 640 0 32286 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 131720

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610480/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131720 CPUtime=1061.89
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31034 0 0 0 106104 85 0 0 25 0 1 0 79071933 134881280 30528 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32930 30528 198 640 0 32286 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 131720

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1610416/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=131720 CPUtime=1121.86
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31034 0 0 0 112099 87 0 0 25 0 1 0 79071933 134881280 30528 1992294400 134512640 137136520 4294956256 18446744073709551615 134598518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 32930 30528 198 640 0 32286 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 131720

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1608880/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=133700 CPUtime=1181.84
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31501 0 0 0 118094 90 0 0 25 0 1 0 79071933 136908800 30995 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 33425 30995 198 640 0 32781 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 133700

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1607600/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=134364 CPUtime=1241.82
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31736 0 0 0 124088 94 0 0 25 0 1 0 79071933 137588736 31187 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 33591 31187 198 640 0 32947 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 134364

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1607472/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=134652 CPUtime=1301.81
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31778 0 0 0 130085 96 0 0 25 0 1 0 79071933 137883648 31229 1992294400 134512640 137136520 4294956256 18446744073709551615 136501958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 33663 31229 198 640 0 33019 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 134652

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1607472/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=134652 CPUtime=1361.78
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31778 0 0 0 136080 98 0 0 25 0 1 0 79071933 137883648 31229 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 33663 31229 198 640 0 33019 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 134652

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

[startup+1382.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1607472/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=134652 CPUtime=1381.77
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 31778 0 0 0 138078 99 0 0 25 0 1 0 79071933 137883648 31229 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 33663 31229 198 640 0 33019 0
Current children cumulated CPU time (s) 1381.77
Current children cumulated vsize (KiB) 134652

[startup+1395.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1606064/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=136048 CPUtime=1394.57
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 32127 0 0 0 139357 100 0 0 25 0 1 0 79071933 139313152 31578 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 34012 31578 198 640 0 33368 0
Current children cumulated CPU time (s) 1394.57
Current children cumulated vsize (KiB) 136048

[startup+1401.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1606064/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=136048 CPUtime=1400.96
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 32127 0 0 0 139996 100 0 0 25 0 1 0 79071933 139313152 31578 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 34012 31578 198 640 0 33368 0
Current children cumulated CPU time (s) 1400.96
Current children cumulated vsize (KiB) 136048

[startup+1407.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1606064/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=136048 CPUtime=1407.36
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 32127 0 0 0 140636 100 0 0 25 0 1 0 79071933 139313152 31578 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 34012 31578 198 640 0 33368 0
Current children cumulated CPU time (s) 1407.36
Current children cumulated vsize (KiB) 136048

[startup+1409.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1606064/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=136048 CPUtime=1408.96
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 32127 0 0 0 140795 101 0 0 25 0 1 0 79071933 139313152 31578 1992294400 134512640 137136520 4294956256 18446744073709551615 134600398 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 34012 31578 198 640 0 33368 0
Current children cumulated CPU time (s) 1408.96
Current children cumulated vsize (KiB) 136048

[startup+1411.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1606064/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=136048 CPUtime=1410.56
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 32127 0 0 0 140955 101 0 0 25 0 1 0 79071933 139313152 31578 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 34012 31578 198 640 0 33368 0
Current children cumulated CPU time (s) 1410.56
Current children cumulated vsize (KiB) 136048

[startup+1411.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1606064/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=136048 CPUtime=1411.36
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194304 32127 0 0 0 141035 101 0 0 25 0 1 0 79071933 139313152 31578 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 34012 31578 198 640 0 33368 0
Current children cumulated CPU time (s) 1411.36
Current children cumulated vsize (KiB) 136048

[startup+1412.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 12864
/proc/meminfo: memFree=1606064/2055920 swapFree=4191900/4192956
[pid=12863] ppid=12861 vsize=0 CPUtime=1411.56
/proc/12863/stat : 12863 (bsolo) R 12861 12863 12362 0 -1 4194308 32129 0 0 0 141054 102 0 0 25 0 1 0 79071933 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12863/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1411.56
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1412.11
CPU time (s): 1411.58
CPU user time (s): 1410.54
CPU system time (s): 1.03484
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 136048

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

runsolver used 0.948855 second user time and 3.02054 second system time

The end