Trace number 3221445

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 parUNSAT 87.9356 11.0074

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf
MD5SUMe887a746d13f48cfc0f8cc23df918189
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.8693
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 8 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	[4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00	[5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 1
0.00/0.00	Starting TNM 2009 on core(s) 2
0.00/0.00	Starting march_hi 2009 on core(s) 3
0.00/0.00	Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7
87.09/11.00	s UNSATISFIABLE
87.90/11.00	solver [4] march_hi 2009 answered
87.90/11.00	Done

Verifier Data 

No possible verification on an UNSAT instance

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-3221445-1304161614/watcher-3221445-1304161614 -o /tmp/evaluation-result-3221445-1304161614/solver-3221445-1304161614 -C 40000 -W 5000 -M 31000 ppfolio HOME/instance-3221445-1304161614.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.21 7.87 7.95 2/170 12547
/proc/meminfo: memFree=23005048/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) R 12545 12547 12397 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 0 0 0 17 0 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0

[startup+0.0174531 s]
/proc/loadavg: 7.21 7.87 7.95 2/170 12547
/proc/meminfo: memFree=23005048/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 4594393453596508159 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.118436 s]
/proc/loadavg: 7.21 7.87 7.95 2/170 12547
/proc/meminfo: memFree=23005048/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) R 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473967360 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.316252 s]
/proc/loadavg: 7.21 7.87 7.95 2/170 12547
/proc/meminfo: memFree=23005048/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) R 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700334 s]
/proc/loadavg: 7.21 7.87 7.95 2/170 12547
/proc/meminfo: memFree=23005048/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) R 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 23 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50119 s]
/proc/loadavg: 7.44 7.91 7.96 9/180 12562
/proc/meminfo: memFree=22989948/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 17 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 4594393453596508159 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
[pid=12548] ppid=12547 vsize=1472240 CPUtime=1.48 cores=0
/proc/12548/stat : 12548 (cryptominisat) R 12547 12547 12397 0 -1 4202496 2991 0 0 0 148 0 0 0 20 0 1 0 527761030 1507573760 2053 33554432000 4194304 4587354 140736481350336 18446744073709551615 4237665 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12548/statm: 368060 2053 337 96 0 364622 0
[pid=12549] ppid=12547 vsize=13624 CPUtime=1.49 cores=1
/proc/12549/stat : 12549 (clasp) R 12547 12547 12397 0 -1 4202496 874 0 0 0 149 0 0 0 20 0 1 0 527761030 13950976 763 33554432000 4194304 4785740 140734427590096 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12549/statm: 3406 763 340 145 0 451 0
[pid=12550] ppid=12547 vsize=455840 CPUtime=1.49 cores=2
/proc/12550/stat : 12550 (TNM) R 12547 12547 12397 0 -1 4202496 313 0 0 0 149 0 0 0 25 0 1 0 527761030 466780160 210 33554432000 134512640 134534564 4290708528 18446744073709551615 134528633 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12550/statm: 113960 210 95 6 0 112626 0
[pid=12551] ppid=12547 vsize=7304 CPUtime=1.49 cores=3
/proc/12551/stat : 12551 (march_hi) R 12547 12547 12397 0 -1 4202496 474 0 0 0 149 0 0 0 20 0 1 0 527761030 7479296 367 33554432000 4194304 4331988 140734971427840 18446744073709551615 4211480 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12551/statm: 1826 367 172 34 0 268 0
[pid=12552] ppid=12547 vsize=188216 CPUtime=5.94 cores=4-7
/proc/12552/stat : 12552 (plingeling) S 12547 12547 12397 0 -1 4202496 3302 1254 0 0 594 0 0 0 19 0 5 0 527761030 192733184 2783 33554432000 4194304 4356188 140734858595552 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12552/statm: 47054 2783 164 40 0 45598 0
[pid=12552/tid=12559] ppid=12547 vsize=188216 CPUtime=1.48 cores=4-7
/proc/12552/task/12559/stat : 12559 (plingeling) R 12547 12547 12397 0 -1 4202560 760 1254 0 0 148 0 0 0 20 0 5 0 527761031 192733184 2783 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12552/tid=12560] ppid=12547 vsize=188216 CPUtime=1.47 cores=4-7
/proc/12552/task/12560/stat : 12560 (plingeling) R 12547 12547 12397 0 -1 4202560 680 1254 0 0 147 0 0 0 23 0 5 0 527761031 192733184 2783 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12552/tid=12561] ppid=12547 vsize=188216 CPUtime=1.48 cores=4-7
/proc/12552/task/12561/stat : 12561 (plingeling) R 12547 12547 12397 0 -1 4202560 822 1254 0 0 148 0 0 0 25 0 5 0 527761031 192733184 2783 33554432000 4194304 4356188 140734858595552 18446744073709551615 4210615 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12552/tid=12562] ppid=12547 vsize=188216 CPUtime=1.49 cores=4-7
/proc/12552/task/12562/stat : 12562 (plingeling) R 12547 12547 12397 0 -1 4202560 623 1254 0 0 149 0 0 0 25 0 5 0 527761031 192733184 2783 33554432000 4194304 4356188 140734858595552 18446744073709551615 4274252 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 2155548

