Trace number 3275417

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio seq? (TO) 5000.07 4999.93

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-9x32.cnf
MD5SUMbcc12436eba65ad776b55f23c6f42298
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1152
Number of clauses73440
Sum of the clauses size290304
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21728
Number of clauses of size 30
Number of clauses of size 471712
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 1 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 1
0.00/0.00	Starting clasp 1.3.6 on core(s) 1
0.00/0.00	Starting TNM 2009 on core(s) 1

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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-3275417-1303645247/watcher-3275417-1303645247 -o /tmp/evaluation-result-3275417-1303645247/solver-3275417-1303645247 -C 5000 -W 5100 -M 15500 ppfolio --nbcore=1 HOME/instance-3275417-1303645247.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): 5100 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.76 5.95 5.93 4/180 18820
/proc/meminfo: memFree=14350644/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 6111302235264614664 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0

[startup+0.016499 s]
/proc/loadavg: 5.76 5.95 5.93 4/180 18820
/proc/meminfo: memFree=14350644/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 6111302235264614664 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100487 s]
/proc/loadavg: 5.76 5.95 5.93 4/180 18820
/proc/meminfo: memFree=14350644/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 6111302235264614664 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300457 s]
/proc/loadavg: 5.76 5.95 5.93 4/180 18820
/proc/meminfo: memFree=14350644/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700375 s]
/proc/loadavg: 5.76 5.95 5.93 4/180 18820
/proc/meminfo: memFree=14350644/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50122 s]
/proc/loadavg: 5.76 5.95 5.93 7/184 18824
/proc/meminfo: memFree=14326420/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600885515707744256 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=41604 CPUtime=0.49 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 6628 0 0 0 49 0 0 0 25 0 1 0 476121803 42602496 5169 33554432000 4194304 4587354 140733809285344 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 10401 5169 315 96 0 6963 0
[pid=18822] ppid=18820 vsize=20420 CPUtime=0.39 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 2778 0 0 0 39 0 0 0 25 0 1 0 476121803 20910080 2366 33554432000 4194304 4785740 140736037071392 18446744073709551615 4483028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 5105 2366 316 145 0 2150 0
[pid=18823] ppid=18820 vsize=457540 CPUtime=0.59 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 1945 0 0 0 59 0 0 0 25 0 1 0 476121803 468520960 1841 33554432000 134512640 134534564 4289611760 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 114385 1841 91 6 0 113051 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 537888

[startup+3.10092 s]
/proc/loadavg: 5.76 5.95 5.93 7/184 18824
/proc/meminfo: memFree=14310796/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600886202902511616 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=42928 CPUtime=0.99 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 9158 0 0 0 98 1 0 0 25 0 1 0 476121803 43958272 6221 33554432000 4194304 4587354 140733809285344 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 10732 6221 326 96 0 7294 0
[pid=18822] ppid=18820 vsize=24116 CPUtime=0.94 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 3699 0 0 0 94 0 0 0 25 0 1 0 476121803 24694784 3287 33554432000 4194304 4785740 140736037071392 18446744073709551615 239476355781 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 6029 3287 316 145 0 3074 0
[pid=18823] ppid=18820 vsize=457540 CPUtime=1.14 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 1945 0 0 0 114 0 0 0 25 0 1 0 476121803 468520960 1841 33554432000 134512640 134534564 4289611760 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 114385 1841 91 6 0 113051 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 542908

[startup+6.3003 s]
/proc/loadavg: 5.78 5.95 5.93 7/184 18824
/proc/meminfo: memFree=14322848/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600885928024604672 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=229064 CPUtime=2.09 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 13946 0 0 0 208 1 0 0 25 0 1 0 476121803 234561536 8721 33554432000 4194304 4587354 140733809285344 18446744073709551615 4357604 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 57266 8721 337 96 0 53828 0
[pid=18822] ppid=18820 vsize=29204 CPUtime=1.99 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 5176 0 0 0 199 0 0 0 25 0 1 0 476121803 29904896 4620 33554432000 4194304 4785740 140736037071392 18446744073709551615 4286927 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 7301 4620 340 145 0 4346 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=2.19 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 219 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 739284

