Trace number 3280934

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 par? (TO) 3944.82 1300.02

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark643.759
Satisfiable
(Un)Satisfiability was proved
Number of variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

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 4 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] lingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	[5] march_hi 2009 (Marijn Heule and Hans Van Maaren)
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) 5
0.00/0.00	Starting TNM 2009 on core(s) 7
0.00/0.00	Starting lingeling 276-6264d55-100731 on core(s) 3
0.00/0.00	Starting march_hi 2009 on core(s) 7
3944.77/1300.01	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-3280934-1304032481/watcher-3280934-1304032481 -o /tmp/evaluation-result-3280934-1304032481/solver-3280934-1304032481 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3280934-1304032481.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 9.61 9.99 9.90 6/181 7685
/proc/meminfo: memFree=15578936/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) R 7683 7685 7235 0 -1 4194304 481 0 0 0 0 0 0 0 25 0 1 0 514848571 18763776 388 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446765461 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/7685/statm: 4581 388 339 23 0 91 0

[startup+1.03608 s]
/proc/loadavg: 9.61 9.99 9.90 6/181 7685
/proc/meminfo: memFree=15578936/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 22 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.13606 s]
/proc/loadavg: 9.61 9.99 9.90 6/181 7685
/proc/meminfo: memFree=15578936/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 22 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.20105 s]
/proc/loadavg: 9.61 9.99 9.90 6/181 7685
/proc/meminfo: memFree=15578936/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) R 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 20 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.33603 s]
/proc/loadavg: 9.61 9.99 9.90 6/181 7685
/proc/meminfo: memFree=15578936/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 20 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.53599 s]
/proc/loadavg: 9.61 9.99 9.90 6/181 7685
/proc/meminfo: memFree=15578936/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 18 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+3.1007 s]
/proc/loadavg: 9.80 10.02 9.91 10/187 7691
/proc/meminfo: memFree=15558800/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
[pid=7686] ppid=7685 vsize=1538732 CPUtime=3.09 cores=1
/proc/7686/stat : 7686 (cryptominisat) R 7685 7685 7235 0 -1 4202496 4595 0 0 0 309 0 0 0 25 0 1 0 514848572 1575661568 3038 33554432000 4194304 4587354 140735218066304 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7686/statm: 384683 3038 339 96 0 381245 0
[pid=7687] ppid=7685 vsize=14984 CPUtime=3.09 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 1203 0 0 0 309 0 0 0 25 0 1 0 514848572 15343616 1081 33554432000 4194304 4785740 140734251931584 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 3746 1081 340 145 0 791 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=1.98 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 198 0 0 0 21 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 134528444 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=7088 CPUtime=3.09 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 1807 0 0 0 309 0 0 0 25 0 1 0 514848572 7258112 968 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328304 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 1772 968 127 39 0 852 0
[pid=7690] ppid=7685 vsize=10448 CPUtime=1.1 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 982 0 0 0 110 0 0 0 25 0 1 0 514848572 10698752 874 33554432000 4194304 4331988 140734472965728 18446744073709551615 4237398 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 2612 874 174 34 0 1054 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 2045536

[startup+6.3011 s]
/proc/loadavg: 9.80 10.02 9.91 10/187 7691
/proc/meminfo: memFree=15549824/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
[pid=7686] ppid=7685 vsize=1542712 CPUtime=6.28 cores=1
/proc/7686/stat : 7686 (cryptominisat) R 7685 7685 7235 0 -1 4202496 7241 0 0 0 628 0 0 0 25 0 1 0 514848572 1579737088 4063 33554432000 4194304 4587354 140735218066304 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7686/statm: 385678 4063 339 96 0 382240 0
[pid=7687] ppid=7685 vsize=15908 CPUtime=6.29 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 1435 0 0 0 629 0 0 0 25 0 1 0 514848572 16289792 1313 33554432000 4194304 4785740 140734251931584 18446744073709551615 4552556 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 3977 1313 341 145 0 1022 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=3.56 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 356 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 134530407 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=7156 CPUtime=6.29 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 2756 0 0 0 629 0 0 0 25 0 1 0 514848572 7327744 989 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328009 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 1789 989 127 39 0 869 0
[pid=7690] ppid=7685 vsize=10976 CPUtime=2.7 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1093 0 0 0 270 0 0 0 25 0 1 0 514848572 11239424 985 33554432000 4194304 4331988 140734472965728 18446744073709551615 4237154 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 2744 985 174 34 0 1186 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 2051036

