Trace number 3264506

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? (MO) 1267.31 1267.31

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
MD5SUM287d3b23c6f72107e24ae4186653564e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark950.907
Satisfiable
(Un)Satisfiability was proved
Number of variables1124
Number of clauses13289
Sum of the clauses size40148
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 313008
Number of clauses of size 4281
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

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

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-3264506-1303548125/watcher-3264506-1303548125 -o /tmp/evaluation-result-3264506-1303548125/solver-3264506-1303548125 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3264506-1303548125.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: 3.52 6.21 8.42 12/202 15333
/proc/meminfo: memFree=11928112/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=8428 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4194304 102 0 0 0 0 0 0 0 25 0 1 0 466410380 8630272 54 33554432000 4194304 4287625 140737268132944 18446744073709551615 271545613959 0 2147483391 4096 0 18446744071700215955 0 0 17 1 0 0 0
/proc/15333/statm: 2107 54 41 23 0 44 0

[startup+0.0235209 s]
/proc/loadavg: 3.52 6.21 8.42 12/202 15333
/proc/meminfo: memFree=11928112/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=8428 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4194304 102 0 0 0 0 0 0 0 25 0 1 0 466410380 8630272 54 33554432000 4194304 4287625 140737268132944 18446744073709551615 271545613959 0 2147483391 4096 0 18446744071700215955 0 0 17 1 0 0 0
/proc/15333/statm: 2107 54 41 23 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8428

[startup+0.100507 s]
/proc/loadavg: 3.52 6.21 8.42 12/202 15333
/proc/meminfo: memFree=11928112/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 498 0 0 0 0 0 0 0 25 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 4605872354990457096 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.30047 s]
/proc/loadavg: 3.52 6.21 8.42 12/202 15333
/proc/meminfo: memFree=11928112/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 24 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700397 s]
/proc/loadavg: 3.52 6.21 8.42 12/202 15333
/proc/meminfo: memFree=11928112/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 21 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600788155902459904 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50025 s]
/proc/loadavg: 3.52 6.21 8.42 13/206 15337
/proc/meminfo: memFree=11914564/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600786369196064768 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1968004 CPUtime=0.99 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 2714 0 0 0 99 0 0 0 19 0 1 0 466410384 2015236096 1359 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 492001 1359 327 96 0 488563 0
[pid=15336] ppid=15333 vsize=14360 CPUtime=0.14 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 1066 0 0 0 14 0 0 0 24 0 1 0 466410384 14704640 922 33554432000 4194304 4785740 140733382280928 18446744073709551615 271550196149 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 3590 922 340 145 0 635 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=0.3 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 30 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134528330 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 2457328

[startup+3.10097 s]
/proc/loadavg: 3.52 6.21 8.42 13/206 15367
/proc/meminfo: memFree=11913548/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600786644073971712 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1967728 CPUtime=1.57 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 3239 0 0 0 157 0 0 0 20 0 1 0 466410384 2014953472 1459 33554432000 4194304 4587354 140734566654944 18446744073709551615 4236606 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 491932 1459 331 96 0 488494 0
[pid=15336] ppid=15333 vsize=15284 CPUtime=0.64 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 1319 0 0 0 64 0 0 0 25 0 1 0 466410384 15650816 1175 33554432000 4194304 4785740 140733382280928 18446744073709551615 4286973 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 3821 1175 340 145 0 866 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=0.82 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 82 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134530832 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 2457976

[startup+6.30038 s]
/proc/loadavg: 4.20 6.31 8.44 13/206 15367
/proc/meminfo: memFree=11898052/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600786781512925184 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1969652 CPUtime=2.59 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 4454 0 0 0 259 0 0 0 22 0 1 0 466410384 2016923648 2028 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 492413 2028 337 96 0 488975 0
[pid=15336] ppid=15333 vsize=16076 CPUtime=1.74 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 1523 0 0 0 174 0 0 0 25 0 1 0 466410384 16461824 1379 33554432000 4194304 4785740 140733382280928 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 4019 1379 340 145 0 1064 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=1.9 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 190 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 2460692