[startup+12.7011 s]
/proc/loadavg: 5.80 5.95 5.93 7/184 18824
/proc/meminfo: memFree=14305644/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600886202902511616 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=236988 CPUtime=4.19 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 18327 0 0 0 417 2 0 0 25 0 1 0 476121803 242675712 10200 33554432000 4194304 4587354 140733809285344 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 59247 10200 337 96 0 55809 0
[pid=18822] ppid=18820 vsize=39348 CPUtime=4.13 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 7675 0 0 0 413 0 0 0 25 0 1 0 476121803 40292352 7119 33554432000 4194304 4785740 140736037071392 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 9837 7119 340 145 0 6882 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=4.34 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 434 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134530549 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 757352

[startup+25.5006 s]
/proc/loadavg: 5.84 5.95 5.93 7/184 18825
/proc/meminfo: memFree=14270564/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600886615219372032 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=250320 CPUtime=8.49 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 24059 0 0 0 846 3 0 0 25 0 1 0 476121803 256327680 13048 33554432000 4194304 4587354 140733809285344 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 62580 13048 337 96 0 59142 0
[pid=18822] ppid=18820 vsize=48072 CPUtime=8.39 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 9791 0 0 0 838 1 0 0 25 0 1 0 476121803 49225728 9235 33554432000 4194304 4785740 140736037071392 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 12018 9235 340 145 0 9063 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=8.59 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 859 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 779408

[startup+51.1007 s]
/proc/loadavg: 5.89 5.95 5.93 7/184 18825
/proc/meminfo: memFree=14221192/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600885103390883840 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=270472 CPUtime=16.98 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 34051 0 0 0 1694 4 0 0 25 0 1 0 476121803 276963328 19946 33554432000 4194304 4587354 140733809285344 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 67618 19946 337 96 0 64180 0
[pid=18822] ppid=18820 vsize=56716 CPUtime=16.94 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 11813 0 0 0 1693 1 0 0 25 0 1 0 476121803 58077184 11257 33554432000 4194304 4785740 140736037071392 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 14179 11257 340 145 0 11224 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=17.14 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 1714 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 808204

[startup+102.307 s]
/proc/loadavg: 5.95 5.96 5.93 7/184 18827
/proc/meminfo: memFree=14229700/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600886477780418560 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=256424 CPUtime=34.08 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 39431 0 0 0 3403 5 0 0 25 0 1 0 476121803 262578176 16046 33554432000 4194304 4587354 140733809285344 18446744073709551615 239476350133 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 64106 16046 337 96 0 60668 0
[pid=18822] ppid=18820 vsize=67608 CPUtime=33.98 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 14403 0 0 0 3397 1 0 0 25 0 1 0 476121803 69230592 13847 33554432000 4194304 4785740 140736037071392 18446744073709551615 4278129 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 16902 13847 340 145 0 13947 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=34.21 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 3421 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134530283 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 805048

[startup+162.3 s]
/proc/loadavg: 5.98 5.97 5.93 7/184 18828
/proc/meminfo: memFree=14203888/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600884691074023424 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=98576 CPUtime=54.08 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 51255 0 0 0 5401 7 0 0 25 0 1 0 476121803 100941824 20719 33554432000 4194304 4587354 140733809285344 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 24644 20719 337 96 0 21206 0
[pid=18822] ppid=18820 vsize=75236 CPUtime=53.99 cores=1

################
# More data... #
################

/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 4602.46
Current children cumulated vsize (KiB) 1207456

[startup+4662.3 s]
/proc/loadavg: 5.03 5.01 5.00 6/183 19111
/proc/meminfo: memFree=14014392/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600885653146697728 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=496500 CPUtime=1554.15 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 1102802 0 0 0 155187 228 0 0 25 0 1 0 476121803 508416000 77935 33554432000 4194304 4587354 140733809285344 18446744073709551615 4388352 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 124125 77935 337 96 0 120687 0
[pid=18822] ppid=18820 vsize=230936 CPUtime=1554.05 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 51862 0 0 0 155397 8 0 0 25 0 1 0 476121803 236478464 51306 33554432000 4194304 4785740 140736037071392 18446744073709551615 4553411 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 57734 51306 340 145 0 54779 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=1554.25 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 155425 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134530320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 4662.45
Current children cumulated vsize (KiB) 1208452