[startup+3.10091 s]
/proc/loadavg: 7.44 7.91 7.96 9/180 12562
/proc/meminfo: memFree=22983028/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 4594393453596508159 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
[pid=12548] ppid=12547 vsize=1477148 CPUtime=3.09 cores=0
/proc/12548/stat : 12548 (cryptominisat) R 12547 12547 12397 0 -1 4202496 4583 0 0 0 308 1 0 0 25 0 1 0 527761030 1512599552 2551 33554432000 4194304 4587354 140736481350336 18446744073709551615 4238591 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12548/statm: 369287 2551 337 96 0 365849 0
[pid=12549] ppid=12547 vsize=14176 CPUtime=3.09 cores=1
/proc/12549/stat : 12549 (clasp) R 12547 12547 12397 0 -1 4202496 1010 0 0 0 309 0 0 0 25 0 1 0 527761030 14516224 899 33554432000 4194304 4785740 140734427590096 18446744073709551615 274473665179 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12549/statm: 3544 899 340 145 0 589 0
[pid=12550] ppid=12547 vsize=455840 CPUtime=3.09 cores=2
/proc/12550/stat : 12550 (TNM) R 12547 12547 12397 0 -1 4202496 313 0 0 0 309 0 0 0 25 0 1 0 527761030 466780160 210 33554432000 134512640 134534564 4290708528 18446744073709551615 134529812 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12550/statm: 113960 210 95 6 0 112626 0
[pid=12551] ppid=12547 vsize=7436 CPUtime=3.09 cores=3
/proc/12551/stat : 12551 (march_hi) R 12547 12547 12397 0 -1 4202496 482 0 0 0 309 0 0 0 25 0 1 0 527761030 7614464 375 33554432000 4194304 4331988 140734971427840 18446744073709551615 4240112 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12551/statm: 1859 375 172 34 0 301 0
[pid=12552] ppid=12547 vsize=189256 CPUtime=12.33 cores=4-7
/proc/12552/stat : 12552 (plingeling) S 12547 12547 12397 0 -1 4202496 4810 1254 0 0 1233 0 0 0 19 0 5 0 527761030 193798144 3043 33554432000 4194304 4356188 140734858595552 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12552/statm: 47314 3043 164 40 0 45858 0
[pid=12552/tid=12559] ppid=12547 vsize=189256 CPUtime=3.08 cores=4-7
/proc/12552/task/12559/stat : 12559 (plingeling) R 12547 12547 12397 0 -1 4202560 1113 1254 0 0 308 0 0 0 25 0 5 0 527761031 193798144 3043 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12552/tid=12560] ppid=12547 vsize=189256 CPUtime=3.06 cores=4-7
/proc/12552/task/12560/stat : 12560 (plingeling) R 12547 12547 12397 0 -1 4202560 1194 1254 0 0 306 0 0 0 25 0 5 0 527761031 193798144 3043 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331326 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12552/tid=12561] ppid=12547 vsize=189256 CPUtime=3.08 cores=4-7
/proc/12552/task/12561/stat : 12561 (plingeling) R 12547 12547 12397 0 -1 4202560 1142 1254 0 0 308 0 0 0 25 0 5 0 527761031 193798144 3043 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12552/tid=12562] ppid=12547 vsize=189256 CPUtime=3.08 cores=4-7
/proc/12552/task/12562/stat : 12562 (plingeling) R 12547 12547 12397 0 -1 4202560 944 1254 0 0 308 0 0 0 25 0 5 0 527761031 193798144 3043 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 2162180

