runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463029-1307177720/watcher-3463029-1307177720 -o /tmp/evaluation-result-3463029-1307177720/solver-3463029-1307177720 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463029-1307177720.opb
running on 4 cores: 1,3,5,7
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: 2.00 2.01 2.00 2/558 9014
/proc/meminfo: memFree=28694720/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=13824 CPUtime=0 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 1 0 908002659 14155776 360 33554432000 134512640 137138936 4286669280 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 3456 361 192 642 0 2158 0
[startup+0.095452 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 9014
/proc/meminfo: memFree=28694720/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=19600 CPUtime=0.09 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 2208 0 0 0 9 0 0 0 25 0 1 0 908002659 20070400 2162 33554432000 134512640 137138936 4286669280 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 4900 2163 542 642 0 3602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19600
[startup+0.100453 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 9014
/proc/meminfo: memFree=28694720/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=19876 CPUtime=0.09 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 2309 0 0 0 9 0 0 0 25 0 1 0 908002659 20353024 2263 33554432000 134512640 137138936 4286669280 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 4969 2263 562 642 0 3671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19876
[startup+0.300422 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 9014
/proc/meminfo: memFree=28694720/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=30292 CPUtime=0.29 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 5812 0 0 0 28 1 0 0 25 0 1 0 908002659 31019008 5112 33554432000 134512640 137138936 4286669280 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 7573 5112 185 642 0 6929 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30292
[startup+0.700356 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 9014
/proc/meminfo: memFree=28694720/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=30292 CPUtime=0.69 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 5812 0 0 0 65 4 0 0 25 0 1 0 908002659 31019008 5112 33554432000 134512640 137138936 4286669280 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 7573 5112 185 642 0 6929 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30292
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9015
/proc/meminfo: memFree=28673756/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=32776 CPUtime=1.49 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 8120 0 0 0 142 7 0 0 25 0 1 0 908002659 33562624 5760 33554432000 134512640 137138936 4286669280 18446744073709551615 134606617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 8194 5760 192 642 0 7550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32776
[startup+3.10095 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9015
/proc/meminfo: memFree=28662760/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=52924 CPUtime=3.09 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 13163 0 0 0 301 8 0 0 25 0 1 0 908002659 54194176 10803 33554432000 134512640 137138936 4286669280 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 13231 10803 192 642 0 12587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52924
[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9015
/proc/meminfo: memFree=28621468/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=91064 CPUtime=6.29 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 22688 0 0 0 620 9 0 0 25 0 1 0 908002659 93249536 20328 33554432000 134512640 137138936 4286669280 18446744073709551615 136504914 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 22766 20328 192 642 0 22122 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91064
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9015
/proc/meminfo: memFree=28552520/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=154944 CPUtime=12.69 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 38662 0 0 0 1258 11 0 0 25 0 1 0 908002659 158662656 36302 33554432000 134512640 137138936 4286669280 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 38736 36302 192 642 0 38092 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 154944
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9017
/proc/meminfo: memFree=28438212/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=264976 CPUtime=25.49 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 66163 0 0 0 2533 16 0 0 25 0 1 0 908002659 271335424 63803 33554432000 134512640 137138936 4286669280 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 66244 63803 192 642 0 65600 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 264976
[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9017
/proc/meminfo: memFree=28265192/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=438328 CPUtime=51.09 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 109500 0 0 0 5087 22 0 0 25 0 1 0 908002659 448847872 107140 33554432000 134512640 137138936 4286669280 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 109582 107140 192 642 0 108938 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 438328
[startup+102.321 s]
/proc/loadavg: 2.16 2.04 2.01 3/559 9019
/proc/meminfo: memFree=28021020/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=678508 CPUtime=102.31 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 169559 0 0 0 10196 35 0 0 25 0 1 0 908002659 694792192 167199 33554432000 134512640 137138936 4286669280 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 169627 167199 192 642 0 168983 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 678508
[startup+162.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/559 9019
/proc/meminfo: memFree=27732316/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=968516 CPUtime=162.29 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 242051 0 0 0 16178 51 0 0 25 0 1 0 908002659 991760384 239691 33554432000 134512640 137138936 4286669280 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 242129 239694 192 642 0 241485 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 968516
[startup+222.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/559 9021
/proc/meminfo: memFree=27651796/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1045628 CPUtime=222.3 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 261397 0 0 0 22173 57 0 0 25 0 1 0 908002659 1070723072 258979 33554432000 134512640 137138936 4286669280 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 261407 258979 192 642 0 260763 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1045628
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/559 9023
/proc/meminfo: memFree=27651144/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1045628 CPUtime=282.29 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 261397 0 0 0 28171 58 0 0 25 0 1 0 908002659 1070723072 258979 33554432000 134512640 137138936 4286669280 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 261407 258979 192 642 0 260763 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1045628
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/559 9034
/proc/meminfo: memFree=27649340/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1045628 CPUtime=342.3 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 261397 0 0 0 34169 61 0 0 25 0 1 0 908002659 1070723072 258979 33554432000 134512640 137138936 4286669280 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 261407 258979 192 642 0 260763 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1045628
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9036
/proc/meminfo: memFree=27639552/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=402.29 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 40167 62 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1057376
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9036
/proc/meminfo: memFree=27639644/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=462.3 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 46165 65 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1057376
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9038
/proc/meminfo: memFree=27638740/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=522.3 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 52163 67 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1057376
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9040
/proc/meminfo: memFree=27638704/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=582.3 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 58162 68 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1057376
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27636492/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1122.31 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 112145 86 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1057376
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9056
/proc/meminfo: memFree=27636584/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1182.31 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 118143 88 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1057376
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9058
/proc/meminfo: memFree=27637044/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1242.31 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 124140 91 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1057376
[startup+1302.3 s]
/proc/loadavg: 2.23 2.08 2.02 3/559 9060
/proc/meminfo: memFree=27638364/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1302.32 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 130139 93 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1057376
[startup+1362.3 s]
/proc/loadavg: 2.19 2.09 2.02 3/559 9060
/proc/meminfo: memFree=27638204/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1362.31 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 136137 94 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1057376
[startup+1422.32 s]
/proc/loadavg: 2.12 2.09 2.02 3/559 9062
/proc/meminfo: memFree=27637916/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1422.33 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 142138 95 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1057376
[startup+1482.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/559 9092
/proc/meminfo: memFree=27654048/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1482.31 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 148135 96 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1057376
[startup+1542.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/559 9124
/proc/meminfo: memFree=27654856/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1542.32 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 154134 98 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1057376
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/559 9126
/proc/meminfo: memFree=27653152/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1602.32 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 160132 100 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1057376
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/559 9126
/proc/meminfo: memFree=27652996/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1662.31 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 166128 103 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1057376
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9128
/proc/meminfo: memFree=27651352/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1722.32 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 172126 106 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1057376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9130
/proc/meminfo: memFree=27650416/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1782.32 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 178125 107 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1057376
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9130
/proc/meminfo: memFree=27650292/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1785.52 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 178445 107 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 1057376
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9130
/proc/meminfo: memFree=27650396/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1791.94 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 179087 107 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 1057376
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9130
/proc/meminfo: memFree=27650396/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1795.12 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 179405 107 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 1057376
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9130
/proc/meminfo: memFree=27650396/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1796.72 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 179565 107 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 1057376
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9130
/proc/meminfo: memFree=27650396/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1797.52 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 179645 107 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 1057376
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9130
/proc/meminfo: memFree=27650396/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=1057376 CPUtime=1797.92 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202496 264369 0 0 0 179685 107 0 0 25 0 1 0 908002659 1082753024 261892 33554432000 134512640 137138936 4286669280 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9014/statm: 264344 261892 192 642 0 263700 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1057376
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9130
/proc/meminfo: memFree=27650396/32951124 swapFree=34426104/67111528
[pid=9014] ppid=9012 vsize=0 CPUtime=1798.02 cores=1,3,5,7
/proc/9014/stat : 9014 (bsolo) R 9012 9014 7463 0 -1 4202500 264370 0 0 0 179692 110 0 0 25 0 1 0 908002659 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/9014/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798.05
CPU user time (s): 1796.93
CPU system time (s): 1.12483
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1057612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 1.12483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264370
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= 4
involuntary context switches= 20621
runsolver used 10.4964 second user time and 23.2405 second system time
The end