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-3286638-1304035341/watcher-3286638-1304035341 -o /tmp/evaluation-result-3286638-1304035341/solver-3286638-1304035341 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3286638-1304035341.cnf
running on 4 cores: 1,3,5,7
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: 9.19 9.90 9.70 6/182 17801
/proc/meminfo: memFree=12131068/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) R 17799 17801 16932 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[startup+0.066641 s]
/proc/loadavg: 9.19 9.90 9.70 6/182 17801
/proc/meminfo: memFree=12131068/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) R 17799 17801 16932 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100634 s]
/proc/loadavg: 9.19 9.90 9.70 6/182 17801
/proc/meminfo: memFree=12131068/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) R 17799 17801 16932 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300597 s]
/proc/loadavg: 9.19 9.90 9.70 6/182 17801
/proc/meminfo: memFree=12131068/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) R 17799 17801 16932 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700522 s]
/proc/loadavg: 9.19 9.90 9.70 6/182 17801
/proc/meminfo: memFree=12131068/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) R 17799 17801 16932 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50037 s]
/proc/loadavg: 9.19 9.90 9.70 11/188 17807
/proc/meminfo: memFree=11895052/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 16 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=109616 CPUtime=1.49 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 21239 0 0 0 146 3 0 0 25 0 1 0 593764863 112246784 20951 33554432000 4194304 4587354 140736457160592 18446744073709551615 4421072 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 27404 20951 312 96 0 23966 0
[pid=17803] ppid=17801 vsize=80424 CPUtime=1.49 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 23605 0 0 0 146 3 0 0 20 0 1 0 593764863 82354176 16966 33554432000 4194304 4785740 140734532232800 18446744073709551615 4291226 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 20106 16966 339 145 0 17151 0
[pid=17804] ppid=17801 vsize=492520 CPUtime=0.7 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 13954 0 0 0 68 2 0 0 25 0 1 0 593764863 504340480 13851 33554432000 134512640 134534564 4292473872 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 123130 13851 91 6 0 121796 0
[pid=17805] ppid=17801 vsize=30360 CPUtime=1.49 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 11806 0 0 0 147 2 0 0 25 0 1 0 593764863 31088640 6742 33554432000 4194304 4352236 140736096818928 18446744073709551615 4248150 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 7590 6742 117 39 0 6670 0
[pid=17806] ppid=17801 vsize=108396 CPUtime=0.76 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4194304 23135 0 0 0 72 4 0 0 25 0 1 0 593764863 110997504 17487 33554432000 4194304 4331988 140737103067712 18446744073709551615 256415058911 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 27099 17487 128 34 0 25541 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 839640
[startup+3.10107 s]
/proc/loadavg: 9.19 9.90 9.70 12/188 17807
/proc/meminfo: memFree=11920584/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 16 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=109796 CPUtime=3.09 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 21296 0 0 0 306 3 0 0 25 0 1 0 593764863 112431104 21008 33554432000 4194304 4587354 140736457160592 18446744073709551615 4421072 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 27449 21008 312 96 0 24011 0
[pid=17803] ppid=17801 vsize=80424 CPUtime=3.09 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 23606 0 0 0 306 3 0 0 25 0 1 0 593764863 82354176 16967 33554432000 4194304 4785740 140734532232800 18446744073709551615 4290651 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 20106 16967 340 145 0 17151 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=1.5 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24563 0 0 0 147 3 0 0 25 0 1 0 593764863 523669504 24460 33554432000 134512640 134534564 4292473872 18446744073709551615 134529374 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24460 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=30784 CPUtime=3.09 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 11926 0 0 0 307 2 0 0 25 0 1 0 593764863 31522816 6862 33554432000 4194304 4352236 140736096818928 18446744073709551615 4267594 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 7696 6862 125 39 0 6776 0
[pid=17806] ppid=17801 vsize=98764 CPUtime=1.56 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4194304 46276 0 0 0 149 7 0 0 25 0 1 0 593764863 101134336 15597 33554432000 4194304 4331988 140737103067712 18446744073709551615 4256852 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 24691 15597 129 34 0 23133 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 849488
[startup+6.30047 s]
/proc/loadavg: 9.50 9.95 9.72 11/188 17807
/proc/meminfo: memFree=11863420/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=137500 CPUtime=6.29 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 36011 0 0 0 624 5 0 0 25 0 1 0 593764863 140800000 27060 33554432000 4194304 4587354 140736457160592 18446744073709551615 4238149 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 34375 27060 330 96 0 30937 0
[pid=17803] ppid=17801 vsize=80424 CPUtime=6.29 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 23606 0 0 0 626 3 0 0 25 0 1 0 593764863 82354176 16967 33554432000 4194304 4785740 140734532232800 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 20106 16967 340 145 0 17151 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=3.1 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 307 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134529352 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=30716 CPUtime=6.29 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 11928 0 0 0 627 2 0 0 25 0 1 0 593764863 31453184 6847 33554432000 4194304 4352236 140736096818928 18446744073709551615 4328986 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 7679 6847 127 39 0 6759 0
[pid=17806] ppid=17801 vsize=98704 CPUtime=3.13 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 94973 0 0 0 299 14 0 0 25 0 1 0 593764863 101072896 14840 33554432000 4194304 4331988 140737103067712 18446744073709551615 4257036 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 24676 14840 150 34 0 23118 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 877064
[startup+12.7013 s]
/proc/loadavg: 9.54 9.95 9.72 11/188 17808
/proc/meminfo: memFree=11824032/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=137500 CPUtime=12.69 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 37325 0 0 0 1263 6 0 0 25 0 1 0 593764863 140800000 28368 33554432000 4194304 4587354 140736457160592 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 34375 28368 330 96 0 30937 0
[pid=17803] ppid=17801 vsize=80424 CPUtime=12.69 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 23606 0 0 0 1266 3 0 0 25 0 1 0 593764863 82354176 16967 33554432000 4194304 4785740 140734532232800 18446744073709551615 4552632 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 20106 16967 340 145 0 17151 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=6.3 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 627 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=32372 CPUtime=12.69 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 12348 0 0 0 1267 2 0 0 25 0 1 0 593764863 33148928 7261 33554432000 4194304 4352236 140736096818928 18446744073709551615 4329060 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 8093 7261 127 39 0 7173 0
[pid=17806] ppid=17801 vsize=264020 CPUtime=6.3 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 147562 0 0 0 609 21 0 0 25 0 1 0 593764863 270356480 31476 33554432000 4194304 4331988 140737103067712 18446744073709551615 4228226 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66005 31476 175 34 0 64447 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 1044036
[startup+25.5008 s]
/proc/loadavg: 9.64 9.95 9.73 11/188 17808
/proc/meminfo: memFree=11791680/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=2115196 CPUtime=25.48 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 41242 0 0 0 2540 8 0 0 25 0 1 0 593764863 2165960704 28857 33554432000 4194304 4587354 140736457160592 18446744073709551615 256415088395 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 528799 28857 333 96 0 525361 0
[pid=17803] ppid=17801 vsize=80424 CPUtime=25.48 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 23607 0 0 0 2545 3 0 0 25 0 1 0 593764863 82354176 16968 33554432000 4194304 4785740 140734532232800 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 20106 16968 340 145 0 17151 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=12.64 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 1261 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=43992 CPUtime=25.49 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 15356 0 0 0 2547 2 0 0 25 0 1 0 593764863 45047808 10166 33554432000 4194304 4352236 140736096818928 18446744073709551615 4234447 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 10998 10166 127 39 0 10078 0
[pid=17806] ppid=17801 vsize=265772 CPUtime=12.7 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 148290 0 0 0 1248 22 0 0 25 0 1 0 593764863 272150528 32204 33554432000 4194304 4331988 140737103067712 18446744073709551615 4226434 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66443 32204 175 34 0 64885 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 3035104
[startup+51.101 s]
/proc/loadavg: 9.84 9.97 9.74 11/188 17809
/proc/meminfo: memFree=11771408/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=158132 CPUtime=51.08 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 47022 0 0 0 5098 10 0 0 25 0 1 0 593764863 161927168 30050 33554432000 4194304 4587354 140736457160592 18446744073709551615 4238317 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 39533 30050 338 96 0 36095 0
[pid=17803] ppid=17801 vsize=101708 CPUtime=51.08 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 29158 0 0 0 5103 5 0 0 25 0 1 0 593764863 104148992 22519 33554432000 4194304 4785740 140734532232800 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 25427 22519 340 145 0 22472 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=25.39 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 2536 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=45496 CPUtime=51.09 cores=3
################
# More data... #
################
Solver just ended. Dumping a history of the last processes samples
[startup+403.1 s]
/proc/loadavg: 10.26 10.13 9.87 11/188 17851
/proc/meminfo: memFree=10997680/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=2262708 CPUtime=403.1 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 74582 0 0 0 40292 18 0 0 25 0 1 0 593764863 2317012992 48048 33554432000 4194304 4587354 140736457160592 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 565677 48048 338 96 0 562239 0
[pid=17803] ppid=17801 vsize=401636 CPUtime=403.06 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 103165 0 0 0 40267 39 0 0 25 0 1 0 593764863 411275264 96526 33554432000 4194304 4785740 140734532232800 18446744073709551615 4552880 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 100409 96526 340 145 0 97454 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=200.42 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 20039 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134528918 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=58320 CPUtime=403.09 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 18853 0 0 0 40306 3 0 0 25 0 1 0 593764863 59719680 13237 33554432000 4194304 4352236 140736096818928 18446744073709551615 4328116 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 14580 13237 127 39 0 13660 0
[pid=17806] ppid=17801 vsize=267340 CPUtime=200.47 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 148607 0 0 0 20025 22 0 0 25 0 1 0 593764863 273756160 32521 33554432000 4194304 4331988 140737103067712 18446744073709551615 4228270 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66835 32521 175 34 0 65277 0
Current children cumulated CPU time (s) 1610.14
Current children cumulated vsize (KiB) 3519724
[startup+409.501 s]
/proc/loadavg: 10.24 10.13 9.87 11/188 17851
/proc/meminfo: memFree=10988248/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=2262708 CPUtime=409.5 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 74582 0 0 0 40932 18 0 0 25 0 1 0 593764863 2317012992 48048 33554432000 4194304 4587354 140736457160592 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 565677 48048 338 96 0 562239 0
[pid=17803] ppid=17801 vsize=407792 CPUtime=409.47 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 104694 0 0 0 40906 41 0 0 25 0 1 0 593764863 417579008 98055 33554432000 4194304 4785740 140734532232800 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 101948 98055 340 145 0 98993 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=203.59 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 20356 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=58320 CPUtime=409.49 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 18853 0 0 0 40946 3 0 0 25 0 1 0 593764863 59719680 13237 33554432000 4194304 4352236 140736096818928 18446744073709551615 4278618 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 14580 13237 127 39 0 13660 0
[pid=17806] ppid=17801 vsize=267340 CPUtime=203.67 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 148609 0 0 0 20345 22 0 0 25 0 1 0 593764863 273756160 32523 33554432000 4194304 4331988 140737103067712 18446744073709551615 4228243 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66835 32523 175 34 0 65277 0
Current children cumulated CPU time (s) 1635.72
Current children cumulated vsize (KiB) 3525880
[startup+411.101 s]
/proc/loadavg: 10.22 10.13 9.87 11/188 17851
/proc/meminfo: memFree=10987132/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=2262708 CPUtime=411.1 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 74582 0 0 0 41092 18 0 0 25 0 1 0 593764863 2317012992 48048 33554432000 4194304 4587354 140736457160592 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 565677 48048 338 96 0 562239 0
[pid=17803] ppid=17801 vsize=409380 CPUtime=411.06 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 105094 0 0 0 41065 41 0 0 25 0 1 0 593764863 419205120 98455 33554432000 4194304 4785740 140734532232800 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 102345 98455 340 145 0 99390 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=204.38 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 20435 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134530268 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=58320 CPUtime=411.09 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 18853 0 0 0 41106 3 0 0 25 0 1 0 593764863 59719680 13237 33554432000 4194304 4352236 140736096818928 18446744073709551615 4207831 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 14580 13237 127 39 0 13660 0
[pid=17806] ppid=17801 vsize=267340 CPUtime=204.46 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 148609 0 0 0 20424 22 0 0 25 0 1 0 593764863 273756160 32523 33554432000 4194304 4331988 140737103067712 18446744073709551615 4228247 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66835 32523 175 34 0 65277 0
Current children cumulated CPU time (s) 1642.09
Current children cumulated vsize (KiB) 3527468
[startup+411.901 s]
/proc/loadavg: 10.22 10.13 9.87 11/188 17851
/proc/meminfo: memFree=10986016/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=2262708 CPUtime=411.9 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 74582 0 0 0 41172 18 0 0 25 0 1 0 593764863 2317012992 48048 33554432000 4194304 4587354 140736457160592 18446744073709551615 4239304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 565677 48048 338 96 0 562239 0
[pid=17803] ppid=17801 vsize=410176 CPUtime=411.86 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 105297 0 0 0 41145 41 0 0 25 0 1 0 593764863 420020224 98658 33554432000 4194304 4785740 140734532232800 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 102544 98658 340 145 0 99589 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=204.78 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 20475 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134530484 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=58320 CPUtime=411.89 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 18853 0 0 0 41186 3 0 0 25 0 1 0 593764863 59719680 13237 33554432000 4194304 4352236 140736096818928 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 14580 13237 127 39 0 13660 0
[pid=17806] ppid=17801 vsize=267340 CPUtime=204.86 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 148609 0 0 0 20464 22 0 0 25 0 1 0 593764863 273756160 32523 33554432000 4194304 4331988 140737103067712 18446744073709551615 4228270 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66835 32523 175 34 0 65277 0
Current children cumulated CPU time (s) 1645.29
Current children cumulated vsize (KiB) 3528264
[startup+412.301 s]
/proc/loadavg: 10.22 10.13 9.87 11/188 17851
/proc/meminfo: memFree=10986016/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=2262708 CPUtime=412.3 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 74582 0 0 0 41212 18 0 0 25 0 1 0 593764863 2317012992 48048 33554432000 4194304 4587354 140736457160592 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 565677 48048 338 96 0 562239 0
[pid=17803] ppid=17801 vsize=410840 CPUtime=412.26 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 105441 0 0 0 41185 41 0 0 25 0 1 0 593764863 420700160 98802 33554432000 4194304 4785740 140734532232800 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 102710 98802 340 145 0 99755 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=204.98 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 20495 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=58320 CPUtime=412.29 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 18853 0 0 0 41226 3 0 0 25 0 1 0 593764863 59719680 13237 33554432000 4194304 4352236 140736096818928 18446744073709551615 4209758 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 14580 13237 127 39 0 13660 0
[pid=17806] ppid=17801 vsize=267340 CPUtime=205.06 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 148609 0 0 0 20484 22 0 0 25 0 1 0 593764863 273756160 32523 33554432000 4194304 4331988 140737103067712 18446744073709551615 4226245 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66835 32523 175 34 0 65277 0
Current children cumulated CPU time (s) 1646.89
Current children cumulated vsize (KiB) 3528928
[startup+412.507 s]
/proc/loadavg: 10.22 10.13 9.87 11/188 17851
/proc/meminfo: memFree=10984780/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=2262708 CPUtime=412.5 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 74582 0 0 0 41232 18 0 0 25 0 1 0 593764863 2317012992 48048 33554432000 4194304 4587354 140736457160592 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 565677 48048 338 96 0 562239 0
[pid=17803] ppid=17801 vsize=410972 CPUtime=412.47 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 105491 0 0 0 41206 41 0 0 25 0 1 0 593764863 420835328 98852 33554432000 4194304 4785740 140734532232800 18446744073709551615 4278573 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 102743 98852 340 145 0 99788 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=205.08 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 20505 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134530484 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=58320 CPUtime=412.5 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 18853 0 0 0 41247 3 0 0 25 0 1 0 593764863 59719680 13237 33554432000 4194304 4352236 140736096818928 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 14580 13237 127 39 0 13660 0
[pid=17806] ppid=17801 vsize=267340 CPUtime=205.16 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 148609 0 0 0 20494 22 0 0 25 0 1 0 593764863 273756160 32523 33554432000 4194304 4331988 140737103067712 18446744073709551615 4228270 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66835 32523 175 34 0 65277 0
Current children cumulated CPU time (s) 1647.71
Current children cumulated vsize (KiB) 3529060
[startup+412.601 s]
/proc/loadavg: 10.22 10.13 9.87 11/188 17851
/proc/meminfo: memFree=10984780/32950928 swapFree=67111524/67111528
[pid=17801] ppid=17799 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17801/stat : 17801 (ppfolio) S 17799 17801 16932 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 593764863 18763776 390 33554432000 4194304 4287625 140736629602320 18446744073709551615 256415411727 0 0 4096 65536 6355590491773337599 0 0 17 5 0 0 0
/proc/17801/statm: 4581 390 341 23 0 91 0
[pid=17802] ppid=17801 vsize=2262708 CPUtime=412.6 cores=1
/proc/17802/stat : 17802 (cryptominisat) R 17801 17801 16932 0 -1 4202496 74582 0 0 0 41242 18 0 0 25 0 1 0 593764863 2317012992 48048 33554432000 4194304 4587354 140736457160592 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17802/statm: 565677 48048 338 96 0 562239 0
[pid=17803] ppid=17801 vsize=411104 CPUtime=412.56 cores=5
/proc/17803/stat : 17803 (clasp) R 17801 17801 16932 0 -1 4202496 105509 0 0 0 41215 41 0 0 25 0 1 0 593764863 420970496 98870 33554432000 4194304 4785740 140734532232800 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17803/statm: 102776 98870 340 145 0 99821 0
[pid=17804] ppid=17801 vsize=511396 CPUtime=205.17 cores=7
/proc/17804/stat : 17804 (TNM) R 17801 17801 16932 0 -1 4202496 24565 0 0 0 20514 3 0 0 25 0 1 0 593764863 523669504 24462 33554432000 134512640 134534564 4292473872 18446744073709551615 134528659 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17804/statm: 127849 24462 95 6 0 126515 0
[pid=17805] ppid=17801 vsize=58320 CPUtime=412.59 cores=3
/proc/17805/stat : 17805 (lingeling) R 17801 17801 16932 0 -1 4202496 18853 0 0 0 41256 3 0 0 25 0 1 0 593764863 59719680 13237 33554432000 4194304 4352236 140736096818928 18446744073709551615 4276757 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17805/statm: 14580 13237 127 39 0 13660 0
[pid=17806] ppid=17801 vsize=267340 CPUtime=205.17 cores=7
/proc/17806/stat : 17806 (march_hi) R 17801 17801 16932 0 -1 4202496 148609 0 0 0 20495 22 0 0 25 0 1 0 593764863 273756160 32523 33554432000 4194304 4331988 140737103067712 18446744073709551615 4228205 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17806/statm: 66835 32523 175 34 0 65277 0
Current children cumulated CPU time (s) 1648.09
Current children cumulated vsize (KiB) 3529192
Child status: 0
Real time (s): 412.641
CPU time (s): 1648.27
CPU user time (s): 1647.32
CPU system time (s): 0.949855
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 3548152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1647.32
system time used= 0.949855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372671
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= 205
involuntary context switches= 16329
runsolver used 0.628904 second user time and 1.62875 second system time
The end
Begin job on node115 at 2011-04-29 02:02:22
IDJOB=3286638
IDBENCH=82431
IDSOLVER=1612
FILE ID=node115/3286638-1304035341
RUNJOBID= node115-1304032879-17473
PBS_JOBID= 13170337
Free space on /tmp= 72708 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286638-1304035341/watcher-3286638-1304035341 -o /tmp/evaluation-result-3286638-1304035341/solver-3286638-1304035341 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3286638-1304035341.cnf
TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 00d93f117a3253605ad3ac6a153ec61f
RANDOM SEED=1840244650
node115.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.811
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.62
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.811
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.15
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.811
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.75
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.811
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.811
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.77
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.811
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.811
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.75
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.811
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 12131348 kB
Buffers: 2314980 kB
Cached: 17241616 kB
SwapCached: 4 kB
Active: 8248992 kB
Inactive: 12012036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 12131348 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 22528 kB
Writeback: 28 kB
AnonPages: 704040 kB
Mapped: 16624 kB
Slab: 493180 kB
PageTables: 6168 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2530168 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= 72684 MiB
End job on node115 at 2011-04-29 02:09:15