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-3462802-1307183052/watcher-3462802-1307183052 -o /tmp/evaluation-result-3462802-1307183052/solver-3462802-1307183052 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462802-1307183052.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24425
/proc/meminfo: memFree=31280812/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=11444 CPUtime=0 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 464 0 0 0 0 0 0 0 25 0 1 0 829904001 11718656 415 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 2861 415 192 642 0 2217 0
[startup+0.040123 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24425
/proc/meminfo: memFree=31280812/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=11560 CPUtime=0.03 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 499 0 0 0 3 0 0 0 25 0 1 0 829904001 11837440 450 33554432000 134512640 137138936 4293964128 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 2890 450 192 642 0 2246 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11560
[startup+0.101089 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24425
/proc/meminfo: memFree=31280812/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=12028 CPUtime=0.09 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 608 0 0 0 9 0 0 0 25 0 1 0 829904001 12316672 559 33554432000 134512640 137138936 4293964128 18446744073709551615 134551242 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 3007 560 192 642 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12028
[startup+0.301058 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24425
/proc/meminfo: memFree=31280812/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=13320 CPUtime=0.29 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 954 0 0 0 29 0 0 0 25 0 1 0 829904001 13639680 905 33554432000 134512640 137138936 4293964128 18446744073709551615 136505225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 3330 905 192 642 0 2686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13320
[startup+0.700992 s]
/proc/loadavg: 2.01 2.02 2.00 3/446 24425
/proc/meminfo: memFree=31280812/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=13916 CPUtime=0.69 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 1094 0 0 0 69 0 0 0 25 0 1 0 829904001 14249984 1045 33554432000 134512640 137138936 4293964128 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 3479 1045 192 642 0 2835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13916
[startup+1.50084 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24426
/proc/meminfo: memFree=31276464/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=14400 CPUtime=1.49 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 1212 0 0 0 149 0 0 0 25 0 1 0 829904001 14745600 1163 33554432000 134512640 137138936 4293964128 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 3600 1163 192 642 0 2956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14400
[startup+3.10056 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24426
/proc/meminfo: memFree=31275100/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=14400 CPUtime=3.09 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 1222 0 0 0 308 1 0 0 25 0 1 0 829904001 14745600 1173 33554432000 134512640 137138936 4293964128 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 3600 1173 192 642 0 2956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14400
[startup+6.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24426
/proc/meminfo: memFree=31274492/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=14888 CPUtime=6.29 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 1340 0 0 0 628 1 0 0 25 0 1 0 829904001 15245312 1291 33554432000 134512640 137138936 4293964128 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 3722 1291 192 642 0 3078 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14888
[startup+12.7009 s]
/proc/loadavg: 2.01 2.02 2.00 4/447 24426
/proc/meminfo: memFree=31272348/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=15476 CPUtime=12.69 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 1471 0 0 0 1265 4 0 0 25 0 1 0 829904001 15847424 1422 33554432000 134512640 137138936 4293964128 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24425/statm: 3869 1422 192 642 0 3225 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15476
[startup+25.5006 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24427
/proc/meminfo: memFree=31272708/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=15696 CPUtime=25.48 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 1545 0 0 0 2538 10 0 0 25 0 1 0 829904001 16072704 1496 33554432000 134512640 137138936 4293964128 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 3924 1496 192 642 0 3280 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15696
[startup+51.1011 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24427
/proc/meminfo: memFree=31270480/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=16488 CPUtime=51.07 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 1739 0 0 0 5091 16 0 0 25 0 1 0 829904001 16883712 1688 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4122 1688 192 642 0 3478 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16488
[startup+102.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24429
/proc/meminfo: memFree=31267224/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=16972 CPUtime=102.29 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 1853 0 0 0 10197 32 0 0 25 0 1 0 829904001 17379328 1802 33554432000 134512640 137138936 4293964128 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4243 1802 192 642 0 3599 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 16972
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24430
/proc/meminfo: memFree=31266312/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=17872 CPUtime=162.28 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2083 0 0 0 16179 49 0 0 25 0 1 0 829904001 18300928 2032 33554432000 134512640 137138936 4293964128 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4468 2032 192 642 0 3824 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 17872
[startup+222.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/447 24432
/proc/meminfo: memFree=31265272/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=17708 CPUtime=222.28 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2083 0 0 0 22158 70 0 0 25 0 1 0 829904001 18132992 2003 33554432000 134512640 137138936 4293964128 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4427 2003 192 642 0 3783 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 17708
[startup+282.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/447 24433
/proc/meminfo: memFree=31265340/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=17708 CPUtime=282.28 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2083 0 0 0 28140 88 0 0 25 0 1 0 829904001 18132992 2003 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4427 2003 192 642 0 3783 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 17708
[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 24435
/proc/meminfo: memFree=31263184/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=17944 CPUtime=342.28 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2141 0 0 0 34124 104 0 0 25 0 1 0 829904001 18374656 2061 33554432000 134512640 137138936 4293964128 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4486 2061 192 642 0 3842 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 17944
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24437
/proc/meminfo: memFree=31262752/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=18528 CPUtime=402.28 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2285 0 0 0 40107 121 0 0 25 0 1 0 829904001 18972672 2205 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4632 2205 192 642 0 3988 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 18528
[startup+462.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/447 24438
/proc/meminfo: memFree=31262600/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=18528 CPUtime=462.28 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2285 0 0 0 46093 135 0 0 25 0 1 0 829904001 18972672 2205 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4632 2205 192 642 0 3988 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 18528
[startup+522.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 24440
/proc/meminfo: memFree=31259704/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=19224 CPUtime=522.28 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2444 0 0 0 52076 152 0 0 25 0 1 0 829904001 19685376 2364 33554432000 134512640 137138936 4293964128 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4806 2364 192 642 0 4162 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 19224
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24441
/proc/meminfo: memFree=31259540/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=19200 CPUtime=582.28 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2444 0 0 0 58060 168 0 0 25 0 1 0 829904001 19660800 2364 33554432000 134512640 137138936 4293964128 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 4800 2364 192 642 0 4156 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 19200
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31256644/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20468 CPUtime=1062.3 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2794 0 0 0 105945 285 0 0 25 0 1 0 829904001 20959232 2693 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5117 2693 192 642 0 4473 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 20468
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 24456
/proc/meminfo: memFree=31256476/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20536 CPUtime=1122.3 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2795 0 0 0 111930 300 0 0 25 0 1 0 829904001 21028864 2694 33554432000 134512640 137138936 4293964128 18446744073709551615 134542220 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5134 2694 192 642 0 4490 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 20536
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24457
/proc/meminfo: memFree=31255076/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20444 CPUtime=1182.3 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2795 0 0 0 117913 317 0 0 25 0 1 0 829904001 20934656 2687 33554432000 134512640 137138936 4293964128 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5111 2687 192 642 0 4467 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 20444
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24459
/proc/meminfo: memFree=31254912/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20412 CPUtime=1242.3 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2795 0 0 0 123897 333 0 0 25 0 1 0 829904001 20901888 2679 33554432000 134512640 137138936 4293964128 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5103 2679 192 642 0 4459 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 20412
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24461
/proc/meminfo: memFree=31256120/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20376 CPUtime=1302.31 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2795 0 0 0 129883 348 0 0 25 0 1 0 829904001 20865024 2670 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5094 2670 192 642 0 4450 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 20376
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/447 24462
/proc/meminfo: memFree=31256816/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20304 CPUtime=1362.31 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2795 0 0 0 135868 363 0 0 25 0 1 0 829904001 20791296 2652 33554432000 134512640 137138936 4293964128 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5076 2652 192 642 0 4432 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 20304
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 2.01 3/447 24464
/proc/meminfo: memFree=31253056/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=21100 CPUtime=1422.32 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2981 0 0 0 141854 378 0 0 25 0 1 0 829904001 21606400 2831 33554432000 134512640 137138936 4293964128 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5275 2831 192 642 0 4631 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 21100
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 24465
/proc/meminfo: memFree=31252768/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=21052 CPUtime=1482.31 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2983 0 0 0 147838 393 0 0 25 0 1 0 829904001 21557248 2833 33554432000 134512640 137138936 4293964128 18446744073709551615 136504025 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5263 2833 192 642 0 4619 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 21052
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24467
/proc/meminfo: memFree=31252824/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=21052 CPUtime=1542.31 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 153826 405 0 0 25 0 1 0 829904001 21557248 2834 33554432000 134512640 137138936 4293964128 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5263 2834 192 642 0 4619 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 21052
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/447 24469
/proc/meminfo: memFree=31252780/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=21052 CPUtime=1602.32 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 159811 421 0 0 25 0 1 0 829904001 21557248 2834 33554432000 134512640 137138936 4293964128 18446744073709551615 134606677 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5263 2834 192 642 0 4619 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 21052
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/447 24470
/proc/meminfo: memFree=31252492/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=21008 CPUtime=1662.31 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 165799 432 0 0 25 0 1 0 829904001 21512192 2828 33554432000 134512640 137138936 4293964128 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5252 2828 192 642 0 4608 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 21008
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24472
/proc/meminfo: memFree=31252700/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20956 CPUtime=1722.31 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 171783 448 0 0 25 0 1 0 829904001 21458944 2815 33554432000 134512640 137138936 4293964128 18446744073709551615 134575067 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5239 2815 192 642 0 4595 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 20956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24500
/proc/meminfo: memFree=31256052/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20892 CPUtime=1782.32 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 177769 463 0 0 25 0 1 0 829904001 21393408 2799 33554432000 134512640 137138936 4293964128 18446744073709551615 134618146 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5223 2799 192 642 0 4579 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 20892
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24501
/proc/meminfo: memFree=31257288/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20892 CPUtime=1785.51 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 178088 463 0 0 25 0 1 0 829904001 21393408 2799 33554432000 134512640 137138936 4293964128 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5223 2799 192 642 0 4579 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 20892
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24501
/proc/meminfo: memFree=31257288/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20892 CPUtime=1791.93 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 178729 464 0 0 25 0 1 0 829904001 21393408 2799 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5223 2799 192 642 0 4579 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 20892
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 4/447 24501
/proc/meminfo: memFree=31257288/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20892 CPUtime=1795.12 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 179047 465 0 0 25 0 1 0 829904001 21393408 2799 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5223 2799 192 642 0 4579 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 20892
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24501
/proc/meminfo: memFree=31257288/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20892 CPUtime=1796.72 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 179206 466 0 0 25 0 1 0 829904001 21393408 2799 33554432000 134512640 137138936 4293964128 18446744073709551615 136511093 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5223 2799 192 642 0 4579 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 20892
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24501
/proc/meminfo: memFree=31257040/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20892 CPUtime=1797.52 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 179286 466 0 0 25 0 1 0 829904001 21393408 2799 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5223 2799 192 642 0 4579 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 20892
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24501
/proc/meminfo: memFree=31257040/32950928 swapFree=34365992/67111528
[pid=24425] ppid=24423 vsize=20892 CPUtime=1797.91 cores=0,2,4,6
/proc/24425/stat : 24425 (bsolo) R 24423 24425 22425 0 -1 4202496 2984 0 0 0 179325 466 0 0 25 0 1 0 829904001 21393408 2799 33554432000 134512640 137138936 4293964128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24425/statm: 5223 2799 192 642 0 4579 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 20892
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798
CPU user time (s): 1793.33
CPU system time (s): 4.67029
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 21100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.33
system time used= 4.67029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2985
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= 2741
runsolver used 8.24275 second user time and 17.9103 second system time
The end