[startup+6.30035 s]
/proc/loadavg: 7.44 7.91 7.96 9/180 12562
/proc/meminfo: memFree=22974332/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 4594393453596508159 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
[pid=12548] ppid=12547 vsize=1477336 CPUtime=6.28 cores=0
/proc/12548/stat : 12548 (cryptominisat) R 12547 12547 12397 0 -1 4202496 6144 0 0 0 627 1 0 0 25 0 1 0 527761030 1512792064 2710 33554432000 4194304 4587354 140736481350336 18446744073709551615 4238573 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12548/statm: 369334 2710 337 96 0 365896 0
[pid=12549] ppid=12547 vsize=14840 CPUtime=6.29 cores=1
/proc/12549/stat : 12549 (clasp) R 12547 12547 12397 0 -1 4202496 1170 0 0 0 629 0 0 0 25 0 1 0 527761030 15196160 1059 33554432000 4194304 4785740 140734427590096 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12549/statm: 3710 1059 340 145 0 755 0
[pid=12550] ppid=12547 vsize=455840 CPUtime=6.29 cores=2
/proc/12550/stat : 12550 (TNM) R 12547 12547 12397 0 -1 4202496 313 0 0 0 629 0 0 0 25 0 1 0 527761030 466780160 210 33554432000 134512640 134534564 4290708528 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12550/statm: 113960 210 95 6 0 112626 0
[pid=12551] ppid=12547 vsize=7436 CPUtime=6.29 cores=3
/proc/12551/stat : 12551 (march_hi) R 12547 12547 12397 0 -1 4202496 497 0 0 0 629 0 0 0 25 0 1 0 527761030 7614464 390 33554432000 4194304 4331988 140734971427840 18446744073709551615 4211529 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12551/statm: 1859 390 172 34 0 301 0
[pid=12552] ppid=12547 vsize=194776 CPUtime=25.11 cores=4-7
/proc/12552/stat : 12552 (plingeling) S 12547 12547 12397 0 -1 4202496 8238 1254 0 0 2510 1 0 0 19 0 5 0 527761030 199450624 4423 33554432000 4194304 4356188 140734858595552 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12552/statm: 48694 4423 164 40 0 47238 0
[pid=12552/tid=12559] ppid=12547 vsize=194776 CPUtime=6.28 cores=4-7
/proc/12552/task/12559/stat : 12559 (plingeling) R 12547 12547 12397 0 -1 4202560 2074 1254 0 0 628 0 0 0 25 0 5 0 527761031 199450624 4423 33554432000 4194304 4356188 140734858595552 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12552/tid=12560] ppid=12547 vsize=194776 CPUtime=6.25 cores=4-7
/proc/12552/task/12560/stat : 12560 (plingeling) R 12547 12547 12397 0 -1 4202560 1898 1254 0 0 625 0 0 0 25 0 5 0 527761031 199450624 4423 33554432000 4194304 4356188 140734858595552 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12552/tid=12561] ppid=12547 vsize=194776 CPUtime=6.28 cores=4-7
/proc/12552/task/12561/stat : 12561 (plingeling) R 12547 12547 12397 0 -1 4202560 2135 1254 0 0 628 0 0 0 25 0 5 0 527761031 199450624 4423 33554432000 4194304 4356188 140734858595552 18446744073709551615 4233920 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12552/tid=12562] ppid=12547 vsize=194776 CPUtime=6.28 cores=4-7
/proc/12552/task/12562/stat : 12562 (plingeling) R 12547 12547 12397 0 -1 4202560 1714 1254 0 0 628 0 0 0 25 0 5 0 527761031 199450624 4423 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 2168552

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