[startup+12.7002 s]
/proc/loadavg: 4.83 6.40 8.46 13/206 15367
/proc/meminfo: memFree=11872660/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787056390832128 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1978364 CPUtime=4.78 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 7843 0 0 0 477 1 0 0 25 0 1 0 466410384 2025844736 4142 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 494591 4142 337 96 0 491153 0
[pid=15336] ppid=15333 vsize=17012 CPUtime=3.84 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 1761 0 0 0 384 0 0 0 25 0 1 0 466410384 17420288 1617 33554432000 4194304 4785740 140733382280928 18446744073709551615 4278129 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 4253 1617 340 145 0 1298 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=4.02 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 402 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134528832 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 2470340

[startup+25.5009 s]
/proc/loadavg: 6.41 6.68 8.51 13/206 15367
/proc/meminfo: memFree=11857872/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787056390832128 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1981968 CPUtime=8.99 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 11247 0 0 0 898 1 0 0 25 0 1 0 466410384 2029535232 5092 33554432000 4194304 4587354 140734566654944 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 495492 5092 337 96 0 492054 0
[pid=15336] ppid=15333 vsize=18372 CPUtime=8.14 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 2061 0 0 0 814 0 0 0 25 0 1 0 466410384 18812928 1917 33554432000 4194304 4785740 140733382280928 18446744073709551615 4553440 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 4593 1917 340 145 0 1638 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=8.31 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 831 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134530549 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 2475304

[startup+51.1002 s]
/proc/loadavg: 8.32 7.10 8.60 13/206 15368
/proc/meminfo: memFree=11835236/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600788293341413376 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1977804 CPUtime=17.58 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 15258 0 0 0 1756 2 0 0 25 0 1 0 466410384 2025271296 6043 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238392 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 494451 6043 337 96 0 491013 0
[pid=15336] ppid=15333 vsize=20620 CPUtime=16.64 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 2604 0 0 0 1664 0 0 0 25 0 1 0 466410384 21114880 2460 33554432000 4194304 4785740 140733382280928 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 5155 2460 340 145 0 2200 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=16.82 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 1682 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 2473388

[startup+102.307 s]
/proc/loadavg: 10.40 7.86 8.78 13/206 15369
/proc/meminfo: memFree=11801640/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600786918951878656 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1993168 CPUtime=34.59 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 21077 0 0 0 3456 3 0 0 25 0 1 0 466410384 2041004032 7907 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238719 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 498292 7907 337 96 0 494854 0
[pid=15336] ppid=15333 vsize=22960 CPUtime=33.73 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 3168 0 0 0 3373 0 0 0 25 0 1 0 466410384 23511040 3024 33554432000 4194304 4785740 140733382280928 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 5740 3024 340 145 0 2785 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=33.91 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 3391 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134530166 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 2491092

[startup+162.301 s]
/proc/loadavg: 11.48 8.62 8.98 13/206 15371
/proc/meminfo: memFree=11776192/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787468707692544 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1987280 CPUtime=54.59 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 25763 0 0 0 5455 4 0 0 25 0 1 0 466410384 2034974720 7677 33554432000 4194304 4587354 140734566654944 18446744073709551615 4237695 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 496820 7677 337 96 0 493382 0
[pid=15336] ppid=15333 vsize=24980 CPUtime=53.73 cores=1

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

[startup+882.301 s]
/proc/loadavg: 12.13 11.74 10.62 13/206 15390
/proc/meminfo: memFree=11679024/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787331268739072 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1995372 CPUtime=294.65 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 100562 0 0 0 29444 21 0 0 25 0 1 0 466410384 2043260928 7368 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 498843 7368 337 96 0 495405 0
[pid=15336] ppid=15333 vsize=34656 CPUtime=293.74 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 5913 0 0 0 29373 1 0 0 25 0 1 0 466410384 35487744 5769 33554432000 4194304 4785740 140733382280928 18446744073709551615 4286941 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 8664 5769 340 145 0 5709 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=293.87 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 29387 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 2504992

