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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1735245-1240800870/watcher-1735245-1240800870 -o /tmp/evaluation-result-1735245-1240800870/solver-1735245-1240800870 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/mxc-sat09 -i HOME/instance-1735245-1240800870.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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.00 1.00 1.00 3/65 11346
/proc/meminfo: memFree=1698928/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=1744 CPUtime=0
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 310 0 0 0 0 0 0 0 20 0 1 0 108116135 1785856 296 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 436 297 54 166 0 267 0

[startup+0.085896 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11346
/proc/meminfo: memFree=1698928/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=3376 CPUtime=0.08
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 812 0 0 0 8 0 0 0 20 0 1 0 108116135 3457024 672 1992294400 134512640 135192793 4294956224 18446744073709551615 134567847 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 844 672 56 166 0 675 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3376

[startup+0.101896 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11346
/proc/meminfo: memFree=1698928/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=3376 CPUtime=0.09
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 812 0 0 0 9 0 0 0 20 0 1 0 108116135 3457024 672 1992294400 134512640 135192793 4294956224 18446744073709551615 134567655 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 844 672 56 166 0 675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3376

[startup+0.301919 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11346
/proc/meminfo: memFree=1698928/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=4336 CPUtime=0.29
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 1037 0 0 0 29 0 0 0 22 0 1 0 108116135 4440064 897 1992294400 134512640 135192793 4294956224 18446744073709551615 134568071 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 1084 897 56 166 0 915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4336

[startup+0.701965 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11346
/proc/meminfo: memFree=1698928/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=4852 CPUtime=0.69
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 1317 0 0 0 69 0 0 0 25 0 1 0 108116135 4968448 1074 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 1213 1074 73 166 0 1044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4852

[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1694256/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=6328 CPUtime=1.49
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 1677 0 0 0 149 0 0 0 25 0 1 0 108116135 6479872 1434 1992294400 134512640 135192793 4294956224 18446744073709551615 134552427 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 1582 1434 73 166 0 1413 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6328

[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1692464/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=8716 CPUtime=3.08
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 2276 0 0 0 308 0 0 0 25 0 1 0 108116135 8925184 2033 1992294400 134512640 135192793 4294956224 18446744073709551615 134551561 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 2179 2033 73 166 0 2010 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8716

[startup+6.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1688240/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=11920 CPUtime=6.29
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 3039 0 0 0 628 1 0 0 25 0 1 0 108116135 12206080 2796 1992294400 134512640 135192793 4294956224 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 2980 2796 73 166 0 2811 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11920

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1683696/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=17040 CPUtime=12.69
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 4266 0 0 0 1267 2 0 0 25 0 1 0 108116135 17448960 4023 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 4260 4023 73 166 0 4091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17040

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1679984/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=20028 CPUtime=25.48
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 4994 0 0 0 2546 2 0 0 25 0 1 0 108116135 20508672 4751 1992294400 134512640 135192793 4294956224 18446744073709551615 134533842 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 5007 4751 73 166 0 4838 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20028

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1676656/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=23532 CPUtime=51.08
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 5838 0 0 0 5105 3 0 0 25 0 1 0 108116135 24096768 5595 1992294400 134512640 135192793 4294956224 18446744073709551615 134550629 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 5883 5595 73 166 0 5714 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23532

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1671344/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=29388 CPUtime=102.27
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 7161 0 0 0 10223 4 0 0 25 0 1 0 108116135 30093312 6918 1992294400 134512640 135192793 4294956224 18446744073709551615 134534016 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 7347 6918 73 166 0 7178 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29388

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1667504/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=33612 CPUtime=162.24
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 8113 0 0 0 16220 4 0 0 25 0 1 0 108116135 34418688 7870 1992294400 134512640 135192793 4294956224 18446744073709551615 134534116 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 8403 7870 73 166 0 8234 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33612

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1664752/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=37140 CPUtime=222.23
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 8787 0 0 0 22218 5 0 0 25 0 1 0 108116135 38031360 8544 1992294400 134512640 135192793 4294956224 18446744073709551615 134533933 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 9285 8544 73 166 0 9116 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 37140

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1662064/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=40600 CPUtime=282.21
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 9458 0 0 0 28216 5 0 0 25 0 1 0 108116135 41574400 9215 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 10150 9215 73 166 0 9981 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 40600

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11347
/proc/meminfo: memFree=1659440/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=43164 CPUtime=342.2
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 10119 0 0 0 34214 6 0 0 25 0 1 0 108116135 44199936 9876 1992294400 134512640 135192793 4294956224 18446744073709551615 134552014 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 10791 9876 73 166 0 10622 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 43164

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1658024/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=44692 CPUtime=402.18
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 10443 0 0 0 40212 6 0 0 25 0 1 0 108116135 45764608 10200 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 11173 10200 73 166 0 11004 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44692

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1657128/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=45804 CPUtime=462.16
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 10666 0 0 0 46210 6 0 0 25 0 1 0 108116135 46903296 10423 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 11451 10423 73 166 0 11282 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 45804

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1655336/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=47788 CPUtime=522.14
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 11101 0 0 0 52208 6 0 0 25 0 1 0 108116135 48934912 10858 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 11947 10858 73 166 0 11778 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 47788

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1653992/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=49332 CPUtime=582.13
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 11432 0 0 0 58206 7 0 0 25 0 1 0 108116135 50515968 11189 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 12333 11189 73 166 0 12164 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 49332

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1652008/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=51552 CPUtime=642.11
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 11917 0 0 0 64204 7 0 0 25 0 1 0 108116135 52789248 11674 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 12888 11674 73 166 0 12719 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 51552

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1651632/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=52068 CPUtime=702.09
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 12015 0 0 0 70202 7 0 0 25 0 1 0 108116135 53317632 11772 1992294400 134512640 135192793 4294956224 18446744073709551615 134552442 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 13017 11772 73 166 0 12848 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 52068

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1648496/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=55540 CPUtime=762.09
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 12808 0 0 0 76201 8 0 0 25 0 1 0 108116135 56872960 12565 1992294400 134512640 135192793 4294956224 18446744073709551615 134533924 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 13885 12565 73 166 0 13716 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 55540

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1647856/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=56248 CPUtime=822.07
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 12975 0 0 0 82199 8 0 0 25 0 1 0 108116135 57597952 12732 1992294400 134512640 135192793 4294956224 18446744073709551615 134551512 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14062 12732 73 166 0 13893 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 56248

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1647344/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=56892 CPUtime=882.05
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13084 0 0 0 88197 8 0 0 25 0 1 0 108116135 58257408 12841 1992294400 134512640 135192793 4294956224 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14223 12841 73 166 0 14054 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 56892

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646320/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=942.03
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13344 0 0 0 94195 8 0 0 25 0 1 0 108116135 59707392 13101 1992294400 134512640 135192793 4294956224 18446744073709551615 134533961 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13101 73 166 0 14408 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 58308

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

[startup+947.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646320/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=946.83
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13345 0 0 0 94675 8 0 0 25 0 1 0 108116135 59707392 13102 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13102 73 166 0 14408 0
Current children cumulated CPU time (s) 946.83
Current children cumulated vsize (KiB) 58308

[startup+972.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646192/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=972.42
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13371 0 0 0 97234 8 0 0 25 0 1 0 108116135 59707392 13128 1992294400 134512640 135192793 4294956224 18446744073709551615 134534186 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13128 73 166 0 14408 0
Current children cumulated CPU time (s) 972.42
Current children cumulated vsize (KiB) 58308

[startup+979.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646192/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=978.82
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13371 0 0 0 97874 8 0 0 25 0 1 0 108116135 59707392 13128 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13128 73 166 0 14408 0
Current children cumulated CPU time (s) 978.82
Current children cumulated vsize (KiB) 58308

[startup+982.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646192/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=982.02
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13373 0 0 0 98194 8 0 0 25 0 1 0 108116135 59707392 13130 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13130 73 166 0 14408 0
Current children cumulated CPU time (s) 982.02
Current children cumulated vsize (KiB) 58308

[startup+983.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646192/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=983.62
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13373 0 0 0 98354 8 0 0 25 0 1 0 108116135 59707392 13130 1992294400 134512640 135192793 4294956224 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13130 73 166 0 14408 0
Current children cumulated CPU time (s) 983.62
Current children cumulated vsize (KiB) 58308

[startup+985.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646192/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=985.22
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13373 0 0 0 98514 8 0 0 25 0 1 0 108116135 59707392 13130 1992294400 134512640 135192793 4294956224 18446744073709551615 134533236 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13130 73 166 0 14408 0
Current children cumulated CPU time (s) 985.22
Current children cumulated vsize (KiB) 58308

[startup+986.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646192/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=986.02
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13373 0 0 0 98594 8 0 0 25 0 1 0 108116135 59707392 13130 1992294400 134512640 135192793 4294956224 18446744073709551615 134520618 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13130 73 166 0 14408 0
Current children cumulated CPU time (s) 986.02
Current children cumulated vsize (KiB) 58308

[startup+986.706 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646192/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=986.42
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13373 0 0 0 98634 8 0 0 25 0 1 0 108116135 59707392 13130 1992294400 134512640 135192793 4294956224 18446744073709551615 134551635 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13130 73 166 0 14408 0
Current children cumulated CPU time (s) 986.42
Current children cumulated vsize (KiB) 58308

[startup+986.802 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11353
/proc/meminfo: memFree=1646192/2055920 swapFree=4192952/4192956
[pid=11346] ppid=11344 vsize=58308 CPUtime=986.52
/proc/11346/stat : 11346 (mxc-sat09) R 11344 11346 10780 0 -1 4194304 13373 0 0 0 98644 8 0 0 25 0 1 0 108116135 59707392 13130 1992294400 134512640 135192793 4294956224 18446744073709551615 134534086 0 0 4096 0 0 0 0 17 1 0 0
/proc/11346/statm: 14577 13130 73 166 0 14408 0
Current children cumulated CPU time (s) 986.52
Current children cumulated vsize (KiB) 58308

Child status: 10
Real time (s): 986.898
CPU time (s): 986.627
CPU user time (s): 986.53
CPU system time (s): 0.096985
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 58308

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

runsolver used 1.11583 second user time and 2.18867 second system time

The end