[startup+4722.31 s]
/proc/loadavg: 5.01 5.01 5.00 6/183 19113
/proc/meminfo: memFree=14012000/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600885653146697728 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=496500 CPUtime=1574.15 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 1102802 0 0 0 157187 228 0 0 25 0 1 0 476121803 508416000 77935 33554432000 4194304 4587354 140733809285344 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 124125 77935 337 96 0 120687 0
[pid=18822] ppid=18820 vsize=233072 CPUtime=1574.05 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 52359 0 0 0 157397 8 0 0 25 0 1 0 476121803 238665728 51803 33554432000 4194304 4785740 140736037071392 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 58268 51803 340 145 0 55313 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=1574.26 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 157426 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 4722.46
Current children cumulated vsize (KiB) 1210588

[startup+4782.3 s]
/proc/loadavg: 5.00 5.00 5.00 6/183 19115
/proc/meminfo: memFree=14010492/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 4600885653146697728 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=496500 CPUtime=1594.15 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 1102802 0 0 0 159187 228 0 0 25 0 1 0 476121803 508416000 77935 33554432000 4194304 4587354 140733809285344 18446744073709551615 4430973 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 124125 77935 337 96 0 120687 0
[pid=18822] ppid=18820 vsize=234776 CPUtime=1594.05 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 52749 0 0 0 159397 8 0 0 25 0 1 0 476121803 240410624 52193 33554432000 4194304 4785740 140736037071392 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 58694 52193 340 145 0 55739 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=1594.26 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 159426 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 4782.46
Current children cumulated vsize (KiB) 1212292

[startup+4842.3 s]
/proc/loadavg: 5.00 5.00 5.00 6/183 19125
/proc/meminfo: memFree=14219244/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=277876 CPUtime=1614.15 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 1115438 0 0 0 161182 233 0 0 25 0 1 0 476121803 284545024 24995 33554432000 4194304 4587354 140733809285344 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 69469 24995 337 96 0 66031 0
[pid=18822] ppid=18820 vsize=237908 CPUtime=1614.04 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 53426 0 0 0 161396 8 0 0 25 0 1 0 476121803 243617792 52870 33554432000 4194304 4785740 140736037071392 18446744073709551615 239476392562 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 59477 52870 340 145 0 56522 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=1614.27 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 161427 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 4842.46
Current children cumulated vsize (KiB) 996800

[startup+4902.3 s]
/proc/loadavg: 5.00 5.00 5.00 6/183 19127
/proc/meminfo: memFree=14216244/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=277224 CPUtime=1634.15 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 1130204 0 0 0 163178 237 0 0 25 0 1 0 476121803 283877376 25676 33554432000 4194304 4587354 140733809285344 18446744073709551615 4238654 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 69306 25676 337 96 0 65868 0
[pid=18822] ppid=18820 vsize=238548 CPUtime=1634.04 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 53559 0 0 0 163396 8 0 0 25 0 1 0 476121803 244273152 53003 33554432000 4194304 4785740 140736037071392 18446744073709551615 4551099 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 59637 53003 340 145 0 56682 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=1634.28 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 163428 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 4902.47
Current children cumulated vsize (KiB) 996788

