Trace number 3191528

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio seq? (TO) 1300 1300.01

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf
MD5SUM720cb73f06c537d4bcc379449229299e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of clauses21250
Sum of the clauses size148750
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521250

Solver Data 

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

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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

running on 2 cores: 0,2

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: 11.71 11.77 9.48 11/198 12873
/proc/meminfo: memFree=12790192/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18320 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) R 12871 12873 12576 0 -1 4194304 396 0 0 0 0 0 0 0 25 0 1 0 346232154 18759680 331 33554432000 4194304 4287625 140734425265584 18446744073709551615 228090481562 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12873/statm: 4580 331 285 23 0 90 0

[startup+0.0824509 s]
/proc/loadavg: 11.71 11.77 9.48 11/198 12873
/proc/meminfo: memFree=12790192/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 501 0 0 0 0 0 0 0 25 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 4468524935861469441 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100453 s]
/proc/loadavg: 11.71 11.77 9.48 11/198 12873
/proc/meminfo: memFree=12790192/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 501 0 0 0 0 0 0 0 25 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 4468524935861469441 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300406 s]
/proc/loadavg: 11.71 11.77 9.48 11/198 12873
/proc/meminfo: memFree=12790192/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 24 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700348 s]
/proc/loadavg: 11.71 11.77 9.48 11/198 12873
/proc/meminfo: memFree=12790192/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 24 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.5012 s]
/proc/loadavg: 11.71 11.77 9.48 13/202 12877
/proc/meminfo: memFree=12777884/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 24 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=25616 CPUtime=0.44 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 1178 0 0 0 44 0 0 0 25 0 1 0 346232155 26230784 1042 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238463 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 6404 1042 305 96 0 2966 0
[pid=12876] ppid=12873 vsize=17476 CPUtime=0.49 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 1912 0 0 0 49 0 0 0 25 0 1 0 346232155 17895424 1723 33554432000 4194304 4785740 140736526879184 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 4369 1723 340 145 0 1414 0
[pid=12877] ppid=12873 vsize=454504 CPUtime=0.54 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 998 0 0 0 54 0 0 0 25 0 1 0 346232155 465412096 894 33554432000 134512640 134534564 4288794848 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 113626 894 91 6 0 112292 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 515920

[startup+3.1009 s]
/proc/loadavg: 11.71 11.77 9.48 13/202 12877
/proc/meminfo: memFree=12804048/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294184858184056832 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=216900 CPUtime=0.99 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 4199 0 0 0 99 0 0 0 25 0 1 0 346232155 222105600 1516 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238406 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 54225 1516 327 96 0 50787 0
[pid=12876] ppid=12873 vsize=19272 CPUtime=0.99 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 2329 0 0 0 99 0 0 0 25 0 1 0 346232155 19734528 2140 33554432000 4194304 4785740 140736526879184 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 4818 2140 340 145 0 1863 0
[pid=12877] ppid=12873 vsize=454504 CPUtime=1.08 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 998 0 0 0 108 0 0 0 25 0 1 0 346232155 465412096 894 33554432000 134512640 134534564 4288794848 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 113626 894 91 6 0 112292 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 709000

[startup+6.30032 s]
/proc/loadavg: 11.73 11.78 9.50 13/202 12877
/proc/meminfo: memFree=12798024/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294185270500917248 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=220944 CPUtime=2.03 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 6153 0 0 0 203 0 0 0 25 0 1 0 346232155 226246656 1853 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238582 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 55236 1853 327 96 0 51798 0
[pid=12876] ppid=12873 vsize=20328 CPUtime=2.09 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 2595 0 0 0 209 0 0 0 25 0 1 0 346232155 20815872 2406 33554432000 4194304 4785740 140736526879184 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 5082 2406 340 145 0 2127 0
[pid=12877] ppid=12873 vsize=454504 CPUtime=2.14 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 998 0 0 0 214 0 0 0 25 0 1 0 346232155 465412096 894 33554432000 134512640 134534564 4288794848 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 113626 894 91 6 0 112292 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 714100

[startup+12.7012 s]
/proc/loadavg: 11.75 11.78 9.51 13/202 12877
/proc/meminfo: memFree=12767164/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294184858184056832 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=238836 CPUtime=4.19 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 11583 0 0 0 418 1 0 0 25 0 1 0 346232155 244568064 6314 33554432000 4194304 4587354 140735739605424 18446744073709551615 4364904 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 59709 6314 337 96 0 56271 0
[pid=12876] ppid=12873 vsize=21944 CPUtime=4.19 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 2968 0 0 0 419 0 0 0 25 0 1 0 346232155 22470656 2779 33554432000 4194304 4785740 140736526879184 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 5486 2779 340 145 0 2531 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=4.29 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 429 0 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 737708