[startup+12.7009 s]
/proc/loadavg: 9.68 9.99 9.90 10/187 7691
/proc/meminfo: memFree=15546872/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
[pid=7686] ppid=7685 vsize=1544612 CPUtime=12.69 cores=1
/proc/7686/stat : 7686 (cryptominisat) R 7685 7685 7235 0 -1 4202496 9883 0 0 0 1268 1 0 0 25 0 1 0 514848572 1581682688 4076 33554432000 4194304 4587354 140735218066304 18446744073709551615 4245136 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7686/statm: 386153 4076 339 96 0 382715 0
[pid=7687] ppid=7685 vsize=16700 CPUtime=12.69 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 1654 0 0 0 1269 0 0 0 25 0 1 0 514848572 17100800 1532 33554432000 4194304 4785740 140734251931584 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 4175 1532 341 145 0 1220 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=6.82 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 682 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 9771391 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=8564 CPUtime=12.68 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 3966 0 0 0 1268 0 0 0 25 0 1 0 514848572 8769536 1335 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328035 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 2141 1335 127 39 0 1221 0
[pid=7690] ppid=7685 vsize=11236 CPUtime=5.81 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1167 0 0 0 581 0 0 0 25 0 1 0 514848572 11505664 1059 33554432000 4194304 4331988 140734472965728 18446744073709551615 4243536 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 2809 1059 174 34 0 1251 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 2055396

[startup+25.5005 s]
/proc/loadavg: 9.57 9.95 9.89 10/187 7691
/proc/meminfo: memFree=15536252/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
[pid=7686] ppid=7685 vsize=1543820 CPUtime=25.49 cores=1
/proc/7686/stat : 7686 (cryptominisat) R 7685 7685 7235 0 -1 4202496 14069 0 0 0 2547 2 0 0 25 0 1 0 514848572 1580871680 4206 33554432000 4194304 4587354 140735218066304 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7686/statm: 385955 4206 339 96 0 382517 0
[pid=7687] ppid=7685 vsize=18208 CPUtime=25.49 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 2026 0 0 0 2549 0 0 0 25 0 1 0 514848572 18644992 1904 33554432000 4194304 4785740 140734251931584 18446744073709551615 4553054 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 4552 1904 341 145 0 1597 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=13.22 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 1322 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=12412 CPUtime=25.49 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 7168 0 0 0 2548 1 0 0 25 0 1 0 514848572 12709888 2297 33554432000 4194304 4352236 140733904795888 18446744073709551615 4329060 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 3103 2297 127 39 0 2183 0
[pid=7690] ppid=7685 vsize=11628 CPUtime=12.14 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1272 0 0 0 1214 0 0 0 25 0 1 0 514848572 11907072 1164 33554432000 4194304 4331988 140734472965728 18446744073709551615 4243055 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 2907 1164 174 34 0 1349 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 2060352

[startup+51.1008 s]
/proc/loadavg: 9.56 9.92 9.88 10/187 7692
/proc/meminfo: memFree=15528128/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 514848571 18763776 390 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 10465821280048250879 0 0 17 1 0 0 0
/proc/7685/statm: 4581 390 341 23 0 91 0
[pid=7686] ppid=7685 vsize=1555208 CPUtime=51.09 cores=1
/proc/7686/stat : 7686 (cryptominisat) R 7685 7685 7235 0 -1 4202496 21023 0 0 0 5106 3 0 0 25 0 1 0 514848572 1592532992 5905 33554432000 4194304 4587354 140735218066304 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7686/statm: 388802 5905 339 96 0 385364 0
[pid=7687] ppid=7685 vsize=20092 CPUtime=51.09 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 2475 0 0 0 5109 0 0 0 25 0 1 0 514848572 20574208 2353 33554432000 4194304 4785740 140734251931584 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 5023 2353 341 145 0 2068 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=25.92 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 2592 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=13180 CPUtime=51.08 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 11552 0 0 0 5107 1 0 0 25 0 1 0 514848572 13496320 2489 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328380 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 3295 2489 127 39 0 2375 0
[pid=7690] ppid=7685 vsize=12028 CPUtime=24.9 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1361 0 0 0 2490 0 0 0 25 0 1 0 514848572 12316672 1253 33554432000 4194304 4331988 140734472965728 18446744073709551615 4242529 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3007 1253 174 34 0 1449 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 2074792

