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-3219112-1303218216/watcher-3219112-1303218216 -o /tmp/evaluation-result-3219112-1303218216/solver-3219112-1303218216 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3219112-1303218216.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: 7.43 7.93 7.96 4/180 22765
/proc/meminfo: memFree=22261356/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 16 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375498922164224 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[startup+0.912124 s]
/proc/loadavg: 7.43 7.93 7.96 4/180 22765
/proc/meminfo: memFree=22261356/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 16 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375498922164224 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.0011 s]
/proc/loadavg: 7.43 7.93 7.96 4/180 22765
/proc/meminfo: memFree=22261356/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375636361117696 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.10108 s]
/proc/loadavg: 7.43 7.93 7.96 4/180 22765
/proc/meminfo: memFree=22261356/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375636361117696 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.20106 s]
/proc/loadavg: 7.43 7.93 7.96 4/180 22765
/proc/meminfo: memFree=22261356/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375636361117696 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50101 s]
/proc/loadavg: 7.43 7.93 7.96 4/180 22765
/proc/meminfo: memFree=22261356/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375636361117696 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+3.10671 s]
/proc/loadavg: 7.43 7.93 7.96 7/188 22773
/proc/meminfo: memFree=22211580/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375773800071168 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=363268 CPUtime=1.34 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 6030 0 0 0 133 1 0 0 19 0 1 0 433419847 371986432 3059 33554432000 4194304 4587354 140733621958272 18446744073709551615 4246056 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 90817 3059 327 96 0 87379 0
[pid=22768] ppid=22765 vsize=25136 CPUtime=1.19 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 3892 0 0 0 119 0 0 0 19 0 1 0 433419847 25739264 3622 33554432000 4194304 4785740 140736853205184 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 6284 3622 340 145 0 3329 0
[pid=22769] ppid=22765 vsize=456880 CPUtime=0.54 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1810 0 0 0 54 0 0 0 25 0 1 0 433419847 467845120 1707 33554432000 134512640 134534564 4290400352 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 114220 1707 95 6 0 112886 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 863608
[startup+6.30113 s]
/proc/loadavg: 7.31 7.90 7.95 7/188 22773
/proc/meminfo: memFree=22201424/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487373987093676032 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=361912 CPUtime=2.39 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 8266 0 0 0 238 1 0 0 22 0 1 0 433419847 370597888 3733 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 90478 3733 327 96 0 87040 0
[pid=22768] ppid=22765 vsize=26988 CPUtime=2.29 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 4339 0 0 0 229 0 0 0 22 0 1 0 433419847 27635712 4069 33554432000 4194304 4785740 140736853205184 18446744073709551615 4550365 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 6747 4069 340 145 0 3792 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=1.59 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 159 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134530549 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867936
[startup+12.701 s]
/proc/loadavg: 7.21 7.87 7.94 8/188 22774
/proc/meminfo: memFree=22151616/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=366348 CPUtime=4.49 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 16068 0 0 0 446 3 0 0 25 0 1 0 433419847 375140352 3647 33554432000 4194304 4587354 140733621958272 18446744073709551615 4230288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 91587 3647 337 96 0 88149 0
[pid=22768] ppid=22765 vsize=29820 CPUtime=4.43 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 5056 0 0 0 443 0 0 0 25 0 1 0 433419847 30535680 4786 33554432000 4194304 4785740 140736853205184 18446744073709551615 4550327 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 7455 4786 340 145 0 4500 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=3.74 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 374 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134529863 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 875204
[startup+25.5006 s]
/proc/loadavg: 6.94 7.78 7.91 7/188 22774
/proc/meminfo: memFree=22163980/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487374674288443392 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=368308 CPUtime=8.78 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 24579 0 0 0 874 4 0 0 25 0 1 0 433419847 377147392 5850 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238392 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 92077 5850 337 96 0 88639 0
[pid=22768] ppid=22765 vsize=34604 CPUtime=8.69 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 6231 0 0 0 868 1 0 0 25 0 1 0 433419847 35434496 5961 33554432000 4194304 4785740 140736853205184 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 8651 5961 340 145 0 5696 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=7.99 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 799 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 881948
[startup+51.101 s]
/proc/loadavg: 6.62 7.63 7.86 8/188 22778
/proc/meminfo: memFree=22089576/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487374674288443392 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=414816 CPUtime=17.29 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 36756 0 0 0 1723 6 0 0 25 0 1 0 433419847 424771584 15461 33554432000 4194304 4587354 140733621958272 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 103704 15461 337 96 0 100266 0
[pid=22768] ppid=22765 vsize=40212 CPUtime=17.24 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 7610 0 0 0 1723 1 0 0 25 0 1 0 433419847 41177088 7340 33554432000 4194304 4785740 140736853205184 18446744073709551615 4303723 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 10053 7340 340 145 0 7098 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=16.54 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 1654 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 934064
[startup+102.301 s]
/proc/loadavg: 6.27 7.38 7.76 8/188 22779
/proc/meminfo: memFree=22033048/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375224044257280 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=430920 CPUtime=34.38 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 56398 0 0 0 3429 9 0 0 25 0 1 0 433419847 441262080 21246 33554432000 4194304 4587354 140733621958272 18446744073709551615 4388352 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 107730 21246 337 96 0 104292 0
[pid=22768] ppid=22765 vsize=49404 CPUtime=34.28 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 9886 0 0 0 3427 1 0 0 25 0 1 0 433419847 50589696 9616 33554432000 4194304 4785740 140736853205184 18446744073709551615 4287070 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 12351 9616 340 145 0 9396 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=33.6 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 3360 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528853 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 959360
[startup+162.301 s]
/proc/loadavg: 6.10 7.13 7.64 8/188 22781
/proc/meminfo: memFree=22056104/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487374261971582976 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=389652 CPUtime=54.38 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 65247 0 0 0 5427 11 0 0 25 0 1 0 433419847 399003648 11265 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238571 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 97413 11265 337 96 0 93975 0
[pid=22768] ppid=22765 vsize=55340 CPUtime=54.28 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 11333 0 0 0 5427 1 0 0 25 0 1 0 433419847 56668160 11063 33554432000 4194304 4785740 140736853205184 18446744073709551615 4550325 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 13835 11063 340 145 0 10880 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=53.61 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 5361 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 924028
[startup+222.301 s]
################
# More data... #
################
/proc/22768/statm: 29153 25738 340 145 0 26198 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=493.58 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 49358 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134529080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 978444
[startup+1542.3 s]
/proc/loadavg: 6.08 6.06 6.38 7/188 22847
/proc/meminfo: memFree=22023432/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375086605303808 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=413128 CPUtime=514.41 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 461687 0 0 0 51350 91 0 0 25 0 1 0 433419847 423043072 15714 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 103282 15714 337 96 0 99844 0
[pid=22768] ppid=22765 vsize=117948 CPUtime=514.32 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26325 0 0 0 51427 5 0 0 25 0 1 0 433419847 120778752 26055 33554432000 4194304 4785740 140736853205184 18446744073709551615 4550365 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29487 26055 340 145 0 26532 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=513.59 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 51359 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1010112
[startup+1602.3 s]
/proc/loadavg: 6.12 6.08 6.36 7/188 22849
/proc/meminfo: memFree=22018696/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375086605303808 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=394876 CPUtime=534.41 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 471809 0 0 0 53347 94 0 0 25 0 1 0 433419847 404353024 14869 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238692 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 98719 14869 337 96 0 95281 0
[pid=22768] ppid=22765 vsize=118616 CPUtime=534.31 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26457 0 0 0 53426 5 0 0 25 0 1 0 433419847 121462784 26187 33554432000 4194304 4785740 140736853205184 18446744073709551615 4287252 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29654 26187 340 145 0 26699 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=533.6 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 53360 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 992528
[startup+1662.3 s]
/proc/loadavg: 6.04 6.06 6.34 7/188 22851
/proc/meminfo: memFree=21974536/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375224044257280 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=376244 CPUtime=554.4 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 484124 0 0 0 55343 97 0 0 25 0 1 0 433419847 385273856 8642 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 94061 8642 337 96 0 90623 0
[pid=22768] ppid=22765 vsize=119284 CPUtime=554.31 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26631 0 0 0 55426 5 0 0 25 0 1 0 433419847 122146816 26361 33554432000 4194304 4785740 140736853205184 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29821 26361 340 145 0 26866 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=553.61 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 55361 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 974564
Solver just ended. Dumping a history of the last processes samples
[startup+1665.5 s]
/proc/loadavg: 6.04 6.06 6.34 7/188 22851
/proc/meminfo: memFree=21974656/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375224044257280 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=376244 CPUtime=555.45 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 484124 0 0 0 55448 97 0 0 25 0 1 0 433419847 385273856 8642 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238654 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 94061 8642 337 96 0 90623 0
[pid=22768] ppid=22765 vsize=119284 CPUtime=555.41 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26631 0 0 0 55536 5 0 0 25 0 1 0 433419847 122146816 26361 33554432000 4194304 4785740 140736853205184 18446744073709551615 4278587 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29821 26361 340 145 0 26866 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=554.66 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 55466 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1665.52
Current children cumulated vsize (KiB) 974564
[startup+1668.7 s]
/proc/loadavg: 6.04 6.06 6.33 7/188 22851
/proc/meminfo: memFree=21973412/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375224044257280 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=376244 CPUtime=556.5 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 484706 0 0 0 55553 97 0 0 25 0 1 0 433419847 385273856 9221 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238481 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 94061 9221 337 96 0 90623 0
[pid=22768] ppid=22765 vsize=119476 CPUtime=556.46 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26658 0 0 0 55641 5 0 0 25 0 1 0 433419847 122343424 26388 33554432000 4194304 4785740 140736853205184 18446744073709551615 4287011 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29869 26388 340 145 0 26914 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=555.76 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 55576 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1668.72
Current children cumulated vsize (KiB) 974756
[startup+1671.9 s]
/proc/loadavg: 6.04 6.06 6.33 7/188 22851
/proc/meminfo: memFree=21970312/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375224044257280 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=376244 CPUtime=557.61 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 485456 0 0 0 55663 98 0 0 25 0 1 0 433419847 385273856 9966 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238571 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 94061 9966 337 96 0 90623 0
[pid=22768] ppid=22765 vsize=119476 CPUtime=557.51 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26686 0 0 0 55746 5 0 0 25 0 1 0 433419847 122343424 26416 33554432000 4194304 4785740 140736853205184 18446744073709551615 4286919 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29869 26416 340 145 0 26914 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=556.81 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 55681 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134529823 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1671.93
Current children cumulated vsize (KiB) 974756
[startup+1673.5 s]
/proc/loadavg: 6.03 6.06 6.33 7/188 22851
/proc/meminfo: memFree=21968452/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375224044257280 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=376244 CPUtime=558.11 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 485795 0 0 0 55713 98 0 0 25 0 1 0 433419847 385273856 10300 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 94061 10300 337 96 0 90623 0
[pid=22768] ppid=22765 vsize=119476 CPUtime=558.07 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26686 0 0 0 55802 5 0 0 25 0 1 0 433419847 122343424 26416 33554432000 4194304 4785740 140736853205184 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29869 26416 340 145 0 26914 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=557.36 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 55736 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1673.54
Current children cumulated vsize (KiB) 974756
[startup+1673.9 s]
/proc/loadavg: 6.03 6.06 6.33 7/188 22851
/proc/meminfo: memFree=21968452/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375224044257280 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=376244 CPUtime=558.26 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 485891 0 0 0 55728 98 0 0 25 0 1 0 433419847 385273856 10396 33554432000 4194304 4587354 140733621958272 18446744073709551615 4236288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 94061 10396 337 96 0 90623 0
[pid=22768] ppid=22765 vsize=119476 CPUtime=558.21 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26686 0 0 0 55816 5 0 0 25 0 1 0 433419847 122343424 26416 33554432000 4194304 4785740 140736853205184 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29869 26416 340 145 0 26914 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=557.46 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 55746 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134530549 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1673.93
Current children cumulated vsize (KiB) 974756
[startup+1674.3 s]
/proc/loadavg: 6.03 6.06 6.33 7/188 22851
/proc/meminfo: memFree=21968452/32951124 swapFree=67111416/67111528
[pid=22765] ppid=22761 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/22765/stat : 22765 (ppfolio) S 22761 22765 22728 0 -1 4202496 499 0 1 0 0 0 0 0 15 0 1 0 433419846 18763776 394 33554432000 4194304 4287625 140736888283728 18446744073709551615 246516854287 0 0 4096 65536 9487375224044257280 0 0 17 3 0 0 0
/proc/22765/statm: 4581 394 345 23 0 91 0
[pid=22766] ppid=22765 vsize=376244 CPUtime=558.41 cores=1
/proc/22766/stat : 22766 (cryptominisat) R 22765 22765 22728 0 -1 4202496 485990 0 0 0 55743 98 0 0 25 0 1 0 433419847 385273856 10495 33554432000 4194304 4587354 140733621958272 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22766/statm: 94061 10495 337 96 0 90623 0
[pid=22768] ppid=22765 vsize=119476 CPUtime=558.31 cores=1
/proc/22768/stat : 22768 (clasp) R 22765 22765 22728 0 -1 4202496 26686 0 0 0 55826 5 0 0 25 0 1 0 433419847 122343424 26416 33554432000 4194304 4785740 140736853205184 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/22768/statm: 29869 26416 340 145 0 26914 0
[pid=22769] ppid=22765 vsize=460712 CPUtime=557.61 cores=1
/proc/22769/stat : 22769 (TNM) R 22765 22765 22728 0 -1 4202496 1811 0 0 0 55761 0 0 0 25 0 1 0 433419847 471769088 1708 33554432000 134512640 134534564 4290400352 18446744073709551615 134528719 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22769/statm: 115178 1708 95 6 0 113844 0
Current children cumulated CPU time (s) 1674.33
Current children cumulated vsize (KiB) 974756
Child status: 0
Real time (s): 1674.33
CPU time (s): 1674.38
CPU user time (s): 1673.33
CPU system time (s): 1.04684
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1357628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1673.33
system time used= 1.04684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515024
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276
involuntary context switches= 35073
runsolver used 2.69559 second user time and 6.42402 second system time
The end
Begin job on node134 at 2011-04-19 15:03:36
IDJOB=3219112
IDBENCH=82535
IDSOLVER=1639
FILE ID=node134/3219112-1303218216
RUNJOBID= node134-1303218216-22747
PBS_JOBID= 13036139
Free space on /tmp= 71988 MiB
SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3219112-1303218216/watcher-3219112-1303218216 -o /tmp/evaluation-result-3219112-1303218216/solver-3219112-1303218216 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3219112-1303218216.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 1ae73e64babd5796adef68295bcaa14f
RANDOM SEED=1777989258
node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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 : 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 22262048 kB
Buffers: 657904 kB
Cached: 9605760 kB
SwapCached: 108 kB
Active: 5754160 kB
Inactive: 4573180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22262048 kB
SwapTotal: 67111528 kB
SwapFree: 67111416 kB
Dirty: 21416 kB
Writeback: 0 kB
AnonPages: 63092 kB
Mapped: 14560 kB
Slab: 297900 kB
PageTables: 4308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 185452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71972 MiB
End job on node134 at 2011-04-19 15:31:31