[startup+9.50078 s]
/proc/loadavg: 7.48 7.91 7.96 9/180 12562
/proc/meminfo: memFree=22972736/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 4594393453596508159 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
[pid=12548] ppid=12547 vsize=1474620 CPUtime=9.49 cores=0
/proc/12548/stat : 12548 (cryptominisat) R 12547 12547 12397 0 -1 4202496 7461 0 0 0 947 2 0 0 25 0 1 0 527761030 1510010880 2945 33554432000 4194304 4587354 140736481350336 18446744073709551615 274473664148 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12548/statm: 368655 2945 337 96 0 365217 0
[pid=12549] ppid=12547 vsize=15256 CPUtime=9.49 cores=1
/proc/12549/stat : 12549 (clasp) R 12547 12547 12397 0 -1 4202496 1282 0 0 0 949 0 0 0 25 0 1 0 527761030 15622144 1171 33554432000 4194304 4785740 140734427590096 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12549/statm: 3814 1171 340 145 0 859 0
[pid=12550] ppid=12547 vsize=455840 CPUtime=9.49 cores=2
/proc/12550/stat : 12550 (TNM) R 12547 12547 12397 0 -1 4202496 313 0 0 0 949 0 0 0 25 0 1 0 527761030 466780160 210 33554432000 134512640 134534564 4290708528 18446744073709551615 134529104 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12550/statm: 113960 210 95 6 0 112626 0
[pid=12551] ppid=12547 vsize=7572 CPUtime=9.49 cores=3
/proc/12551/stat : 12551 (march_hi) R 12547 12547 12397 0 -1 4202496 535 0 0 0 949 0 0 0 25 0 1 0 527761030 7753728 428 33554432000 4194304 4331988 140734971427840 18446744073709551615 4229619 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12551/statm: 1893 428 172 34 0 335 0
[pid=12552] ppid=12547 vsize=195168 CPUtime=37.89 cores=4-7
/proc/12552/stat : 12552 (plingeling) S 12547 12547 12397 0 -1 4202496 10128 1254 0 0 3788 1 0 0 19 0 5 0 527761030 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12552/statm: 48792 4521 164 40 0 47336 0
[pid=12552/tid=12559] ppid=12547 vsize=195168 CPUtime=9.48 cores=4-7
/proc/12552/task/12559/stat : 12559 (plingeling) R 12547 12547 12397 0 -1 4202560 2522 1254 0 0 948 0 0 0 25 0 5 0 527761031 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 4281741 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12552/tid=12560] ppid=12547 vsize=195168 CPUtime=9.43 cores=4-7
/proc/12552/task/12560/stat : 12560 (plingeling) R 12547 12547 12397 0 -1 4202560 2347 1254 0 0 943 0 0 0 25 0 5 0 527761031 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12552/tid=12561] ppid=12547 vsize=195168 CPUtime=9.47 cores=4-7
/proc/12552/task/12561/stat : 12561 (plingeling) R 12547 12547 12397 0 -1 4202560 2615 1254 0 0 947 0 0 0 25 0 5 0 527761031 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12552/tid=12562] ppid=12547 vsize=195168 CPUtime=9.48 cores=4-7
/proc/12552/task/12562/stat : 12562 (plingeling) R 12547 12547 12397 0 -1 4202560 2227 1254 0 0 948 0 0 0 25 0 5 0 527761031 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 75.85
Current children cumulated vsize (KiB) 2166780

