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-3219130-1303218931/watcher-3219130-1303218931 -o /tmp/evaluation-result-3219130-1303218931/solver-3219130-1303218931 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3219130-1303218931.cnf
running on 4 cores: 1,3,5,7
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.84 5.97 5.96 4/180 21097
/proc/meminfo: memFree=17697260/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 21 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633818690764931072 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[startup+0.0443539 s]
/proc/loadavg: 5.84 5.97 5.96 4/180 21097
/proc/meminfo: memFree=17697260/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 21 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100344 s]
/proc/loadavg: 5.84 5.97 5.96 4/180 21097
/proc/meminfo: memFree=17697260/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 21 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.30031 s]
/proc/loadavg: 5.84 5.97 5.96 4/180 21097
/proc/meminfo: memFree=17697260/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 21 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700235 s]
/proc/loadavg: 5.84 5.97 5.96 4/180 21097
/proc/meminfo: memFree=17697260/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 17 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50109 s]
/proc/loadavg: 5.84 5.97 5.96 7/184 21101
/proc/meminfo: memFree=17676500/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820340032372736 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1385228 CPUtime=1.04 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 4999 0 0 0 104 0 0 0 19 0 1 0 433490875 1418473472 3418 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 346307 3418 327 96 0 342869 0
[pid=21099] ppid=21097 vsize=18936 CPUtime=0.23 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 2322 0 0 0 23 0 0 0 22 0 1 0 433490875 19390464 2052 33554432000 4194304 4785740 140733552590352 18446744073709551615 4278061 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 4734 2052 340 145 0 1779 0
[pid=21100] ppid=21097 vsize=454768 CPUtime=0.2 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1088 0 0 0 20 0 0 0 23 0 1 0 433490875 465682432 985 33554432000 134512640 134534564 4291558560 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 113692 985 91 6 0 112358 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1877256
[startup+3.1008 s]
/proc/loadavg: 5.84 5.97 5.96 7/184 21101
/proc/meminfo: memFree=17673648/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820477471326208 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1385336 CPUtime=1.54 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 6354 0 0 0 154 0 0 0 20 0 1 0 433490875 1418584064 3411 33554432000 4194304 4587354 140733850830976 18446744073709551615 4244552 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 346334 3411 327 96 0 342896 0
[pid=21099] ppid=21097 vsize=22632 CPUtime=0.82 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 3270 0 0 0 82 0 0 0 25 0 1 0 433490875 23175168 3000 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 5658 3000 340 145 0 2703 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=0.71 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 71 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134530158 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1887004
[startup+6.30023 s]
/proc/loadavg: 6.01 6.00 5.97 7/184 21101
/proc/meminfo: memFree=17658084/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633818828203884544 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1386300 CPUtime=2.64 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 9238 0 0 0 263 1 0 0 22 0 1 0 433490875 1419571200 2982 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238525 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 346575 2982 331 96 0 343137 0
[pid=21099] ppid=21097 vsize=25848 CPUtime=1.83 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 4062 0 0 0 183 0 0 0 25 0 1 0 433490875 26468352 3792 33554432000 4194304 4785740 140733552590352 18446744073709551615 4307197 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 6462 3792 340 145 0 3507 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=1.8 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 180 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1891184
[startup+12.7011 s]
/proc/loadavg: 6.01 6.00 5.97 7/184 21101
/proc/meminfo: memFree=17649036/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1386172 CPUtime=4.74 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 16508 0 0 0 472 2 0 0 25 0 1 0 433490875 1419440128 4090 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238639 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 346543 4090 337 96 0 343105 0
[pid=21099] ppid=21097 vsize=30160 CPUtime=4.01 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 5115 0 0 0 401 0 0 0 25 0 1 0 433490875 30883840 4845 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287013 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 7540 4845 340 145 0 4585 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=3.92 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 392 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134530484 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1895368
[startup+25.5007 s]
/proc/loadavg: 6.01 6.00 5.97 7/184 21101
/proc/meminfo: memFree=17629480/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633819377959698432 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1393444 CPUtime=9.03 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 24574 0 0 0 900 3 0 0 25 0 1 0 433490875 1426886656 5815 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238755 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 348361 5815 337 96 0 344923 0
[pid=21099] ppid=21097 vsize=32808 CPUtime=8.23 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 5778 0 0 0 823 0 0 0 25 0 1 0 433490875 33595392 5508 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 8202 5508 340 145 0 5247 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=8.2 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 820 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134529838 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1905288
[startup+51.101 s]
/proc/loadavg: 6.00 6.00 5.97 7/184 21102
/proc/meminfo: memFree=17600684/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633819377959698432 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1434836 CPUtime=17.54 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 37088 0 0 0 1749 5 0 0 25 0 1 0 433490875 1469272064 15734 33554432000 4194304 4587354 140733850830976 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 358709 15734 337 96 0 355271 0
[pid=21099] ppid=21097 vsize=38612 CPUtime=16.81 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 7238 0 0 0 1681 0 0 0 25 0 1 0 433490875 39538688 6968 33554432000 4194304 4785740 140733552590352 18446744073709551615 4553380 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 9653 6968 340 145 0 6698 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=16.72 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 1672 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528880 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1952484
[startup+102.307 s]
/proc/loadavg: 6.00 6.00 5.97 7/184 21103
/proc/meminfo: memFree=17567696/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633819927715512320 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1456568 CPUtime=34.63 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 56581 0 0 0 3456 7 0 0 25 0 1 0 433490875 1491525632 21344 33554432000 4194304 4587354 140733850830976 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 364142 21344 337 96 0 360704 0
[pid=21099] ppid=21097 vsize=49144 CPUtime=33.85 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 9817 0 0 0 3384 1 0 0 25 0 1 0 433490875 50323456 9547 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287104 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 12286 9547 340 145 0 9331 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=33.8 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 3380 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528250 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1984748
[startup+162.301 s]
/proc/loadavg: 6.00 6.00 5.97 7/184 21105
/proc/meminfo: memFree=17425328/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633818965642838016 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1386560 CPUtime=54.63 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 66961 0 0 0 5453 10 0 0 25 0 1 0 433490875 1419837440 4099 33554432000 4194304 4587354 140733850830976 18446744073709551615 4236508 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 346640 4099 337 96 0 343202 0
[pid=21099] ppid=21097 vsize=56036 CPUtime=53.85 cores=1
################
# More data... #
################
/proc/21099/statm: 29640 26268 340 145 0 26685 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=553.82 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 55382 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 2011564
[startup+1722.3 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21147
/proc/meminfo: memFree=17232000/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633819927715512320 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1415112 CPUtime=574.65 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 484061 0 0 0 57373 92 0 0 25 0 1 0 433490875 1449074688 19065 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238582 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 353778 19065 337 96 0 350340 0
[pid=21099] ppid=21097 vsize=118864 CPUtime=573.85 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 26599 0 0 0 57382 3 0 0 25 0 1 0 433490875 121716736 26329 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 29716 26329 340 145 0 26761 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=573.82 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 57382 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2013012
[startup+1782.3 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21148
/proc/meminfo: memFree=17280848/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820065154465792 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1417088 CPUtime=594.65 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 499439 0 0 0 59369 96 0 0 25 0 1 0 433490875 1451098112 11781 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238683 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 354272 11781 337 96 0 350834 0
[pid=21099] ppid=21097 vsize=118864 CPUtime=593.86 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 26601 0 0 0 59383 3 0 0 25 0 1 0 433490875 121716736 26331 33554432000 4194304 4785740 140733552590352 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 29716 26331 340 145 0 26761 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=593.81 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 59381 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2014988
[startup+1842.3 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21150
/proc/meminfo: memFree=17035312/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820065154465792 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1437648 CPUtime=614.64 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 513272 0 0 0 61366 98 0 0 25 0 1 0 433490875 1472151552 13993 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238955 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 359412 13993 337 96 0 355974 0
[pid=21099] ppid=21097 vsize=119904 CPUtime=613.87 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 26838 0 0 0 61384 3 0 0 25 0 1 0 433490875 122781696 26568 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 29976 26568 340 145 0 27021 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=613.81 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 61381 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1842.32
Current children cumulated vsize (KiB) 2036588
[startup+1902.3 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21151
/proc/meminfo: memFree=16974044/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820202593419264 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1434160 CPUtime=634.64 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 526826 0 0 0 63363 101 0 0 25 0 1 0 433490875 1468579840 15759 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 358540 15759 337 96 0 355102 0
[pid=21099] ppid=21097 vsize=120456 CPUtime=633.87 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 26957 0 0 0 63384 3 0 0 25 0 1 0 433490875 123346944 26687 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 30114 26687 340 145 0 27159 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=633.81 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 63381 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528511 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 2033652
Solver just ended. Dumping a history of the last processes samples
[startup+1903.9 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21151
/proc/meminfo: memFree=16972432/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820202593419264 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1434160 CPUtime=635.15 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 527121 0 0 0 63413 102 0 0 25 0 1 0 433490875 1468579840 16052 33554432000 4194304 4587354 140733850830976 18446744073709551615 4243943 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 358540 16052 337 96 0 355102 0
[pid=21099] ppid=21097 vsize=120676 CPUtime=634.42 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 27033 0 0 0 63439 3 0 0 25 0 1 0 433490875 123572224 26763 33554432000 4194304 4785740 140733552590352 18446744073709551615 4277495 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 30169 26763 340 145 0 27214 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=634.37 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 63437 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1903.94
Current children cumulated vsize (KiB) 2033872
[startup+1905.5 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21151
/proc/meminfo: memFree=16970448/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820202593419264 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1434160 CPUtime=635.7 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 527431 0 0 0 63468 102 0 0 25 0 1 0 433490875 1468579840 16362 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238406 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 358540 16362 337 96 0 355102 0
[pid=21099] ppid=21097 vsize=120676 CPUtime=634.92 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 27033 0 0 0 63489 3 0 0 25 0 1 0 433490875 123572224 26763 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 30169 26763 340 145 0 27214 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=634.91 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 63491 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134530712 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1905.53
Current children cumulated vsize (KiB) 2033872
[startup+1906.31 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21152
/proc/meminfo: memFree=16968712/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820202593419264 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1434160 CPUtime=635.94 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 527564 0 0 0 63492 102 0 0 25 0 1 0 433490875 1468579840 16493 33554432000 4194304 4587354 140733850830976 18446744073709551615 4244514 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 358540 16493 337 96 0 355102 0
[pid=21099] ppid=21097 vsize=121864 CPUtime=635.22 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 27307 0 0 0 63519 3 0 0 25 0 1 0 433490875 124788736 27037 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 30466 27037 340 145 0 27511 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=635.17 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 63517 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1906.33
Current children cumulated vsize (KiB) 2035060
[startup+1906.5 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21152
/proc/meminfo: memFree=16968712/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820202593419264 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1434160 CPUtime=636.04 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 527619 0 0 0 63502 102 0 0 25 0 1 0 433490875 1468579840 16547 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 358540 16547 337 96 0 355102 0
[pid=21099] ppid=21097 vsize=122128 CPUtime=635.27 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 27372 0 0 0 63524 3 0 0 25 0 1 0 433490875 125059072 27102 33554432000 4194304 4785740 140733552590352 18446744073709551615 4287143 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 30532 27102 340 145 0 27577 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=635.21 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 63521 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1906.52
Current children cumulated vsize (KiB) 2035324
[startup+1906.6 s]
/proc/loadavg: 6.00 6.00 5.98 7/184 21152
/proc/meminfo: memFree=16968712/32951124 swapFree=67111528/67111528
[pid=21097] ppid=21095 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21097/stat : 21097 (ppfolio) S 21095 21097 20187 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 433490875 18763776 394 33554432000 4194304 4287625 140733354885056 18446744073709551615 212687695375 0 0 4096 65536 5633820202593419264 0 0 17 5 0 0 0
/proc/21097/statm: 4581 394 345 23 0 91 0
[pid=21098] ppid=21097 vsize=1434160 CPUtime=636.04 cores=1
/proc/21098/stat : 21098 (cryptominisat) R 21097 21097 20187 0 -1 4202496 527619 0 0 0 63502 102 0 0 25 0 1 0 433490875 1468579840 16547 33554432000 4194304 4587354 140733850830976 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21098/statm: 358540 16547 337 96 0 355102 0
[pid=21099] ppid=21097 vsize=122260 CPUtime=635.32 cores=1
/proc/21099/stat : 21099 (clasp) R 21097 21097 20187 0 -1 4202496 27417 0 0 0 63529 3 0 0 25 0 1 0 433490875 125194240 27147 33554432000 4194304 4785740 140733552590352 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21099/statm: 30565 27147 340 145 0 27610 0
[pid=21100] ppid=21097 vsize=460712 CPUtime=635.27 cores=1
/proc/21100/stat : 21100 (TNM) R 21097 21097 20187 0 -1 4202496 1809 0 0 0 63527 0 0 0 25 0 1 0 433490875 471769088 1706 33554432000 134512640 134534564 4291558560 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21100/statm: 115178 1706 95 6 0 113844 0
Current children cumulated CPU time (s) 1906.63
Current children cumulated vsize (KiB) 2035456
Child status: 0
Real time (s): 1906.61
CPU time (s): 1906.67
CPU user time (s): 1905.6
CPU system time (s): 1.07784
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3368928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1905.6
system time used= 1.07784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557383
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= 263
involuntary context switches= 39983
runsolver used 3.19451 second user time and 7.2099 second system time
The end
Begin job on node139 at 2011-04-19 15:15:31
IDJOB=3219130
IDBENCH=82538
IDSOLVER=1639
FILE ID=node139/3219130-1303218931
RUNJOBID= node139-1303203383-20206
PBS_JOBID= 13030644
Free space on /tmp= 72752 MiB
SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3219130-1303218931/watcher-3219130-1303218931 -o /tmp/evaluation-result-3219130-1303218931/solver-3219130-1303218931 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3219130-1303218931.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= f6b9ddbb2d1027fc4cfe1e8c2d86f4e1
RANDOM SEED=1300127702
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: 17697416 kB
Buffers: 710848 kB
Cached: 13701488 kB
SwapCached: 0 kB
Active: 8504400 kB
Inactive: 6398316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17697416 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10912 kB
Writeback: 0 kB
AnonPages: 489696 kB
Mapped: 16452 kB
Slab: 288244 kB
PageTables: 5572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 3183616 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= 72744 MiB
End job on node139 at 2011-04-19 15:47:18