runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3729042-1338678627/watcher-3729042-1338678627 -o /tmp/evaluation-result-3729042-1338678627/solver-3729042-1338678627 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729042-1338678627.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.02 0.56 1/174 7112
/proc/meminfo: memFree=28915660/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=1532 CPUtime=0 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) D 7110 7112 7079 0 -1 4194304 73 0 0 0 0 0 0 0 20 0 1 0 333987594 1568768 28 33554432000 134512640 135840783 4294397408 4294395500 7222212 0 0 4096 0 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/7112/statm: 383 28 22 325 0 25 0
[startup+0.0578029 s]
/proc/loadavg: 0.00 0.02 0.56 1/174 7112
/proc/meminfo: memFree=28915660/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=2776 CPUtime=0 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) D 7110 7112 7079 0 -1 4194304 96 0 2 0 0 0 0 0 20 0 1 0 333987594 2842624 51 33554432000 134512640 135840783 4294397408 4294395696 7222340 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 3 0 0
/proc/7112/statm: 694 51 40 325 0 32 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2776
[startup+0.100261 s]
/proc/loadavg: 0.00 0.02 0.56 1/174 7112
/proc/meminfo: memFree=28915660/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=5332 CPUtime=0.03 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 647 0 3 0 3 0 0 0 20 0 1 0 333987594 5459968 581 33554432000 134512640 135840783 4294397408 4294395172 7721314 0 0 4096 16384 0 0 0 17 0 0 0 4 0 0
/proc/7112/statm: 1333 581 347 325 0 269 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5332
[startup+0.300183 s]
/proc/loadavg: 0.00 0.02 0.56 1/174 7112
/proc/meminfo: memFree=28915660/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=8164 CPUtime=0.23 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 1376 0 3 0 23 0 0 0 20 0 1 0 333987594 8359936 1310 33554432000 134512640 135840783 4294397408 4294396768 134551330 0 0 4096 16384 0 0 0 17 0 0 0 4 0 0
/proc/7112/statm: 2041 1310 347 325 0 977 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 8164
[startup+0.700184 s]
/proc/loadavg: 0.00 0.02 0.56 1/174 7112
/proc/meminfo: memFree=28915660/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=11512 CPUtime=0.62 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 2197 0 3 0 62 0 0 0 20 0 1 0 333987594 11788288 2131 33554432000 134512640 135840783 4294397408 4294396768 134550916 0 0 4096 16384 0 0 0 17 0 0 0 4 0 0
/proc/7112/statm: 2878 2131 347 325 0 1814 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 11512
[startup+1.50018 s]
/proc/loadavg: 0.00 0.02 0.56 3/180 7127
/proc/meminfo: memFree=28892664/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=14992 CPUtime=1.42 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 3075 0 3 0 142 0 0 0 20 0 1 0 333987594 15351808 3009 33554432000 134512640 135840783 4294397408 4294396736 4358129 0 0 4096 16384 0 0 0 17 0 0 0 4 0 0
/proc/7112/statm: 3748 3009 347 325 0 2684 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 14992
[startup+3.10012 s]
/proc/loadavg: 0.16 0.05 0.56 3/180 7127
/proc/meminfo: memFree=28885928/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=17964 CPUtime=3.02 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 3805 0 3 0 302 0 0 0 20 0 1 0 333987594 18395136 3739 33554432000 134512640 135840783 4294397408 4294396768 134551084 0 0 4096 16384 0 0 0 17 6 0 0 4 0 0
/proc/7112/statm: 4491 3739 347 325 0 3427 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 17964
[startup+6.30023 s]
/proc/loadavg: 0.16 0.05 0.56 3/180 7127
/proc/meminfo: memFree=28880100/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=19380 CPUtime=6.22 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 4172 0 3 0 621 1 0 0 20 0 1 0 333987594 19845120 4106 33554432000 134512640 135840783 4294397408 4294396720 134551058 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 4845 4106 347 325 0 3781 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 19380
[startup+12.7003 s]
/proc/loadavg: 0.44 0.12 0.58 3/180 7127
/proc/meminfo: memFree=28873536/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=22472 CPUtime=12.61 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 4959 0 3 0 1260 1 0 0 20 0 1 0 333987594 23011328 4886 33554432000 134512640 135840783 4294397408 4294396720 134551312 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 5618 4886 347 325 0 4554 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 22472
[startup+25.5002 s]
/proc/loadavg: 0.68 0.18 0.59 3/180 7127
/proc/meminfo: memFree=28869396/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=25944 CPUtime=25.41 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 5823 0 3 0 2540 1 0 0 20 0 1 0 333987594 26566656 5750 33554432000 134512640 135840783 4294397408 4294396768 134550779 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 6486 5750 347 325 0 5422 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 25944
[startup+51.1003 s]
/proc/loadavg: 1.13 0.32 0.63 3/179 7127
/proc/meminfo: memFree=28864496/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=28892 CPUtime=51 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 6572 0 3 0 5099 1 0 0 20 0 1 0 333987594 29585408 6495 33554432000 134512640 135840783 4294397408 4294396768 134550896 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 7223 6495 347 325 0 6159 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 28892
[startup+102.307 s]
/proc/loadavg: 1.65 0.60 0.70 3/179 7127
/proc/meminfo: memFree=28857920/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=32516 CPUtime=102.2 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 7462 0 3 0 10218 2 0 0 20 0 1 0 333987594 33296384 7384 33554432000 134512640 135840783 4294397408 4294396644 7729181 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 8129 7384 347 325 0 7065 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 32516
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.78 3/179 7127
/proc/meminfo: memFree=28855436/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=33600 CPUtime=162.19 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 7736 0 3 0 16217 2 0 0 20 0 1 0 333987594 34406400 7657 33554432000 134512640 135840783 4294397408 4294394288 7731965 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 8400 7657 347 325 0 7336 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 33600
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.86 3/179 7127
/proc/meminfo: memFree=28852148/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=36032 CPUtime=222.18 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 8365 0 3 0 22216 2 0 0 20 0 1 0 333987594 36896768 8280 33554432000 134512640 135840783 4294397408 4294396768 134550804 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 9008 8280 347 325 0 7944 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 36032
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.92 3/179 7128
/proc/meminfo: memFree=28848620/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=38528 CPUtime=282.16 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 9010 0 3 0 28214 2 0 0 20 0 1 0 333987594 39452672 8890 33554432000 134512640 135840783 4294397408 4294396720 134551084 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 9632 8890 347 325 0 8568 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 38528
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.99 3/179 7128
/proc/meminfo: memFree=28845260/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=39884 CPUtime=342.16 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 9359 0 3 0 34213 3 0 0 20 0 1 0 333987594 40841216 9237 33554432000 134512640 135840783 4294397408 4294396764 134520488 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 9971 9237 347 325 0 8907 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 39884
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 1.04 3/179 7128
/proc/meminfo: memFree=28845072/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=39568 CPUtime=402.15 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 9435 0 3 0 40212 3 0 0 20 0 1 0 333987594 40517632 9165 33554432000 134512640 135840783 4294397408 4294396720 134551084 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 9892 9165 347 325 0 8828 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 39568
[startup+462.3 s]
/proc/loadavg: 2.06 1.58 1.11 3/179 7128
/proc/meminfo: memFree=28842096/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=42912 CPUtime=462.13 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 10268 0 3 0 46210 3 0 0 20 0 1 0 333987594 43941888 9988 33554432000 134512640 135840783 4294397408 4294396768 134551084 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 10728 9988 347 325 0 9664 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 42912
[startup+522.3 s]
/proc/loadavg: 2.09 1.67 1.17 3/179 7128
/proc/meminfo: memFree=28842092/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=42912 CPUtime=522.12 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 10270 0 3 0 52209 3 0 0 20 0 1 0 333987594 43941888 9988 33554432000 134512640 135840783 4294397408 4294396768 134550804 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 10728 9988 347 325 0 9664 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 42912
[startup+582.3 s]
/proc/loadavg: 2.03 1.73 1.21 3/179 7131
/proc/meminfo: memFree=28839912/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=42912 CPUtime=582.11 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 10344 0 3 0 58208 3 0 0 20 0 1 0 333987594 43941888 10001 33554432000 134512640 135840783 4294397408 4294396760 3971255 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 10728 10001 347 325 0 9664 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 42912
[startup+642.3 s]
/proc/loadavg: 2.01 1.78 1.27 3/179 7132
/proc/meminfo: memFree=28839672/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=43376 CPUtime=642.12 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 10447 0 3 0 64208 4 0 0 20 0 1 0 333987594 44417024 10103 33554432000 134512640 135840783 4294397408 4294396768 134550902 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 10844 10103 347 325 0 9780 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 43376
[startup+702.3 s]
/proc/loadavg: 2.00 1.81 1.30 3/179 7132
/proc/meminfo: memFree=28839548/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=43376 CPUtime=702.1 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 10457 0 3 0 70206 4 0 0 20 0 1 0 333987594 44417024 10113 33554432000 134512640 135840783 4294397408 4294396544 7731854 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 10844 10113 347 325 0 9780 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 43376
[startup+762.307 s]
/proc/loadavg: 2.00 1.85 1.35 3/179 7132
/proc/meminfo: memFree=28837872/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=44776 CPUtime=762.1 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 10807 0 3 0 76206 4 0 0 20 0 1 0 333987594 45850624 10462 33554432000 134512640 135840783 4294397408 4294396596 7729295 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11194 10462 347 325 0 10130 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 44776
[startup+822.3 s]
/proc/loadavg: 2.00 1.87 1.38 3/179 7132
/proc/meminfo: memFree=28836072/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=46500 CPUtime=822.08 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11241 0 3 0 82204 4 0 0 20 0 1 0 333987594 47616000 10895 33554432000 134512640 135840783 4294397408 4294396768 134551048 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11625 10895 347 325 0 10561 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 46500
[startup+882.3 s]
/proc/loadavg: 2.00 1.89 1.42 3/179 7132
/proc/meminfo: memFree=28833716/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=46500 CPUtime=882.07 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11241 0 3 0 88203 4 0 0 20 0 1 0 333987594 47616000 10895 33554432000 134512640 135840783 4294397408 4294396768 134551330 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11625 10895 347 325 0 10561 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 46500
[startup+942.3 s]
/proc/loadavg: 2.07 1.92 1.46 3/179 7133
/proc/meminfo: memFree=28832784/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=47120 CPUtime=942.07 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11408 0 3 0 94202 5 0 0 20 0 1 0 333987594 48250880 11053 33554432000 134512640 135840783 4294397408 4294396768 134550872 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11780 11053 347 325 0 10716 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 47120
Solver just ended. Dumping a history of the last processes samples
[startup+947.107 s]
/proc/loadavg: 2.07 1.92 1.46 3/179 7133
/proc/meminfo: memFree=28832908/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=47120 CPUtime=946.87 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11408 0 3 0 94682 5 0 0 20 0 1 0 333987594 48250880 11053 33554432000 134512640 135840783 4294397408 4294396768 134550869 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11780 11053 347 325 0 10716 0
Current children cumulated CPU time (s) 946.87
Current children cumulated vsize (KiB) 47120
[startup+950.3 s]
/proc/loadavg: 2.06 1.93 1.46 3/179 7133
/proc/meminfo: memFree=28832908/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=47120 CPUtime=950.07 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11408 0 3 0 95002 5 0 0 20 0 1 0 333987594 48250880 11053 33554432000 134512640 135840783 4294397408 4294396768 134550893 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11780 11053 347 325 0 10716 0
Current children cumulated CPU time (s) 950.07
Current children cumulated vsize (KiB) 47120
[startup+951.9 s]
/proc/loadavg: 2.06 1.93 1.46 3/179 7133
/proc/meminfo: memFree=28832908/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=47120 CPUtime=951.67 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11408 0 3 0 95162 5 0 0 20 0 1 0 333987594 48250880 11053 33554432000 134512640 135840783 4294397408 4294396768 134551330 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11780 11053 347 325 0 10716 0
Current children cumulated CPU time (s) 951.67
Current children cumulated vsize (KiB) 47120
[startup+952.7 s]
/proc/loadavg: 2.06 1.93 1.47 3/179 7133
/proc/meminfo: memFree=28832908/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=47120 CPUtime=952.47 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11408 0 3 0 95242 5 0 0 20 0 1 0 333987594 48250880 11053 33554432000 134512640 135840783 4294397408 4294396768 134551330 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11780 11053 347 325 0 10716 0
Current children cumulated CPU time (s) 952.47
Current children cumulated vsize (KiB) 47120
[startup+953.5 s]
/proc/loadavg: 2.06 1.93 1.47 3/179 7133
/proc/meminfo: memFree=28832908/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=47120 CPUtime=953.27 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11408 0 3 0 95322 5 0 0 20 0 1 0 333987594 48250880 11053 33554432000 134512640 135840783 4294397408 4294396768 134551084 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11780 11053 347 325 0 10716 0
Current children cumulated CPU time (s) 953.27
Current children cumulated vsize (KiB) 47120
[startup+953.707 s]
/proc/loadavg: 2.06 1.93 1.47 3/179 7133
/proc/meminfo: memFree=28832908/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=47120 CPUtime=953.47 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11408 0 3 0 95342 5 0 0 20 0 1 0 333987594 48250880 11053 33554432000 134512640 135840783 4294397408 4294396720 134550893 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11780 11053 347 325 0 10716 0
Current children cumulated CPU time (s) 953.47
Current children cumulated vsize (KiB) 47120
[startup+953.8 s]
/proc/loadavg: 2.06 1.93 1.47 3/179 7133
/proc/meminfo: memFree=28832908/32873844 swapFree=7380/7380
[pid=7112] ppid=7110 vsize=47120 CPUtime=953.57 cores=0,2,4,6
/proc/7112/stat : 7112 (bsolo3.0.17) R 7110 7112 7079 0 -1 4202496 11408 0 3 0 95352 5 0 0 20 0 1 0 333987594 48250880 11053 33554432000 134512640 135840783 4294397408 4294396736 4358111 0 0 4096 16384 0 0 0 17 2 0 0 4 0 0
/proc/7112/statm: 11780 11053 347 325 0 10716 0
Current children cumulated CPU time (s) 953.57
Current children cumulated vsize (KiB) 47120
Child status: 0
Real time (s): 953.817
CPU time (s): 953.589
CPU user time (s): 953.537
CPU system time (s): 0.051992
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 47284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 953.537
system time used= 0.051992
maximum resident set size= 44248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11411
page faults= 3
swaps= 0
block input operations= 2472
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42
involuntary context switches= 1064
runsolver used 1.41478 second user time and 4.66229 second system time
The end