runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3190911-1304043967/watcher-3190911-1304043967 -o /tmp/evaluation-result-3190911-1304043967/solver-3190911-1304043967 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3190911-1304043967.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10.54 10.42 10.22 7/182 28475
/proc/meminfo: memFree=26557568/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) R 28473 28475 25547 0 -1 4194304 496 0 0 0 0 0 0 0 25 0 1 0 496812166 18763776 388 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095271634 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/28475/statm: 4581 388 339 23 0 91 0
[startup+0.0961171 s]
/proc/loadavg: 10.54 10.42 10.22 7/182 28475
/proc/meminfo: memFree=26557568/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) R 28473 28475 25547 0 -1 4194304 496 0 0 0 0 0 0 0 25 0 1 0 496812166 18763776 388 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095271634 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/28475/statm: 4581 388 339 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.101112 s]
/proc/loadavg: 10.54 10.42 10.22 7/182 28475
/proc/meminfo: memFree=26557568/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) R 28473 28475 25547 0 -1 4194304 496 0 0 0 0 0 0 0 25 0 1 0 496812166 18763776 388 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095271634 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/28475/statm: 4581 388 339 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301079 s]
/proc/loadavg: 10.54 10.42 10.22 7/182 28475
/proc/meminfo: memFree=26557568/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) R 28473 28475 25547 0 -1 4194304 496 0 0 0 0 0 0 0 25 0 1 0 496812166 18763776 388 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095271634 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/28475/statm: 4581 388 339 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701005 s]
/proc/loadavg: 10.54 10.42 10.22 7/182 28475
/proc/meminfo: memFree=26557568/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) R 28473 28475 25547 0 -1 4194304 496 0 0 0 0 0 0 0 25 0 1 0 496812166 18763776 388 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095271634 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/28475/statm: 4581 388 339 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50086 s]
/proc/loadavg: 10.54 10.42 10.22 11/188 28481
/proc/meminfo: memFree=26528876/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 22 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=365044 CPUtime=1.48 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 4266 0 0 0 148 0 0 0 20 0 1 0 496812166 373805056 2208 33554432000 4194304 4587354 140735010682288 18446744073709551615 4241061 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 91261 2208 327 96 0 87823 0
[pid=28477] ppid=28475 vsize=20816 CPUtime=1.49 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 2832 0 0 0 149 0 0 0 25 0 1 0 496812166 21315584 2549 33554432000 4194304 4785740 140735965692176 18446744073709551615 4550516 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 5204 2549 340 145 0 2249 0
[pid=28478] ppid=28475 vsize=453844 CPUtime=1.18 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1064 0 0 0 118 0 0 0 25 0 1 0 496812166 464736256 961 33554432000 134512640 134534564 4292661104 18446744073709551615 10589584 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 113461 961 95 6 0 112127 0
[pid=28479] ppid=28475 vsize=6292 CPUtime=1.49 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 1198 0 0 0 149 0 0 0 20 0 1 0 496812166 6443008 739 33554432000 4194304 4352236 140735933135392 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 1573 739 127 39 0 653 0
[pid=28481] ppid=28475 vsize=17396 CPUtime=0.29 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 6224 0 0 0 29 0 0 0 25 0 1 0 496812247 17813504 2692 33554432000 4194304 4331988 140735012251248 18446744073709551615 4226434 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 4349 2692 173 34 0 2791 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 881716
[startup+3.10056 s]
/proc/loadavg: 10.54 10.42 10.22 11/188 28481
/proc/meminfo: memFree=26495472/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=30828 CPUtime=3.09 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 6534 0 0 0 308 1 0 0 25 0 1 0 496812166 31567872 2290 33554432000 4194304 4587354 140735010682288 18446744073709551615 4238463 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 7707 2290 331 96 0 4269 0
[pid=28477] ppid=28475 vsize=23328 CPUtime=3.09 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 3449 0 0 0 309 0 0 0 25 0 1 0 496812166 23887872 3166 33554432000 4194304 4785740 140735965692176 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 5832 3166 340 145 0 2877 0
[pid=28478] ppid=28475 vsize=453844 CPUtime=1.97 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1064 0 0 0 197 0 0 0 25 0 1 0 496812166 464736256 961 33554432000 134512640 134534564 4292661104 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 113461 961 95 6 0 112127 0
[pid=28479] ppid=28475 vsize=8256 CPUtime=3.09 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 1689 0 0 0 309 0 0 0 25 0 1 0 496812166 8454144 1230 33554432000 4194304 4352236 140735933135392 18446744073709551615 4231252 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 2064 1230 127 39 0 1144 0
[pid=28481] ppid=28475 vsize=17792 CPUtime=1.09 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 6323 0 0 0 109 0 0 0 25 0 1 0 496812247 18219008 2791 33554432000 4194304 4331988 140735012251248 18446744073709551615 4228970 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 4448 2791 173 34 0 2890 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 552372
[startup+6.30097 s]
/proc/loadavg: 10.49 10.41 10.22 11/188 28482
/proc/meminfo: memFree=26468564/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=383556 CPUtime=6.29 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 12402 0 0 0 628 1 0 0 25 0 1 0 496812166 392761344 6802 33554432000 4194304 4587354 140735010682288 18446744073709551615 228095147710 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 95889 6802 337 96 0 92451 0
[pid=28477] ppid=28475 vsize=26604 CPUtime=6.29 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 4256 0 0 0 629 0 0 0 25 0 1 0 496812166 27242496 3973 33554432000 4194304 4785740 140735965692176 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 6651 3973 340 145 0 3696 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=3.56 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 356 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=9200 CPUtime=6.29 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 1925 0 0 0 629 0 0 0 25 0 1 0 496812166 9420800 1466 33554432000 4194304 4352236 140735933135392 18446744073709551615 4207874 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 2300 1466 127 39 0 1380 0
[pid=28481] ppid=28475 vsize=18148 CPUtime=2.69 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 6399 0 0 0 269 0 0 0 25 0 1 0 496812247 18583552 2867 33554432000 4194304 4331988 140735012251248 18446744073709551615 4228970 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 4537 2867 173 34 0 2979 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 913504
[startup+12.7008 s]
/proc/loadavg: 10.53 10.42 10.22 11/188 28482
/proc/meminfo: memFree=26455380/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=386064 CPUtime=12.68 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 15589 0 0 0 1266 2 0 0 25 0 1 0 496812166 395329536 6789 33554432000 4194304 4587354 140735010682288 18446744073709551615 4237661 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 96516 6789 337 96 0 93078 0
[pid=28477] ppid=28475 vsize=32156 CPUtime=12.68 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 5644 0 0 0 1268 0 0 0 25 0 1 0 496812166 32927744 5361 33554432000 4194304 4785740 140735965692176 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 8039 5361 340 145 0 5084 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=6.72 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 672 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134530484 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=9200 CPUtime=12.68 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 1925 0 0 0 1268 0 0 0 25 0 1 0 496812166 9420800 1466 33554432000 4194304 4352236 140735933135392 18446744073709551615 4207874 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 2300 1466 127 39 0 1380 0
[pid=28481] ppid=28475 vsize=19036 CPUtime=5.89 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 6587 0 0 0 589 0 0 0 25 0 1 0 496812247 19492864 3055 33554432000 4194304 4331988 140735012251248 18446744073709551615 4263216 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 4759 3055 173 34 0 3201 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 922452
[startup+25.5004 s]
/proc/loadavg: 10.41 10.40 10.21 11/188 28482
/proc/meminfo: memFree=26461588/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=373876 CPUtime=25.49 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 39538 0 0 0 2542 7 0 0 25 0 1 0 496812166 382849024 4394 33554432000 4194304 4587354 140735010682288 18446744073709551615 4238736 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 93469 4394 337 96 0 90031 0
[pid=28477] ppid=28475 vsize=37352 CPUtime=25.49 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 6905 0 0 0 2548 1 0 0 25 0 1 0 496812166 38248448 6622 33554432000 4194304 4785740 140735965692176 18446744073709551615 4553280 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 9338 6622 340 145 0 6383 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=13.1 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 1310 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=9200 CPUtime=25.48 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 1951 0 0 0 2548 0 0 0 25 0 1 0 496812166 9420800 1492 33554432000 4194304 4352236 140735933135392 18446744073709551615 4328423 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 2300 1492 127 39 0 1380 0
[pid=28481] ppid=28475 vsize=19604 CPUtime=12.23 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 6685 0 0 0 1223 0 0 0 25 0 1 0 496812247 20074496 3153 33554432000 4194304 4331988 140735012251248 18446744073709551615 4263152 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 4901 3153 173 34 0 3343 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 916028
[startup+51.1007 s]
/proc/loadavg: 10.27 10.37 10.21 11/188 28483
/proc/meminfo: memFree=26431120/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=379356 CPUtime=51.09 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 69351 0 0 0 5096 13 0 0 25 0 1 0 496812166 388460544 4658 33554432000 4194304 4587354 140735010682288 18446744073709551615 4238728 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 94839 4658 337 96 0 91401 0
[pid=28477] ppid=28475 vsize=48524 CPUtime=51.09 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 9633 0 0 0 5108 1 0 0 25 0 1 0 496812166 49688576 9350 33554432000 4194304 4785740 140735965692176 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 12131 9350 340 145 0 9176 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=25.82 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 2582 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=9864 CPUtime=51.08 cores=2
################
# More data... #
################
Solver just ended. Dumping a history of the last processes samples
[startup+57.5005 s]
/proc/loadavg: 10.41 10.39 10.22 11/188 28483
/proc/meminfo: memFree=26375312/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=371304 CPUtime=57.49 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 74582 0 0 0 5735 14 0 0 25 0 1 0 496812166 380215296 3419 33554432000 4194304 4587354 140735010682288 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 92826 3419 337 96 0 89388 0
[pid=28477] ppid=28475 vsize=49992 CPUtime=57.49 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 10005 0 0 0 5748 1 0 0 25 0 1 0 496812166 51191808 9722 33554432000 4194304 4785740 140735965692176 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 12498 9722 340 145 0 9543 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=29 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 2900 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=12168 CPUtime=57.48 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 2667 0 0 0 5748 0 0 0 25 0 1 0 496812166 12460032 2208 33554432000 4194304 4352236 140735933135392 18446744073709551615 4207650 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 3042 2208 127 39 0 2122 0
[pid=28481] ppid=28475 vsize=21144 CPUtime=28.16 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 6999 0 0 0 2816 0 0 0 25 0 1 0 496812247 21651456 3464 33554432000 4194304 4331988 140735012251248 18446744073709551615 4237136 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 5286 3464 173 34 0 3728 0
Current children cumulated CPU time (s) 229.62
Current children cumulated vsize (KiB) 930604
[startup+63.9003 s]
/proc/loadavg: 10.38 10.39 10.22 11/188 28483
/proc/meminfo: memFree=26302772/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=431052 CPUtime=63.89 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 90834 0 0 0 6372 17 0 0 25 0 1 0 496812166 441397248 19647 33554432000 4194304 4587354 140735010682288 18446744073709551615 4365232 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 107763 19647 337 96 0 104325 0
[pid=28477] ppid=28475 vsize=50260 CPUtime=63.89 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 10041 0 0 0 6388 1 0 0 25 0 1 0 496812166 51466240 9758 33554432000 4194304 4785740 140735965692176 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 12565 9758 340 145 0 9610 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=32.2 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 3220 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134530339 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=10120 CPUtime=63.87 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 2667 0 0 0 6387 0 0 0 25 0 1 0 496812166 10362880 1696 33554432000 4194304 4352236 140735933135392 18446744073709551615 4277732 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 2530 1696 127 39 0 1610 0
[pid=28481] ppid=28475 vsize=21144 CPUtime=31.34 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 7053 0 0 0 3133 1 0 0 25 0 1 0 496812247 21651456 3518 33554432000 4194304 4331988 140735012251248 18446744073709551615 4263258 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 5286 3518 173 34 0 3728 0
Current children cumulated CPU time (s) 255.19
Current children cumulated vsize (KiB) 988572
[startup+65.5011 s]
/proc/loadavg: 10.35 10.38 10.21 11/188 28483
/proc/meminfo: memFree=26300168/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=371988 CPUtime=65.49 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 91058 0 0 0 6532 17 0 0 25 0 1 0 496812166 380915712 5571 33554432000 4194304 4587354 140735010682288 18446744073709551615 4238252 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 92997 5571 337 96 0 89559 0
[pid=28477] ppid=28475 vsize=50260 CPUtime=65.49 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 10043 0 0 0 6548 1 0 0 25 0 1 0 496812166 51466240 9760 33554432000 4194304 4785740 140735965692176 18446744073709551615 4553274 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 12565 9760 340 145 0 9610 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=33 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 3300 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=12684 CPUtime=65.48 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 3436 0 0 0 6548 0 0 0 25 0 1 0 496812166 12988416 2337 33554432000 4194304 4352236 140735933135392 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 3171 2337 127 39 0 2251 0
[pid=28481] ppid=28475 vsize=21144 CPUtime=32.13 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 7066 0 0 0 3212 1 0 0 25 0 1 0 496812247 21651456 3531 33554432000 4194304 4331988 140735012251248 18446744073709551615 4299872 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 5286 3531 173 34 0 3728 0
Current children cumulated CPU time (s) 261.59
Current children cumulated vsize (KiB) 932072
[startup+67.1068 s]
/proc/loadavg: 10.35 10.38 10.21 11/188 28483
/proc/meminfo: memFree=26362292/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=379912 CPUtime=67.1 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 92642 0 0 0 6692 18 0 0 25 0 1 0 496812166 389029888 3791 33554432000 4194304 4587354 140735010682288 18446744073709551615 4238297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 94978 3791 337 96 0 91540 0
[pid=28477] ppid=28475 vsize=51860 CPUtime=67.09 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 10458 0 0 0 6708 1 0 0 25 0 1 0 496812166 53104640 10175 33554432000 4194304 4785740 140735965692176 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 12965 10175 340 145 0 10010 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=33.8 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 3380 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=12684 CPUtime=67.08 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 3436 0 0 0 6708 0 0 0 25 0 1 0 496812166 12988416 2337 33554432000 4194304 4352236 140735933135392 18446744073709551615 4328009 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 3171 2337 127 39 0 2251 0
[pid=28481] ppid=28475 vsize=21144 CPUtime=32.92 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 7079 0 0 0 3291 1 0 0 25 0 1 0 496812247 21651456 3544 33554432000 4194304 4331988 140735012251248 18446744073709551615 4263258 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 5286 3544 173 34 0 3728 0
Current children cumulated CPU time (s) 267.99
Current children cumulated vsize (KiB) 941596
[startup+67.9006 s]
/proc/loadavg: 10.35 10.38 10.21 11/188 28483
/proc/meminfo: memFree=26362292/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=379912 CPUtime=67.89 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 93183 0 0 0 6771 18 0 0 25 0 1 0 496812166 389029888 4329 33554432000 4194304 4587354 140735010682288 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 94978 4329 337 96 0 91540 0
[pid=28477] ppid=28475 vsize=52136 CPUtime=67.88 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 10516 0 0 0 6787 1 0 0 25 0 1 0 496812166 53387264 10233 33554432000 4194304 4785740 140735965692176 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 13034 10233 340 145 0 10079 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=34.2 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 3420 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134526037 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=10892 CPUtime=67.87 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 3500 0 0 0 6787 0 0 0 25 0 1 0 496812166 11153408 1889 33554432000 4194304 4352236 140735933135392 18446744073709551615 4277087 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 2723 1889 127 39 0 1803 0
[pid=28481] ppid=28475 vsize=21144 CPUtime=33.32 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 7088 0 0 0 3331 1 0 0 25 0 1 0 496812247 21651456 3553 33554432000 4194304 4331988 140735012251248 18446744073709551615 228098888331 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 5286 3553 173 34 0 3728 0
Current children cumulated CPU time (s) 271.16
Current children cumulated vsize (KiB) 940080
[startup+68.3005 s]
/proc/loadavg: 10.35 10.38 10.21 11/188 28483
/proc/meminfo: memFree=26361672/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=379912 CPUtime=68.29 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 93445 0 0 0 6811 18 0 0 25 0 1 0 496812166 389029888 4588 33554432000 4194304 4587354 140735010682288 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 94978 4588 337 96 0 91540 0
[pid=28477] ppid=28475 vsize=52136 CPUtime=68.28 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 10516 0 0 0 6827 1 0 0 25 0 1 0 496812166 53387264 10233 33554432000 4194304 4785740 140735965692176 18446744073709551615 4287011 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 13034 10233 340 145 0 10079 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=34.4 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 3440 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134525888 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=10892 CPUtime=68.27 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 3500 0 0 0 6827 0 0 0 25 0 1 0 496812166 11153408 1889 33554432000 4194304 4352236 140735933135392 18446744073709551615 4327867 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 2723 1889 127 39 0 1803 0
[pid=28481] ppid=28475 vsize=21144 CPUtime=33.51 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 7091 0 0 0 3350 1 0 0 25 0 1 0 496812247 21651456 3556 33554432000 4194304 4331988 140735012251248 18446744073709551615 4263470 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 5286 3556 173 34 0 3728 0
Current children cumulated CPU time (s) 272.75
Current children cumulated vsize (KiB) 940080
[startup+68.4005 s]
/proc/loadavg: 10.35 10.38 10.21 11/188 28483
/proc/meminfo: memFree=26361672/32951124 swapFree=67111524/67111528
[pid=28475] ppid=28473 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28475/stat : 28475 (ppfolio) S 28473 28475 25547 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 496812166 18763776 390 33554432000 4194304 4287625 140736037864240 18446744073709551615 228095471119 0 0 4096 65536 4593521678314635263 0 0 17 2 0 0 0
/proc/28475/statm: 4581 390 341 23 0 91 0
[pid=28476] ppid=28475 vsize=379912 CPUtime=68.39 cores=0
/proc/28476/stat : 28476 (cryptominisat) R 28475 28475 25547 0 -1 4202496 93503 0 0 0 6821 18 0 0 25 0 1 0 496812166 389029888 4646 33554432000 4194304 4587354 140735010682288 18446744073709551615 4238731 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28476/statm: 94978 4646 337 96 0 91540 0
[pid=28477] ppid=28475 vsize=52136 CPUtime=68.38 cores=4
/proc/28477/stat : 28477 (clasp) R 28475 28475 25547 0 -1 4202496 10516 0 0 0 6837 1 0 0 25 0 1 0 496812166 53387264 10233 33554432000 4194304 4785740 140735965692176 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/28477/statm: 13034 10233 340 145 0 10079 0
[pid=28478] ppid=28475 vsize=457672 CPUtime=34.42 cores=6
/proc/28478/stat : 28478 (TNM) R 28475 28475 25547 0 -1 4202496 1065 0 0 0 3442 0 0 0 25 0 1 0 496812166 468656128 962 33554432000 134512640 134534564 4292661104 18446744073709551615 134528875 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28478/statm: 114418 962 95 6 0 113084 0
[pid=28479] ppid=28475 vsize=10892 CPUtime=68.37 cores=2
/proc/28479/stat : 28479 (lingeling) R 28475 28475 25547 0 -1 4202496 3500 0 0 0 6837 0 0 0 25 0 1 0 496812166 11153408 1889 33554432000 4194304 4352236 140735933135392 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/28479/statm: 2723 1889 127 39 0 1803 0
[pid=28481] ppid=28475 vsize=21144 CPUtime=33.59 cores=6
/proc/28481/stat : 28481 (march_hi) R 28475 28475 25547 0 -1 4202496 7093 0 0 0 3358 1 0 0 25 0 1 0 496812247 21651456 3558 33554432000 4194304 4331988 140735012251248 18446744073709551615 4229586 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28481/statm: 5286 3558 173 34 0 3728 0
Current children cumulated CPU time (s) 273.15
Current children cumulated vsize (KiB) 940080
Child status: 0
Real time (s): 68.4377
CPU time (s): 273.355
CPU user time (s): 273.124
CPU system time (s): 0.230964
CPU usage (%): 399.422
Max. virtual memory (cumulated for all children) (KiB): 991648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 273.124
system time used= 0.230964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116261
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= 188
involuntary context switches= 2138
runsolver used 0.110983 second user time and 0.266959 second system time
The end
Begin job on node142 at 2011-04-29 04:26:07
IDJOB=3190911
IDBENCH=82642
IDSOLVER=1612
FILE ID=node142/3190911-1304043967
RUNJOBID= node142-1304041557-25982
PBS_JOBID= 13170374
Free space on /tmp= 71304 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3190911-1304043967/watcher-3190911-1304043967 -o /tmp/evaluation-result-3190911-1304043967/solver-3190911-1304043967 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3190911-1304043967.cnf
TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 01bef578d60d53fc18e9469f59ed2fd1
RANDOM SEED=328573769
node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5131.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.81
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 26557724 kB
Buffers: 1645184 kB
Cached: 4108636 kB
SwapCached: 4 kB
Active: 719576 kB
Inactive: 5134256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 26557724 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 21008 kB
Writeback: 0 kB
AnonPages: 100000 kB
Mapped: 16932 kB
Slab: 476432 kB
PageTables: 5004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2677992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71292 MiB
End job on node142 at 2011-04-29 04:27:15