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-3462974-1307179272/watcher-3462974-1307179272 -o /tmp/evaluation-result-3462974-1307179272/solver-3462974-1307179272 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462974-1307179272.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.00 2.00 2.00 2/464 15935
/proc/meminfo: memFree=29925308/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/15935/stat : 15935 (runsolver) R 15933 15935 13462 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 829527044 12079104 51 33554432000 4194304 5432328 140736264676656 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/15935/statm: 2949 51 31 303 0 2643 0
[startup+0.117019 s]
/proc/loadavg: 2.00 2.00 2.00 2/464 15935
/proc/meminfo: memFree=29925308/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=19244 CPUtime=0.09 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 461 0 0 0 9 0 0 0 25 0 1 0 829527044 19705856 414 33554432000 134512640 137138936 4294831072 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 4811 414 192 642 0 4167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19244
[startup+0.201007 s]
/proc/loadavg: 2.00 2.00 2.00 2/464 15935
/proc/meminfo: memFree=29925308/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=19500 CPUtime=0.18 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 543 0 0 0 18 0 0 0 25 0 1 0 829527044 19968000 496 33554432000 134512640 137138936 4294831072 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 4875 496 192 642 0 4231 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 19500
[startup+0.301009 s]
/proc/loadavg: 2.00 2.00 2.00 2/464 15935
/proc/meminfo: memFree=29925308/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=19628 CPUtime=0.28 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 560 0 0 0 28 0 0 0 25 0 1 0 829527044 20099072 513 33554432000 134512640 137138936 4294831072 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 4907 513 192 642 0 4263 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19628
[startup+0.700935 s]
/proc/loadavg: 2.00 2.00 2.00 2/464 15935
/proc/meminfo: memFree=29925308/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=20016 CPUtime=0.68 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 645 0 0 0 68 0 0 0 25 0 1 0 829527044 20496384 598 33554432000 134512640 137138936 4294831072 18446744073709551615 134599244 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5004 598 192 642 0 4360 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20016
[startup+1.50079 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15936
/proc/meminfo: memFree=29922448/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=20272 CPUtime=1.48 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 730 0 0 0 148 0 0 0 25 0 1 0 829527044 20758528 683 33554432000 134512640 137138936 4294831072 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5068 683 192 642 0 4424 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20272
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15936
/proc/meminfo: memFree=29921084/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=20660 CPUtime=3.08 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 828 0 0 0 307 1 0 0 25 0 1 0 829527044 21155840 781 33554432000 134512640 137138936 4294831072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5165 781 192 642 0 4521 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20660
[startup+6.30093 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15936
/proc/meminfo: memFree=29920512/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=20908 CPUtime=6.28 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 887 0 0 0 626 2 0 0 25 0 1 0 829527044 21409792 840 33554432000 134512640 137138936 4294831072 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5227 840 192 642 0 4583 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20908
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15936
/proc/meminfo: memFree=29919288/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=21412 CPUtime=12.66 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 998 0 0 0 1263 3 0 0 25 0 1 0 829527044 21925888 951 33554432000 134512640 137138936 4294831072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5353 951 192 642 0 4709 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21412
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15936
/proc/meminfo: memFree=29919284/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=21668 CPUtime=25.46 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1086 0 0 0 2539 7 0 0 25 0 1 0 829527044 22188032 1039 33554432000 134512640 137138936 4294831072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5417 1039 192 642 0 4773 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 21668
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15937
/proc/meminfo: memFree=29907104/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=22284 CPUtime=51.06 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1238 0 0 0 5091 15 0 0 25 0 1 0 829527044 22818816 1191 33554432000 134512640 137138936 4294831072 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5571 1191 192 642 0 4927 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22284
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15938
/proc/meminfo: memFree=29887484/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=22804 CPUtime=102.27 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1354 0 0 0 10200 27 0 0 25 0 1 0 829527044 23351296 1307 33554432000 134512640 137138936 4294831072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5701 1307 192 642 0 5057 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22804
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/465 15940
/proc/meminfo: memFree=29881512/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=23280 CPUtime=162.26 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1474 0 0 0 16184 42 0 0 25 0 1 0 829527044 23838720 1427 33554432000 134512640 137138936 4294831072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5820 1427 192 642 0 5176 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 23280
[startup+222.318 s]
/proc/loadavg: 2.05 2.02 2.00 3/465 15942
/proc/meminfo: memFree=29881476/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=23764 CPUtime=222.28 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1593 0 0 0 22171 57 0 0 25 0 1 0 829527044 24334336 1546 33554432000 134512640 137138936 4294831072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 5941 1546 192 642 0 5297 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 23764
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/465 15943
/proc/meminfo: memFree=29881424/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=24224 CPUtime=282.27 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1712 0 0 0 28156 71 0 0 25 0 1 0 829527044 24805376 1665 33554432000 134512640 137138936 4294831072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6056 1665 192 642 0 5412 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 24224
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/465 15945
/proc/meminfo: memFree=29881392/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=24224 CPUtime=342.27 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1718 0 0 0 34143 84 0 0 25 0 1 0 829527044 24805376 1671 33554432000 134512640 137138936 4294831072 18446744073709551615 134576423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6056 1671 192 642 0 5412 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 24224
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 15946
/proc/meminfo: memFree=29881596/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=24224 CPUtime=402.26 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1719 0 0 0 40128 98 0 0 25 0 1 0 829527044 24805376 1672 33554432000 134512640 137138936 4294831072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6056 1672 192 642 0 5412 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 24224
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15948
/proc/meminfo: memFree=29871776/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=24736 CPUtime=462.27 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1852 0 0 0 46116 111 0 0 25 0 1 0 829527044 25329664 1805 33554432000 134512640 137138936 4294831072 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6184 1805 192 642 0 5540 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 24736
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15950
/proc/meminfo: memFree=29871108/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=24960 CPUtime=522.27 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1891 0 0 0 52104 123 0 0 25 0 1 0 829527044 25559040 1844 33554432000 134512640 137138936 4294831072 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6240 1844 192 642 0 5596 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 24960
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15951
/proc/meminfo: memFree=29871316/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=24960 CPUtime=582.27 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 1891 0 0 0 58092 135 0 0 25 0 1 0 829527044 25559040 1844 33554432000 134512640 137138936 4294831072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6240 1844 192 642 0 5596 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 24960
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=29844556/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26132 CPUtime=1122.28 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2193 0 0 0 111986 242 0 0 25 0 1 0 829527044 26759168 2146 33554432000 134512640 137138936 4294831072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6533 2146 192 642 0 5889 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 26132
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15967
/proc/meminfo: memFree=29843892/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26132 CPUtime=1182.28 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2195 0 0 0 117976 252 0 0 25 0 1 0 829527044 26759168 2148 33554432000 134512640 137138936 4294831072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6533 2148 192 642 0 5889 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 26132
[startup+1242.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/465 15969
/proc/meminfo: memFree=29843872/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26132 CPUtime=1242.28 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2195 0 0 0 123966 262 0 0 25 0 1 0 829527044 26759168 2148 33554432000 134512640 137138936 4294831072 18446744073709551615 136511114 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6533 2148 192 642 0 5889 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 26132
[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/465 15970
/proc/meminfo: memFree=29844188/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26132 CPUtime=1302.29 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2195 0 0 0 129956 273 0 0 25 0 1 0 829527044 26759168 2148 33554432000 134512640 137138936 4294831072 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6533 2148 192 642 0 5889 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 26132
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/465 15972
/proc/meminfo: memFree=29844532/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26132 CPUtime=1362.28 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2200 0 0 0 135943 285 0 0 25 0 1 0 829527044 26759168 2153 33554432000 134512640 137138936 4294831072 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6533 2153 192 642 0 5889 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 26132
[startup+1422.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/465 15974
/proc/meminfo: memFree=29845472/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26132 CPUtime=1422.29 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2200 0 0 0 141931 298 0 0 25 0 1 0 829527044 26759168 2153 33554432000 134512640 137138936 4294831072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6533 2153 192 642 0 5889 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 26132
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/465 15975
/proc/meminfo: memFree=29845568/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26132 CPUtime=1482.28 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2200 0 0 0 147916 312 0 0 25 0 1 0 829527044 26759168 2153 33554432000 134512640 137138936 4294831072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6533 2153 192 642 0 5889 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 26132
[startup+1542.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 15977
/proc/meminfo: memFree=29845032/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26260 CPUtime=1542.31 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2222 0 0 0 153906 325 0 0 25 0 1 0 829527044 26890240 2175 33554432000 134512640 137138936 4294831072 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6565 2175 192 642 0 5921 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 26260
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/465 16005
/proc/meminfo: memFree=29907868/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26260 CPUtime=1602.29 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2222 0 0 0 159894 335 0 0 25 0 1 0 829527044 26890240 2175 33554432000 134512640 137138936 4294831072 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6565 2175 192 642 0 5921 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 26260
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/465 16007
/proc/meminfo: memFree=29848288/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26260 CPUtime=1662.29 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2222 0 0 0 165884 345 0 0 25 0 1 0 829527044 26890240 2175 33554432000 134512640 137138936 4294831072 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6565 2175 192 642 0 5921 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 26260
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/465 16009
/proc/meminfo: memFree=29831520/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26248 CPUtime=1722.3 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2222 0 0 0 171876 354 0 0 25 0 1 0 829527044 26877952 2175 33554432000 134512640 137138936 4294831072 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6562 2175 192 642 0 5918 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 26248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 16010
/proc/meminfo: memFree=29829988/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26848 CPUtime=1782.29 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2362 0 0 0 177867 362 0 0 25 0 1 0 829527044 27492352 2315 33554432000 134512640 137138936 4294831072 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6712 2315 192 642 0 6068 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 26848
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 16010
/proc/meminfo: memFree=29830980/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26848 CPUtime=1785.6 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2366 0 0 0 178197 363 0 0 25 0 1 0 829527044 27492352 2319 33554432000 134512640 137138936 4294831072 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6712 2319 192 642 0 6068 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (KiB) 26848
[startup+1792.02 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 16010
/proc/meminfo: memFree=29830972/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26848 CPUtime=1792.01 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2378 0 0 0 178837 364 0 0 25 0 1 0 829527044 27492352 2331 33554432000 134512640 137138936 4294831072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6712 2331 192 642 0 6068 0
Current children cumulated CPU time (s) 1792.01
Current children cumulated vsize (KiB) 26848
[startup+1795.2 s]
/proc/loadavg: 2.16 2.05 2.01 3/465 16011
/proc/meminfo: memFree=29830968/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26848 CPUtime=1795.2 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2378 0 0 0 179156 364 0 0 25 0 1 0 829527044 27492352 2331 33554432000 134512640 137138936 4294831072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6712 2331 192 642 0 6068 0
Current children cumulated CPU time (s) 1795.2
Current children cumulated vsize (KiB) 26848
[startup+1796.8 s]
/proc/loadavg: 2.16 2.05 2.01 3/465 16011
/proc/meminfo: memFree=29830720/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26848 CPUtime=1796.8 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2378 0 0 0 179315 365 0 0 25 0 1 0 829527044 27492352 2331 33554432000 134512640 137138936 4294831072 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6712 2331 192 642 0 6068 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 26848
[startup+1797.6 s]
/proc/loadavg: 2.16 2.05 2.01 3/465 16011
/proc/meminfo: memFree=29830720/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26848 CPUtime=1797.59 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2378 0 0 0 179394 365 0 0 25 0 1 0 829527044 27492352 2331 33554432000 134512640 137138936 4294831072 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6712 2331 192 642 0 6068 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 26848
[startup+1797.8 s]
/proc/loadavg: 2.16 2.05 2.01 3/465 16011
/proc/meminfo: memFree=29830720/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26848 CPUtime=1797.79 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2378 0 0 0 179414 365 0 0 25 0 1 0 829527044 27492352 2331 33554432000 134512640 137138936 4294831072 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6712 2331 192 642 0 6068 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 26848
[startup+1797.9 s]
/proc/loadavg: 2.16 2.05 2.01 3/465 16011
/proc/meminfo: memFree=29830720/32950928 swapFree=45617076/67111528
[pid=15935] ppid=15933 vsize=26848 CPUtime=1797.89 cores=0,2,4,6
/proc/15935/stat : 15935 (bsolo) R 15933 15935 13462 0 -1 4202496 2378 0 0 0 179424 365 0 0 25 0 1 0 829527044 27492352 2331 33554432000 134512640 137138936 4294831072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15935/statm: 6712 2331 192 642 0 6068 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 26848
Child status: 0
Real time (s): 1798
CPU time (s): 1798
CPU user time (s): 1794.34
CPU system time (s): 3.65644
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 26852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 3.65644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2378
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= 7524
runsolver used 8.24775 second user time and 18.1692 second system time
The end