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-3462566-1307181254/watcher-3462566-1307181254 -o /tmp/evaluation-result-3462566-1307181254/solver-3462566-1307181254 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462566-1307181254.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.04 2.03 2.00 2/446 24311
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=11056 CPUtime=0 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 389 0 0 0 0 0 0 0 25 0 1 0 829724189 11321344 340 33554432000 134512640 137138936 4289798288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 2764 340 192 642 0 2120 0
[startup+0.112831 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24311
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=12204 CPUtime=0.1 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 654 0 0 0 10 0 0 0 25 0 1 0 829724189 12496896 605 33554432000 134512640 137138936 4289798288 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 3051 605 192 642 0 2407 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12204
[startup+0.200814 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24311
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=12976 CPUtime=0.19 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 865 0 0 0 19 0 0 0 25 0 1 0 829724189 13287424 816 33554432000 134512640 137138936 4289798288 18446744073709551615 134550975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 3244 816 192 642 0 2600 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12976
[startup+0.300802 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24311
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=13744 CPUtime=0.29 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 1037 0 0 0 29 0 0 0 25 0 1 0 829724189 14073856 988 33554432000 134512640 137138936 4289798288 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 3436 989 192 642 0 2792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13744
[startup+0.70073 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24311
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=16816 CPUtime=0.69 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 1807 0 0 0 69 0 0 0 25 0 1 0 829724189 17219584 1758 33554432000 134512640 137138936 4289798288 18446744073709551615 134600288 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 4204 1758 192 642 0 3560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16816
[startup+1.50059 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 24312
/proc/meminfo: memFree=31262948/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=20672 CPUtime=1.49 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 2794 0 0 0 149 0 0 0 25 0 1 0 829724189 21168128 2745 33554432000 134512640 137138936 4289798288 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 5168 2745 192 642 0 4524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20672
[startup+3.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 24312
/proc/meminfo: memFree=31256996/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=24896 CPUtime=3.09 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 3832 0 0 0 309 0 0 0 25 0 1 0 829724189 25493504 3783 33554432000 134512640 137138936 4289798288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 6224 3783 192 642 0 5580 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24896
[startup+6.30074 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 24312
/proc/meminfo: memFree=31253344/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=27452 CPUtime=6.29 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 4476 0 0 0 628 1 0 0 25 0 1 0 829724189 28110848 4427 33554432000 134512640 137138936 4289798288 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 6863 4427 192 642 0 6219 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27452
[startup+12.7006 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 24312
/proc/meminfo: memFree=31250908/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=29000 CPUtime=12.69 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 4869 0 0 0 1267 2 0 0 25 0 1 0 829724189 29696000 4820 33554432000 134512640 137138936 4289798288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24311/statm: 7250 4820 192 642 0 6606 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29000
[startup+25.5004 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 24313
/proc/meminfo: memFree=31247048/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=33312 CPUtime=25.47 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 5951 0 0 0 2544 3 0 0 25 0 1 0 829724189 34111488 5902 33554432000 134512640 137138936 4289798288 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 8328 5902 192 642 0 7684 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 33312
[startup+51.1009 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 24313
/proc/meminfo: memFree=31247016/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=33608 CPUtime=51.07 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 6021 0 0 0 5102 5 0 0 25 0 1 0 829724189 34414592 5972 33554432000 134512640 137138936 4289798288 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 8402 5972 192 642 0 7758 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33608
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24315
/proc/meminfo: memFree=31226532/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=42988 CPUtime=102.28 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8370 0 0 0 10217 11 0 0 25 0 1 0 829724189 44019712 8321 33554432000 134512640 137138936 4289798288 18446744073709551615 134618342 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10747 8321 192 642 0 10103 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 42988
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24316
/proc/meminfo: memFree=31227720/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=42956 CPUtime=162.27 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8370 0 0 0 16206 21 0 0 25 0 1 0 829724189 43986944 8316 33554432000 134512640 137138936 4289798288 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10739 8316 192 642 0 10095 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 42956
[startup+222.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24318
/proc/meminfo: memFree=31228296/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=42952 CPUtime=222.29 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8370 0 0 0 22201 28 0 0 25 0 1 0 829724189 43982848 8315 33554432000 134512640 137138936 4289798288 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10738 8315 192 642 0 10094 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 42952
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24320
/proc/meminfo: memFree=31228384/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=42952 CPUtime=282.28 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8370 0 0 0 28195 33 0 0 25 0 1 0 829724189 43982848 8315 33554432000 134512640 137138936 4289798288 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10738 8315 192 642 0 10094 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 42952
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24321
/proc/meminfo: memFree=31228456/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=42952 CPUtime=342.28 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8370 0 0 0 34188 40 0 0 25 0 1 0 829724189 43982848 8315 33554432000 134512640 137138936 4289798288 18446744073709551615 134603220 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10738 8315 192 642 0 10094 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 42952
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24323
/proc/meminfo: memFree=31228520/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=42952 CPUtime=402.28 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8370 0 0 0 40180 48 0 0 25 0 1 0 829724189 43982848 8315 33554432000 134512640 137138936 4289798288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10738 8315 192 642 0 10094 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 42952
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/447 24333
/proc/meminfo: memFree=31218820/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=42952 CPUtime=462.28 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8370 0 0 0 46175 53 0 0 25 0 1 0 829724189 43982848 8315 33554432000 134512640 137138936 4289798288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10738 8315 192 642 0 10094 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 42952
[startup+522.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/447 24335
/proc/meminfo: memFree=31209476/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=42952 CPUtime=522.28 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8370 0 0 0 52169 59 0 0 25 0 1 0 829724189 43982848 8315 33554432000 134512640 137138936 4289798288 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10738 8315 192 642 0 10094 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 42952
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 24337
/proc/meminfo: memFree=31208688/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=43040 CPUtime=582.28 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 8387 0 0 0 58163 65 0 0 25 0 1 0 829724189 44072960 8332 33554432000 134512640 137138936 4289798288 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 10760 8332 192 642 0 10116 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 43040
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31200516/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52268 CPUtime=1122.29 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 112118 111 0 0 25 0 1 0 829724189 53522432 10644 33554432000 134512640 137138936 4289798288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13067 10644 192 642 0 12423 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 52268
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 24356
/proc/meminfo: memFree=31199980/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52268 CPUtime=1182.3 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 118112 118 0 0 25 0 1 0 829724189 53522432 10644 33554432000 134512640 137138936 4289798288 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13067 10644 192 642 0 12423 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 52268
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24357
/proc/meminfo: memFree=31199196/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52268 CPUtime=1242.3 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 124108 122 0 0 25 0 1 0 829724189 53522432 10644 33554432000 134512640 137138936 4289798288 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13067 10644 192 642 0 12423 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 52268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24359
/proc/meminfo: memFree=31200884/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52268 CPUtime=1302.3 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 130103 127 0 0 25 0 1 0 829724189 53522432 10644 33554432000 134512640 137138936 4289798288 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13067 10644 192 642 0 12423 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 52268
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24360
/proc/meminfo: memFree=31200960/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52268 CPUtime=1362.3 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 136098 132 0 0 25 0 1 0 829724189 53522432 10644 33554432000 134512640 137138936 4289798288 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13067 10644 192 642 0 12423 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 52268
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24362
/proc/meminfo: memFree=31200552/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52268 CPUtime=1422.31 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 142093 138 0 0 25 0 1 0 829724189 53522432 10644 33554432000 134512640 137138936 4289798288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13067 10644 192 642 0 12423 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 52268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24364
/proc/meminfo: memFree=31201268/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52268 CPUtime=1482.31 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 148086 145 0 0 25 0 1 0 829724189 53522432 10644 33554432000 134512640 137138936 4289798288 18446744073709551615 134618161 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13067 10644 192 642 0 12423 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 52268
[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24365
/proc/meminfo: memFree=31200480/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52268 CPUtime=1542.32 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 154081 151 0 0 25 0 1 0 829724189 53522432 10644 33554432000 134512640 137138936 4289798288 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13067 10644 192 642 0 12423 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 52268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24367
/proc/meminfo: memFree=31200564/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1602.3 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 160073 157 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 52132
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 24368
/proc/meminfo: memFree=31200396/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1662.31 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 166069 162 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 136502594 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 52132
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/447 24370
/proc/meminfo: memFree=31200340/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1722.31 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 172062 169 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 52132
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 24399
/proc/meminfo: memFree=31237824/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1782.31 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 178056 175 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 52132
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 24399
/proc/meminfo: memFree=31238692/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1785.6 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 178385 175 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (KiB) 52132
[startup+1792.02 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 24399
/proc/meminfo: memFree=31238932/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1792.03 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 179027 176 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1792.03
Current children cumulated vsize (KiB) 52132
[startup+1795.2 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 24399
/proc/meminfo: memFree=31237568/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1795.22 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 179345 177 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 52132
[startup+1796.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24399
/proc/meminfo: memFree=31237568/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1796.81 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 179504 177 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 52132
[startup+1797.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24399
/proc/meminfo: memFree=31237320/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1797.61 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 179584 177 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 52132
[startup+1797.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24399
/proc/meminfo: memFree=31237320/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1797.81 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 179604 177 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 52132
[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24399
/proc/meminfo: memFree=31237320/32950928 swapFree=34365992/67111528
[pid=24311] ppid=24309 vsize=52132 CPUtime=1797.91 cores=0,2,4,6
/proc/24311/stat : 24311 (bsolo) R 24309 24311 22425 0 -1 4202496 10737 0 0 0 179614 177 0 0 25 0 1 0 829724189 53383168 10610 33554432000 134512640 137138936 4289798288 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24311/statm: 13033 10610 192 642 0 12389 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 52132
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798
CPU user time (s): 1796.23
CPU system time (s): 1.77373
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 52408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.23
system time used= 1.77373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10738
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= 2775
runsolver used 8.34373 second user time and 18.5242 second system time
The end