[startup+4962.3 s]
/proc/loadavg: 5.00 5.00 5.00 6/183 19128
/proc/meminfo: memFree=14212992/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=278160 CPUtime=1654.14 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 1144941 0 0 0 165174 240 0 0 25 0 1 0 476121803 284835840 26194 33554432000 4194304 4587354 140733809285344 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 69540 26194 337 96 0 66102 0
[pid=18822] ppid=18820 vsize=239188 CPUtime=1654.03 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 53690 0 0 0 165395 8 0 0 25 0 1 0 476121803 244928512 53134 33554432000 4194304 4785740 140736037071392 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 59797 53134 340 145 0 56842 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=1654.29 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 165429 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 4962.46
Current children cumulated vsize (KiB) 998364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 5.00 5.00 5.00 6/183 19129
/proc/meminfo: memFree=14226372/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=278188 CPUtime=1666.65 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 1155751 0 0 0 166422 243 0 0 25 0 1 0 476121803 284864512 22826 33554432000 4194304 4587354 140733809285344 18446744073709551615 239476391614 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 69547 22826 337 96 0 66109 0
[pid=18822] ppid=18820 vsize=239188 CPUtime=1666.63 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 53692 0 0 0 166655 8 0 0 25 0 1 0 476121803 244928512 53136 33554432000 4194304 4785740 140736037071392 18446744073709551615 4553396 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 59797 53136 340 145 0 56842 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=1666.79 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 166679 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 998392

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+4999.9 s]
/proc/loadavg: 5.00 5.00 5.00 6/183 19129
/proc/meminfo: memFree=14226372/32950928 swapFree=67087032/67111528
[pid=18820] ppid=18818 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/18820/stat : 18820 (ppfolio) S 18818 18820 18263 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 476121803 18763776 394 33554432000 4194304 4287625 140733816698144 18446744073709551615 239476715023 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/18820/statm: 4581 394 345 23 0 91 0
[pid=18821] ppid=18820 vsize=278188 CPUtime=1666.65 cores=1
/proc/18821/stat : 18821 (cryptominisat) R 18820 18820 18263 0 -1 4202496 1155751 0 0 0 166422 243 0 0 25 0 1 0 476121803 284864512 22826 33554432000 4194304 4587354 140733809285344 18446744073709551615 239476391614 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18821/statm: 69547 22826 337 96 0 66109 0
[pid=18822] ppid=18820 vsize=239188 CPUtime=1666.63 cores=1
/proc/18822/stat : 18822 (clasp) R 18820 18820 18263 0 -1 4202496 53692 0 0 0 166655 8 0 0 25 0 1 0 476121803 244928512 53136 33554432000 4194304 4785740 140736037071392 18446744073709551615 4553396 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/18822/statm: 59797 53136 340 145 0 56842 0
[pid=18823] ppid=18820 vsize=462692 CPUtime=1666.79 cores=1
/proc/18823/stat : 18823 (TNM) R 18820 18820 18263 0 -1 4202496 2691 0 0 0 166679 0 0 0 25 0 1 0 476121803 473796608 2587 33554432000 134512640 134534564 4289611760 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18823/statm: 115673 2587 95 6 0 114339 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 998392

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18820 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=3999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.008998
# while last known CPU time is 5000.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.93
CPU time (s): 5000.07
CPU user time (s): 4997.56
CPU system time (s): 2.51
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1212292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003999
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500
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= 341
involuntary context switches= 4

runsolver used 8.08877 second user time and 19.1911 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-24 13:40:47
IDJOB=3275417
IDBENCH=83177
IDSOLVER=1639
FILE ID=node148/3275417-1303645247
RUNJOBID= node148-1303635244-18282
PBS_JOBID= 13150700
Free space on /tmp= 70660 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-9x32.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3275417-1303645247/watcher-3275417-1303645247 -o /tmp/evaluation-result-3275417-1303645247/solver-3275417-1303645247 -C 5000 -W 5100 -M 15500  ppfolio --nbcore=1 HOME/instance-3275417-1303645247.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bcc12436eba65ad776b55f23c6f42298
RANDOM SEED=160331007

node148.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.854
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.854
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.854
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.854
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.854
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.82
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.854
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.854
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14350924 kB
Buffers:       2047940 kB
Cached:       15706476 kB
SwapCached:       5264 kB
Active:        9178592 kB
Inactive:      8861884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14350924 kB
SwapTotal:    67111528 kB
SwapFree:     67087032 kB
Dirty:           11664 kB
Writeback:           0 kB
AnonPages:      282468 kB
Mapped:          15432 kB
Slab:           495324 kB
PageTables:       5972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2791200 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= 70652 MiB
End job on node148 at 2011-04-24 15:04:09