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-3707409-1338141097/watcher-3707409-1338141097 -o /tmp/evaluation-result-3707409-1338141097/solver-3707409-1338141097 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707409-1338141097.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.05 2.05 2.00 3/174 4808
/proc/meminfo: memFree=28970676/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=14376 CPUtime=0 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 280235672 14721024 296 33554432000 134512640 137138936 4288693184 4288691696 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 3594 296 181 642 0 2091 0
[startup+0.064526 s]
/proc/loadavg: 2.05 2.05 2.00 3/174 4808
/proc/meminfo: memFree=28970676/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=17100 CPUtime=0.06 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 1227 0 0 0 6 0 0 0 20 0 1 0 280235672 17510400 1180 33554432000 134512640 137138936 4288693184 4288691448 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 4275 1180 400 642 0 2772 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17100
[startup+0.100283 s]
/proc/loadavg: 2.05 2.05 2.00 3/174 4808
/proc/meminfo: memFree=28970676/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=18736 CPUtime=0.09 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 1768 0 0 0 9 0 0 0 20 0 1 0 280235672 19185664 1721 33554432000 134512640 137138936 4288693184 4288691712 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 4684 1722 535 642 0 3181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18736
[startup+0.300262 s]
/proc/loadavg: 2.05 2.05 2.00 3/174 4808
/proc/meminfo: memFree=28970676/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=26484 CPUtime=0.29 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 5074 0 0 0 29 0 0 0 20 0 1 0 280235672 27119616 4168 33554432000 134512640 137138936 4288693184 4288674184 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 6621 4172 185 642 0 5977 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26484
[startup+0.700321 s]
/proc/loadavg: 2.05 2.05 2.00 3/174 4808
/proc/meminfo: memFree=28970676/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=30972 CPUtime=0.69 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 6189 0 0 0 68 1 0 0 20 0 1 0 280235672 31715328 5283 33554432000 134512640 137138936 4288693184 4288674412 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 7743 5283 185 642 0 7099 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30972
[startup+1.50032 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4809
/proc/meminfo: memFree=28950208/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=30972 CPUtime=1.49 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 6189 0 0 0 147 2 0 0 20 0 1 0 280235672 31715328 5283 33554432000 134512640 137138936 4288693184 4288674412 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 7743 5283 185 642 0 7099 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30972
[startup+3.10031 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4809
/proc/meminfo: memFree=28949836/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=30756 CPUtime=3.09 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 7514 0 0 0 305 4 0 0 20 0 1 0 280235672 31494144 5263 33554432000 134512640 137138936 4288693184 4288692112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 7689 5263 192 642 0 7045 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30756
[startup+6.3003 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 4809
/proc/meminfo: memFree=28943248/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=40940 CPUtime=6.29 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 10045 0 0 0 623 6 0 0 20 0 1 0 280235672 41922560 7794 33554432000 134512640 137138936 4288693184 4288692112 134542217 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 10235 7794 192 642 0 9591 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40940
[startup+12.7003 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 4809
/proc/meminfo: memFree=28918208/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=64136 CPUtime=12.68 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 15839 0 0 0 1260 8 0 0 20 0 1 0 280235672 65675264 13588 33554432000 134512640 137138936 4288693184 4288692300 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 16034 13588 192 642 0 15390 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64136
[startup+25.5003 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 4809
/proc/meminfo: memFree=28886060/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=94744 CPUtime=25.49 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 23499 0 0 0 2538 11 0 0 20 0 1 0 280235672 97017856 21248 33554432000 134512640 137138936 4288693184 4288692080 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 23686 21248 192 642 0 23042 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94744
[startup+51.1003 s]
/proc/loadavg: 2.17 2.07 2.01 3/175 4847
/proc/meminfo: memFree=28992012/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=138460 CPUtime=51.08 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 34431 0 0 0 5091 17 0 0 20 0 1 0 280235672 141783040 32173 33554432000 134512640 137138936 4288693184 4288692112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 34615 32173 192 642 0 33971 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 138460
[startup+102.307 s]
/proc/loadavg: 2.07 2.06 2.00 3/175 4885
/proc/meminfo: memFree=28372936/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=198576 CPUtime=102.24 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 49493 0 0 0 10195 29 0 0 20 0 1 0 280235672 203341824 47195 33554432000 134512640 137138936 4288693184 4288692112 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 49644 47195 192 642 0 49000 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 198576
[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 4885
/proc/meminfo: memFree=28365032/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=203372 CPUtime=162.18 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 50845 0 0 0 16185 33 0 0 20 0 1 0 280235672 208252928 48894 33554432000 134512640 137138936 4288693184 4288692112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 50843 48894 192 642 0 50199 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 203372
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 4886
/proc/meminfo: memFree=28364952/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=203900 CPUtime=222.17 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 50987 0 0 0 22181 36 0 0 20 0 1 0 280235672 208793600 49036 33554432000 134512640 137138936 4288693184 4288692300 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 50975 49036 192 642 0 50331 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 203900
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/172 4914
/proc/meminfo: memFree=28936876/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=256776 CPUtime=282.16 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 64324 0 0 0 28171 45 0 0 20 0 1 0 280235672 262938624 62249 33554432000 134512640 137138936 4288693184 4288692112 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 64194 62249 192 642 0 63550 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 256776
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 4924
/proc/meminfo: memFree=28701384/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=256776 CPUtime=342.15 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 64324 0 0 0 34167 48 0 0 20 0 1 0 280235672 262938624 62249 33554432000 134512640 137138936 4288693184 4288692112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 64194 62249 192 642 0 63550 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 256776
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 4924
/proc/meminfo: memFree=28701000/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=256776 CPUtime=402.13 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 64330 0 0 0 40163 50 0 0 20 0 1 0 280235672 262938624 62249 33554432000 134512640 137138936 4288693184 4288691680 134618200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 64194 62249 192 642 0 63550 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 256776
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 5494
/proc/meminfo: memFree=28825060/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=260092 CPUtime=462.1 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 65174 0 0 0 46157 53 0 0 20 0 1 0 280235672 266334208 63073 33554432000 134512640 137138936 4288693184 4288692112 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 65023 63073 192 642 0 64379 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 260092
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 5498
/proc/meminfo: memFree=28796052/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=288460 CPUtime=522.09 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 72415 0 0 0 52151 58 0 0 20 0 1 0 280235672 295383040 70178 33554432000 134512640 137138936 4288693184 4288692112 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 72115 70178 192 642 0 71471 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 288460
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 5521
/proc/meminfo: memFree=28794936/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=288460 CPUtime=582.09 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 72415 0 0 0 58147 62 0 0 20 0 1 0 280235672 295383040 70178 33554432000 134512640 137138936 4288693184 4288691896 136504259 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 72115 70178 192 642 0 71471 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 288460
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28579716/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=351444 CPUtime=1121.96 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 88361 0 0 0 112103 93 0 0 20 0 1 0 280235672 359878656 85928 33554432000 134512640 137138936 4288693184 4288692112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 87861 85928 192 642 0 87217 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 351444
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5526
/proc/meminfo: memFree=28561372/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=351444 CPUtime=1181.95 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 88361 0 0 0 118099 96 0 0 20 0 1 0 280235672 359878656 85928 33554432000 134512640 137138936 4288693184 4288692112 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 87861 85928 192 642 0 87217 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 351444
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5526
/proc/meminfo: memFree=28545872/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=351444 CPUtime=1241.94 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 88511 0 0 0 124095 99 0 0 20 0 1 0 280235672 359878656 85928 33554432000 134512640 137138936 4288693184 4288692112 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 87861 85928 192 642 0 87217 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 351444
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5526
/proc/meminfo: memFree=28530372/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=351444 CPUtime=1301.94 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 88511 0 0 0 130090 104 0 0 20 0 1 0 280235672 359878656 85928 33554432000 134512640 137138936 4288693184 4288692112 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 87861 85928 192 642 0 87217 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 351444
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 5526
/proc/meminfo: memFree=28515492/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=351444 CPUtime=1361.92 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 88511 0 0 0 136085 107 0 0 20 0 1 0 280235672 359878656 85928 33554432000 134512640 137138936 4288693184 4288692112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 87861 85928 192 642 0 87217 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 351444
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 5526
/proc/meminfo: memFree=28502852/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=351444 CPUtime=1421.92 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 88511 0 0 0 142084 108 0 0 20 0 1 0 280235672 359878656 85928 33554432000 134512640 137138936 4288693184 4288692112 134542528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 87861 85928 192 642 0 87217 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 351444
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5527
/proc/meminfo: memFree=28488708/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=351444 CPUtime=1481.9 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 88511 0 0 0 148080 110 0 0 20 0 1 0 280235672 359878656 85928 33554432000 134512640 137138936 4288693184 4288692112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 87861 85928 192 642 0 87217 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 351444
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5527
/proc/meminfo: memFree=28479768/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=351452 CPUtime=1541.89 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 88513 0 0 0 154077 112 0 0 20 0 1 0 280235672 359886848 85930 33554432000 134512640 137138936 4288693184 4288692112 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 87863 85930 192 642 0 87219 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 351452
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5527
/proc/meminfo: memFree=28453696/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=367344 CPUtime=1601.89 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92479 0 0 0 160072 117 0 0 20 0 1 0 280235672 376160256 89896 33554432000 134512640 137138936 4288693184 4288692112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 91836 89896 192 642 0 91192 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 367344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5527
/proc/meminfo: memFree=28439064/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1661.88 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 166069 119 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692112 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 368152
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5530
/proc/meminfo: memFree=28427524/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1721.87 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 172066 121 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692112 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 368152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5531
/proc/meminfo: memFree=28415256/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1781.86 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 178063 123 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692112 134542776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 368152
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5531
/proc/meminfo: memFree=28413892/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1791.46 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 179023 123 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692112 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 368152
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5531
/proc/meminfo: memFree=28412280/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1794.66 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 179343 123 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692300 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 368152
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5531
/proc/meminfo: memFree=28412156/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1796.26 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 179503 123 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692044 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 368152
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5531
/proc/meminfo: memFree=28411908/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1797.06 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 179583 123 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692112 134542448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 368152
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5531
/proc/meminfo: memFree=28411908/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1797.46 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 179623 123 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692112 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 368152
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5531
/proc/meminfo: memFree=28411908/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1797.86 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 179663 123 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692112 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 368152
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5531
/proc/meminfo: memFree=28411536/32873852 swapFree=6856/6856
[pid=4808] ppid=4806 vsize=368152 CPUtime=1797.96 cores=1,3,5,7
/proc/4808/stat : 4808 (bsolo) R 4806 4808 1566 0 -1 4202496 92831 0 0 0 179673 123 0 0 20 0 1 0 280235672 376987648 90083 33554432000 134512640 137138936 4288693184 4288692300 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 92038 90083 192 642 0 91394 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 368152
Child status: 0
Real time (s): 1798.45
CPU time (s): 1798.02
CPU user time (s): 1796.78
CPU system time (s): 1.23981
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 368812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 1.23981
maximum resident set size= 360992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92831
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= 168
involuntary context switches= 1889
runsolver used 2.6096 second user time and 7.2239 second system time
The end