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-3251083-1304099041/watcher-3251083-1304099041 -o /tmp/evaluation-result-3251083-1304099041/solver-3251083-1304099041 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3251083-1304099041.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: 6.89 7.84 7.86 3/174 29491
/proc/meminfo: memFree=19030364/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) R 29489 29491 28678 0 -1 4202496 523 0 0 0 0 0 0 0 25 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[startup+0.02281 s]
/proc/loadavg: 6.89 7.84 7.86 3/174 29491
/proc/meminfo: memFree=19030364/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) R 29489 29491 28678 0 -1 4202496 523 0 0 0 0 0 0 0 25 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100796 s]
/proc/loadavg: 6.89 7.84 7.86 3/174 29491
/proc/meminfo: memFree=19030364/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) R 29489 29491 28678 0 -1 4202496 523 0 0 0 0 0 0 0 25 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300731 s]
/proc/loadavg: 6.89 7.84 7.86 3/174 29491
/proc/meminfo: memFree=19030364/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) R 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 25 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700658 s]
/proc/loadavg: 6.89 7.84 7.86 3/174 29491
/proc/meminfo: memFree=19030364/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 25 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50051 s]
/proc/loadavg: 6.89 7.84 7.86 12/188 29508
/proc/meminfo: memFree=18610884/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 18 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=104900 CPUtime=1.48 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 22375 0 0 0 146 2 0 0 20 0 1 0 502320005 107417600 17040 33554432000 4194304 4587354 140737290594256 18446744073709551615 4315923 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 26225 17040 319 96 0 22787 0
[pid=29493] ppid=29491 vsize=37036 CPUtime=1.49 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 8313 0 0 0 148 1 0 0 25 0 1 0 502320005 37924864 6427 33554432000 4194304 4785740 140734790941184 18446744073709551615 4495633 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 9259 6427 313 145 0 6304 0
[pid=29494] ppid=29491 vsize=471004 CPUtime=0.67 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 6647 0 0 0 66 1 0 0 25 0 1 0 502320005 482308096 6543 33554432000 134512640 134534564 4294262224 18446744073709551615 134524500 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 117751 6543 91 6 0 116417 0
[pid=29495] ppid=29491 vsize=16176 CPUtime=1.49 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 5103 0 0 0 149 0 0 0 25 0 1 0 502320005 16564224 2950 33554432000 4194304 4352236 140734827158768 18446744073709551615 4268355 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 4044 2950 124 39 0 3124 0
[pid=29496] ppid=29491 vsize=46928 CPUtime=0.8 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 24740 0 0 0 77 3 0 0 25 0 1 0 502320005 48054272 6299 33554432000 4194304 4331988 140733847790560 18446744073709551615 4261491 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 11732 6299 150 34 0 10174 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 694368
[startup+3.10123 s]
/proc/loadavg: 6.89 7.84 7.86 11/188 29508
/proc/meminfo: memFree=18516524/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=86220 CPUtime=3.09 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 24934 0 0 0 306 3 0 0 25 0 1 0 502320005 88289280 16505 33554432000 4194304 4587354 140737290594256 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 21555 16505 326 96 0 18117 0
[pid=29493] ppid=29491 vsize=39676 CPUtime=3.09 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 8965 0 0 0 308 1 0 0 25 0 1 0 502320005 40628224 7079 33554432000 4194304 4785740 140734790941184 18446744073709551615 233509958341 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 9919 7079 316 145 0 6964 0
[pid=29494] ppid=29491 vsize=471004 CPUtime=1.46 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 6647 0 0 0 145 1 0 0 25 0 1 0 502320005 482308096 6543 33554432000 134512640 134534564 4294262224 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 117751 6543 91 6 0 116417 0
[pid=29495] ppid=29491 vsize=19348 CPUtime=3.09 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 6152 0 0 0 309 0 0 0 25 0 1 0 502320005 19812352 3999 33554432000 4194304 4352236 140734827158768 18446744073709551615 4328013 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 4837 3999 127 39 0 3917 0
[pid=29496] ppid=29491 vsize=60120 CPUtime=1.61 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 31806 0 0 0 157 4 0 0 25 0 1 0 502320005 61562880 6829 33554432000 4194304 4331988 140733847790560 18446744073709551615 4226198 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15030 6829 170 34 0 13472 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 694692
[startup+6.30065 s]
/proc/loadavg: 7.14 7.87 7.87 11/188 29508
/proc/meminfo: memFree=18481984/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=620900 CPUtime=6.28 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 26978 0 0 0 625 3 0 0 25 0 1 0 502320005 635801600 16480 33554432000 4194304 4587354 140737290594256 18446744073709551615 4365361 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 155225 16480 337 96 0 151787 0
[pid=29493] ppid=29491 vsize=40380 CPUtime=6.28 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 10116 0 0 0 627 1 0 0 25 0 1 0 502320005 41349120 7430 33554432000 4194304 4785740 140734790941184 18446744073709551615 4553380 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 10095 7430 340 145 0 7140 0
[pid=29494] ppid=29491 vsize=471004 CPUtime=3.05 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 6647 0 0 0 304 1 0 0 25 0 1 0 502320005 482308096 6543 33554432000 134512640 134534564 4294262224 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 117751 6543 91 6 0 116417 0
[pid=29495] ppid=29491 vsize=33684 CPUtime=6.28 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 8713 0 0 0 627 1 0 0 25 0 1 0 502320005 34492416 6560 33554432000 4194304 4352236 140734827158768 18446744073709551615 4208593 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 8421 6560 127 39 0 7501 0
[pid=29496] ppid=29491 vsize=60120 CPUtime=3.21 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 31827 0 0 0 317 4 0 0 25 0 1 0 502320005 61562880 6850 33554432000 4194304 4331988 140733847790560 18446744073709551615 4226263 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15030 6850 171 34 0 13472 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 1244412
[startup+12.7005 s]
/proc/loadavg: 7.37 7.91 7.88 11/188 29508
/proc/meminfo: memFree=18393744/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=620900 CPUtime=12.68 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 26978 0 0 0 1265 3 0 0 25 0 1 0 502320005 635801600 16480 33554432000 4194304 4587354 140737290594256 18446744073709551615 4365356 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 155225 16480 337 96 0 151787 0
[pid=29493] ppid=29491 vsize=68740 CPUtime=12.69 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 17080 0 0 0 1266 3 0 0 25 0 1 0 502320005 70389760 14394 33554432000 4194304 4785740 140734790941184 18446744073709551615 4286976 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 17185 14394 340 145 0 14230 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=6.24 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 623 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=33684 CPUtime=12.68 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 9131 0 0 0 1267 1 0 0 25 0 1 0 502320005 34492416 6978 33554432000 4194304 4352236 140734827158768 18446744073709551615 4276539 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 8421 6978 127 39 0 7501 0
[pid=29496] ppid=29491 vsize=60904 CPUtime=6.37 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32025 0 0 0 633 4 0 0 25 0 1 0 502320005 62365696 7048 33554432000 4194304 4331988 140733847790560 18446744073709551615 4284410 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15226 7048 174 34 0 13668 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 1280704
[startup+25.5012 s]
/proc/loadavg: 7.95 8.01 7.92 11/188 29508
/proc/meminfo: memFree=18269368/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=635292 CPUtime=25.48 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 29775 0 0 0 2545 3 0 0 25 0 1 0 502320005 650539008 19277 33554432000 4194304 4587354 140737290594256 18446744073709551615 4365236 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 158823 19277 337 96 0 155385 0
[pid=29493] ppid=29491 vsize=105848 CPUtime=25.48 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 26150 0 0 0 2543 5 0 0 25 0 1 0 502320005 108388352 23464 33554432000 4194304 4785740 140734790941184 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 26462 23464 340 145 0 23507 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=12.64 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 1263 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=44044 CPUtime=25.48 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 11303 0 0 0 2547 1 0 0 25 0 1 0 502320005 45101056 9150 33554432000 4194304 4352236 140734827158768 18446744073709551615 4328114 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 11011 9150 127 39 0 10091 0
[pid=29496] ppid=29491 vsize=61036 CPUtime=12.7 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32039 0 0 0 1266 4 0 0 25 0 1 0 502320005 62500864 7062 33554432000 4194304 4331988 140733847790560 18446744073709551615 4287256 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15259 7062 174 34 0 13701 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 1342696
[startup+51.1006 s]
/proc/loadavg: 8.79 8.20 7.98 11/188 29509
/proc/meminfo: memFree=18026800/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=682584 CPUtime=51.08 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 36917 0 0 0 5104 4 0 0 25 0 1 0 502320005 698966016 24091 33554432000 4194304 4587354 140737290594256 18446744073709551615 4365216 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 170646 24091 337 96 0 167208 0
[pid=29493] ppid=29491 vsize=155488 CPUtime=51.07 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 38124 0 0 0 5099 8 0 0 25 0 1 0 502320005 159219712 35438 33554432000 4194304 4785740 140734790941184 18446744073709551615 4287042 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 38872 35438 340 145 0 35917 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=25.34 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 2533 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=52236 CPUtime=51.08 cores=2
################
# More data... #
################
[startup+402.301 s]
/proc/loadavg: 10.14 9.55 8.66 11/188 29518
/proc/meminfo: memFree=16890728/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=653448 CPUtime=402.3 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 89505 0 0 0 40216 14 0 0 25 0 1 0 502320005 669130752 43915 33554432000 4194304 4587354 140737290594256 18446744073709551615 4231923 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 163362 43915 337 96 0 159924 0
[pid=29493] ppid=29491 vsize=327900 CPUtime=402.28 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 79053 0 0 0 40209 19 0 0 25 0 1 0 502320005 335769600 76367 33554432000 4194304 4785740 140734790941184 18446744073709551615 233509995106 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 81975 76367 340 145 0 79020 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=200.01 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 20000 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=113012 CPUtime=402.26 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 29568 0 0 0 40222 4 0 0 25 0 1 0 502320005 115724288 27415 33554432000 4194304 4352236 140734827158768 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 28253 27415 127 39 0 27333 0
[pid=29496] ppid=29491 vsize=61036 CPUtime=200.09 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32059 0 0 0 20005 4 0 0 25 0 1 0 502320005 62500864 7082 33554432000 4194304 4331988 140733847790560 18446744073709551615 4299872 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15259 7082 174 34 0 13701 0
Current children cumulated CPU time (s) 1606.94
Current children cumulated vsize (KiB) 1651872
[startup+462.301 s]
/proc/loadavg: 10.16 9.66 8.75 11/188 29520
/proc/meminfo: memFree=16853140/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=6404956 CPUtime=462.29 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 96453 0 0 0 46214 15 0 0 25 0 1 0 502320005 6558674944 48780 33554432000 4194304 4587354 140737290594256 18446744073709551615 4237681 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 1601239 48780 337 96 0 1597801 0
[pid=29493] ppid=29491 vsize=332720 CPUtime=462.28 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 80207 0 0 0 46209 19 0 0 25 0 1 0 502320005 340705280 77521 33554432000 4194304 4785740 140734790941184 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 83180 77521 340 145 0 80225 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=229.8 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 22979 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=113012 CPUtime=462.25 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 29568 0 0 0 46221 4 0 0 25 0 1 0 502320005 115724288 27415 33554432000 4194304 4352236 140734827158768 18446744073709551615 4329086 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 28253 27415 127 39 0 27333 0
[pid=29496] ppid=29491 vsize=61036 CPUtime=229.97 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32059 0 0 0 22993 4 0 0 25 0 1 0 502320005 62500864 7082 33554432000 4194304 4331988 140733847790560 18446744073709551615 4228247 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15259 7082 174 34 0 13701 0
Current children cumulated CPU time (s) 1846.59
Current children cumulated vsize (KiB) 7408200
[startup+522.301 s]
/proc/loadavg: 10.22 9.77 8.84 11/188 29521
/proc/meminfo: memFree=16835368/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=677188 CPUtime=522.3 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 100843 0 0 0 52212 18 0 0 25 0 1 0 502320005 693440512 48788 33554432000 4194304 4587354 140737290594256 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 169297 48788 337 96 0 165859 0
[pid=29493] ppid=29491 vsize=349244 CPUtime=522.29 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 84076 0 0 0 52209 20 0 0 25 0 1 0 502320005 357625856 81390 33554432000 4194304 4785740 140734790941184 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 87311 81390 340 145 0 84356 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=259.68 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 25967 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=113012 CPUtime=522.25 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 29568 0 0 0 52221 4 0 0 25 0 1 0 502320005 115724288 27415 33554432000 4194304 4352236 140734827158768 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 28253 27415 127 39 0 27333 0
[pid=29496] ppid=29491 vsize=61036 CPUtime=259.77 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32068 0 0 0 25973 4 0 0 25 0 1 0 502320005 62500864 7091 33554432000 4194304 4331988 140733847790560 18446744073709551615 4228247 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15259 7091 174 34 0 13701 0
Current children cumulated CPU time (s) 2086.29
Current children cumulated vsize (KiB) 1696956
Solver just ended. Dumping a history of the last processes samples
[startup+523.101 s]
/proc/loadavg: 10.22 9.77 8.84 11/188 29522
/proc/meminfo: memFree=16834996/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=677188 CPUtime=523.1 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 100924 0 0 0 52292 18 0 0 25 0 1 0 502320005 693440512 48869 33554432000 4194304 4587354 140737290594256 18446744073709551615 4238600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 169297 48869 337 96 0 165859 0
[pid=29493] ppid=29491 vsize=349244 CPUtime=523.09 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 84089 0 0 0 52289 20 0 0 25 0 1 0 502320005 357625856 81403 33554432000 4194304 4785740 140734790941184 18446744073709551615 4307220 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 87311 81403 340 145 0 84356 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=260.07 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 26006 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=113012 CPUtime=523.05 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 29568 0 0 0 52301 4 0 0 25 0 1 0 502320005 115724288 27415 33554432000 4194304 4352236 140734827158768 18446744073709551615 4329165 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 28253 27415 127 39 0 27333 0
[pid=29496] ppid=29491 vsize=61036 CPUtime=260.17 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32068 0 0 0 26013 4 0 0 25 0 1 0 502320005 62500864 7091 33554432000 4194304 4331988 140733847790560 18446744073709551615 4284410 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15259 7091 174 34 0 13701 0
Current children cumulated CPU time (s) 2089.48
Current children cumulated vsize (KiB) 1696956
[startup+524.707 s]
/proc/loadavg: 10.20 9.77 8.85 11/188 29522
/proc/meminfo: memFree=16833004/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=677188 CPUtime=524.71 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 101478 0 0 0 52452 19 0 0 25 0 1 0 502320005 693440512 49413 33554432000 4194304 4587354 140737290594256 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 169297 49413 337 96 0 165859 0
[pid=29493] ppid=29491 vsize=349244 CPUtime=524.69 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 84092 0 0 0 52449 20 0 0 25 0 1 0 502320005 357625856 81406 33554432000 4194304 4785740 140734790941184 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 87311 81406 340 145 0 84356 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=260.87 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 26086 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=113012 CPUtime=524.65 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 29568 0 0 0 52461 4 0 0 25 0 1 0 502320005 115724288 27415 33554432000 4194304 4352236 140734827158768 18446744073709551615 4280925 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 28253 27415 127 39 0 27333 0
[pid=29496] ppid=29491 vsize=61036 CPUtime=260.97 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32068 0 0 0 26093 4 0 0 25 0 1 0 502320005 62500864 7091 33554432000 4194304 4331988 140733847790560 18446744073709551615 4228235 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15259 7091 174 34 0 13701 0
Current children cumulated CPU time (s) 2095.89
Current children cumulated vsize (KiB) 1696956
[startup+525.501 s]
/proc/loadavg: 10.20 9.77 8.85 11/188 29522
/proc/meminfo: memFree=16833004/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=677188 CPUtime=525.5 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 101715 0 0 0 52531 19 0 0 25 0 1 0 502320005 693440512 49644 33554432000 4194304 4587354 140737290594256 18446744073709551615 4236561 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 169297 49644 337 96 0 165859 0
[pid=29493] ppid=29491 vsize=349244 CPUtime=525.49 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 84092 0 0 0 52529 20 0 0 25 0 1 0 502320005 357625856 81406 33554432000 4194304 4785740 140734790941184 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 87311 81406 340 145 0 84356 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=261.26 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 26125 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=113012 CPUtime=525.45 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 29568 0 0 0 52541 4 0 0 25 0 1 0 502320005 115724288 27415 33554432000 4194304 4352236 140734827158768 18446744073709551615 4328102 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 28253 27415 127 39 0 27333 0
[pid=29496] ppid=29491 vsize=61036 CPUtime=261.37 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32068 0 0 0 26133 4 0 0 25 0 1 0 502320005 62500864 7091 33554432000 4194304 4331988 140733847790560 18446744073709551615 4284296 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15259 7091 174 34 0 13701 0
Current children cumulated CPU time (s) 2099.07
Current children cumulated vsize (KiB) 1696956
[startup+525.901 s]
/proc/loadavg: 10.20 9.77 8.85 11/188 29522
/proc/meminfo: memFree=16831516/32951124 swapFree=67111528/67111528
[pid=29491] ppid=29489 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/29491/stat : 29491 (ppfolio) S 29489 29491 28678 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 502320005 18763776 390 33554432000 4194304 4287625 140735801484800 18446744073709551615 233510317583 0 0 4096 65536 4316542467211001855 0 0 17 4 0 0 0
/proc/29491/statm: 4581 390 341 23 0 91 0
[pid=29492] ppid=29491 vsize=677188 CPUtime=525.9 cores=0
/proc/29492/stat : 29492 (cryptominisat) R 29491 29491 28678 0 -1 4202496 101842 0 0 0 52571 19 0 0 25 0 1 0 502320005 693440512 49769 33554432000 4194304 4587354 140737290594256 18446744073709551615 4238477 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29492/statm: 169297 49769 337 96 0 165859 0
[pid=29493] ppid=29491 vsize=349244 CPUtime=525.89 cores=4
/proc/29493/stat : 29493 (clasp) R 29491 29491 28678 0 -1 4202496 84092 0 0 0 52569 20 0 0 25 0 1 0 502320005 357625856 81406 33554432000 4194304 4785740 140734790941184 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/29493/statm: 87311 81406 340 145 0 84356 0
[pid=29494] ppid=29491 vsize=478152 CPUtime=261.46 cores=6
/proc/29494/stat : 29494 (TNM) R 29491 29491 28678 0 -1 4202496 9623 0 0 0 26145 1 0 0 25 0 1 0 502320005 489627648 9519 33554432000 134512640 134534564 4294262224 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29494/statm: 119538 9519 95 6 0 118204 0
[pid=29495] ppid=29491 vsize=113012 CPUtime=525.85 cores=2
/proc/29495/stat : 29495 (lingeling) R 29491 29491 28678 0 -1 4202496 29568 0 0 0 52581 4 0 0 25 0 1 0 502320005 115724288 27415 33554432000 4194304 4352236 140734827158768 18446744073709551615 4207755 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/29495/statm: 28253 27415 127 39 0 27333 0
[pid=29496] ppid=29491 vsize=61036 CPUtime=261.57 cores=6
/proc/29496/stat : 29496 (march_hi) R 29491 29491 28678 0 -1 4202496 32068 0 0 0 26153 4 0 0 25 0 1 0 502320005 62500864 7091 33554432000 4194304 4331988 140733847790560 18446744073709551615 4237154 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29496/statm: 15259 7091 174 34 0 13701 0
Current children cumulated CPU time (s) 2100.67
Current children cumulated vsize (KiB) 1696956
Child status: 0
Real time (s): 525.944
CPU time (s): 2100.86
CPU user time (s): 2100.3
CPU system time (s): 0.551916
CPU usage (%): 399.445
Max. virtual memory (cumulated for all children) (KiB): 13597512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2100.3
system time used= 0.551916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257760
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= 280
involuntary context switches= 14537
runsolver used 0.804877 second user time and 2.06968 second system time
The end
Begin job on node145 at 2011-04-29 19:44:01
IDJOB=3251083
IDBENCH=88209
IDSOLVER=1612
FILE ID=node145/3251083-1304099041
RUNJOBID= node145-1304099041-29477
PBS_JOBID= 13170580
Free space on /tmp= 72196 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251083-1304099041/watcher-3251083-1304099041 -o /tmp/evaluation-result-3251083-1304099041/solver-3251083-1304099041 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3251083-1304099041.cnf
TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= bfa662ff57088c54e0febd091ce11e5c
RANDOM SEED=306096614
node145.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.786
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.57
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.786
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 : 5332.76
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.786
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.74
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.786
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.83
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 19030644 kB
Buffers: 2052516 kB
Cached: 11228296 kB
SwapCached: 0 kB
Active: 2584500 kB
Inactive: 10764056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 19030644 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 22272 kB
Writeback: 0 kB
AnonPages: 67188 kB
Mapped: 14488 kB
Slab: 508308 kB
PageTables: 4848 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 190676 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= 72168 MiB
End job on node145 at 2011-04-29 19:52:48