Trace number 3222214

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.02 4999.91

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf
MD5SUM1e7a565e93334fc4a75fcaa13a0d446a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark364.595
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data 

0.00/0.01	This is pico-portfolio, a naive parallel portfolio
0.00/0.01	Copyright (C) 2011 Olivier Roussel
0.00/0.01	Using 1 processing units
0.00/0.01	This portfolio uses the following solvers:
0.00/0.01	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.01	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.01	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.01	Starting cryptominisat 2.7.1 on core(s) 1
0.00/0.01	Starting clasp 1.3.6 on core(s) 1
0.00/0.01	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-3222214-1303301027/watcher-3222214-1303301027 -o /tmp/evaluation-result-3222214-1303301027/solver-3222214-1303301027 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3222214-1303301027.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: 6.00 6.00 6.00 5/180 20945
/proc/meminfo: memFree=17246824/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18240 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) R 20943 20945 19974 0 -1 4194304 282 0 0 0 0 0 0 0 25 0 1 0 422518141 18677760 230 33554432000 4194304 4287625 140734110575104 18446744073709551615 228090488721 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20945/statm: 4560 230 194 23 0 57 0

[startup+0.054013 s]
/proc/loadavg: 6.00 6.00 6.00 5/180 20945
/proc/meminfo: memFree=17246824/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 498 0 0 0 0 0 0 0 25 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 17256654682332299528 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.101001 s]
/proc/loadavg: 6.00 6.00 6.00 5/180 20945
/proc/meminfo: memFree=17246824/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 498 0 0 0 0 0 0 0 25 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 17256654682332299528 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300966 s]
/proc/loadavg: 6.00 6.00 6.00 5/180 20945
/proc/meminfo: memFree=17246824/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700904 s]
/proc/loadavg: 6.00 6.00 6.00 5/180 20945
/proc/meminfo: memFree=17246824/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 19 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447819147771904 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50076 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 20949
/proc/meminfo: memFree=17241212/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036448231464632320 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=1842392 CPUtime=1.04 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 2183 0 0 0 104 0 0 0 19 0 1 0 422518142 1886609408 1065 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238752 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 460598 1065 326 96 0 457160 0
[pid=20948] ppid=20945 vsize=13360 CPUtime=0.1 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 806 0 0 0 10 0 0 0 23 0 1 0 422518142 13680640 698 33554432000 4194304 4785740 140734632586832 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 3340 698 340 145 0 385 0
[pid=20949] ppid=20945 vsize=452524 CPUtime=0.34 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 417 0 0 0 34 0 0 0 25 0 1 0 422518142 463384576 314 33554432000 134512640 134534564 4287618240 18446744073709551615 134524668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 113131 314 91 6 0 111797 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 2326600

