Trace number 3289767

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) 1300 1300.01

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
MD5SUMe6407843d1fbd00b68d4ad600a25dfb2
Bench CategoryAPPLICATION (applications 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 variables48639
Number of clauses162901
Sum of the clauses size415741
Maximum clause length1542
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 283161
Number of clauses of size 378900
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5590

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-3289767-1303775623/watcher-3289767-1303775623 -o /tmp/evaluation-result-3289767-1303775623/solver-3289767-1303775623 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3289767-1303775623.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 1.70 2.79 7/195 25152
/proc/meminfo: memFree=18310028/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0 cores=1,3
/proc/25152/stat : 25152 (ppfolio) R 25150 25152 22378 0 -1 4202496 484 0 0 0 0 0 0 0 22 0 1 0 489165048 18763776 391 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634335637 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/25152/statm: 4581 391 343 23 0 91 0

[startup+0.0337721 s]
/proc/loadavg: 0.85 1.70 2.79 7/195 25152
/proc/meminfo: memFree=18310028/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 23 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18324

[startup+0.10076 s]
/proc/loadavg: 0.85 1.70 2.79 7/195 25152
/proc/meminfo: memFree=18310028/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 23 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 3910848901631967232 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18324

[startup+0.300722 s]
/proc/loadavg: 0.85 1.70 2.79 7/195 25152
/proc/meminfo: memFree=18310028/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 23 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 3910848901631967232 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18324

[startup+0.70065 s]
/proc/loadavg: 0.85 1.70 2.79 7/195 25152
/proc/meminfo: memFree=18310028/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 23 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 3910848901631967232 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18324

[startup+1.50051 s]
/proc/loadavg: 1.42 1.81 2.81 9/198 25156
/proc/meminfo: memFree=18217376/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 23 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 3910848901631967232 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=41784 CPUtime=0.77 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 5128 0 0 0 77 0 0 0 25 0 1 0 489165048 42786816 4921 33554432000 4194304 4587354 140733964835600 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 10446 4921 306 96 0 7008 0
[pid=25154] ppid=25152 vsize=40516 CPUtime=0.69 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 9481 0 0 0 68 1 0 0 25 0 1 0 489165048 41488384 7312 33554432000 4194304 4785740 140733927543152 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 10129 7312 340 145 0 7174 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 100624

[startup+3.10023 s]
/proc/loadavg: 1.42 1.81 2.81 9/198 25156
/proc/meminfo: memFree=18172364/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=69704 CPUtime=1.57 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 15998 0 0 0 156 1 0 0 25 0 1 0 489165048 71376896 12072 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 17426 12072 330 96 0 13988 0
[pid=25154] ppid=25152 vsize=40516 CPUtime=1.49 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 9484 0 0 0 148 1 0 0 25 0 1 0 489165048 41488384 7315 33554432000 4194304 4785740 140733927543152 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 10129 7315 340 145 0 7174 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 128544

[startup+6.30066 s]
/proc/loadavg: 1.42 1.81 2.81 9/198 25156
/proc/meminfo: memFree=18129708/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=69704 CPUtime=3.17 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 16544 0 0 0 315 2 0 0 25 0 1 0 489165048 71376896 12606 33554432000 4194304 4587354 140733964835600 18446744073709551615 4241080 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 17426 12606 330 96 0 13988 0
[pid=25154] ppid=25152 vsize=41868 CPUtime=3.09 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 9847 0 0 0 308 1 0 0 25 0 1 0 489165048 42872832 7678 33554432000 4194304 4785740 140733927543152 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 10467 7678 340 145 0 7512 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 129896

[startup+12.7005 s]
/proc/loadavg: 2.43 2.01 2.87 9/198 25156
/proc/meminfo: memFree=18097376/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1744680 CPUtime=6.37 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 19384 0 0 0 634 3 0 0 25 0 1 0 489165048 1786552320 12716 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 436170 12716 333 96 0 432732 0
[pid=25154] ppid=25152 vsize=49864 CPUtime=6.29 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 11864 0 0 0 628 1 0 0 25 0 1 0 489165048 51060736 9695 33554432000 4194304 4785740 140733927543152 18446744073709551615 4416798 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 12466 9695 340 145 0 9511 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1812868

[startup+25.5003 s]
/proc/loadavg: 3.29 2.21 2.92 9/198 25156
/proc/meminfo: memFree=18031792/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1729356 CPUtime=12.77 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 24950 0 0 0 1273 4 0 0 25 0 1 0 489165048 1770860544 15271 33554432000 4194304 4587354 140733964835600 18446744073709551615 216634170571 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 432339 15271 336 96 0 428901 0
[pid=25154] ppid=25152 vsize=55012 CPUtime=12.69 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 13119 0 0 0 1267 2 0 0 25 0 1 0 489165048 56332288 10950 33554432000 4194304 4785740 140733927543152 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 13753 10950 340 145 0 10798 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1802692

[startup+51.1008 s]
/proc/loadavg: 4.97 2.69 3.06 9/198 25157
/proc/meminfo: memFree=17960200/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1724912 CPUtime=25.57 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 31927 0 0 0 2552 5 0 0 25 0 1 0 489165048 1766309888 16962 33554432000 4194304 4587354 140733964835600 18446744073709551615 4244609 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 431228 16962 336 96 0 427790 0
[pid=25154] ppid=25152 vsize=64968 CPUtime=25.48 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 15550 0 0 0 2546 2 0 0 25 0 1 0 489165048 66527232 13381 33554432000 4194304 4785740 140733927543152 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 16242 13381 340 145 0 13287 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1808204

[startup+102.307 s]
/proc/loadavg: 6.79 3.58 3.34 9/198 25158
/proc/meminfo: memFree=17870740/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1756588 CPUtime=51.19 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 44487 0 0 0 5111 8 0 0 25 0 1 0 489165048 1798746112 23211 33554432000 4194304 4587354 140733964835600 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 439147 23211 336 96 0 435709 0
[pid=25154] ppid=25152 vsize=92508 CPUtime=51.09 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 22348 0 0 0 5105 4 0 0 25 0 1 0 489165048 94728192 20179 33554432000 4194304 4785740 140733927543152 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 23127 20179 340 145 0 20172 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1867420

[startup+162.301 s]
/proc/loadavg: 7.55 4.38 3.63 9/198 25160
/proc/meminfo: memFree=17818864/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1789164 CPUtime=81.18 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 50520 0 0 0 8109 9 0 0 25 0 1 0 489165048 1832103936 22600 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238692 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 447291 22600 336 96 0 443853 0
[pid=25154] ppid=25152 vsize=96424 CPUtime=81.09 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 23276 0 0 0 8105 4 0 0 25 0 1 0 489165048 98738176 21107 33554432000 4194304 4785740 140733927543152 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 24106 21107 340 145 0 21151 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1903912

[startup+222.301 s]
/proc/loadavg: 7.83 5.04 3.90 9/198 25161
/proc/meminfo: memFree=17813120/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1755956 CPUtime=111.18 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 56819 0 0 0 11108 10 0 0 25 0 1 0 489165048 1798098944 24994 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 438989 24994 336 96 0 435551 0
[pid=25154] ppid=25152 vsize=101628 CPUtime=111.09 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 24577 0 0 0 11105 4 0 0 25 0 1 0 489165048 104067072 22408 33554432000 4194304 4785740 140733927543152 18446744073709551615 4553344 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 25407 22408 340 145 0 22452 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1875908

[startup+282.301 s]

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

/proc/meminfo: memFree=17420400/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1768400 CPUtime=381.15 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 120638 0 0 0 38089 26 0 0 25 0 1 0 489165048 1810841600 22257 33554432000 4194304 4587354 140733964835600 18446744073709551615 4237674 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 442100 22257 336 96 0 438662 0
[pid=25154] ppid=25152 vsize=163292 CPUtime=381.14 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 39553 0 0 0 38104 10 0 0 25 0 1 0 489165048 167211008 37384 33554432000 4194304 4785740 140733927543152 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 40823 37384 340 145 0 37868 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 1950016

[startup+822.301 s]
/proc/loadavg: 8.00 7.61 5.85 9/198 25189
/proc/meminfo: memFree=17423092/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1739060 CPUtime=411.15 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 128797 0 0 0 41087 28 0 0 25 0 1 0 489165048 1780797440 22078 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 434765 22078 336 96 0 431327 0
[pid=25154] ppid=25152 vsize=171396 CPUtime=411.13 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 41593 0 0 0 41102 11 0 0 25 0 1 0 489165048 175509504 39424 33554432000 4194304 4785740 140733927543152 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 42849 39424 340 145 0 39894 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 1928780

[startup+882.301 s]
/proc/loadavg: 8.06 7.69 5.98 9/198 25191
/proc/meminfo: memFree=17396520/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1745948 CPUtime=441.16 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 134659 0 0 0 44085 31 0 0 25 0 1 0 489165048 1787850752 22078 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238252 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 436487 22078 336 96 0 433049 0
[pid=25154] ppid=25152 vsize=172460 CPUtime=441.13 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 41841 0 0 0 44102 11 0 0 25 0 1 0 489165048 176599040 39672 33554432000 4194304 4785740 140733927543152 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 43115 39672 340 145 0 40160 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1936732

[startup+942.301 s]
/proc/loadavg: 8.02 7.75 6.11 9/198 25193
/proc/meminfo: memFree=17410480/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1789496 CPUtime=471.16 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 140437 0 0 0 47084 32 0 0 25 0 1 0 489165048 1832443904 26186 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 447374 26186 336 96 0 443936 0
[pid=25154] ppid=25152 vsize=172460 CPUtime=471.12 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 41843 0 0 0 47101 11 0 0 25 0 1 0 489165048 176599040 39674 33554432000 4194304 4785740 140733927543152 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 43115 39674 340 145 0 40160 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 1980280

[startup+1002.3 s]
/proc/loadavg: 8.11 7.82 6.23 8/197 25194
/proc/meminfo: memFree=17516604/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1750812 CPUtime=501.17 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 146002 0 0 0 50083 34 0 0 25 0 1 0 489165048 1792831488 24452 33554432000 4194304 4587354 140733964835600 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 437703 24452 336 96 0 434265 0
[pid=25154] ppid=25152 vsize=172460 CPUtime=501.12 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 41855 0 0 0 50101 11 0 0 25 0 1 0 489165048 176599040 39686 33554432000 4194304 4785740 140733927543152 18446744073709551615 4287055 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 43115 39686 340 145 0 40160 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1941596

[startup+1062.3 s]
/proc/loadavg: 7.41 7.67 6.28 8/197 25196
/proc/meminfo: memFree=17546452/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1728532 CPUtime=531.18 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 150310 0 0 0 53082 36 0 0 25 0 1 0 489165048 1770016768 22078 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 432133 22078 336 96 0 428695 0
[pid=25154] ppid=25152 vsize=172460 CPUtime=531.11 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 41866 0 0 0 53100 11 0 0 25 0 1 0 489165048 176599040 39697 33554432000 4194304 4785740 140733927543152 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 43115 39697 340 145 0 40160 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1919316

[startup+1122.3 s]
/proc/loadavg: 7.15 7.54 6.32 8/197 25197
/proc/meminfo: memFree=17488384/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 2072181652846542848 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1766648 CPUtime=561.18 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 168679 0 0 0 56078 40 0 0 25 0 1 0 489165048 1809047552 29285 33554432000 4194304 4587354 140733964835600 18446744073709551615 4238668 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 441662 29285 336 96 0 438224 0
[pid=25154] ppid=25152 vsize=172460 CPUtime=561.11 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 41868 0 0 0 56100 11 0 0 25 0 1 0 489165048 176599040 39699 33554432000 4194304 4785740 140733927543152 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 43115 39699 340 145 0 40160 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1957432

[startup+1182.3 s]
/proc/loadavg: 7.05 7.44 6.36 8/197 25199
/proc/meminfo: memFree=17456344/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1752772 CPUtime=591.19 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 172165 0 0 0 59077 42 0 0 25 0 1 0 489165048 1794838528 25456 33554432000 4194304 4587354 140733964835600 18446744073709551615 4228773 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 438193 25456 336 96 0 434755 0
[pid=25154] ppid=25152 vsize=172460 CPUtime=591.1 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 41874 0 0 0 59099 11 0 0 25 0 1 0 489165048 176599040 39705 33554432000 4194304 4785740 140733927543152 18446744073709551615 4286941 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 43115 39705 340 145 0 40160 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1943556

[startup+1242.3 s]
/proc/loadavg: 7.02 7.36 6.40 8/197 25201
/proc/meminfo: memFree=17471428/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1749544 CPUtime=621.2 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 178896 0 0 0 62075 45 0 0 25 0 1 0 489165048 1791533056 23855 33554432000 4194304 4587354 140733964835600 18446744073709551615 4239575 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 437386 23855 336 96 0 433948 0
[pid=25154] ppid=25152 vsize=172460 CPUtime=621.1 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 41880 0 0 0 62099 11 0 0 25 0 1 0 489165048 176599040 39711 33554432000 4194304 4785740 140733927543152 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 43115 39711 340 145 0 40160 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1940328



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 7.00 7.30 6.43 3/186 25205
/proc/meminfo: memFree=18163280/32951124 swapFree=67111528/67111528
[pid=25152] ppid=25150 vsize=18324 CPUtime=0.01 cores=1,3
/proc/25152/stat : 25152 (ppfolio) S 25150 25152 22378 0 -1 4202496 501 1194 0 0 0 0 0 1 15 0 1 0 489165048 18763776 394 33554432000 4194304 4287625 140735475335584 18446744073709551615 216634535439 0 0 4096 65536 4294934788 0 0 17 3 0 0 0
/proc/25152/statm: 4581 394 346 23 0 91 0
[pid=25153] ppid=25152 vsize=1768960 CPUtime=650 cores=1
/proc/25153/stat : 25153 (cryptominisat) R 25152 25152 22378 0 -1 4202496 186299 0 0 0 64953 47 0 0 25 0 1 0 489165048 1811415040 29655 33554432000 4194304 4587354 140733964835600 18446744073709551615 4241232 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25153/statm: 442240 29655 336 96 0 438802 0
[pid=25154] ppid=25152 vsize=175144 CPUtime=649.99 cores=1
/proc/25154/stat : 25154 (clasp) R 25152 25152 22378 0 -1 4202496 42533 0 0 0 64988 11 0 0 25 0 1 0 489165048 179347456 40364 33554432000 4194304 4785740 140733927543152 18446744073709551615 4286941 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25154/statm: 43786 40364 340 145 0 40831 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 1962428

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1300
CPU user time (s): 1299.41
CPU system time (s): 0.59
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 3603920

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

runsolver used 2.10668 second user time and 4.99824 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-26 01:53:44
IDJOB=3289767
IDBENCH=83135
IDSOLVER=1613
FILE ID=node103/3289767-1303775623
RUNJOBID= node103-1303775621-25102
PBS_JOBID= 13157156
Free space on /tmp= 70932 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289767-1303775623/watcher-3289767-1303775623 -o /tmp/evaluation-result-3289767-1303775623/solver-3289767-1303775623 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3289767-1303775623.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= e6407843d1fbd00b68d4ad600a25dfb2
RANDOM SEED=2097334244

node103.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.858
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.71
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.858
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.858
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.75
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.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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:      18310308 kB
Buffers:       2125240 kB
Cached:       11727852 kB
SwapCached:          0 kB
Active:        4580144 kB
Inactive:      9478832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18310308 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           63364 kB
Writeback:           0 kB
AnonPages:      205356 kB
Mapped:          16360 kB
Slab:           515856 kB
PageTables:       5576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   419440 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= 70940 MiB
End job on node103 at 2011-04-26 02:15:26