[startup+25.5008 s]
/proc/loadavg: 11.81 11.79 9.55 13/202 12877
/proc/meminfo: memFree=12740256/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294183346355568640 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=237656 CPUtime=8.44 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 12978 0 0 0 843 1 0 0 25 0 1 0 346232155 243359744 6614 33554432000 4194304 4587354 140735739605424 18446744073709551615 4237665 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 59414 6614 337 96 0 55976 0
[pid=12876] ppid=12873 vsize=24444 CPUtime=8.49 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 3581 0 0 0 849 0 0 0 25 0 1 0 346232155 25030656 3392 33554432000 4194304 4785740 140736526879184 18446744073709551615 4309682 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 6111 3392 340 145 0 3156 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=8.54 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 854 0 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 739028

[startup+51.1011 s]
/proc/loadavg: 11.87 11.81 9.61 13/202 12878
/proc/meminfo: memFree=12739492/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294183758672429056 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=243660 CPUtime=16.98 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 19553 0 0 0 1696 2 0 0 25 0 1 0 346232155 249507840 10646 33554432000 4194304 4587354 140735739605424 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 60915 10646 337 96 0 57477 0
[pid=12876] ppid=12873 vsize=27596 CPUtime=16.98 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 4335 0 0 0 1698 0 0 0 25 0 1 0 346232155 28258304 4146 33554432000 4194304 4785740 140736526879184 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 6899 4146 340 145 0 3944 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=17.09 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 1709 0 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134528497 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 748184

[startup+102.307 s]
/proc/loadavg: 11.94 11.83 9.74 13/202 12879
/proc/meminfo: memFree=12722736/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294184170989289472 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=257268 CPUtime=34.05 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 28745 0 0 0 3401 4 0 0 25 0 1 0 346232155 263442432 12443 33554432000 4194304 4587354 140735739605424 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 64317 12443 337 96 0 60879 0
[pid=12876] ppid=12873 vsize=32596 CPUtime=34.08 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 5476 0 0 0 3408 0 0 0 25 0 1 0 346232155 33378304 5287 33554432000 4194304 4785740 140736526879184 18446744073709551615 4309510 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 8149 5287 340 145 0 5194 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=34.14 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 3414 0 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134528483 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 766792

[startup+162.301 s]
/proc/loadavg: 11.98 11.86 9.87 13/202 12881
/proc/meminfo: memFree=12713416/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294184720745103360 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=259024 CPUtime=54.05 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 42825 0 0 0 5399 6 0 0 25 0 1 0 346232155 265240576 13075 33554432000 4194304 4587354 140735739605424 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 64756 13075 337 96 0 61318 0
[pid=12876] ppid=12873 vsize=36432 CPUtime=54.09 cores=0

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

/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 2422064

[startup+882.301 s]
/proc/loadavg: 12.00 12.00 11.01 13/202 13052
/proc/meminfo: memFree=13242052/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294183621233475584 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=1885696 CPUtime=294.05 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 139240 0 0 0 29375 30 0 0 25 0 1 0 346232155 1930952704 12962 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 471424 12962 337 96 0 467986 0
[pid=12876] ppid=12873 vsize=61496 CPUtime=294.05 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 12087 0 0 0 29403 2 0 0 25 0 1 0 346232155 62971904 11851 33554432000 4194304 4785740 140736526879184 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 15374 11851 341 145 0 12419 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=294.19 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 29418 1 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134530667 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 2424120

[startup+942.301 s]
/proc/loadavg: 12.04 12.01 11.07 13/202 13057
/proc/meminfo: memFree=13214376/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294184995623010304 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=286148 CPUtime=314.05 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 147605 0 0 0 31373 32 0 0 25 0 1 0 346232155 293015552 17018 33554432000 4194304 4587354 140735739605424 18446744073709551615 4364908 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 71537 17018 337 96 0 68099 0
[pid=12876] ppid=12873 vsize=63448 CPUtime=314.05 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 12600 0 0 0 31403 2 0 0 25 0 1 0 346232155 64970752 12301 33554432000 4194304 4785740 140736526879184 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 15862 12301 341 145 0 12907 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=314.19 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 31418 1 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134530158 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 826524

[startup+1002.3 s]
/proc/loadavg: 12.01 12.00 11.13 13/202 13058
/proc/meminfo: memFree=13138720/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294185407939870720 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=252040 CPUtime=334.04 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 151241 0 0 0 33371 33 0 0 25 0 1 0 346232155 258088960 12238 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 63010 12238 337 96 0 59572 0
[pid=12876] ppid=12873 vsize=63892 CPUtime=334.06 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 12660 0 0 0 33404 2 0 0 25 0 1 0 346232155 65425408 12361 33554432000 4194304 4785740 140736526879184 18446744073709551615 4287076 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 15973 12361 341 145 0 13018 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=334.19 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 33418 1 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134530630 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 792860

[startup+1062.3 s]
/proc/loadavg: 12.03 12.01 11.19 13/202 13060
/proc/meminfo: memFree=13141560/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294183346355568640 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=267264 CPUtime=354.04 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 155496 0 0 0 35369 35 0 0 25 0 1 0 346232155 273678336 11116 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238418 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 66816 11116 337 96 0 63378 0
[pid=12876] ppid=12873 vsize=64684 CPUtime=354.07 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 12836 0 0 0 35405 2 0 0 25 0 1 0 346232155 66236416 12537 33554432000 4194304 4785740 140736526879184 18446744073709551615 4309613 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 16171 12537 341 145 0 13216 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=354.19 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 35418 1 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 808876