[startup+3.10045 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 20949
/proc/meminfo: memFree=17240220/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447681708818432 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=1849092 CPUtime=1.59 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 4057 0 0 0 159 0 0 0 20 0 1 0 422518142 1893470208 2592 33554432000 4194304 4587354 140734145857344 18446744073709551615 4365136 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 462273 2592 336 96 0 458835 0
[pid=20948] ppid=20945 vsize=14048 CPUtime=0.64 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 959 0 0 0 64 0 0 0 25 0 1 0 422518142 14385152 851 33554432000 4194304 4785740 140734632586832 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 3512 851 340 145 0 557 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=0.84 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 84 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134530484 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 2337820

[startup+6.30087 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 20949
/proc/meminfo: memFree=17232792/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036446444758237184 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=33308 CPUtime=2.63 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 4610 0 0 0 263 0 0 0 22 0 1 0 422518142 34107392 2726 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238576 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 8327 2726 336 96 0 4889 0
[pid=20948] ppid=20945 vsize=14592 CPUtime=1.7 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 1080 0 0 0 170 0 0 0 25 0 1 0 422518142 14942208 972 33554432000 4194304 4785740 140734632586832 18446744073709551615 4287153 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 3648 972 340 145 0 693 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1.94 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 194 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134530669 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 522580

[startup+12.7007 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 20949
/proc/meminfo: memFree=17228364/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036448094025678848 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=413952 CPUtime=5.29 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 6910 0 0 0 529 0 0 0 21 0 1 0 422518142 423886848 3644 33554432000 4194304 4587354 140734145857344 18446744073709551615 4357604 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 103488 3644 336 96 0 100050 0
[pid=20948] ppid=20945 vsize=15296 CPUtime=3.6 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 1260 0 0 0 360 0 0 0 25 0 1 0 422518142 15663104 1152 33554432000 4194304 4785740 140734632586832 18446744073709551615 4549056 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 3824 1152 340 145 0 869 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=3.79 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 379 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 903928

[startup+25.5004 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 20949
/proc/meminfo: memFree=17219940/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036446444758237184 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=415504 CPUtime=9.59 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 9103 0 0 0 959 0 0 0 25 0 1 0 422518142 425476096 4101 33554432000 4194304 4587354 140734145857344 18446744073709551615 4357604 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 103876 4101 336 96 0 100438 0
[pid=20948] ppid=20945 vsize=16500 CPUtime=7.84 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 1506 0 0 0 784 0 0 0 25 0 1 0 422518142 16896000 1398 33554432000 4194304 4785740 140734632586832 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 4125 1398 340 145 0 1170 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=8.04 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 804 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 906684

[startup+51.1007 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 20950
/proc/meminfo: memFree=17212600/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447681708818432 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=39672 CPUtime=18.09 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 12710 0 0 0 1808 1 0 0 25 0 1 0 422518142 40624128 4151 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238477 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 9918 4151 336 96 0 6480 0
[pid=20948] ppid=20945 vsize=17728 CPUtime=16.39 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 1824 0 0 0 1639 0 0 0 25 0 1 0 422518142 18153472 1716 33554432000 4194304 4785740 140734632586832 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 4432 1716 340 145 0 1477 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=16.59 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 1659 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528488 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 532080

[startup+102.306 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 20951
/proc/meminfo: memFree=17216296/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036446307319283712 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=45680 CPUtime=35.19 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 19734 0 0 0 3516 3 0 0 25 0 1 0 422518142 46776320 5731 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 11420 5731 336 96 0 7982 0
[pid=20948] ppid=20945 vsize=19592 CPUtime=33.45 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 2224 0 0 0 3345 0 0 0 25 0 1 0 422518142 20062208 2116 33554432000 4194304 4785740 140734632586832 18446744073709551615 4287248 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 4898 2116 341 145 0 1943 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=33.64 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 3364 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 539952

[startup+162.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 20953
/proc/meminfo: memFree=17194952/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036446582197190656 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=54780 CPUtime=55.18 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 25474 0 0 0 5515 3 0 0 25 0 1 0 422518142 56094720 8124 33554432000 4194304 4587354 140734145857344 18446744073709551615 4237665 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 13695 8124 336 96 0 10257 0
[pid=20948] ppid=20945 vsize=21204 CPUtime=53.46 cores=1

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

/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 4602.4
Current children cumulated vsize (KiB) 610676

[startup+4662.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21116
/proc/meminfo: memFree=17145532/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447681708818432 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=97784 CPUtime=1555.25 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 156542 0 0 0 155486 39 0 0 25 0 1 0 422518142 100130816 20527 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238499 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 24446 20527 336 96 0 21008 0
[pid=20948] ppid=20945 vsize=38212 CPUtime=1553.45 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 6510 0 0 0 155345 0 0 0 25 0 1 0 422518142 39129088 6402 33554432000 4194304 4785740 140734632586832 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 9553 6402 341 145 0 6598 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1553.71 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 155371 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528464 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 610676

[startup+4722.31 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21118
/proc/meminfo: memFree=17145352/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447681708818432 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=97784 CPUtime=1575.25 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 156571 0 0 0 157486 39 0 0 25 0 1 0 422518142 100130816 20554 33554432000 4194304 4587354 140734145857344 18446744073709551615 4237681 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 24446 20554 336 96 0 21008 0
[pid=20948] ppid=20945 vsize=38212 CPUtime=1573.46 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 6512 0 0 0 157346 0 0 0 25 0 1 0 422518142 39129088 6404 33554432000 4194304 4785740 140734632586832 18446744073709551615 4287073 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 9553 6404 341 145 0 6598 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1573.7 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 157370 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 610676

[startup+4782.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21119
/proc/meminfo: memFree=17145316/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447681708818432 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=97784 CPUtime=1595.25 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 156571 0 0 0 159486 39 0 0 25 0 1 0 422518142 100130816 20554 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238491 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 24446 20554 336 96 0 21008 0
[pid=20948] ppid=20945 vsize=38212 CPUtime=1593.46 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 6514 0 0 0 159346 0 0 0 25 0 1 0 422518142 39129088 6406 33554432000 4194304 4785740 140734632586832 18446744073709551615 4287076 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 9553 6406 341 145 0 6598 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1593.7 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 159370 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528486 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 610676

[startup+4842.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21121
/proc/meminfo: memFree=17145272/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447681708818432 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=97784 CPUtime=1615.24 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 156571 0 0 0 161485 39 0 0 25 0 1 0 422518142 100130816 20554 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 24446 20554 336 96 0 21008 0
[pid=20948] ppid=20945 vsize=38212 CPUtime=1613.47 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 6531 0 0 0 161347 0 0 0 25 0 1 0 422518142 39129088 6423 33554432000 4194304 4785740 140734632586832 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 9553 6423 341 145 0 6598 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1613.7 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 161370 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528719 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 610676

[startup+4902.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21125
/proc/meminfo: memFree=17144456/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447681708818432 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=97784 CPUtime=1635.24 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 156571 0 0 0 163485 39 0 0 25 0 1 0 422518142 100130816 20554 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238499 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 24446 20554 336 96 0 21008 0
[pid=20948] ppid=20945 vsize=38212 CPUtime=1633.48 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 6531 0 0 0 163348 0 0 0 25 0 1 0 422518142 39129088 6423 33554432000 4194304 4785740 140734632586832 18446744073709551615 4286919 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 9553 6423 341 145 0 6598 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1633.7 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 163370 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528842 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 610676

[startup+4962.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21127
/proc/meminfo: memFree=17133896/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447819147771904 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=97784 CPUtime=1655.24 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 156571 0 0 0 165485 39 0 0 25 0 1 0 422518142 100130816 20554 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 24446 20554 336 96 0 21008 0
[pid=20948] ppid=20945 vsize=38404 CPUtime=1653.48 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 6570 0 0 0 165348 0 0 0 25 0 1 0 422518142 39325696 6462 33554432000 4194304 4785740 140734632586832 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 9601 6462 341 145 0 6646 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1653.69 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 165369 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 610868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21128
/proc/meminfo: memFree=17136592/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447819147771904 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=474736 CPUtime=1667.74 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 156601 0 0 0 166735 39 0 0 25 0 1 0 422518142 486129664 20583 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 118684 20583 336 96 0 115246 0
[pid=20948] ppid=20945 vsize=38404 CPUtime=1666.03 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 6570 0 0 0 166603 0 0 0 25 0 1 0 422518142 39325696 6462 33554432000 4194304 4785740 140734632586832 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 9601 6462 341 145 0 6646 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1666.25 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 166625 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 987820

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: 6.00 6.00 6.00 7/184 21128
/proc/meminfo: memFree=17136592/32951124 swapFree=67111528/67111528
[pid=20945] ppid=20943 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/20945/stat : 20945 (ppfolio) S 20943 20945 19974 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 422518141 18763776 394 33554432000 4194304 4287625 140734110575104 18446744073709551615 228095471119 0 0 4096 65536 15036447819147771904 0 0 17 7 0 0 0
/proc/20945/statm: 4581 394 345 23 0 91 0
[pid=20947] ppid=20945 vsize=474736 CPUtime=1667.74 cores=1
/proc/20947/stat : 20947 (cryptominisat) R 20945 20945 19974 0 -1 4202496 156601 0 0 0 166735 39 0 0 25 0 1 0 422518142 486129664 20583 33554432000 4194304 4587354 140734145857344 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20947/statm: 118684 20583 336 96 0 115246 0
[pid=20948] ppid=20945 vsize=38404 CPUtime=1666.03 cores=1
/proc/20948/stat : 20948 (clasp) R 20945 20945 19974 0 -1 4202496 6570 0 0 0 166603 0 0 0 25 0 1 0 422518142 39325696 6462 33554432000 4194304 4785740 140734632586832 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20948/statm: 9601 6462 341 145 0 6646 0
[pid=20949] ppid=20945 vsize=456356 CPUtime=1666.25 cores=1
/proc/20949/stat : 20949 (TNM) R 20945 20945 19974 0 -1 4202496 478 0 0 0 166625 0 0 0 25 0 1 0 422518142 467308544 375 33554432000 134512640 134534564 4287618240 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20949/statm: 114089 375 95 6 0 112755 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 987820

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 4999.91
CPU time (s): 5000.02
CPU user time (s): 4999.63
CPU system time (s): 0.39
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2347868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.000999
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= 273
involuntary context switches= 4

runsolver used 8.34573 second user time and 18.1002 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-20 14:03:47
IDJOB=3222214
IDBENCH=83052
IDSOLVER=1639
FILE ID=node142/3222214-1303301027
RUNJOBID= node142-1303289375-19993
PBS_JOBID= 13049603
Free space on /tmp= 70992 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3222214-1303301027/watcher-3222214-1303301027 -o /tmp/evaluation-result-3222214-1303301027/solver-3222214-1303301027 -C 5000 -W 5000 -M 15500  ppfolio --nbcore=1 HOME/instance-3222214-1303301027.cnf

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

MD5SUM BENCH= 1e7a565e93334fc4a75fcaa13a0d446a
RANDOM SEED=815384361

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17246980 kB
Buffers:        727356 kB
Cached:       14461636 kB
SwapCached:          0 kB
Active:        3806312 kB
Inactive:     11522556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17246980 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10148 kB
Writeback:           0 kB
AnonPages:      139600 kB
Mapped:          16436 kB
Slab:           310428 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2524620 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= 70984 MiB
End job on node142 at 2011-04-20 15:27:09