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-3462966-1307179127/watcher-3462966-1307179127 -o /tmp/evaluation-result-3462966-1307179127/solver-3462966-1307179127 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462966-1307179127.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.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=18600 CPUtime=0 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 309 0 0 0 0 0 0 0 25 0 1 0 829510555 19046400 261 33554432000 134512640 137138936 4292383216 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 4650 261 192 642 0 4006 0
[startup+0.0825319 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=19244 CPUtime=0.07 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 466 0 0 0 7 0 0 0 25 0 1 0 829510555 19705856 418 33554432000 134512640 137138936 4292383216 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 4811 418 192 642 0 4167 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19244
[startup+0.100529 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=19376 CPUtime=0.09 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 500 0 0 0 9 0 0 0 25 0 1 0 829510555 19841024 452 33554432000 134512640 137138936 4292383216 18446744073709551615 134539347 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 4844 452 192 642 0 4200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19376
[startup+0.300494 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=20532 CPUtime=0.29 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 788 0 0 0 29 0 0 0 25 0 1 0 829510555 21024768 740 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5133 740 192 642 0 4489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20532
[startup+0.700422 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=20924 CPUtime=0.69 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 896 0 0 0 69 0 0 0 25 0 1 0 829510555 21426176 848 33554432000 134512640 137138936 4292383216 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5231 848 192 642 0 4587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20924
[startup+1.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 25301
/proc/meminfo: memFree=31796564/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=21568 CPUtime=1.49 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1046 0 0 0 149 0 0 0 25 0 1 0 829510555 22085632 998 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5392 998 192 642 0 4748 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21568
[startup+3.10101 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 25301
/proc/meminfo: memFree=31795328/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=21944 CPUtime=3.09 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1134 0 0 0 308 1 0 0 25 0 1 0 829510555 22470656 1086 33554432000 134512640 137138936 4292383216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5486 1086 192 642 0 4842 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21944
[startup+6.30043 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 25302
/proc/meminfo: memFree=31793848/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=22448 CPUtime=6.29 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1269 0 0 0 626 3 0 0 25 0 1 0 829510555 22986752 1221 33554432000 134512640 137138936 4292383216 18446744073709551615 134542434 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5612 1221 192 642 0 4968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22448
[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 25302
/proc/meminfo: memFree=31792836/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=23072 CPUtime=12.7 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1419 0 0 0 1265 5 0 0 25 0 1 0 829510555 23625728 1371 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5768 1371 192 642 0 5124 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 23072
[startup+25.5009 s]
/proc/loadavg: 2.16 2.07 2.01 3/454 25302
/proc/meminfo: memFree=31792464/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=23704 CPUtime=25.49 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1576 0 0 0 2540 9 0 0 25 0 1 0 829510555 24272896 1528 33554432000 134512640 137138936 4292383216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5926 1528 192 642 0 5282 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23704
[startup+51.1003 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 25303
/proc/meminfo: memFree=31791200/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=25196 CPUtime=51.1 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1946 0 0 0 5095 15 0 0 25 0 1 0 829510555 25800704 1898 33554432000 134512640 137138936 4292383216 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6299 1898 192 642 0 5655 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 25196
[startup+102.317 s]
/proc/loadavg: 2.09 2.06 2.01 3/454 25304
/proc/meminfo: memFree=31789704/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=25840 CPUtime=102.31 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2110 0 0 0 10207 24 0 0 25 0 1 0 829510555 26460160 2062 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6460 2062 192 642 0 5816 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25840
[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 25306
/proc/meminfo: memFree=31789692/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=26584 CPUtime=162.29 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2296 0 0 0 16194 35 0 0 25 0 1 0 829510555 27222016 2248 33554432000 134512640 137138936 4292383216 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6646 2248 192 642 0 6002 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26584
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 25307
/proc/meminfo: memFree=31787804/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=27296 CPUtime=222.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2473 0 0 0 22181 49 0 0 25 0 1 0 829510555 27951104 2425 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6824 2425 192 642 0 6180 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27296
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25309
/proc/meminfo: memFree=31787668/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=27488 CPUtime=282.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2525 0 0 0 28171 59 0 0 25 0 1 0 829510555 28147712 2477 33554432000 134512640 137138936 4292383216 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6872 2477 192 642 0 6228 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27488
[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/454 25310
/proc/meminfo: memFree=31786892/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=27480 CPUtime=342.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2525 0 0 0 34160 70 0 0 25 0 1 0 829510555 28139520 2477 33554432000 134512640 137138936 4292383216 18446744073709551615 134542161 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6870 2477 192 642 0 6226 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27480
[startup+402.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 25312
/proc/meminfo: memFree=31786268/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=28120 CPUtime=402.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2686 0 0 0 40151 79 0 0 25 0 1 0 829510555 28794880 2638 33554432000 134512640 137138936 4292383216 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7030 2638 192 642 0 6386 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28120
[startup+462.301 s]
/proc/loadavg: 2.19 2.08 2.01 3/454 25314
/proc/meminfo: memFree=31786252/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=28344 CPUtime=462.31 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2755 0 0 0 46140 91 0 0 25 0 1 0 829510555 29024256 2707 33554432000 134512640 137138936 4292383216 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7086 2707 192 642 0 6442 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 28344
[startup+522.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/454 25315
/proc/meminfo: memFree=31785868/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=28344 CPUtime=522.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2755 0 0 0 52128 102 0 0 25 0 1 0 829510555 29024256 2707 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7086 2707 192 642 0 6442 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 28344
[startup+582.301 s]
/proc/loadavg: 2.25 2.11 2.02 3/454 25317
/proc/meminfo: memFree=31781624/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=29072 CPUtime=582.31 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2907 0 0 0 58120 111 0 0 25 0 1 0 829510555 29769728 2859 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7268 2859 192 642 0 6624 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 29072
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31779368/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30200 CPUtime=1062.33 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3210 0 0 0 106052 181 0 0 25 0 1 0 829510555 30924800 3162 33554432000 134512640 137138936 4292383216 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7550 3162 192 642 0 6906 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 30200
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25331
/proc/meminfo: memFree=31778732/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30320 CPUtime=1122.32 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 112042 190 0 0 25 0 1 0 829510555 31047680 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7580 3188 192 642 0 6936 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 30320
[startup+1182.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/454 25333
/proc/meminfo: memFree=31778588/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30308 CPUtime=1182.32 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 118035 197 0 0 25 0 1 0 829510555 31035392 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7577 3188 192 642 0 6933 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 30308
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/454 25334
/proc/meminfo: memFree=31778196/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30300 CPUtime=1242.33 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 124027 206 0 0 25 0 1 0 829510555 31027200 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7575 3188 192 642 0 6931 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 30300
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 25336
/proc/meminfo: memFree=31777416/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30288 CPUtime=1302.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 130019 215 0 0 25 0 1 0 829510555 31014912 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7572 3188 192 642 0 6928 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 30288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25338
/proc/meminfo: memFree=31778512/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30280 CPUtime=1362.33 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 136009 224 0 0 25 0 1 0 829510555 31006720 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7570 3188 192 642 0 6926 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 30280
[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 25339
/proc/meminfo: memFree=31779348/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30272 CPUtime=1422.35 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 141999 236 0 0 25 0 1 0 829510555 30998528 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 134618455 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7568 3188 192 642 0 6924 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 30272
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/454 25341
/proc/meminfo: memFree=31778952/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30268 CPUtime=1482.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 147989 245 0 0 25 0 1 0 829510555 30994432 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7567 3188 192 642 0 6923 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 30268
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 25342
/proc/meminfo: memFree=31778928/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31176 CPUtime=1542.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3451 0 0 0 153979 255 0 0 25 0 1 0 829510555 31924224 3403 33554432000 134512640 137138936 4292383216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7794 3403 192 642 0 7150 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 31176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25344
/proc/meminfo: memFree=31778664/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31288 CPUtime=1602.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3477 0 0 0 159970 264 0 0 25 0 1 0 829510555 32038912 3429 33554432000 134512640 137138936 4292383216 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7822 3429 192 642 0 7178 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 31288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25346
/proc/meminfo: memFree=31778280/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31280 CPUtime=1662.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3481 0 0 0 165961 273 0 0 25 0 1 0 829510555 32030720 3433 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7820 3433 192 642 0 7176 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 31280
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 25347
/proc/meminfo: memFree=31778144/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31360 CPUtime=1722.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 171954 280 0 0 25 0 1 0 829510555 32112640 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7840 3447 192 642 0 7196 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 31360
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31741216/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1782.35 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 177946 289 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 31352
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740968/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1785.55 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 178265 290 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136365016 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 31352
[startup+1791.92 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1791.97 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 178906 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 31352
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1795.16 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 179225 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 31352
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1796.74 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 179383 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 31352
[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1797.54 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 179463 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 31352
[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1797.94 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 179503 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 31352
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1795.08
CPU system time (s): 2.91856
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 31364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 2.91856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3495
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= 2739
runsolver used 8.50571 second user time and 17.6483 second system time
The end