[startup+10.3006 s]
/proc/loadavg: 7.48 7.91 7.96 9/180 12562
/proc/meminfo: memFree=22972732/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 4594393453596508159 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
[pid=12548] ppid=12547 vsize=1475576 CPUtime=10.29 cores=0
/proc/12548/stat : 12548 (cryptominisat) R 12547 12547 12397 0 -1 4202496 8063 0 0 0 1027 2 0 0 25 0 1 0 527761030 1510989824 2970 33554432000 4194304 4587354 140736481350336 18446744073709551615 4357662 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12548/statm: 368894 2970 337 96 0 365456 0
[pid=12549] ppid=12547 vsize=15400 CPUtime=10.29 cores=1
/proc/12549/stat : 12549 (clasp) R 12547 12547 12397 0 -1 4202496 1303 0 0 0 1029 0 0 0 25 0 1 0 527761030 15769600 1192 33554432000 4194304 4785740 140734427590096 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12549/statm: 3850 1192 340 145 0 895 0
[pid=12550] ppid=12547 vsize=455840 CPUtime=10.29 cores=2
/proc/12550/stat : 12550 (TNM) R 12547 12547 12397 0 -1 4202496 313 0 0 0 1029 0 0 0 25 0 1 0 527761030 466780160 210 33554432000 134512640 134534564 4290708528 18446744073709551615 134528659 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12550/statm: 113960 210 95 6 0 112626 0
[pid=12551] ppid=12547 vsize=7572 CPUtime=10.29 cores=3
/proc/12551/stat : 12551 (march_hi) R 12547 12547 12397 0 -1 4202496 539 0 0 0 1029 0 0 0 25 0 1 0 527761030 7753728 432 33554432000 4194304 4331988 140734971427840 18446744073709551615 4211435 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12551/statm: 1893 432 172 34 0 335 0
[pid=12552] ppid=12547 vsize=196448 CPUtime=41.09 cores=4-7
/proc/12552/stat : 12552 (plingeling) S 12547 12547 12397 0 -1 4202496 11600 1254 0 0 4107 2 0 0 19 0 5 0 527761030 201162752 4841 33554432000 4194304 4356188 140734858595552 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12552/statm: 49112 4841 164 40 0 47656 0
[pid=12552/tid=12559] ppid=12547 vsize=196448 CPUtime=10.28 cores=4-7
/proc/12552/task/12559/stat : 12559 (plingeling) R 12547 12547 12397 0 -1 4202560 2650 1254 0 0 1028 0 0 0 25 0 5 0 527761031 201162752 4841 33554432000 4194304 4356188 140734858595552 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12552/tid=12560] ppid=12547 vsize=196448 CPUtime=10.22 cores=4-7
/proc/12552/task/12560/stat : 12560 (plingeling) R 12547 12547 12397 0 -1 4202560 2987 1254 0 0 1022 0 0 0 25 0 5 0 527761031 201162752 4841 33554432000 4194304 4356188 140734858595552 18446744073709551615 4335706 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12552/tid=12561] ppid=12547 vsize=196448 CPUtime=10.27 cores=4-7
/proc/12552/task/12561/stat : 12561 (plingeling) R 12547 12547 12397 0 -1 4202560 3191 1254 0 0 1027 0 0 0 25 0 5 0 527761031 201162752 4841 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12552/tid=12562] ppid=12547 vsize=196448 CPUtime=10.28 cores=4-7
/proc/12552/task/12562/stat : 12562 (plingeling) R 12547 12547 12397 0 -1 4202560 2355 1254 0 0 1028 0 0 0 25 0 5 0 527761031 201162752 4841 33554432000 4194304 4356188 140734858595552 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 82.25
Current children cumulated vsize (KiB) 2169160

[startup+10.7006 s]
/proc/loadavg: 7.48 7.91 7.96 9/180 12562
/proc/meminfo: memFree=22972732/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 4594393453596508159 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
[pid=12548] ppid=12547 vsize=1477332 CPUtime=10.69 cores=0
/proc/12548/stat : 12548 (cryptominisat) R 12547 12547 12397 0 -1 4202496 8539 0 0 0 1067 2 0 0 25 0 1 0 527761030 1512787968 3441 33554432000 4194304 4587354 140736481350336 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12548/statm: 369333 3441 337 96 0 365895 0
[pid=12549] ppid=12547 vsize=15400 CPUtime=10.69 cores=1
/proc/12549/stat : 12549 (clasp) R 12547 12547 12397 0 -1 4202496 1319 0 0 0 1069 0 0 0 25 0 1 0 527761030 15769600 1208 33554432000 4194304 4785740 140734427590096 18446744073709551615 4286973 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12549/statm: 3850 1208 340 145 0 895 0
[pid=12550] ppid=12547 vsize=455840 CPUtime=10.69 cores=2
/proc/12550/stat : 12550 (TNM) R 12547 12547 12397 0 -1 4202496 313 0 0 0 1069 0 0 0 25 0 1 0 527761030 466780160 210 33554432000 134512640 134534564 4290708528 18446744073709551615 134529024 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12550/statm: 113960 210 95 6 0 112626 0
[pid=12551] ppid=12547 vsize=7640 CPUtime=10.69 cores=3
/proc/12551/stat : 12551 (march_hi) R 12547 12547 12397 0 -1 4202496 543 0 0 0 1069 0 0 0 25 0 1 0 527761030 7823360 436 33554432000 4194304 4331988 140734971427840 18446744073709551615 4240404 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12551/statm: 1910 436 173 34 0 352 0
[pid=12552] ppid=12547 vsize=195424 CPUtime=42.69 cores=4-7
/proc/12552/stat : 12552 (plingeling) S 12547 12547 12397 0 -1 4202496 11792 1254 0 0 4267 2 0 0 19 0 5 0 527761030 200114176 4585 33554432000 4194304 4356188 140734858595552 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12552/statm: 48856 4585 164 40 0 47400 0
[pid=12552/tid=12559] ppid=12547 vsize=195424 CPUtime=10.68 cores=4-7
/proc/12552/task/12559/stat : 12559 (plingeling) R 12547 12547 12397 0 -1 4202560 2682 1254 0 0 1068 0 0 0 25 0 5 0 527761031 200114176 4585 33554432000 4194304 4356188 140734858595552 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12552/tid=12560] ppid=12547 vsize=195424 CPUtime=10.62 cores=4-7
/proc/12552/task/12560/stat : 12560 (plingeling) R 12547 12547 12397 0 -1 4202560 2987 1254 0 0 1062 0 0 0 25 0 5 0 527761031 200114176 4585 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12552/tid=12561] ppid=12547 vsize=195424 CPUtime=10.67 cores=4-7
/proc/12552/task/12561/stat : 12561 (plingeling) R 12547 12547 12397 0 -1 4202560 3319 1254 0 0 1067 0 0 0 25 0 5 0 527761031 200114176 4585 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12552/tid=12562] ppid=12547 vsize=195424 CPUtime=10.68 cores=4-7
/proc/12552/task/12562/stat : 12562 (plingeling) R 12547 12547 12397 0 -1 4202560 2387 1254 0 0 1068 0 0 0 25 0 5 0 527761031 200114176 4585 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 85.45
Current children cumulated vsize (KiB) 2169960