[startup+942.301 s]
/proc/loadavg: 12.09 11.80 10.70 13/206 15392
/proc/meminfo: memFree=11665852/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787468707692544 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=1993292 CPUtime=314.64 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 105296 0 0 0 31441 23 0 0 25 0 1 0 466410384 2041131008 8760 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238491 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 498323 8760 337 96 0 494885 0
[pid=15336] ppid=15333 vsize=35940 CPUtime=313.75 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 6171 0 0 0 31374 1 0 0 25 0 1 0 466410384 36802560 6027 33554432000 4194304 4785740 140733382280928 18446744073709551615 4553288 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 8985 6027 340 145 0 6030 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=313.87 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 31387 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 2504196

[startup+1002.3 s]
/proc/loadavg: 12.08 11.85 10.79 13/206 15393
/proc/meminfo: memFree=11657760/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600786781512925184 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=2004960 CPUtime=334.64 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 112910 0 0 0 33440 24 0 0 25 0 1 0 466410384 2053079040 9546 33554432000 4194304 4587354 140734566654944 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 501240 9546 337 96 0 497802 0
[pid=15336] ppid=15333 vsize=36748 CPUtime=333.76 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 6355 0 0 0 33375 1 0 0 25 0 1 0 466410384 37629952 6211 33554432000 4194304 4785740 140733382280928 18446744073709551615 4553001 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 9187 6211 340 145 0 6232 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=333.87 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 33387 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 2516672

[startup+1062.3 s]
/proc/loadavg: 12.03 11.88 10.86 13/206 15395
/proc/meminfo: memFree=11644356/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=2001352 CPUtime=354.64 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 117691 0 0 0 35438 26 0 0 25 0 1 0 466410384 2049384448 10735 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238683 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 500338 10735 337 96 0 496900 0
[pid=15336] ppid=15333 vsize=37408 CPUtime=353.76 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 6527 0 0 0 35375 1 0 0 25 0 1 0 466410384 38305792 6383 33554432000 4194304 4785740 140733382280928 18446744073709551615 4549596 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 9352 6383 340 145 0 6397 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=353.87 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 35387 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 2513724

[startup+1122.3 s]
/proc/loadavg: 12.01 11.89 10.93 13/206 15397
/proc/meminfo: memFree=11631436/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787468707692544 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=2001624 CPUtime=374.63 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 122331 0 0 0 37436 27 0 0 25 0 1 0 466410384 2049662976 11854 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 500406 11854 337 96 0 496968 0
[pid=15336] ppid=15333 vsize=38068 CPUtime=373.77 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 6676 0 0 0 37376 1 0 0 25 0 1 0 466410384 38981632 6532 33554432000 4194304 4785740 140733382280928 18446744073709551615 4287595 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 9517 6532 340 145 0 6562 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=373.86 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 37386 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 2514656

[startup+1182.3 s]
/proc/loadavg: 12.00 11.91 10.99 13/206 15407
/proc/meminfo: memFree=11663776/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787606146646016 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=3852164 CPUtime=394.64 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 127850 0 0 0 39435 29 0 0 25 0 1 0 466410384 3944615936 10085 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238421 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 963041 10085 337 96 0 959603 0
[pid=15336] ppid=15333 vsize=38280 CPUtime=393.78 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 6696 0 0 0 39377 1 0 0 25 0 1 0 466410384 39198720 6552 33554432000 4194304 4785740 140733382280928 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 9570 6552 340 145 0 6615 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=393.86 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 39386 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 4365408

