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-3462383-1307184474/watcher-3462383-1307184474 -o /tmp/evaluation-result-3462383-1307184474/solver-3462383-1307184474 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462383-1307184474.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.08 2.05 2.01 2/453 25671
/proc/meminfo: memFree=31767000/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=13136 CPUtime=0 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 652 0 0 0 0 0 0 0 25 0 1 0 830045317 13451264 606 33554432000 134512640 137138936 4291274960 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 3284 606 187 642 0 2398 0
[startup+0.1064 s]
/proc/loadavg: 2.08 2.05 2.01 2/453 25671
/proc/meminfo: memFree=31767000/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=25424 CPUtime=0.09 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 3906 0 0 0 9 0 0 0 25 0 1 0 830045317 26034176 3741 33554432000 134512640 137138936 4291274960 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 6356 3743 311 642 0 5470 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25424
[startup+0.200386 s]
/proc/loadavg: 2.08 2.05 2.01 2/453 25671
/proc/meminfo: memFree=31767000/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=39792 CPUtime=0.19 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 7796 0 0 0 18 1 0 0 25 0 1 0 830045317 40747008 7340 33554432000 134512640 137138936 4291274960 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 9948 7346 183 642 0 9304 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39792
[startup+0.300369 s]
/proc/loadavg: 2.08 2.05 2.01 2/453 25671
/proc/meminfo: memFree=31767000/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=51636 CPUtime=0.29 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10653 0 0 0 28 1 0 0 25 0 1 0 830045317 52875264 10197 33554432000 134512640 137138936 4291274960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 12909 10197 185 642 0 12265 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51636
[startup+0.700298 s]
/proc/loadavg: 2.08 2.05 2.01 2/453 25671
/proc/meminfo: memFree=31767000/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=0.69 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10851 0 0 0 68 1 0 0 25 0 1 0 830045317 53686272 10395 33554432000 134512640 137138936 4291274960 18446744073709551615 136504417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10395 185 642 0 12463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52428
[startup+1.50015 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25672
/proc/meminfo: memFree=31725096/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=1.49 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10858 0 0 0 148 1 0 0 25 0 1 0 830045317 53686272 10402 33554432000 134512640 137138936 4291274960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10402 185 642 0 12463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52428
[startup+3.10086 s]
/proc/loadavg: 2.07 2.05 2.01 3/454 25672
/proc/meminfo: memFree=31724144/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=3.09 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10858 0 0 0 308 1 0 0 25 0 1 0 830045317 53686272 10402 33554432000 134512640 137138936 4291274960 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10402 185 642 0 12463 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52428
[startup+6.30028 s]
/proc/loadavg: 2.07 2.05 2.01 3/454 25672
/proc/meminfo: memFree=31723820/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=6.29 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10872 0 0 0 628 1 0 0 25 0 1 0 830045317 53686272 10416 33554432000 134512640 137138936 4291274960 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10416 185 642 0 12463 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52428
[startup+12.7011 s]
/proc/loadavg: 2.06 2.05 2.00 3/454 25672
/proc/meminfo: memFree=31722868/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=12.7 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10877 0 0 0 1268 2 0 0 25 0 1 0 830045317 53686272 10421 33554432000 134512640 137138936 4291274960 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10421 185 642 0 12463 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 52428
[startup+25.5008 s]
/proc/loadavg: 2.13 2.06 2.01 3/454 25673
/proc/meminfo: memFree=31722992/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=25.49 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10877 0 0 0 2547 2 0 0 25 0 1 0 830045317 53686272 10421 33554432000 134512640 137138936 4291274960 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10421 185 642 0 12463 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52428
[startup+51.1011 s]
/proc/loadavg: 2.08 2.06 2.01 5/454 25700
/proc/meminfo: memFree=31761368/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=51.1 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10884 0 0 0 5107 3 0 0 25 0 1 0 830045317 53686272 10428 33554432000 134512640 137138936 4291274960 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10428 185 642 0 12463 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 52428
[startup+102.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/454 25810
/proc/meminfo: memFree=31749268/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=102.31 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10884 0 0 0 10227 4 0 0 25 0 1 0 830045317 53686272 10428 33554432000 134512640 137138936 4291274960 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10428 185 642 0 12463 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 52428
[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 25950
/proc/meminfo: memFree=31730676/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=52428 CPUtime=162.29 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 10884 0 0 0 16224 5 0 0 25 0 1 0 830045317 53686272 10428 33554432000 134512640 137138936 4291274960 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 13107 10428 185 642 0 12463 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 52428
[startup+222.317 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 25952
/proc/meminfo: memFree=31622120/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=84040 CPUtime=222.31 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 832758 0 0 0 22119 112 0 0 25 0 1 0 830045317 86056960 18464 33554432000 134512640 137138936 4291274960 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 21010 18464 192 642 0 20366 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 84040
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25953
/proc/meminfo: memFree=31509372/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=151224 CPUtime=282.3 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 2064816 0 0 0 27984 246 0 0 25 0 1 0 830045317 154853376 35278 33554432000 134512640 137138936 4291274960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 37806 35278 192 642 0 37162 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 151224
[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25955
/proc/meminfo: memFree=31391672/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=232444 CPUtime=342.3 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 3891582 0 0 0 33775 455 0 0 25 0 1 0 830045317 238022656 55568 33554432000 134512640 137138936 4291274960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 58111 55568 192 642 0 57467 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232444
[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/454 25957
/proc/meminfo: memFree=31308936/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=283560 CPUtime=402.3 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 5158342 0 0 0 39605 625 0 0 25 0 1 0 830045317 290365440 68344 33554432000 134512640 137138936 4291274960 18446744073709551615 136500272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 70890 68344 192 642 0 70246 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 283560
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 25958
/proc/meminfo: memFree=31224592/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=339692 CPUtime=462.31 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 6510409 0 0 0 45416 815 0 0 25 0 1 0 830045317 347844608 82391 33554432000 134512640 137138936 4291274960 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 84923 82391 192 642 0 84279 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 339692
[startup+522.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/454 25960
/proc/meminfo: memFree=31145076/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=395972 CPUtime=522.31 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 7883344 0 0 0 51235 996 0 0 25 0 1 0 830045317 405475328 96446 33554432000 134512640 137138936 4291274960 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 98993 96446 192 642 0 98349 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 395972
[startup+582.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 25961
/proc/meminfo: memFree=31079824/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=436552 CPUtime=582.31 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 8881212 0 0 0 57094 1137 0 0 25 0 1 0 830045317 447029248 106593 33554432000 134512640 137138936 4291274960 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 109138 106593 192 642 0 108494 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 436552
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30712924/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=686296 CPUtime=1062.32 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 14951479 0 0 0 104225 2007 0 0 25 0 1 0 830045317 702767104 168882 33554432000 134512640 137138936 4291274960 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 171574 168907 192 642 0 170930 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 686296
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 25992
/proc/meminfo: memFree=30675576/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=707196 CPUtime=1122.32 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 15451686 0 0 0 110153 2079 0 0 25 0 1 0 830045317 724168704 174260 33554432000 134512640 137138936 4291274960 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 176799 174260 192 642 0 176155 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 707196
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 25993
/proc/meminfo: memFree=30638096/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=729852 CPUtime=1182.33 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 16005236 0 0 0 116069 2164 0 0 25 0 1 0 830045317 747368448 179937 33554432000 134512640 137138936 4291274960 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 182463 179937 192 642 0 181819 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 729852
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/454 25995
/proc/meminfo: memFree=30599504/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=752020 CPUtime=1242.33 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 16526459 0 0 0 121995 2238 0 0 25 0 1 0 830045317 770068480 185471 33554432000 134512640 137138936 4291274960 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 188005 185471 192 642 0 187361 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 752020
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/454 25997
/proc/meminfo: memFree=30563640/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=774984 CPUtime=1302.33 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 17050253 0 0 0 127919 2314 0 0 25 0 1 0 830045317 793583616 191192 33554432000 134512640 137138936 4291274960 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 193746 191192 192 642 0 193102 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 774984
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 25998
/proc/meminfo: memFree=30514888/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=805292 CPUtime=1362.33 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 17784373 0 0 0 133809 2424 0 0 25 0 1 0 830045317 824619008 198788 33554432000 134512640 137138936 4291274960 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 201323 198788 192 642 0 200679 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 805292
[startup+1422.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/454 26000
/proc/meminfo: memFree=30476556/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=828944 CPUtime=1422.34 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 18323261 0 0 0 139735 2499 0 0 25 0 1 0 830045317 848838656 204703 33554432000 134512640 137138936 4291274960 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 207236 204703 192 642 0 206592 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 828944
[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/454 26001
/proc/meminfo: memFree=30442292/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=851644 CPUtime=1482.34 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 18837906 0 0 0 145668 2566 0 0 25 0 1 0 830045317 872083456 210364 33554432000 134512640 137138936 4291274960 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 212911 210364 192 642 0 212267 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 851644
[startup+1542.32 s]
/proc/loadavg: 2.05 2.05 2.00 3/454 26003
/proc/meminfo: memFree=30404204/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=875940 CPUtime=1542.36 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 19409144 0 0 0 151587 2649 0 0 25 0 1 0 830045317 896962560 216445 33554432000 134512640 137138936 4291274960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 218985 216445 192 642 0 218341 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 875940
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 26005
/proc/meminfo: memFree=30370568/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=897464 CPUtime=1602.34 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 19901460 0 0 0 157518 2716 0 0 25 0 1 0 830045317 919003136 221829 33554432000 134512640 137138936 4291274960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 224366 221829 192 642 0 223722 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 897464
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 26006
/proc/meminfo: memFree=30340540/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=916252 CPUtime=1662.34 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 20326326 0 0 0 163453 2781 0 0 25 0 1 0 830045317 938242048 226515 33554432000 134512640 137138936 4291274960 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 229063 226515 192 642 0 228419 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 916252
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 26008
/proc/meminfo: memFree=30315828/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=931116 CPUtime=1722.34 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 20670972 0 0 0 169404 2830 0 0 25 0 1 0 830045317 953462784 230249 33554432000 134512640 137138936 4291274960 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 232779 230249 192 642 0 232135 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 931116
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 26009
/proc/meminfo: memFree=30284928/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=950500 CPUtime=1782.34 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 21123706 0 0 0 175341 2893 0 0 25 0 1 0 830045317 973312000 235089 33554432000 134512640 137138936 4291274960 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 237625 235089 192 642 0 236981 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 950500
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 26010
/proc/meminfo: memFree=30284184/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=951696 CPUtime=1785.64 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 21149921 0 0 0 175666 2898 0 0 25 0 1 0 830045317 974536704 235378 33554432000 134512640 137138936 4291274960 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 237924 235378 192 642 0 237280 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 951696
[startup+1792.02 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 26010
/proc/meminfo: memFree=30280944/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=953824 CPUtime=1792.06 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 21200529 0 0 0 176300 2906 0 0 25 0 1 0 830045317 976715776 235922 33554432000 134512640 137138936 4291274960 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 238456 235922 192 642 0 237812 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 953824
[startup+1795.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 26010
/proc/meminfo: memFree=30279332/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=954756 CPUtime=1795.25 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 21221782 0 0 0 176617 2908 0 0 25 0 1 0 830045317 977670144 236166 33554432000 134512640 137138936 4291274960 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 238689 236166 192 642 0 238045 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 954756
[startup+1796.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 26010
/proc/meminfo: memFree=30278836/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=955292 CPUtime=1796.84 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 21231001 0 0 0 176774 2910 0 0 25 0 1 0 830045317 978219008 236296 33554432000 134512640 137138936 4291274960 18446744073709551615 134578262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 238823 236296 192 642 0 238179 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 955292
[startup+1797.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 26010
/proc/meminfo: memFree=30277472/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=955820 CPUtime=1797.65 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202496 21243050 0 0 0 176853 2912 0 0 25 0 1 0 830045317 978759680 236425 33554432000 134512640 137138936 4291274960 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25671/statm: 238955 236425 192 642 0 238311 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 955820
[startup+1798 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 26010
/proc/meminfo: memFree=30277472/32951124 swapFree=55639044/67111528
[pid=25671] ppid=25669 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/25671/stat : 25671 (bsolo) R 25669 25671 23433 0 -1 4202500 21243966 0 0 0 176892 2912 0 0 25 0 1 0 830045317 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/25671/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.04
CPU time (s): 1798.09
CPU user time (s): 1768.93
CPU system time (s): 29.1616
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 955952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.93
system time used= 29.1616
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21243966
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= 5
involuntary context switches= 1918
runsolver used 7.44887 second user time and 18.8401 second system time
The end