[startup+10.9005 s]
/proc/loadavg: 7.52 7.91 7.96 9/180 12562
/proc/meminfo: memFree=22968516/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=0 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 527761030 18763776 389 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 4594393453596508159 0 0 17 4 0 0 0
/proc/12547/statm: 4581 389 341 23 0 91 0
[pid=12548] ppid=12547 vsize=1477332 CPUtime=10.89 cores=0
/proc/12548/stat : 12548 (cryptominisat) R 12547 12547 12397 0 -1 4202496 8599 0 0 0 1087 2 0 0 25 0 1 0 527761030 1512787968 3499 33554432000 4194304 4587354 140736481350336 18446744073709551615 4238421 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12548/statm: 369333 3499 337 96 0 365895 0
[pid=12549] ppid=12547 vsize=15400 CPUtime=10.89 cores=1
/proc/12549/stat : 12549 (clasp) R 12547 12547 12397 0 -1 4202496 1319 0 0 0 1089 0 0 0 25 0 1 0 527761030 15769600 1208 33554432000 4194304 4785740 140734427590096 18446744073709551615 4546264 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12549/statm: 3850 1208 340 145 0 895 0
[pid=12550] ppid=12547 vsize=455840 CPUtime=10.9 cores=2
/proc/12550/stat : 12550 (TNM) R 12547 12547 12397 0 -1 4202496 313 0 0 0 1090 0 0 0 25 0 1 0 527761030 466780160 210 33554432000 134512640 134534564 4290708528 18446744073709551615 134530307 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12550/statm: 113960 210 95 6 0 112626 0
[pid=12551] ppid=12547 vsize=7640 CPUtime=10.9 cores=3
/proc/12551/stat : 12551 (march_hi) R 12547 12547 12397 0 -1 4202496 545 0 0 0 1090 0 0 0 25 0 1 0 527761030 7823360 438 33554432000 4194304 4331988 140734971427840 18446744073709551615 4237226 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12551/statm: 1910 438 173 34 0 352 0
[pid=12552] ppid=12547 vsize=195168 CPUtime=43.51 cores=4-7
/proc/12552/stat : 12552 (plingeling) S 12547 12547 12397 0 -1 4202496 11888 1254 0 0 4349 2 0 0 19 0 5 0 527761030 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12552/statm: 48792 4521 164 40 0 47336 0
[pid=12552/tid=12559] ppid=12547 vsize=195168 CPUtime=10.89 cores=4-7
/proc/12552/task/12559/stat : 12559 (plingeling) R 12547 12547 12397 0 -1 4202560 2682 1254 0 0 1089 0 0 0 25 0 5 0 527761031 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12552/tid=12560] ppid=12547 vsize=195168 CPUtime=10.82 cores=4-7
/proc/12552/task/12560/stat : 12560 (plingeling) R 12547 12547 12397 0 -1 4202560 3019 1254 0 0 1082 0 0 0 25 0 5 0 527761031 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 4332704 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12552/tid=12561] ppid=12547 vsize=195168 CPUtime=10.88 cores=4-7
/proc/12552/task/12561/stat : 12561 (plingeling) R 12547 12547 12397 0 -1 4202560 3383 1254 0 0 1088 0 0 0 25 0 5 0 527761031 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12552/tid=12562] ppid=12547 vsize=195168 CPUtime=10.88 cores=4-7
/proc/12552/task/12562/stat : 12562 (plingeling) R 12547 12547 12397 0 -1 4202560 2387 1254 0 0 1088 0 0 0 25 0 5 0 527761031 199852032 4521 33554432000 4194304 4356188 140734858595552 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 87.09
Current children cumulated vsize (KiB) 2169704

