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-3708452-1338172203/watcher-3708452-1338172203 -o /tmp/evaluation-result-3708452-1338172203/solver-3708452-1338172203 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708452-1338172203.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.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=11296 CPUtime=0 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 402 0 0 0 0 0 0 0 20 0 1 0 283345763 11567104 356 33554432000 134512640 137138936 4289295344 4289293696 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 2824 356 177 642 0 2159 0
[startup+0.0375869 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=13832 CPUtime=0.03 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 1085 0 0 0 3 0 0 0 20 0 1 0 283345763 14163968 1018 33554432000 134512640 137138936 4289295344 4289216524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 3458 1018 185 642 0 2814 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13832
[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=13832 CPUtime=0.09 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 1085 0 0 0 9 0 0 0 20 0 1 0 283345763 14163968 1018 33554432000 134512640 137138936 4289295344 4289216524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 3458 1018 185 642 0 2814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13832
[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=14076 CPUtime=0.28 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 1455 0 0 0 27 1 0 0 20 0 1 0 283345763 14413824 1079 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 3519 1079 188 642 0 2875 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14076
[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30708
/proc/meminfo: memFree=26919164/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=15388 CPUtime=0.69 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 1796 0 0 0 67 2 0 0 20 0 1 0 283345763 15757312 1420 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 3847 1420 192 642 0 3203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15388
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26913568/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=18028 CPUtime=1.49 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 2438 0 0 0 147 2 0 0 20 0 1 0 283345763 18460672 2062 33554432000 134512640 137138936 4289295344 4289294096 134575735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 4507 2062 192 642 0 3863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18028
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26909460/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=23652 CPUtime=3.08 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 3848 0 0 0 306 2 0 0 20 0 1 0 283345763 24219648 3472 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 5913 3472 192 642 0 5269 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23652
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26898980/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=32580 CPUtime=6.29 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 6096 0 0 0 625 4 0 0 20 0 1 0 283345763 33361920 5720 33554432000 134512640 137138936 4289295344 4289294096 134575614 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 8145 5720 192 642 0 7501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32580
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26884488/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=46288 CPUtime=12.68 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 9521 0 0 0 1263 5 0 0 20 0 1 0 283345763 47398912 9145 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 11572 9145 192 642 0 10928 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46288
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26862988/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=67700 CPUtime=25.48 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 14861 0 0 0 2540 8 0 0 20 0 1 0 283345763 69324800 14485 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 16925 14485 192 642 0 16281 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67700
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30709
/proc/meminfo: memFree=26832980/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=98408 CPUtime=51.08 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 22551 0 0 0 5094 14 0 0 20 0 1 0 283345763 100769792 22175 33554432000 134512640 137138936 4289295344 4289292512 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 24602 22175 192 642 0 23958 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98408
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30709
/proc/meminfo: memFree=26765532/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=164604 CPUtime=102.28 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 39094 0 0 0 10206 22 0 0 20 0 1 0 283345763 168554496 38718 33554432000 134512640 137138936 4289295344 4289294272 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 41151 38718 192 642 0 40507 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 164604
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30709
/proc/meminfo: memFree=26703284/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=227452 CPUtime=162.27 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 54815 0 0 0 16196 31 0 0 20 0 1 0 283345763 232910848 54439 33554432000 134512640 137138936 4289295344 4289294240 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 56863 54439 192 642 0 56219 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 227452
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30748
/proc/meminfo: memFree=27682884/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=281320 CPUtime=222.26 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 68265 0 0 0 22187 39 0 0 20 0 1 0 283345763 288071680 67889 33554432000 134512640 137138936 4289295344 4289294056 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 70330 67889 192 642 0 69686 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 281320
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30862
/proc/meminfo: memFree=27568524/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=327184 CPUtime=282.2 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 79794 0 0 0 28172 48 0 0 20 0 1 0 283345763 335036416 79381 33554432000 134512640 137138936 4289295344 4289294272 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 81796 79381 192 642 0 81152 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 327184
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30862
/proc/meminfo: memFree=27429312/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=370988 CPUtime=342.14 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 90781 0 0 0 34159 55 0 0 20 0 1 0 283345763 379891712 90320 33554432000 134512640 137138936 4289295344 4289294272 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 92747 90320 192 642 0 92103 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 370988
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30862
/proc/meminfo: memFree=27323072/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=408124 CPUtime=402.09 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 100118 0 0 0 40147 62 0 0 20 0 1 0 283345763 417918976 99609 33554432000 134512640 137138936 4289295344 4289294100 136502585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 102031 99609 192 642 0 101387 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 408124
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30862
/proc/meminfo: memFree=27231960/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=440020 CPUtime=462.04 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 108129 0 0 0 46136 68 0 0 20 0 1 0 283345763 450580480 107572 33554432000 134512640 137138936 4289295344 4289294252 136295499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 110005 107572 192 642 0 109361 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 440020
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30863
/proc/meminfo: memFree=27157112/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=457860 CPUtime=522 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 112749 0 0 0 52126 74 0 0 20 0 1 0 283345763 468848640 112489 33554432000 134512640 137138936 4289295344 4289294272 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 114465 112489 192 642 0 113821 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 457860
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30863
/proc/meminfo: memFree=27110788/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=457860 CPUtime=582 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 112749 0 0 0 58123 77 0 0 20 0 1 0 283345763 468848640 112489 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 114465 112489 192 642 0 113821 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 457860
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26545588/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=612036 CPUtime=1121.91 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 152344 0 0 0 112084 107 0 0 20 0 1 0 283345763 626724864 151017 33554432000 134512640 137138936 4289295344 4289277128 136504512 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 153009 151017 192 642 0 152365 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 612036
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30868
/proc/meminfo: memFree=26481664/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=645292 CPUtime=1181.88 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 160728 0 0 0 118075 113 0 0 20 0 1 0 283345763 660779008 159343 33554432000 134512640 137138936 4289295344 4289294272 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 161323 159343 192 642 0 160679 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 645292
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30871
/proc/meminfo: memFree=26411000/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=676752 CPUtime=1241.84 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 168712 0 0 0 124067 117 0 0 20 0 1 0 283345763 692994048 167223 33554432000 134512640 137138936 4289295344 4289294272 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 169188 167223 192 642 0 168544 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 676752
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30871
/proc/meminfo: memFree=26343156/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=708192 CPUtime=1301.8 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 176609 0 0 0 130058 122 0 0 20 0 1 0 283345763 725188608 175078 33554432000 134512640 137138936 4289295344 4289294272 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 177048 175078 192 642 0 176404 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 708192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30871
/proc/meminfo: memFree=26282956/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=738388 CPUtime=1361.78 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 184151 0 0 0 136052 126 0 0 20 0 1 0 283345763 756109312 182620 33554432000 134512640 137138936 4289295344 4289294272 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 184597 182620 192 642 0 183953 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 738388
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26217732/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=768148 CPUtime=1421.78 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 191603 0 0 0 142048 130 0 0 20 0 1 0 283345763 786583552 190072 33554432000 134512640 137138936 4289295344 4289294448 134543413 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 192037 190072 192 642 0 191393 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 768148
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26165900/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=788960 CPUtime=1481.77 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 196788 0 0 0 148044 133 0 0 20 0 1 0 283345763 807895040 195257 33554432000 134512640 137138936 4289295344 4289294272 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 197240 195257 192 642 0 196596 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 788960
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26126344/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=808948 CPUtime=1541.75 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 201797 0 0 0 154038 137 0 0 20 0 1 0 283345763 828362752 200266 33554432000 134512640 137138936 4289295344 4289294272 134542017 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 202237 200266 192 642 0 201593 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 808948
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26106012/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=829984 CPUtime=1601.74 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 207044 0 0 0 160034 140 0 0 20 0 1 0 283345763 849903616 205513 33554432000 134512640 137138936 4289295344 4289294272 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 207496 205513 192 642 0 206852 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 829984
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30872
/proc/meminfo: memFree=26084436/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=851348 CPUtime=1661.74 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 212391 0 0 0 166031 143 0 0 20 0 1 0 283345763 871780352 210860 33554432000 134512640 137138936 4289295344 4289294272 134542249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 212837 210860 192 642 0 212193 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 851348
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30873
/proc/meminfo: memFree=26063144/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=872552 CPUtime=1721.73 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 217696 0 0 0 172027 146 0 0 20 0 1 0 283345763 893493248 216165 33554432000 134512640 137138936 4289295344 4289294272 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 218138 216165 192 642 0 217494 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 872552
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 30873
/proc/meminfo: memFree=26044696/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=890680 CPUtime=1781.72 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 222229 0 0 0 178024 148 0 0 20 0 1 0 283345763 912056320 220698 33554432000 134512640 137138936 4289295344 4289294272 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 222670 220698 192 642 0 222026 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 890680
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26041828/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=893424 CPUtime=1791.32 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 222921 0 0 0 178983 149 0 0 20 0 1 0 283345763 914866176 221377 33554432000 134512640 137138936 4289295344 4289294264 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223356 221377 192 642 0 222712 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 893424
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26040448/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=894708 CPUtime=1794.53 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223238 0 0 0 179303 150 0 0 20 0 1 0 283345763 916180992 221694 33554432000 134512640 137138936 4289295344 4289294272 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223677 221694 192 642 0 223033 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 894708
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26040076/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=895164 CPUtime=1796.12 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223350 0 0 0 179462 150 0 0 20 0 1 0 283345763 916647936 221806 33554432000 134512640 137138936 4289295344 4289294460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223791 221806 192 642 0 223147 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 895164
[startup+1797.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26039828/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=895404 CPUtime=1796.92 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223405 0 0 0 179542 150 0 0 20 0 1 0 283345763 916893696 221861 33554432000 134512640 137138936 4289295344 4289294272 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223851 221861 192 642 0 223207 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 895404
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30873
/proc/meminfo: memFree=26039828/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=895488 CPUtime=1797.72 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223438 0 0 0 179622 150 0 0 20 0 1 0 283345763 916979712 221894 33554432000 134512640 137138936 4289295344 4289294272 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223872 221894 192 642 0 223228 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 895488
[startup+1798.51 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 30876
/proc/meminfo: memFree=26038952/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=895556 CPUtime=1797.92 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202496 223453 0 0 0 179642 150 0 0 20 0 1 0 283345763 917049344 221909 33554432000 134512640 137138936 4289295344 4289294264 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30708/statm: 223889 221909 192 642 0 223245 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 895556
[startup+1798.6 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 30876
/proc/meminfo: memFree=26038952/32873648 swapFree=7104/7104
[pid=30708] ppid=30706 vsize=0 CPUtime=1798.02 cores=1,3,5,7
/proc/30708/stat : 30708 (bsolo) R 30706 30708 29254 0 -1 4202500 223467 0 0 0 179651 151 0 0 20 0 1 0 283345763 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30708/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.6
CPU time (s): 1798.03
CPU user time (s): 1796.51
CPU system time (s): 1.51977
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 895556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 1.51977
maximum resident set size= 887692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223467
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= 340
involuntary context switches= 1840
runsolver used 3.12952 second user time and 7.52186 second system time
The end