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-3708204-1338187379/watcher-3708204-1338187379 -o /tmp/evaluation-result-3708204-1338187379/solver-3708204-1338187379 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708204-1338187379.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/176 32185
/proc/meminfo: memFree=27862084/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=10996 CPUtime=0 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 284863375 11259904 264 33554432000 134512640 137138936 4290623104 4290621032 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 2749 264 179 642 0 2087 0
[startup+0.060108 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32185
/proc/meminfo: memFree=27862084/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=11192 CPUtime=0.05 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 415 0 0 0 5 0 0 0 20 0 1 0 284863375 11460608 351 33554432000 134512640 137138936 4290623104 4290612284 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 2798 351 185 642 0 2154 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11192
[startup+0.100144 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32185
/proc/meminfo: memFree=27862084/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=11192 CPUtime=0.09 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 422 0 0 0 9 0 0 0 20 0 1 0 284863375 11460608 358 33554432000 134512640 137138936 4290623104 4290622220 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 2798 358 192 642 0 2154 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11192
[startup+0.300119 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32185
/proc/meminfo: memFree=27862084/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=11936 CPUtime=0.29 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 603 0 0 0 29 0 0 0 20 0 1 0 284863375 12222464 539 33554432000 134512640 137138936 4290623104 4290622220 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 2984 539 192 642 0 2340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11936
[startup+0.700093 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32185
/proc/meminfo: memFree=27862084/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=13400 CPUtime=0.68 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 980 0 0 0 68 0 0 0 20 0 1 0 284863375 13721600 916 33554432000 134512640 137138936 4290623104 4290620676 134599652 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 3350 916 192 642 0 2706 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13400
[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32186
/proc/meminfo: memFree=27858976/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=15900 CPUtime=1.49 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 1604 0 0 0 148 1 0 0 20 0 1 0 284863375 16281600 1540 33554432000 134512640 137138936 4290623104 4290622032 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 3975 1541 192 642 0 3331 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15900
[startup+3.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32186
/proc/meminfo: memFree=27854004/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=20116 CPUtime=3.08 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 2642 0 0 0 306 2 0 0 20 0 1 0 284863375 20598784 2576 33554432000 134512640 137138936 4290623104 4290622220 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 5029 2576 192 642 0 4385 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20116
[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32186
/proc/meminfo: memFree=27847156/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=26584 CPUtime=6.28 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 4274 0 0 0 625 3 0 0 20 0 1 0 284863375 27222016 4208 33554432000 134512640 137138936 4290623104 4290619864 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 6646 4208 192 642 0 6002 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26584
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32186
/proc/meminfo: memFree=27837136/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=35952 CPUtime=12.68 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 6620 0 0 0 1263 5 0 0 20 0 1 0 284863375 36814848 6554 33554432000 134512640 137138936 4290623104 4290622220 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 8988 6554 192 642 0 8344 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35952
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32186
/proc/meminfo: memFree=27820380/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=52952 CPUtime=25.48 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 10877 0 0 0 2538 10 0 0 20 0 1 0 284863375 54222848 10811 33554432000 134512640 137138936 4290623104 4290622032 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 13238 10811 192 642 0 12594 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52952
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32186
/proc/meminfo: memFree=27803280/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=69908 CPUtime=51.08 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 15166 0 0 0 5091 17 0 0 20 0 1 0 284863375 71585792 15044 33554432000 134512640 137138936 4290623104 4290622032 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 17477 15044 192 642 0 16833 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69908
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32224
/proc/meminfo: memFree=27830968/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=102440 CPUtime=102.24 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 23398 0 0 0 10195 29 0 0 20 0 1 0 284863375 104898560 23174 33554432000 134512640 137138936 4290623104 4290621600 134618200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 25610 23174 192 642 0 24966 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 102440
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32224
/proc/meminfo: memFree=27676656/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=102440 CPUtime=162.22 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 23405 0 0 0 16186 36 0 0 20 0 1 0 284863375 104898560 23174 33554432000 134512640 137138936 4290623104 4290620728 134600117 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 25610 23174 192 642 0 24966 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 102440
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32224
/proc/meminfo: memFree=27536920/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=102468 CPUtime=222.21 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 23487 0 0 0 22179 42 0 0 20 0 1 0 284863375 104927232 23181 33554432000 134512640 137138936 4290623104 4290622032 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 25617 23181 192 642 0 24973 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 102468
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32225
/proc/meminfo: memFree=27421524/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=103480 CPUtime=282.2 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 23720 0 0 0 28170 50 0 0 20 0 1 0 284863375 105963520 23414 33554432000 134512640 137138936 4290623104 4290622220 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 25870 23414 192 642 0 25226 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 103480
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32225
/proc/meminfo: memFree=27336848/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=119456 CPUtime=342.19 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 27721 0 0 0 34160 59 0 0 20 0 1 0 284863375 122322944 27415 33554432000 134512640 137138936 4290623104 4290622032 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 29864 27415 192 642 0 29220 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 119456
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32225
/proc/meminfo: memFree=27229260/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=153836 CPUtime=402.18 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 36422 0 0 0 40146 72 0 0 20 0 1 0 284863375 157528064 36034 33554432000 134512640 137138936 4290623104 4290622032 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 38459 36034 192 642 0 37815 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 153836
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 32228
/proc/meminfo: memFree=27181420/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=153836 CPUtime=462.17 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 36422 0 0 0 46136 81 0 0 20 0 1 0 284863375 157528064 36034 33554432000 134512640 137138936 4290623104 4290622032 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 38459 36034 192 642 0 37815 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 153836
[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 32228
/proc/meminfo: memFree=27119456/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=172328 CPUtime=522.16 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 41040 0 0 0 52128 88 0 0 20 0 1 0 284863375 176463872 40652 33554432000 134512640 137138936 4290623104 4290622220 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 43082 40652 192 642 0 42438 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 172328
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 32229
/proc/meminfo: memFree=27063196/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=179152 CPUtime=582.15 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 42720 0 0 0 58120 95 0 0 20 0 1 0 284863375 183451648 42332 33554432000 134512640 137138936 4290623104 4290621916 136502660 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 44788 42332 192 642 0 44144 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 179152
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26742400/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=179220 CPUtime=1062.05 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 42782 0 0 0 106070 135 0 0 20 0 1 0 284863375 183521280 42357 33554432000 134512640 137138936 4290623104 4290622032 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 44805 42357 192 642 0 44161 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 179220
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32256
/proc/meminfo: memFree=26742168/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=179220 CPUtime=1122.04 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 42782 0 0 0 112064 140 0 0 20 0 1 0 284863375 183521280 42357 33554432000 134512640 137138936 4290623104 4290621568 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 44805 42357 192 642 0 44161 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 179220
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32257
/proc/meminfo: memFree=26741708/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=179220 CPUtime=1182.03 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 42782 0 0 0 118059 144 0 0 20 0 1 0 284863375 183521280 42357 33554432000 134512640 137138936 4290623104 4290622032 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 44805 42357 192 642 0 44161 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 179220
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32257
/proc/meminfo: memFree=26738264/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=181992 CPUtime=1242.02 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43586 0 0 0 124051 151 0 0 20 0 1 0 284863375 186359808 43062 33554432000 134512640 137138936 4290623104 4290622032 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45498 43062 192 642 0 44854 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 181992
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32257
/proc/meminfo: memFree=26738000/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=181992 CPUtime=1302.02 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43586 0 0 0 130046 156 0 0 20 0 1 0 284863375 186359808 43062 33554432000 134512640 137138936 4290623104 4290621712 134544865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45498 43062 192 642 0 44854 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 181992
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32257
/proc/meminfo: memFree=26739744/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=181992 CPUtime=1362 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43586 0 0 0 136040 160 0 0 20 0 1 0 284863375 186359808 43062 33554432000 134512640 137138936 4290623104 4290622032 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45498 43062 192 642 0 44854 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 181992
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32258
/proc/meminfo: memFree=26739124/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182460 CPUtime=1422 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43685 0 0 0 142035 165 0 0 20 0 1 0 284863375 186839040 43159 33554432000 134512640 137138936 4290623104 4290622032 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45615 43159 192 642 0 44971 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 182460
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32259
/proc/meminfo: memFree=26739508/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182460 CPUtime=1481.99 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43685 0 0 0 148029 170 0 0 20 0 1 0 284863375 186839040 43159 33554432000 134512640 137138936 4290623104 4290622032 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45615 43159 192 642 0 44971 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 182460
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32259
/proc/meminfo: memFree=26739384/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182460 CPUtime=1541.97 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43685 0 0 0 154024 173 0 0 20 0 1 0 284863375 186839040 43159 33554432000 134512640 137138936 4290623104 4290622032 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45615 43159 192 642 0 44971 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 182460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 32259
/proc/meminfo: memFree=26739260/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1601.96 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 160019 177 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290621600 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 182496
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32262
/proc/meminfo: memFree=26739392/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1661.96 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 166014 182 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290622032 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 182496
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32262
/proc/meminfo: memFree=26739400/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1721.94 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 172010 184 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290622032 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 182496
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32263
/proc/meminfo: memFree=26739276/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1781.94 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 178007 187 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290621816 136504268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 182496
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32263
/proc/meminfo: memFree=26739152/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1791.54 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 178967 187 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290622032 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 182496
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32263
/proc/meminfo: memFree=26739152/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1794.74 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 179287 187 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290622032 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 182496
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32263
/proc/meminfo: memFree=26739152/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1796.34 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 179446 188 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290622032 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 182496
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32263
/proc/meminfo: memFree=26739152/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1797.14 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 179526 188 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290622220 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 182496
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32263
/proc/meminfo: memFree=26739152/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1797.54 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 179566 188 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290622220 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 182496
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32263
/proc/meminfo: memFree=26739152/32873648 swapFree=7104/7104
[pid=32185] ppid=32183 vsize=182496 CPUtime=1797.94 cores=1,3,5,7
/proc/32185/stat : 32185 (bsolo) R 32183 32185 29254 0 -1 4202496 43702 0 0 0 179606 188 0 0 20 0 1 0 284863375 186875904 43176 33554432000 134512640 137138936 4290623104 4290622032 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32185/statm: 45624 43176 192 642 0 44980 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 182496
Child status: 0
Real time (s): 1798.37
CPU time (s): 1798.02
CPU user time (s): 1796.14
CPU system time (s): 1.88171
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 182496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.14
system time used= 1.88171
maximum resident set size= 172704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43702
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= 86
involuntary context switches= 1848
runsolver used 2.6326 second user time and 7.18291 second system time
The end