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-3257289-1304033341/watcher-3257289-1304033341 -o /tmp/evaluation-result-3257289-1304033341/solver-3257289-1304033341 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3257289-1304033341.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.16 8.38 7.29 7/182 26600
/proc/meminfo: memFree=13494208/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) R 26598 26600 26049 0 -1 4202496 518 0 0 0 0 0 0 0 25 0 1 0 514932900 18763776 390 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/26600/statm: 4581 390 341 23 0 91 0
[startup+0.219754 s]
/proc/loadavg: 10.16 8.38 7.29 7/182 26600
/proc/meminfo: memFree=13494208/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 520 0 0 0 0 0 0 0 24 0 1 0 514932900 18763776 390 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 14022652472900714495 0 0 17 4 0 0 0
/proc/26600/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300739 s]
/proc/loadavg: 10.16 8.38 7.29 7/182 26600
/proc/meminfo: memFree=13494208/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 520 0 0 0 0 0 0 0 24 0 1 0 514932900 18763776 390 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 14022652472900714495 0 0 17 4 0 0 0
/proc/26600/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.400724 s]
/proc/loadavg: 10.16 8.38 7.29 7/182 26600
/proc/meminfo: memFree=13494208/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 520 0 0 0 0 0 0 0 23 0 1 0 514932900 18763776 390 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 14022652472900714495 0 0 17 4 0 0 0
/proc/26600/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700669 s]
/proc/loadavg: 10.16 8.38 7.29 7/182 26600
/proc/meminfo: memFree=13494208/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 520 0 0 0 0 0 0 0 20 0 1 0 514932900 18763776 390 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 14022652472900714495 0 0 17 4 0 0 0
/proc/26600/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50053 s]
/proc/loadavg: 10.16 8.38 7.29 11/188 26606
/proc/meminfo: memFree=13457952/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 514932900 18763776 390 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 14022652472900714495 0 0 17 4 0 0 0
/proc/26600/statm: 4581 390 341 23 0 91 0
[pid=26601] ppid=26600 vsize=1773164 CPUtime=1.48 cores=0
/proc/26601/stat : 26601 (cryptominisat) R 26600 26600 26049 0 -1 4202496 4094 0 0 0 148 0 0 0 25 0 1 0 514932901 1815719936 2676 33554432000 4194304 4587354 140736594500352 18446744073709551615 4238314 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26601/statm: 443291 2676 338 96 0 439853 0
[pid=26602] ppid=26600 vsize=16864 CPUtime=1.49 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 1694 0 0 0 149 0 0 0 25 0 1 0 514932901 17268736 1572 33554432000 4194304 4785740 140733702729520 18446744073709551615 4553035 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 4216 1572 341 145 0 1261 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=0.78 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 78 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=8156 CPUtime=1.49 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 1902 0 0 0 149 0 0 0 25 0 1 0 514932901 8351744 1205 33554432000 4194304 4352236 140736951472784 18446744073709551615 4231316 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 2039 1205 126 39 0 1119 0
[pid=26605] ppid=26600 vsize=32192 CPUtime=0.7 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 8740 0 0 0 69 1 0 0 25 0 1 0 514932901 32964608 5437 33554432000 4194304 4331988 140734984662448 18446744073709551615 4210416 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8048 5437 175 34 0 6490 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 2305452
[startup+3.10125 s]
/proc/loadavg: 10.16 8.38 7.29 12/188 26606
/proc/meminfo: memFree=13449396/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 514932900 18763776 390 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 14022652472900714495 0 0 17 4 0 0 0
/proc/26600/statm: 4581 390 341 23 0 91 0
[pid=26601] ppid=26600 vsize=33208 CPUtime=3.08 cores=0
/proc/26601/stat : 26601 (cryptominisat) R 26600 26600 26049 0 -1 4202496 5204 0 0 0 308 0 0 0 25 0 1 0 514932901 34004992 2787 33554432000 4194304 4587354 140736594500352 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26601/statm: 8302 2787 338 96 0 4864 0
[pid=26602] ppid=26600 vsize=17924 CPUtime=3.09 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 1952 0 0 0 309 0 0 0 25 0 1 0 514932901 18354176 1830 33554432000 4194304 4785740 140733702729520 18446744073709551615 4550327 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 4481 1830 341 145 0 1526 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=1.58 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 158 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=9152 CPUtime=3.09 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 2407 0 0 0 309 0 0 0 25 0 1 0 514932901 9371648 1454 33554432000 4194304 4352236 140736951472784 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 2288 1454 126 39 0 1368 0
[pid=26605] ppid=26600 vsize=32192 CPUtime=1.5 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 8971 0 0 0 149 1 0 0 25 0 1 0 514932901 32964608 5668 33554432000 4194304 4331988 140734984662448 18446744073709551615 4237147 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8048 5668 175 34 0 6490 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 567552
[startup+6.30068 s]
/proc/loadavg: 10.23 8.42 7.31 10/187 26606
/proc/meminfo: memFree=13452132/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 4294934786 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=20976 CPUtime=6.29 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 2723 0 0 0 629 0 0 0 25 0 1 0 514932901 21479424 2601 33554432000 4194304 4785740 140733702729520 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 5244 2601 341 145 0 2289 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=3.16 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 316 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134528511 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=9796 CPUtime=6.29 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 2920 0 0 0 629 0 0 0 25 0 1 0 514932901 10031104 1615 33554432000 4194304 4352236 140736951472784 18446744073709551615 4329015 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 2449 1615 126 39 0 1529 0
[pid=26605] ppid=26600 vsize=32192 CPUtime=3.1 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 8971 0 0 0 309 1 0 0 25 0 1 0 514932901 32964608 5668 33554432000 4194304 4331988 140734984662448 18446744073709551615 4237028 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8048 5668 175 34 0 6490 0
Current children cumulated CPU time (s) 23.09
Current children cumulated vsize (KiB) 538040
[startup+12.7006 s]
/proc/loadavg: 10.13 8.43 7.32 10/187 26607
/proc/meminfo: memFree=13446332/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195738567704576 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=25628 CPUtime=12.69 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 3883 0 0 0 1269 0 0 0 25 0 1 0 514932901 26243072 3761 33554432000 4194304 4785740 140733702729520 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 6407 3761 341 145 0 3452 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=6.32 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 632 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=10700 CPUtime=12.68 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 5450 0 0 0 1268 0 0 0 25 0 1 0 514932901 10956800 1841 33554432000 4194304 4352236 140736951472784 18446744073709551615 4328843 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 2675 1841 126 39 0 1755 0
[pid=26605] ppid=26600 vsize=32192 CPUtime=6.3 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 8998 0 0 0 629 1 0 0 25 0 1 0 514932901 32964608 5695 33554432000 4194304 4331988 140734984662448 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8048 5695 175 34 0 6490 0
Current children cumulated CPU time (s) 42.24
Current children cumulated vsize (KiB) 543596
[startup+25.5063 s]
/proc/loadavg: 9.96 8.47 7.35 11/187 26607
/proc/meminfo: memFree=13437784/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=30968 CPUtime=25.49 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 5175 0 0 0 2549 0 0 0 25 0 1 0 514932901 31711232 5053 33554432000 4194304 4785740 140733702729520 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 7742 5053 341 145 0 4787 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=12.7 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 1270 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 9917921 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=13520 CPUtime=25.5 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 9131 0 0 0 2549 1 0 0 25 0 1 0 514932901 13844480 2546 33554432000 4194304 4352236 140736951472784 18446744073709551615 4278732 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 3380 2546 126 39 0 2460 0
[pid=26605] ppid=26600 vsize=32500 CPUtime=12.65 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9054 0 0 0 1264 1 0 0 25 0 1 0 514932901 33280000 5751 33554432000 4194304 4331988 140734984662448 18446744073709551615 4210459 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8125 5751 175 34 0 6567 0
Current children cumulated CPU time (s) 80.59
Current children cumulated vsize (KiB) 552064
[startup+51.1008 s]
/proc/loadavg: 9.63 8.52 7.39 10/187 26607
/proc/meminfo: memFree=13428260/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=35948 CPUtime=51.09 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 6397 0 0 0 5108 1 0 0 25 0 1 0 514932901 36810752 6275 33554432000 4194304 4785740 140733702729520 18446744073709551615 4278081 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 8987 6275 341 145 0 6032 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=25.42 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 2542 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134530806 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=14424 CPUtime=51.08 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 13102 0 0 0 5107 1 0 0 25 0 1 0 514932901 14770176 2805 33554432000 4194304 4352236 140736951472784 18446744073709551615 4329032 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 3606 2805 127 39 0 2686 0
[pid=26605] ppid=26600 vsize=32652 CPUtime=25.39 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9099 0 0 0 2538 1 0 0 25 0 1 0 514932901 33435648 5796 33554432000 4194304 4331988 140734984662448 18446744073709551615 4210448 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8163 5796 175 34 0 6605 0
Current children cumulated CPU time (s) 157.23
Current children cumulated vsize (KiB) 558100
[startup+102.301 s]
/proc/loadavg: 9.39 8.62 7.48 10/187 26609
/proc/meminfo: memFree=13410772/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
################
# More data... #
################
Current children cumulated CPU time (s) 387.81
Current children cumulated vsize (KiB) 569844
[startup+140.901 s]
/proc/loadavg: 9.33 8.70 7.56 10/187 26610
/proc/meminfo: memFree=13406164/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=47492 CPUtime=140.89 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 9233 0 0 0 14088 1 0 0 25 0 1 0 514932901 48631808 9111 33554432000 4194304 4785740 140733702729520 18446744073709551615 4287038 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 11873 9111 341 145 0 8918 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=70.1 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 7010 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=19292 CPUtime=140.89 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 24687 0 0 0 14087 2 0 0 25 0 1 0 514932901 19755008 4022 33554432000 4194304 4352236 140736951472784 18446744073709551615 4328390 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 4823 4022 127 39 0 3903 0
[pid=26605] ppid=26600 vsize=33560 CPUtime=70.03 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9256 0 0 0 7002 1 0 0 25 0 1 0 514932901 34365440 5953 33554432000 4194304 4331988 140734984662448 18446744073709551615 4239564 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8390 5953 175 34 0 6832 0
Current children cumulated CPU time (s) 426.16
Current children cumulated vsize (KiB) 575420
[startup+147.301 s]
/proc/loadavg: 9.31 8.70 7.56 10/187 26610
/proc/meminfo: memFree=13407404/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=48084 CPUtime=147.28 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 9378 0 0 0 14727 1 0 0 25 0 1 0 514932901 49238016 9256 33554432000 4194304 4785740 140733702729520 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 12021 9256 341 145 0 9066 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=73.29 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 7329 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134530598 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=18012 CPUtime=147.28 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 25391 0 0 0 14726 2 0 0 25 0 1 0 514932901 18444288 3702 33554432000 4194304 4352236 140736951472784 18446744073709551615 4328349 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 4503 3702 127 39 0 3583 0
[pid=26605] ppid=26600 vsize=33560 CPUtime=73.19 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9265 0 0 0 7318 1 0 0 25 0 1 0 514932901 34365440 5962 33554432000 4194304 4331988 140734984662448 18446744073709551615 4239528 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8390 5962 175 34 0 6832 0
Current children cumulated CPU time (s) 445.29
Current children cumulated vsize (KiB) 574732
[startup+150.5 s]
/proc/loadavg: 9.28 8.71 7.57 10/187 26610
/proc/meminfo: memFree=13406040/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=48084 CPUtime=150.48 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 9378 0 0 0 15047 1 0 0 25 0 1 0 514932901 49238016 9256 33554432000 4194304 4785740 140733702729520 18446744073709551615 4287011 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 12021 9256 341 145 0 9066 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=74.89 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 7489 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=23388 CPUtime=150.48 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 26735 0 0 0 15046 2 0 0 25 0 1 0 514932901 23949312 5046 33554432000 4194304 4352236 140736951472784 18446744073709551615 4328075 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 5847 5046 127 39 0 4927 0
[pid=26605] ppid=26600 vsize=33560 CPUtime=74.78 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9298 0 0 0 7477 1 0 0 25 0 1 0 514932901 34365440 5995 33554432000 4194304 4331988 140734984662448 18446744073709551615 4210459 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8390 5995 175 34 0 6832 0
Current children cumulated CPU time (s) 454.88
Current children cumulated vsize (KiB) 580108
[startup+153.701 s]
/proc/loadavg: 9.28 8.71 7.57 10/187 26610
/proc/meminfo: memFree=13408268/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=48084 CPUtime=153.68 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 9382 0 0 0 15367 1 0 0 25 0 1 0 514932901 49238016 9260 33554432000 4194304 4785740 140733702729520 18446744073709551615 4550294 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 12021 9260 341 145 0 9066 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=76.47 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 7647 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134528253 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=15708 CPUtime=153.68 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 26735 0 0 0 15366 2 0 0 25 0 1 0 514932901 16084992 3126 33554432000 4194304 4352236 140736951472784 18446744073709551615 4328411 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 3927 3126 127 39 0 3007 0
[pid=26605] ppid=26600 vsize=34244 CPUtime=76.38 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9415 0 0 0 7637 1 0 0 25 0 1 0 514932901 35065856 6112 33554432000 4194304 4331988 140734984662448 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8561 6112 175 34 0 7003 0
Current children cumulated CPU time (s) 464.46
Current children cumulated vsize (KiB) 573112
[startup+155.306 s]
/proc/loadavg: 9.26 8.71 7.58 10/187 26610
/proc/meminfo: memFree=13408144/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=48084 CPUtime=155.29 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 9383 0 0 0 15528 1 0 0 25 0 1 0 514932901 49238016 9261 33554432000 4194304 4785740 140733702729520 18446744073709551615 4286964 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 12021 9261 341 145 0 9066 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=77.26 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 7726 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134530630 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=15708 CPUtime=155.29 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 26735 0 0 0 15527 2 0 0 25 0 1 0 514932901 16084992 3126 33554432000 4194304 4352236 140736951472784 18446744073709551615 4328013 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 3927 3126 127 39 0 3007 0
[pid=26605] ppid=26600 vsize=34244 CPUtime=77.18 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9416 0 0 0 7717 1 0 0 25 0 1 0 514932901 35065856 6113 33554432000 4194304 4331988 140734984662448 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8561 6113 175 34 0 7003 0
Current children cumulated CPU time (s) 469.27
Current children cumulated vsize (KiB) 573112
[startup+155.7 s]
/proc/loadavg: 9.26 8.71 7.58 10/187 26610
/proc/meminfo: memFree=13408144/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=48084 CPUtime=155.68 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 9383 0 0 0 15567 1 0 0 25 0 1 0 514932901 49238016 9261 33554432000 4194304 4785740 140733702729520 18446744073709551615 4286919 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 12021 9261 341 145 0 9066 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=77.46 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 7746 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=15708 CPUtime=155.68 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 26735 0 0 0 15566 2 0 0 25 0 1 0 514932901 16084992 3126 33554432000 4194304 4352236 140736951472784 18446744073709551615 4329060 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 3927 3126 127 39 0 3007 0
[pid=26605] ppid=26600 vsize=34244 CPUtime=77.38 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9416 0 0 0 7737 1 0 0 25 0 1 0 514932901 35065856 6113 33554432000 4194304 4331988 140734984662448 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8561 6113 175 34 0 7003 0
Current children cumulated CPU time (s) 470.45
Current children cumulated vsize (KiB) 573112
[startup+156.1 s]
/proc/loadavg: 9.26 8.71 7.58 10/187 26610
/proc/meminfo: memFree=13408144/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=48084 CPUtime=156.08 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 9383 0 0 0 15607 1 0 0 25 0 1 0 514932901 49238016 9261 33554432000 4194304 4785740 140733702729520 18446744073709551615 4549590 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 12021 9261 341 145 0 9066 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=77.66 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 7766 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 9825504 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=15708 CPUtime=156.08 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 26735 0 0 0 15606 2 0 0 25 0 1 0 514932901 16084992 3126 33554432000 4194304 4352236 140736951472784 18446744073709551615 4328210 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 3927 3126 127 39 0 3007 0
[pid=26605] ppid=26600 vsize=34244 CPUtime=77.58 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9417 0 0 0 7757 1 0 0 25 0 1 0 514932901 35065856 6114 33554432000 4194304 4331988 140734984662448 18446744073709551615 4210448 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8561 6114 175 34 0 7003 0
Current children cumulated CPU time (s) 471.65
Current children cumulated vsize (KiB) 573112
[startup+156.2 s]
/proc/loadavg: 9.26 8.71 7.58 10/187 26610
/proc/meminfo: memFree=13408144/32950928 swapFree=67111528/67111528
[pid=26600] ppid=26598 vsize=18324 CPUtime=4.25 cores=0,2,4,6
/proc/26600/stat : 26600 (ppfolio) S 26598 26600 26049 0 -1 4202496 522 6113 0 0 0 0 424 1 15 0 1 0 514932900 18763776 391 33554432000 4194304 4287625 140736494287248 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/26600/statm: 4581 391 342 23 0 91 0
[pid=26602] ppid=26600 vsize=48084 CPUtime=156.18 cores=4
/proc/26602/stat : 26602 (clasp) R 26600 26600 26049 0 -1 4202496 9383 0 0 0 15617 1 0 0 25 0 1 0 514932901 49238016 9261 33554432000 4194304 4785740 140733702729520 18446744073709551615 4287190 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/26602/statm: 12021 9261 341 145 0 9066 0
[pid=26603] ppid=26600 vsize=456752 CPUtime=77.69 cores=6
/proc/26603/stat : 26603 (TNM) R 26600 26600 26049 0 -1 4202496 670 0 0 0 7769 0 0 0 25 0 1 0 514932901 467714048 567 33554432000 134512640 134534564 4290017824 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26603/statm: 114188 567 95 6 0 112854 0
[pid=26604] ppid=26600 vsize=15708 CPUtime=156.18 cores=2
/proc/26604/stat : 26604 (lingeling) R 26600 26600 26049 0 -1 4202496 26735 0 0 0 15616 2 0 0 25 0 1 0 514932901 16084992 3126 33554432000 4194304 4352236 140736951472784 18446744073709551615 4329086 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/26604/statm: 3927 3126 127 39 0 3007 0
[pid=26605] ppid=26600 vsize=34244 CPUtime=77.65 cores=6
/proc/26605/stat : 26605 (march_hi) R 26600 26600 26049 0 -1 4202496 9417 0 0 0 7764 1 0 0 25 0 1 0 514932901 35065856 6114 33554432000 4194304 4331988 140734984662448 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26605/statm: 8561 6114 175 34 0 7003 0
Current children cumulated CPU time (s) 471.95
Current children cumulated vsize (KiB) 573112
Child status: 0
Real time (s): 156.211
CPU time (s): 472.015
CPU user time (s): 471.94
CPU system time (s): 0.074988
CPU usage (%): 302.165
Max. virtual memory (cumulated for all children) (KiB): 14901892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 471.94
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52877
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= 159
involuntary context switches= 4266
runsolver used 0.282956 second user time and 0.575912 second system time
The end
Begin job on node120 at 2011-04-29 01:29:01
IDJOB=3257289
IDBENCH=70907
IDSOLVER=1612
FILE ID=node120/3257289-1304033341
RUNJOBID= node120-1304032996-26502
PBS_JOBID= 13170332
Free space on /tmp= 72064 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257289-1304033341/watcher-3257289-1304033341 -o /tmp/evaluation-result-3257289-1304033341/solver-3257289-1304033341 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3257289-1304033341.cnf
TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c848a5766cfcc1d1c3f26c7818e48eb2
RANDOM SEED=737685410
node120.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.809
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.61
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.809
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 : 5226.07
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.809
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.809
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.75
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.809
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.78
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.809
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.809
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.809
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: 32950928 kB
MemFree: 13494504 kB
Buffers: 2480704 kB
Cached: 16104080 kB
SwapCached: 0 kB
Active: 11088020 kB
Inactive: 7796676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13494504 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10000 kB
Writeback: 92 kB
AnonPages: 298804 kB
Mapped: 16876 kB
Slab: 507752 kB
PageTables: 5524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1816868 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= 72056 MiB
End job on node120 at 2011-04-29 01:31:38