[startup+1242.3 s]
/proc/loadavg: 12.00 11.92 11.05 13/206 15409
/proc/meminfo: memFree=11680380/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787606146646016 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=3852220 CPUtime=414.63 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 132414 0 0 0 41434 29 0 0 25 0 1 0 466410384 3944673280 10879 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238481 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 963055 10879 337 96 0 959617 0
[pid=15336] ppid=15333 vsize=39176 CPUtime=413.78 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 6898 0 0 0 41377 1 0 0 25 0 1 0 466410384 40116224 6754 33554432000 4194304 4785740 140733382280928 18446744073709551615 4550305 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 9794 6754 340 145 0 6839 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=413.86 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 41386 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 4366360



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1267.3 s]
/proc/loadavg: 12.00 11.93 11.08 13/206 15410
/proc/meminfo: memFree=11667588/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787743585599488 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=3852276 CPUtime=422.95 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 134685 0 0 0 42265 30 0 0 25 0 1 0 466410384 3944730624 9371 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 963069 9371 337 96 0 959631 0
[pid=15336] ppid=15333 vsize=39432 CPUtime=422.08 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 6949 0 0 0 42207 1 0 0 25 0 1 0 466410384 40378368 6805 33554432000 4194304 4785740 140733382280928 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 9858 6805 340 145 0 6903 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=422.25 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 42225 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134530309 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 1267.28
Current children cumulated vsize (KiB) 4366672

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

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

[startup+1267.3 s]
/proc/loadavg: 12.00 11.93 11.08 13/206 15410
/proc/meminfo: memFree=11667588/32951124 swapFree=67111528/67111528
[pid=15333] ppid=15331 vsize=18324 CPUtime=0 cores=1,3
/proc/15333/stat : 15333 (ppfolio) S 15331 15333 13829 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 466410380 18763776 394 33554432000 4194304 4287625 140737268132944 18446744073709551615 271550557711 0 0 4096 65536 3600787743585599488 0 0 17 3 0 0 0
/proc/15333/statm: 4581 394 345 23 0 91 0
[pid=15335] ppid=15333 vsize=3852276 CPUtime=422.95 cores=1
/proc/15335/stat : 15335 (cryptominisat) R 15333 15333 13829 0 -1 4202496 134685 0 0 0 42265 30 0 0 25 0 1 0 466410384 3944730624 9371 33554432000 4194304 4587354 140734566654944 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15335/statm: 963069 9371 337 96 0 959631 0
[pid=15336] ppid=15333 vsize=39432 CPUtime=422.08 cores=1
/proc/15336/stat : 15336 (clasp) R 15333 15333 13829 0 -1 4202496 6949 0 0 0 42207 1 0 0 25 0 1 0 466410384 40378368 6805 33554432000 4194304 4785740 140733382280928 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/15336/statm: 9858 6805 340 145 0 6903 0
[pid=15337] ppid=15333 vsize=456640 CPUtime=422.25 cores=1
/proc/15337/stat : 15337 (TNM) R 15333 15333 13829 0 -1 4202496 660 0 0 0 42225 0 0 0 25 0 1 0 466410384 467599360 557 33554432000 134512640 134534564 4292015616 18446744073709551615 134530309 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15337/statm: 114160 557 95 6 0 112826 0
Current children cumulated CPU time (s) 1267.28
Current children cumulated vsize (KiB) 4366672

Child status: 0
Real time (s): 1267.31
CPU time (s): 1267.31
CPU user time (s): 1266.99
CPU system time (s): 0.321951
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 8170424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1266.99
system time used= 0.321951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142827
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= 260
involuntary context switches= 14360

runsolver used 2.11168 second user time and 4.82027 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-23 10:42:05
IDJOB=3264506
IDBENCH=84643
IDSOLVER=1613
FILE ID=node133/3264506-1303548125
RUNJOBID= node133-1303548124-15224
PBS_JOBID= 13143105
Free space on /tmp= 71596 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT04/handmade/connamacher/connm-d-0.02/connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264506-1303548125/watcher-3264506-1303548125 -o /tmp/evaluation-result-3264506-1303548125/solver-3264506-1303548125 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3264506-1303548125.cnf

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

MD5SUM BENCH= 287d3b23c6f72107e24ae4186653564e
RANDOM SEED=615793838

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.834
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.834
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	: 6741.12
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.834
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.74
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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.74
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.834
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:      11928144 kB
Buffers:       2160328 kB
Cached:       18220104 kB
SwapCached:          0 kB
Active:        8996888 kB
Inactive:     11464940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11928144 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           40868 kB
Writeback:          48 kB
AnonPages:       80400 kB
Mapped:          17816 kB
Slab:           497688 kB
PageTables:       5964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1656764 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71588 MiB
End job on node133 at 2011-04-23 11:03:12