[startup+102.301 s]
/proc/loadavg: 8.79 9.64 9.79 9/186 7694
/proc/meminfo: memFree=15533224/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=51.74 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 525 21133 0 0 0 0 5171 3 15 0 1 0 514848571 18763776 391 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/7685/statm: 4581 391 342 23 0 91 0
[pid=7687] ppid=7685 vsize=22224 CPUtime=102.28 cores=5

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

[pid=7687] ppid=7685 vsize=34048 CPUtime=882.31 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 5915 0 0 0 88230 1 0 0 25 0 1 0 514848572 34865152 5729 33554432000 4194304 4785740 140734251931584 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 8512 5729 341 145 0 5557 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=439.28 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 43928 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 134528253 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=35468 CPUtime=882.32 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 84620 0 0 0 88220 12 0 0 25 0 1 0 514848572 36319232 8067 33554432000 4194304 4352236 140733904795888 18446744073709551615 4329165 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 8867 8067 127 39 0 7947 0
[pid=7690] ppid=7685 vsize=13608 CPUtime=438.23 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1744 0 0 0 43823 0 0 0 25 0 1 0 514848572 13934592 1636 33554432000 4194304 4331988 140734472965728 18446744073709551615 4243061 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3402 1636 175 34 0 1844 0
Current children cumulated CPU time (s) 2693.88
Current children cumulated vsize (KiB) 557408

[startup+942.301 s]
/proc/loadavg: 8.30 8.31 8.83 9/186 7716
/proc/meminfo: memFree=15462560/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=51.74 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 525 21133 0 0 0 0 5171 3 15 0 1 0 514848571 18763776 391 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/7685/statm: 4581 391 342 23 0 91 0
[pid=7687] ppid=7685 vsize=34316 CPUtime=942.31 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 5993 0 0 0 94230 1 0 0 25 0 1 0 514848572 35139584 5807 33554432000 4194304 4785740 140734251931584 18446744073709551615 4553010 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 8579 5807 341 145 0 5624 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=469.15 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 46915 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=38924 CPUtime=942.32 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 90028 0 0 0 94219 13 0 0 25 0 1 0 514848572 39858176 8931 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328105 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 9731 8931 127 39 0 8811 0
[pid=7690] ppid=7685 vsize=13748 CPUtime=468.04 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1761 0 0 0 46804 0 0 0 25 0 1 0 514848572 14077952 1653 33554432000 4194304 4331988 140734472965728 18446744073709551615 4237147 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3437 1653 175 34 0 1879 0
Current children cumulated CPU time (s) 2873.56
Current children cumulated vsize (KiB) 561272

[startup+1002.3 s]
/proc/loadavg: 8.29 8.30 8.79 9/186 7718
/proc/meminfo: memFree=15455716/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=51.74 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 525 21133 0 0 0 0 5171 3 15 0 1 0 514848571 18763776 391 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/7685/statm: 4581 391 342 23 0 91 0
[pid=7687] ppid=7685 vsize=34592 CPUtime=1002.32 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 6060 0 0 0 100231 1 0 0 25 0 1 0 514848572 35422208 5874 33554432000 4194304 4785740 140734251931584 18446744073709551615 4549959 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 8648 5874 341 145 0 5693 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=498.94 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 49894 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 9771389 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=37900 CPUtime=1002.32 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 92748 0 0 0 100219 13 0 0 25 0 1 0 514848572 38809600 8675 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328351 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 9475 8675 127 39 0 8555 0
[pid=7690] ppid=7685 vsize=13748 CPUtime=497.92 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1766 0 0 0 49792 0 0 0 25 0 1 0 514848572 14077952 1658 33554432000 4194304 4331988 140734472965728 18446744073709551615 4211330 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3437 1658 175 34 0 1879 0
Current children cumulated CPU time (s) 3053.24
Current children cumulated vsize (KiB) 560524

