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-3219040-1303211640/watcher-3219040-1303211640 -o /tmp/evaluation-result-3219040-1303211640/solver-3219040-1303211640 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3219040-1303211640.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 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: 5.00 5.00 5.14 5/180 20696
/proc/meminfo: memFree=17574608/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[startup+0.057856 s]
/proc/loadavg: 5.00 5.00 5.14 5/180 20696
/proc/meminfo: memFree=17574608/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057412173758464 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100867 s]
/proc/loadavg: 5.00 5.00 5.14 5/180 20696
/proc/meminfo: memFree=17574608/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057412173758464 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300823 s]
/proc/loadavg: 5.00 5.00 5.14 5/180 20696
/proc/meminfo: memFree=17574608/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 18 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700755 s]
/proc/loadavg: 5.00 5.00 5.14 5/180 20696
/proc/meminfo: memFree=17574608/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910058649124339712 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50057 s]
/proc/loadavg: 5.00 5.00 5.14 7/184 20700
/proc/meminfo: memFree=17558828/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910058786563293184 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1196568 CPUtime=1.09 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 4930 0 0 0 109 0 0 0 19 0 1 0 432761737 1225285632 3345 33554432000 4194304 4587354 140733813084288 18446744073709551615 4241101 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 299142 3345 327 96 0 295704 0
[pid=20698] ppid=20696 vsize=17472 CPUtime=0.09 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 1967 0 0 0 9 0 0 0 23 0 1 0 432761737 17891328 1697 33554432000 4194304 4785740 140735710770096 18446744073709551615 212687336133 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 4368 1697 332 145 0 1413 0
[pid=20699] ppid=20696 vsize=454768 CPUtime=0.29 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1088 0 0 0 29 0 0 0 25 0 1 0 432761737 465682432 985 33554432000 134512640 134534564 4286925152 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 113692 985 91 6 0 112358 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1687132
[startup+3.1003 s]
/proc/loadavg: 5.00 5.00 5.14 7/184 20700
/proc/meminfo: memFree=17551632/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910058924002246656 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1195724 CPUtime=1.69 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 6378 0 0 0 168 1 0 0 20 0 1 0 432761737 1224421376 3420 33554432000 4194304 4587354 140733813084288 18446744073709551615 212687372043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 298931 3421 327 96 0 295493 0
[pid=20698] ppid=20696 vsize=20784 CPUtime=0.59 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 2806 0 0 0 59 0 0 0 25 0 1 0 432761737 21282816 2536 33554432000 4194304 4785740 140735710770096 18446744073709551615 4278587 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 5196 2536 340 145 0 2241 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=0.79 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 79 0 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134530339 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1695548
[startup+6.30073 s]
/proc/loadavg: 5.08 5.02 5.15 7/184 20700
/proc/meminfo: memFree=17536516/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057274734804992 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1199592 CPUtime=2.69 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 8405 0 0 0 268 1 0 0 23 0 1 0 432761737 1228382208 3871 33554432000 4194304 4587354 140733813084288 18446744073709551615 4238532 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 299898 3871 331 96 0 296460 0
[pid=20698] ppid=20696 vsize=25944 CPUtime=1.69 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 4082 0 0 0 169 0 0 0 25 0 1 0 432761737 26566656 3812 33554432000 4194304 4785740 140735710770096 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 6486 3812 340 145 0 3531 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1.89 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 189 0 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1704576
[startup+12.7006 s]
/proc/loadavg: 5.15 5.03 5.15 7/184 20701
/proc/meminfo: memFree=17504288/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1195816 CPUtime=4.89 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 16083 0 0 0 487 2 0 0 25 0 1 0 432761737 1224515584 3603 33554432000 4194304 4587354 140733813084288 18446744073709551615 4245363 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 298954 3603 337 96 0 295516 0
[pid=20698] ppid=20696 vsize=27800 CPUtime=3.79 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 4540 0 0 0 379 0 0 0 25 0 1 0 432761737 28467200 4270 33554432000 4194304 4785740 140735710770096 18446744073709551615 4553344 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 6950 4270 340 145 0 3995 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=3.99 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 399 0 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528926 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1702656
[startup+25.5012 s]
/proc/loadavg: 5.34 5.08 5.16 7/184 20701
/proc/meminfo: memFree=17505412/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057549612711936 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1202880 CPUtime=9.09 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 24762 0 0 0 906 3 0 0 25 0 1 0 432761737 1231749120 5928 33554432000 4194304 4587354 140733813084288 18446744073709551615 4238755 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 300720 5928 337 96 0 297282 0
[pid=20698] ppid=20696 vsize=32488 CPUtime=8.09 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 5700 0 0 0 809 0 0 0 25 0 1 0 432761737 33267712 5430 33554432000 4194304 4785740 140735710770096 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 8122 5430 340 145 0 5167 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=8.29 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 829 0 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1714408
[startup+51.1006 s]
/proc/loadavg: 5.56 5.15 5.19 7/184 20702
/proc/meminfo: memFree=17490532/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057824490618880 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1244472 CPUtime=17.69 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 37064 0 0 0 1764 5 0 0 25 0 1 0 432761737 1274339328 15646 33554432000 4194304 4587354 140733813084288 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 311118 15646 337 96 0 307680 0
[pid=20698] ppid=20696 vsize=40048 CPUtime=16.59 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 7572 0 0 0 1658 1 0 0 25 0 1 0 432761737 41009152 7302 33554432000 4194304 4785740 140735710770096 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 10012 7302 340 145 0 7057 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=16.79 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 1679 0 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1763560
[startup+102.307 s]
/proc/loadavg: 5.81 5.28 5.23 7/184 20703
/proc/meminfo: memFree=17422076/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910058374246432768 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1264212 CPUtime=34.7 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 60652 0 0 0 3461 9 0 0 25 0 1 0 432761737 1294553088 21296 33554432000 4194304 4587354 140733813084288 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 316053 21296 337 96 0 312615 0
[pid=20698] ppid=20696 vsize=46640 CPUtime=33.69 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 9190 0 0 0 3368 1 0 0 25 0 1 0 432761737 47759360 8920 33554432000 4194304 4785740 140735710770096 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 11660 8920 340 145 0 8705 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=33.89 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 3389 0 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1789892
[startup+162.301 s]
/proc/loadavg: 5.93 5.41 5.27 7/184 20705
/proc/meminfo: memFree=17514928/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057274734804992 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1213324 CPUtime=54.71 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 70580 0 0 0 5459 12 0 0 25 0 1 0 432761737 1242443776 7558 33554432000 4194304 4587354 140733813084288 18446744073709551615 4236580 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 303331 7558 337 96 0 299893 0
[pid=20698] ppid=20696 vsize=53556 CPUtime=53.68 cores=0
################
# More data... #
################
/proc/20698/statm: 42298 38120 340 145 0 39343 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1473.88 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 147385 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 1889564
[startup+4482.3 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20893
/proc/meminfo: memFree=17531788/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057412173758464 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1231968 CPUtime=1494.76 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 819409 0 0 0 149291 185 0 0 25 0 1 0 432761737 1261535232 12947 33554432000 4194304 4587354 140733813084288 18446744073709551615 4237681 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 307992 12947 337 96 0 304554 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1493.76 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38791 0 0 0 149369 7 0 0 25 0 1 0 432761737 175153152 38521 33554432000 4194304 4785740 140735710770096 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38521 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1493.87 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 149384 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134529024 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 1882056
[startup+4542.3 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20894
/proc/meminfo: memFree=17493204/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057412173758464 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1231968 CPUtime=1514.77 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 828788 0 0 0 151289 188 0 0 25 0 1 0 432761737 1261535232 22267 33554432000 4194304 4587354 140733813084288 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 307992 22267 337 96 0 304554 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1513.76 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38793 0 0 0 151369 7 0 0 25 0 1 0 432761737 175153152 38523 33554432000 4194304 4785740 140735710770096 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38523 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1513.88 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 151385 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 1882056
[startup+4602.3 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20896
/proc/meminfo: memFree=17526420/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057412173758464 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1241764 CPUtime=1534.76 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 835171 0 0 0 153286 190 0 0 25 0 1 0 432761737 1271566336 13225 33554432000 4194304 4587354 140733813084288 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 310441 13225 337 96 0 307003 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1533.76 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38793 0 0 0 153369 7 0 0 25 0 1 0 432761737 175153152 38523 33554432000 4194304 4785740 140735710770096 18446744073709551615 4287030 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38523 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1533.89 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 153386 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134530630 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 1891852
Solver just ended. Dumping a history of the last processes samples
[startup+4607.91 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20896
/proc/meminfo: memFree=17522948/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057412173758464 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1241764 CPUtime=1536.66 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 836033 0 0 0 153476 190 0 0 25 0 1 0 432761737 1271566336 14084 33554432000 4194304 4587354 140733813084288 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 310441 14084 337 96 0 307003 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1535.58 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38799 0 0 0 153551 7 0 0 25 0 1 0 432761737 175153152 38529 33554432000 4194304 4785740 140735710770096 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38529 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1535.77 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 153574 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528523 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4608.01
Current children cumulated vsize (KiB) 1891852
[startup+4614.3 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20896
/proc/meminfo: memFree=17519720/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057412173758464 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1241764 CPUtime=1538.76 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 836965 0 0 0 153686 190 0 0 25 0 1 0 432761737 1271566336 15008 33554432000 4194304 4587354 140733813084288 18446744073709551615 4238418 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 310441 15008 337 96 0 307003 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1537.76 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38799 0 0 0 153769 7 0 0 25 0 1 0 432761737 175153152 38529 33554432000 4194304 4785740 140735710770096 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38529 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1537.89 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 153786 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134529640 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4614.41
Current children cumulated vsize (KiB) 1891852
[startup+4617.5 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20896
/proc/meminfo: memFree=17517736/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910057412173758464 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1241764 CPUtime=1539.86 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 837441 0 0 0 153796 190 0 0 25 0 1 0 432761737 1271566336 15482 33554432000 4194304 4587354 140733813084288 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 310441 15482 337 96 0 307003 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1538.78 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38799 0 0 0 153871 7 0 0 25 0 1 0 432761737 175153152 38529 33554432000 4194304 4785740 140735710770096 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38529 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1538.97 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 153894 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4617.61
Current children cumulated vsize (KiB) 1891852
[startup+4619.1 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20896
/proc/meminfo: memFree=17516868/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910058374246432768 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1242688 CPUtime=1540.36 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 837740 0 0 0 153846 190 0 0 25 0 1 0 432761737 1272512512 15781 33554432000 4194304 4587354 140733813084288 18446744073709551615 4430963 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 310672 15781 337 96 0 307234 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1539.35 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38799 0 0 0 153928 7 0 0 25 0 1 0 432761737 175153152 38529 33554432000 4194304 4785740 140735710770096 18446744073709551615 4287011 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38529 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1539.49 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 153946 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4619.2
Current children cumulated vsize (KiB) 1892776
[startup+4619.5 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20896
/proc/meminfo: memFree=17516868/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910058786563293184 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1242720 CPUtime=1540.48 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 837740 0 0 0 153858 190 0 0 25 0 1 0 432761737 1272545280 15781 33554432000 4194304 4587354 140733813084288 18446744073709551615 212687333799 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 310680 15781 337 96 0 307242 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1539.45 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38799 0 0 0 153938 7 0 0 25 0 1 0 432761737 175153152 38529 33554432000 4194304 4785740 140735710770096 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38529 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1539.67 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 153964 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134529104 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4619.6
Current children cumulated vsize (KiB) 1892808
[startup+4619.7 s]
/proc/loadavg: 6.00 6.00 5.94 7/184 20896
/proc/meminfo: memFree=17516868/32951124 swapFree=67111528/67111528
[pid=20696] ppid=20694 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20696/stat : 20696 (ppfolio) S 20694 20696 20187 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 432761736 18763776 393 33554432000 4194304 4287625 140734969496096 18446744073709551615 212687695375 0 0 4096 65536 3910058786563293184 0 0 17 4 0 0 0
/proc/20696/statm: 4581 393 345 23 0 91 0
[pid=20697] ppid=20696 vsize=1283760 CPUtime=1540.56 cores=0
/proc/20697/stat : 20697 (cryptominisat) R 20696 20696 20187 0 -1 4202496 847849 0 0 0 153865 191 0 0 25 0 1 0 432761737 1314570240 25890 33554432000 4194304 4587354 140733813084288 18446744073709551615 4356836 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20697/statm: 320940 25890 337 96 0 317502 0
[pid=20698] ppid=20696 vsize=171048 CPUtime=1539.55 cores=0
/proc/20698/stat : 20698 (clasp) R 20696 20696 20187 0 -1 4202496 38799 0 0 0 153948 7 0 0 25 0 1 0 432761737 175153152 38529 33554432000 4194304 4785740 140735710770096 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20698/statm: 42762 38529 340 145 0 39807 0
[pid=20699] ppid=20696 vsize=460716 CPUtime=1539.69 cores=0
/proc/20699/stat : 20699 (TNM) R 20696 20696 20187 0 -1 4202496 1810 0 0 0 153966 3 0 0 25 0 1 0 432761737 471773184 1707 33554432000 134512640 134534564 4286925152 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20699/statm: 115179 1707 95 6 0 113845 0
Current children cumulated CPU time (s) 4619.8
Current children cumulated vsize (KiB) 1933848
Child status: 0
Real time (s): 4619.72
CPU time (s): 4619.85
CPU user time (s): 4617.81
CPU system time (s): 2.03769
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3065800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4617.81
system time used= 2.03769
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 888995
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= 296
involuntary context switches= 53215
runsolver used 8.22975 second user time and 16.9664 second system time
The end
Begin job on node139 at 2011-04-19 13:14:00
IDJOB=3219040
IDBENCH=82523
IDSOLVER=1639
FILE ID=node139/3219040-1303211640
RUNJOBID= node139-1303203383-20205
PBS_JOBID= 13030644
Free space on /tmp= 72756 MiB
SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3219040-1303211640/watcher-3219040-1303211640 -o /tmp/evaluation-result-3219040-1303211640/solver-3219040-1303211640 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3219040-1303211640.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 419b5972e0565bacaabacb029af6176c
RANDOM SEED=402531858
node139.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.852
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.70
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.852
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.75
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.852
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.852
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.852
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 : 5321.49
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.852
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.852
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.852
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: 32951124 kB
MemFree: 17574888 kB
Buffers: 710440 kB
Cached: 13700412 kB
SwapCached: 0 kB
Active: 8625708 kB
Inactive: 6399652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17574888 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10872 kB
Writeback: 0 kB
AnonPages: 614360 kB
Mapped: 16452 kB
Slab: 288132 kB
PageTables: 6184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2931324 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= 72748 MiB
End job on node139 at 2011-04-19 14:31:00