[startup+11.0066 s]
/proc/loadavg: 7.52 7.91 7.96 9/180 12562
/proc/meminfo: memFree=22968516/32950928 swapFree=67111524/67111528
[pid=12547] ppid=12545 vsize=18324 CPUtime=33 cores=0-7
/proc/12547/stat : 12547 (ppfolio) S 12545 12547 12397 0 -1 4202496 522 2178 0 0 0 0 3299 1 15 0 1 0 527761030 18763776 390 33554432000 4194304 4287625 140735626703536 18446744073709551615 274473987599 0 0 4096 65536 32767 0 0 17 4 0 0 0
/proc/12547/statm: 4581 390 342 23 0 91 0
[pid=12548] ppid=12547 vsize=0 CPUtime=10.99 cores=0
/proc/12548/stat : 12548 (cryptominisat) R 12547 12547 12397 0 -1 4203524 8627 0 0 0 1097 2 0 0 25 0 1 0 527761030 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12548/statm: 0 0 0 0 0 0 0
[pid=12552] ppid=12547 vsize=0 CPUtime=43.91 cores=4-7
/proc/12552/stat : 12552 (plingeling) Z 12547 12547 12397 0 -1 4203548 11984 1254 0 0 4389 2 0 0 18 0 2 0 527761030 0 0 33554432000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12552/statm: 0 0 0 0 0 0 0
[pid=12552/tid=12561] ppid=12547 vsize=0 CPUtime=10.98 cores=4-7
/proc/12552/task/12561/stat : 12561 (plingeling) R 12547 12547 12397 0 -1 4203588 3383 1254 0 0 1098 0 0 0 25 0 2 0 527761031 0 0 33554432000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 87.9
Current children cumulated vsize (KiB) 18324

Child status: 0
Real time (s): 11.0074
CPU time (s): 87.9356
CPU user time (s): 87.8726
CPU system time (s): 0.06299
CPU usage (%): 798.879
Max. virtual memory (cumulated for all children) (KiB): 2170856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.8726
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24583
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= 1182
involuntary context switches= 893

runsolver used 0.023996 second user time and 0.037994 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 13:06:54
IDJOB=3221445
IDBENCH=82924
IDSOLVER=1638
FILE ID=node125/3221445-1304161614
RUNJOBID= node125-1304161570-12411
PBS_JOBID= 13170933
Free space on /tmp= 73020 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3221445-1304161614/watcher-3221445-1304161614 -o /tmp/evaluation-result-3221445-1304161614/solver-3221445-1304161614 -C 40000 -W 5000 -M 31000  ppfolio HOME/instance-3221445-1304161614.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= e887a746d13f48cfc0f8cc23df918189
RANDOM SEED=628914958

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:     32950928 kB
MemFree:      23005328 kB
Buffers:       2133088 kB
Cached:        7221964 kB
SwapCached:          4 kB
Active:        2567140 kB
Inactive:      6851204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23005328 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10284 kB
Writeback:           0 kB
AnonPages:       62632 kB
Mapped:          14876 kB
Slab:           461468 kB
PageTables:       3744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185204 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= 73012 MiB
End job on node125 at 2011-04-30 13:07:05