[startup+1062.3 s]
/proc/loadavg: 8.21 8.27 8.75 9/186 7719
/proc/meminfo: memFree=15466604/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=51.74 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 525 21133 0 0 0 0 5171 3 15 0 1 0 514848571 18763776 391 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/7685/statm: 4581 391 342 23 0 91 0
[pid=7687] ppid=7685 vsize=35012 CPUtime=1062.32 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 6141 0 0 0 106231 1 0 0 25 0 1 0 514848572 35852288 5955 33554432000 4194304 4785740 140734251931584 18446744073709551615 4287158 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 8753 5955 341 145 0 5798 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=528.82 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 52882 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 9770394 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=36876 CPUtime=1062.32 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 97580 0 0 0 106218 14 0 0 25 0 1 0 514848572 37761024 8419 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 9219 8419 127 39 0 8299 0
[pid=7690] ppid=7685 vsize=13848 CPUtime=527.72 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1770 0 0 0 52772 0 0 0 25 0 1 0 514848572 14180352 1662 33554432000 4194304 4331988 140734472965728 18446744073709551615 4299250 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3462 1662 175 34 0 1904 0
Current children cumulated CPU time (s) 3232.92
Current children cumulated vsize (KiB) 560020

[startup+1122.3 s]
/proc/loadavg: 8.24 8.27 8.71 9/186 7721
/proc/meminfo: memFree=15447972/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=51.74 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 525 21133 0 0 0 0 5171 3 15 0 1 0 514848571 18763776 391 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/7685/statm: 4581 391 342 23 0 91 0
[pid=7687] ppid=7685 vsize=35560 CPUtime=1122.32 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 6292 0 0 0 112231 1 0 0 25 0 1 0 514848572 36413440 6106 33554432000 4194304 4785740 140734251931584 18446744073709551615 4552974 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 8890 6106 341 145 0 5935 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=558.63 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 55863 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 134529858 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=36492 CPUtime=1122.32 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 100300 0 0 0 112218 14 0 0 25 0 1 0 514848572 37367808 8323 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328022 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 9123 8323 127 39 0 8203 0
[pid=7690] ppid=7685 vsize=13848 CPUtime=557.57 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1778 0 0 0 55757 0 0 0 25 0 1 0 514848572 14180352 1670 33554432000 4194304 4331988 140734472965728 18446744073709551615 4292747 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3462 1670 175 34 0 1904 0
Current children cumulated CPU time (s) 3412.58
Current children cumulated vsize (KiB) 560184

[startup+1182.3 s]
/proc/loadavg: 8.24 8.26 8.68 9/186 7722
/proc/meminfo: memFree=15450304/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=51.74 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 525 21133 0 0 0 0 5171 3 15 0 1 0 514848571 18763776 391 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/7685/statm: 4581 391 342 23 0 91 0
[pid=7687] ppid=7685 vsize=36024 CPUtime=1182.33 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 6383 0 0 0 118232 1 0 0 25 0 1 0 514848572 36888576 6197 33554432000 4194304 4785740 140734251931584 18446744073709551615 4287092 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 9006 6197 341 145 0 6051 0
[pid=7688] ppid=7685 vsize=455960 CPUtime=588.48 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 426 0 0 0 58848 0 0 0 25 0 1 0 514848572 466903040 322 33554432000 134512640 134534564 4294872176 18446744073709551615 134530489 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113990 322 95 6 0 112656 0
[pid=7689] ppid=7685 vsize=39692 CPUtime=1182.33 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 104524 0 0 0 118218 15 0 0 25 0 1 0 514848572 40644608 9123 33554432000 4194304 4352236 140733904795888 18446744073709551615 4207584 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 9923 9123 127 39 0 9003 0
[pid=7690] ppid=7685 vsize=13848 CPUtime=587.41 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1783 0 0 0 58741 0 0 0 25 0 1 0 514848572 14180352 1675 33554432000 4194304 4331988 140734472965728 18446744073709551615 4237180 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3462 1675 175 34 0 1904 0
Current children cumulated CPU time (s) 3592.29
Current children cumulated vsize (KiB) 563848