[startup+1122.3 s]
/proc/loadavg: 12.01 12.01 11.23 13/202 13062
/proc/meminfo: memFree=13117488/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294183483794522112 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=321200 CPUtime=374.03 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 162466 0 0 0 37366 37 0 0 25 0 1 0 346232155 328908800 13410 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238752 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 80300 13410 337 96 0 76862 0
[pid=12876] ppid=12873 vsize=65352 CPUtime=374.08 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 13047 0 0 0 37406 2 0 0 25 0 1 0 346232155 66920448 12700 33554432000 4194304 4785740 140736526879184 18446744073709551615 228095148670 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 16338 12700 341 145 0 13383 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=374.18 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 37417 1 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 863480

[startup+1182.3 s]
/proc/loadavg: 12.06 12.02 11.28 13/202 13063
/proc/meminfo: memFree=13121452/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294183621233475584 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=252352 CPUtime=394.03 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 170317 0 0 0 39364 39 0 0 25 0 1 0 346232155 258408448 11747 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 63088 11747 337 96 0 59650 0
[pid=12876] ppid=12873 vsize=66272 CPUtime=394.08 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 13219 0 0 0 39406 2 0 0 25 0 1 0 346232155 67862528 12872 33554432000 4194304 4785740 140736526879184 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 16568 12872 341 145 0 13613 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=394.18 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 39417 1 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 795552

[startup+1242.3 s]
/proc/loadavg: 12.09 12.03 11.33 13/202 13126
/proc/meminfo: memFree=13309468/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294183758672429056 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=267792 CPUtime=414.02 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 177067 0 0 0 41361 41 0 0 25 0 1 0 346232155 274219008 13570 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238752 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 66948 13570 337 96 0 63510 0
[pid=12876] ppid=12873 vsize=66652 CPUtime=414.09 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 13298 0 0 0 41407 2 0 0 25 0 1 0 346232155 68251648 12951 33554432000 4194304 4785740 140736526879184 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 16663 12951 341 145 0 13708 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=414.18 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 41417 1 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134528523 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 811372



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 12.03 12.02 11.37 13/202 13127
/proc/meminfo: memFree=13278220/32951124 swapFree=67111528/67111528
[pid=12873] ppid=12871 vsize=18324 CPUtime=0 cores=0,2
/proc/12873/stat : 12873 (ppfolio) S 12871 12873 12576 0 -1 4202496 502 0 0 0 0 0 0 0 15 0 1 0 346232154 18763776 394 33554432000 4194304 4287625 140734425265584 18446744073709551615 228095471119 0 0 4096 65536 17294183896111382528 0 0 17 2 0 0 0
/proc/12873/statm: 4581 394 345 23 0 91 0
[pid=12875] ppid=12873 vsize=317596 CPUtime=433.3 cores=0
/proc/12875/stat : 12875 (cryptominisat) R 12873 12873 12576 0 -1 4202496 184739 0 0 0 43287 43 0 0 25 0 1 0 346232155 325218304 11257 33554432000 4194304 4587354 140735739605424 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12875/statm: 79399 11257 337 96 0 75961 0
[pid=12876] ppid=12873 vsize=68212 CPUtime=433.33 cores=0
/proc/12876/stat : 12876 (clasp) R 12873 12873 12576 0 -1 4202496 13732 0 0 0 43331 2 0 0 25 0 1 0 346232155 69849088 13338 33554432000 4194304 4785740 140736526879184 18446744073709551615 4278101 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/12876/statm: 17053 13338 341 145 0 14098 0
[pid=12877] ppid=12873 vsize=458604 CPUtime=433.37 cores=0
/proc/12877/stat : 12877 (TNM) R 12873 12873 12576 0 -1 4202496 1200 0 0 0 43336 1 0 0 25 0 1 0 346232155 469610496 1096 33554432000 134512640 134534564 4288794848 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12877/statm: 114651 1096 95 6 0 113317 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 862736

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1300
CPU user time (s): 1299.54
CPU system time (s): 0.46
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 2627484

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

runsolver used 2.23766 second user time and 4.86626 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-11 18:09:27
IDJOB=3191528
IDBENCH=82659
IDSOLVER=1613
FILE ID=node142/3191528-1302538167
RUNJOBID= node142-1302536786-12594
PBS_JOBID= 12951113
Free space on /tmp= 71076 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3191528-1302538167/watcher-3191528-1302538167 -o /tmp/evaluation-result-3191528-1302538167/solver-3191528-1302538167 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3191528-1302538167.cnf

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

MD5SUM BENCH= 720cb73f06c537d4bcc379449229299e
RANDOM SEED=2126338100

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12790596 kB
Buffers:        722008 kB
Cached:       18195476 kB
SwapCached:          0 kB
Active:       10747828 kB
Inactive:      8997184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12790596 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10564 kB
Writeback:           0 kB
AnonPages:      827556 kB
Mapped:          17856 kB
Slab:           350024 kB
PageTables:       7680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6087124 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= 71072 MiB
End job on node142 at 2011-04-11 18:31:09