[startup+1242.3 s]
/proc/loadavg: 8.58 8.32 8.67 10/187 7757
/proc/meminfo: memFree=14850116/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=51.74 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 525 21133 0 0 0 0 5171 3 15 0 1 0 514848571 18763776 391 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/7685/statm: 4581 391 342 23 0 91 0
[pid=7687] ppid=7685 vsize=36536 CPUtime=1242.32 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 6513 0 0 0 124231 1 0 0 25 0 1 0 514848572 37412864 6327 33554432000 4194304 4785740 140734251931584 18446744073709551615 4553046 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 9134 6327 341 145 0 6179 0
[pid=7688] ppid=7685 vsize=455964 CPUtime=618.32 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 435 0 0 0 61832 0 0 0 25 0 1 0 514848572 466907136 331 33554432000 134512640 134534564 4294872176 18446744073709551615 134529858 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113991 331 103 6 0 112657 0
[pid=7689] ppid=7685 vsize=36876 CPUtime=1242.32 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 106892 0 0 0 124217 15 0 0 25 0 1 0 514848572 37761024 8419 33554432000 4194304 4352236 140733904795888 18446744073709551615 4329032 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 9219 8419 127 39 0 8299 0
[pid=7690] ppid=7685 vsize=13848 CPUtime=617.23 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1790 0 0 0 61723 0 0 0 25 0 1 0 514848572 14180352 1682 33554432000 4194304 4331988 140734472965728 18446744073709551615 4211234 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3462 1682 175 34 0 1904 0
Current children cumulated CPU time (s) 3771.93
Current children cumulated vsize (KiB) 561548



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.64 8.39 8.67 10/187 7790
/proc/meminfo: memFree=15107384/32951124 swapFree=67111528/67111528
[pid=7685] ppid=7683 vsize=18324 CPUtime=51.74 cores=1,3,5,7
/proc/7685/stat : 7685 (ppfolio) S 7683 7685 7235 0 -1 4202496 525 21133 0 0 0 0 5171 3 15 0 1 0 514848571 18763776 391 33554432000 4194304 4287625 140733210117376 18446744073709551615 244446965263 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/7685/statm: 4581 391 342 23 0 91 0
[pid=7687] ppid=7685 vsize=36848 CPUtime=1300.04 cores=5
/proc/7687/stat : 7687 (clasp) R 7685 7685 7235 0 -1 4202496 6570 0 0 0 130003 1 0 0 25 0 1 0 514848572 37732352 6384 33554432000 4194304 4785740 140734251931584 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7687/statm: 9212 6384 341 145 0 6257 0
[pid=7688] ppid=7685 vsize=455964 CPUtime=647.02 cores=7
/proc/7688/stat : 7688 (TNM) R 7685 7685 7235 0 -1 4202496 435 0 0 0 64702 0 0 0 25 0 1 0 514848572 466907136 331 33554432000 134512640 134534564 4294872176 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7688/statm: 113991 331 103 6 0 112657 0
[pid=7689] ppid=7685 vsize=41612 CPUtime=1300.04 cores=3
/proc/7689/stat : 7689 (lingeling) R 7685 7685 7235 0 -1 4202496 111500 0 0 0 129988 16 0 0 25 0 1 0 514848572 42610688 9603 33554432000 4194304 4352236 140733904795888 18446744073709551615 4328102 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7689/statm: 10403 9603 127 39 0 9483 0
[pid=7690] ppid=7685 vsize=13976 CPUtime=645.93 cores=7
/proc/7690/stat : 7690 (march_hi) R 7685 7685 7235 0 -1 4202496 1799 0 0 0 64593 0 0 0 25 0 1 0 514848572 14311424 1691 33554432000 4194304 4331988 140734472965728 18446744073709551615 4211134 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7690/statm: 3494 1691 175 34 0 1936 0
Current children cumulated CPU time (s) 3944.77
Current children cumulated vsize (KiB) 566724

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

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

Child status: 0
Real time (s): 1300.02
CPU time (s): 3944.82
CPU user time (s): 3944.59
CPU system time (s): 0.227965
CPU usage (%): 303.444
Max. virtual memory (cumulated for all children) (KiB): 3573108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3944.59
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141995
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= 579
involuntary context switches= 44485

runsolver used 2.07069 second user time and 5.02623 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 01:14:41
IDJOB=3280934
IDBENCH=20472
IDSOLVER=1612
FILE ID=node105/3280934-1304032481
RUNJOBID= node105-1304028688-7255
PBS_JOBID= 13170347
Free space on /tmp= 71928 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280934-1304032481/watcher-3280934-1304032481 -o /tmp/evaluation-result-3280934-1304032481/solver-3280934-1304032481 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3280934-1304032481.cnf

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=461238784

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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:      15579216 kB
Buffers:       2296680 kB
Cached:       14387036 kB
SwapCached:          0 kB
Active:        8953612 kB
Inactive:      7848368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15579216 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10104 kB
Writeback:           0 kB
AnonPages:      117984 kB
Mapped:          16316 kB
Slab:           506720 kB
PageTables:       4904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   717948 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= 71908 MiB
End job on node105 at 2011-04-29 01:36:21