Trace number 3250687

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

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
MD5SUMfaed4f95ee485d18812f5d39a28df3e5
Bench CategoryCRAFTED (crafted 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 variables349
Number of clauses33487
Sum of the clauses size151837
Maximum clause length19
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 330276
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 53211

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) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 4
0.00/0.00	Starting TNM 2009 on core(s) 6
0.00/0.00	Starting lingeling 276-6264d55-100731 on core(s) 2
0.00/0.00	Starting march_hi 2009 on core(s) 6
4563.06/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-3250687-1304087235/watcher-3250687-1304087235 -o /tmp/evaluation-result-3250687-1304087235/solver-3250687-1304087235 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3250687-1304087235.cnf 

running on 4 cores: 0,2,4,6

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.79 9.83 9.78 7/182 1088
/proc/meminfo: memFree=31317932/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) R 1086 1088 32278 0 -1 4194304 450 0 0 0 0 0 0 0 25 0 1 0 520322300 18763776 386 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594686869 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/1088/statm: 4581 386 338 23 0 91 0

[startup+0.220578 s]
/proc/loadavg: 9.79 9.83 9.78 7/182 1088
/proc/meminfo: memFree=31317932/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300563 s]
/proc/loadavg: 9.79 9.83 9.78 7/182 1088
/proc/meminfo: memFree=31317932/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.400544 s]
/proc/loadavg: 9.79 9.83 9.78 7/182 1088
/proc/meminfo: memFree=31317932/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700494 s]
/proc/loadavg: 9.79 9.83 9.78 7/182 1088
/proc/meminfo: memFree=31317932/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50035 s]
/proc/loadavg: 9.79 9.83 9.78 11/188 1094
/proc/meminfo: memFree=31289468/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
[pid=1089] ppid=1088 vsize=391900 CPUtime=1.48 cores=0
/proc/1089/stat : 1089 (cryptominisat) R 1088 1088 32278 0 -1 4202496 5103 0 0 0 148 0 0 0 25 0 1 0 520322300 401305600 2012 33554432000 4194304 4587354 140736462692944 18446744073709551615 4238573 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1089/statm: 97975 2012 327 96 0 94537 0
[pid=1090] ppid=1088 vsize=18152 CPUtime=1.49 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 2145 0 0 0 149 0 0 0 25 0 1 0 520322300 18587648 1878 33554432000 4194304 4785740 140737404127584 18446744073709551615 4553344 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 4538 1878 340 145 0 1583 0
[pid=1091] ppid=1088 vsize=454768 CPUtime=0.7 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1117 0 0 0 70 0 0 0 25 0 1 0 520322300 465682432 1014 33554432000 134512640 134534564 4294460816 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 113692 1014 91 6 0 112358 0
[pid=1092] ppid=1088 vsize=7140 CPUtime=1.49 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 1440 0 0 0 149 0 0 0 25 0 1 0 520322300 7311360 979 33554432000 4194304 4352236 140736120843312 18446744073709551615 4329086 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 1785 979 127 39 0 865 0
[pid=1093] ppid=1088 vsize=14796 CPUtime=0.77 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 5085 0 0 0 77 0 0 0 25 0 1 0 520322300 15151104 1924 33554432000 4194304 4331988 140736747200560 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 3699 1924 150 34 0 2141 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 905080

[startup+3.10107 s]
/proc/loadavg: 9.79 9.83 9.78 11/188 1094
/proc/meminfo: memFree=31281284/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
[pid=1089] ppid=1088 vsize=398732 CPUtime=3.09 cores=0
/proc/1089/stat : 1089 (cryptominisat) R 1088 1088 32278 0 -1 4202496 8131 0 0 0 308 1 0 0 25 0 1 0 520322300 408301568 3516 33554432000 4194304 4587354 140736462692944 18446744073709551615 4356839 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1089/statm: 99683 3516 337 96 0 96245 0
[pid=1090] ppid=1088 vsize=19652 CPUtime=3.09 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 2521 0 0 0 309 0 0 0 25 0 1 0 520322300 20123648 2254 33554432000 4194304 4785740 140737404127584 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 4913 2254 340 145 0 1958 0
[pid=1091] ppid=1088 vsize=454768 CPUtime=1.5 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1117 0 0 0 150 0 0 0 25 0 1 0 520322300 465682432 1014 33554432000 134512640 134534564 4294460816 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 113692 1014 91 6 0 112358 0
[pid=1092] ppid=1088 vsize=10868 CPUtime=3.09 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 2340 0 0 0 309 0 0 0 25 0 1 0 520322300 11128832 1879 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328843 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 2717 1879 127 39 0 1797 0
[pid=1093] ppid=1088 vsize=16748 CPUtime=1.56 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 6828 0 0 0 156 0 0 0 25 0 1 0 520322300 17149952 2299 33554432000 4194304 4331988 140736747200560 18446744073709551615 4257036 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 4187 2299 151 34 0 2629 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 919092

[startup+6.30051 s]
/proc/loadavg: 9.80 9.83 9.79 11/188 1094
/proc/meminfo: memFree=31262064/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
[pid=1089] ppid=1088 vsize=410560 CPUtime=6.29 cores=0
/proc/1089/stat : 1089 (cryptominisat) R 1088 1088 32278 0 -1 4202496 12234 0 0 0 628 1 0 0 25 0 1 0 520322300 420413440 6715 33554432000 4194304 4587354 140736462692944 18446744073709551615 4238643 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1089/statm: 102640 6715 337 96 0 99202 0
[pid=1090] ppid=1088 vsize=21896 CPUtime=6.29 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 3036 0 0 0 629 0 0 0 25 0 1 0 520322300 22421504 2769 33554432000 4194304 4785740 140737404127584 18446744073709551615 4546137 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 5474 2769 340 145 0 2519 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=3.1 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 310 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134528988 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=12016 CPUtime=6.29 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 2627 0 0 0 629 0 0 0 25 0 1 0 520322300 12304384 2166 33554432000 4194304 4352236 140736120843312 18446744073709551615 4308368 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 3004 2166 127 39 0 2084 0
[pid=1093] ppid=1088 vsize=19496 CPUtime=3.15 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 8053 0 0 0 314 1 0 0 25 0 1 0 520322300 19963904 3016 33554432000 4194304 4331988 140736747200560 18446744073709551615 4210416 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 4874 3016 175 34 0 3316 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 941452

[startup+12.7004 s]
/proc/loadavg: 9.82 9.84 9.79 11/188 1095
/proc/meminfo: memFree=31237388/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
[pid=1089] ppid=1088 vsize=413768 CPUtime=12.69 cores=0
/proc/1089/stat : 1089 (cryptominisat) R 1088 1088 32278 0 -1 4202496 17108 0 0 0 1267 2 0 0 25 0 1 0 520322300 423698432 9590 33554432000 4194304 4587354 140736462692944 18446744073709551615 4238668 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1089/statm: 103442 9590 337 96 0 100004 0
[pid=1090] ppid=1088 vsize=24556 CPUtime=12.69 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 3669 0 0 0 1269 0 0 0 25 0 1 0 520322300 25145344 3402 33554432000 4194304 4785740 140737404127584 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 6139 3402 340 145 0 3184 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=6.3 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 630 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134530630 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=13296 CPUtime=12.69 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 2947 0 0 0 1269 0 0 0 25 0 1 0 520322300 13615104 2486 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328000 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 3324 2486 127 39 0 2404 0
[pid=1093] ppid=1088 vsize=19496 CPUtime=6.31 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 8053 0 0 0 630 1 0 0 25 0 1 0 520322300 19963904 3016 33554432000 4194304 4331988 140736747200560 18446744073709551615 4226263 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 4874 3016 175 34 0 3316 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 948600

[startup+25.5071 s]
/proc/loadavg: 9.86 9.84 9.79 11/188 1095
/proc/meminfo: memFree=31173628/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
[pid=1089] ppid=1088 vsize=426032 CPUtime=25.5 cores=0
/proc/1089/stat : 1089 (cryptominisat) R 1088 1088 32278 0 -1 4202496 31104 0 0 0 2545 5 0 0 25 0 1 0 520322300 436256768 12285 33554432000 4194304 4587354 140736462692944 18446744073709551615 4238477 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1089/statm: 106508 12285 337 96 0 103070 0
[pid=1090] ppid=1088 vsize=27964 CPUtime=25.49 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 4483 0 0 0 2549 0 0 0 25 0 1 0 520322300 28635136 4216 33554432000 4194304 4785740 140737404127584 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 6991 4216 340 145 0 4036 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=12.66 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 1266 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=13808 CPUtime=25.48 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 3075 0 0 0 2548 0 0 0 25 0 1 0 520322300 14139392 2614 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328205 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 3452 2614 127 39 0 2532 0
[pid=1093] ppid=1088 vsize=19496 CPUtime=12.69 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 8054 0 0 0 1268 1 0 0 25 0 1 0 520322300 19963904 3017 33554432000 4194304 4331988 140736747200560 18446744073709551615 4298853 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 4874 3017 175 34 0 3316 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 964784

[startup+51.1006 s]
/proc/loadavg: 10.05 9.89 9.81 11/188 1096
/proc/meminfo: memFree=31199416/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520322300 18763776 389 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 4576221000290533375 0 0 17 2 0 0 0
/proc/1088/statm: 4581 389 341 23 0 91 0
[pid=1089] ppid=1088 vsize=426528 CPUtime=51.09 cores=0
/proc/1089/stat : 1089 (cryptominisat) R 1088 1088 32278 0 -1 4202496 36787 0 0 0 5104 5 0 0 25 0 1 0 520322300 436764672 12450 33554432000 4194304 4587354 140736462692944 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1089/statm: 106632 12450 337 96 0 103194 0
[pid=1090] ppid=1088 vsize=33492 CPUtime=51.09 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 5764 0 0 0 5109 0 0 0 25 0 1 0 520322300 34295808 5497 33554432000 4194304 4785740 140737404127584 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 8373 5497 340 145 0 5418 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=25.4 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 2540 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134530669 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=17396 CPUtime=51.08 cores=2

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


[startup+942.301 s]
/proc/loadavg: 9.31 9.61 9.78 10/187 1120
/proc/meminfo: memFree=31106100/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=669.93 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 524 242124 0 0 0 0 66931 62 15 0 1 0 520322300 18763776 390 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639362 0 0 17 2 0 0 0
/proc/1088/statm: 4581 390 342 23 0 91 0
[pid=1090] ppid=1088 vsize=78556 CPUtime=942.31 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 16289 0 0 0 94229 2 0 0 25 0 1 0 520322300 80441344 15797 33554432000 4194304 4785740 140737404127584 18446744073709551615 4286976 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 19639 15797 341 145 0 16684 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=468.54 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 46854 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=45064 CPUtime=942.21 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 97737 0 0 0 94208 13 0 0 25 0 1 0 520322300 46145536 10428 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328000 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 11266 10428 127 39 0 10346 0
[pid=1093] ppid=1088 vsize=26080 CPUtime=468.62 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 9476 0 0 0 46861 1 0 0 25 0 1 0 520322300 26705920 4439 33554432000 4194304 4331988 140736747200560 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 6520 4439 175 34 0 4962 0
Current children cumulated CPU time (s) 3491.61
Current children cumulated vsize (KiB) 627184

[startup+1002.31 s]
/proc/loadavg: 7.25 9.05 9.58 5/176 1139
/proc/meminfo: memFree=31330008/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=669.93 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 524 242124 0 0 0 0 66931 62 15 0 1 0 520322300 18763776 390 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639362 0 0 17 2 0 0 0
/proc/1088/statm: 4581 390 342 23 0 91 0
[pid=1090] ppid=1088 vsize=80076 CPUtime=1002.31 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 16616 0 0 0 100229 2 0 0 25 0 1 0 520322300 81997824 16124 33554432000 4194304 4785740 140737404127584 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 20019 16124 341 145 0 17064 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=498.43 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 49843 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134528491 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=39944 CPUtime=1002.22 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 102217 0 0 0 100208 14 0 0 25 0 1 0 520322300 40902656 9148 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 9986 9148 127 39 0 9066 0
[pid=1093] ppid=1088 vsize=27080 CPUtime=498.44 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 9558 0 0 0 49843 1 0 0 25 0 1 0 520322300 27729920 4521 33554432000 4194304 4331988 140736747200560 18446744073709551615 4237416 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 6770 4521 175 34 0 5212 0
Current children cumulated CPU time (s) 3671.33
Current children cumulated vsize (KiB) 624584

[startup+1062.3 s]
/proc/loadavg: 5.32 8.16 9.24 5/176 1141
/proc/meminfo: memFree=31322864/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=669.93 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 524 242124 0 0 0 0 66931 62 15 0 1 0 520322300 18763776 390 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639362 0 0 17 2 0 0 0
/proc/1088/statm: 4581 390 342 23 0 91 0
[pid=1090] ppid=1088 vsize=81024 CPUtime=1062.31 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 16930 0 0 0 106229 2 0 0 25 0 1 0 520322300 82968576 16317 33554432000 4194304 4785740 140737404127584 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 20256 16317 341 145 0 17301 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=528.28 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 52828 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134528875 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=44808 CPUtime=1062.2 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 109257 0 0 0 106205 15 0 0 25 0 1 0 520322300 45883392 10364 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328100 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 11202 10364 127 39 0 10282 0
[pid=1093] ppid=1088 vsize=27080 CPUtime=528.31 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 9638 0 0 0 52830 1 0 0 25 0 1 0 520322300 27729920 4601 33554432000 4194304 4331988 140736747200560 18446744073709551615 4210416 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 6770 4601 175 34 0 5212 0
Current children cumulated CPU time (s) 3851.03
Current children cumulated vsize (KiB) 630396

[startup+1122.3 s]
/proc/loadavg: 4.48 7.40 8.91 5/176 1142
/proc/meminfo: memFree=31318980/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=669.93 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 524 242124 0 0 0 0 66931 62 15 0 1 0 520322300 18763776 390 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639362 0 0 17 2 0 0 0
/proc/1088/statm: 4581 390 342 23 0 91 0
[pid=1090] ppid=1088 vsize=83112 CPUtime=1122.31 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 17418 0 0 0 112229 2 0 0 25 0 1 0 520322300 85106688 16805 33554432000 4194304 4785740 140737404127584 18446744073709551615 4278070 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 20778 16805 341 145 0 17823 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=558.12 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 55812 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=46860 CPUtime=1122.2 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 115850 0 0 0 112204 16 0 0 25 0 1 0 520322300 47984640 10877 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 11715 10877 127 39 0 10795 0
[pid=1093] ppid=1088 vsize=29668 CPUtime=558.19 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 9717 0 0 0 55818 1 0 0 25 0 1 0 520322300 30380032 4680 33554432000 4194304 4331988 140736747200560 18446744073709551615 4210412 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 7417 4680 175 34 0 5859 0
Current children cumulated CPU time (s) 4030.75
Current children cumulated vsize (KiB) 637124

[startup+1182.3 s]
/proc/loadavg: 4.23 6.79 8.60 5/176 1144
/proc/meminfo: memFree=31325756/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=669.93 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 524 242124 0 0 0 0 66931 62 15 0 1 0 520322300 18763776 390 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639362 0 0 17 2 0 0 0
/proc/1088/statm: 4581 390 342 23 0 91 0
[pid=1090] ppid=1088 vsize=84252 CPUtime=1182.31 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 17674 0 0 0 118229 2 0 0 25 0 1 0 520322300 86274048 17061 33554432000 4194304 4785740 140737404127584 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 21063 17061 341 145 0 18108 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=588.02 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 58802 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134530701 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=38668 CPUtime=1182.2 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 120586 0 0 0 118203 17 0 0 25 0 1 0 520322300 39596032 8829 33554432000 4194304 4352236 140736120843312 18446744073709551615 4329276 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 9667 8829 127 39 0 8747 0
[pid=1093] ppid=1088 vsize=29668 CPUtime=588.02 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 9798 0 0 0 58801 1 0 0 25 0 1 0 520322300 30380032 4761 33554432000 4194304 4331988 140736747200560 18446744073709551615 4299351 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 7417 4761 175 34 0 5859 0
Current children cumulated CPU time (s) 4210.48
Current children cumulated vsize (KiB) 630072

[startup+1242.3 s]
/proc/loadavg: 4.14 6.30 8.32 5/176 1146
/proc/meminfo: memFree=31313560/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=669.93 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 524 242124 0 0 0 0 66931 62 15 0 1 0 520322300 18763776 390 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639362 0 0 17 2 0 0 0
/proc/1088/statm: 4581 390 342 23 0 91 0
[pid=1090] ppid=1088 vsize=85244 CPUtime=1242.31 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 17892 0 0 0 124229 2 0 0 25 0 1 0 520322300 87289856 17279 33554432000 4194304 4785740 140737404127584 18446744073709551615 4549593 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 21311 17279 341 145 0 18356 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=617.86 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 61786 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=50188 CPUtime=1242.19 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 125130 0 0 0 124202 17 0 0 25 0 1 0 520322300 51392512 11709 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328068 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 12547 11709 127 39 0 11627 0
[pid=1093] ppid=1088 vsize=29668 CPUtime=617.89 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 9879 0 0 0 61788 1 0 0 25 0 1 0 520322300 30380032 4842 33554432000 4194304 4331988 140736747200560 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 7417 4842 175 34 0 5859 0
Current children cumulated CPU time (s) 4390.18
Current children cumulated vsize (KiB) 642584



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.10 5.89 8.05 5/176 1147
/proc/meminfo: memFree=31315860/32950928 swapFree=67111404/67111528
[pid=1088] ppid=1086 vsize=18324 CPUtime=669.93 cores=0,2,4,6
/proc/1088/stat : 1088 (ppfolio) S 1086 1088 32278 0 -1 4202496 524 242124 0 0 0 0 66931 62 15 0 1 0 520322300 18763776 390 33554432000 4194304 4287625 140735967962032 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639362 0 0 17 2 0 0 0
/proc/1088/statm: 4581 390 342 23 0 91 0
[pid=1090] ppid=1088 vsize=86240 CPUtime=1300.02 cores=4
/proc/1090/stat : 1090 (clasp) R 1088 1088 32278 0 -1 4202496 18131 0 0 0 130000 2 0 0 25 0 1 0 520322300 88309760 17518 33554432000 4194304 4785740 140737404127584 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1090/statm: 21560 17518 341 145 0 18605 0
[pid=1091] ppid=1088 vsize=459160 CPUtime=646.61 cores=6
/proc/1091/stat : 1091 (TNM) R 1088 1088 32278 0 -1 4202496 1424 0 0 0 64661 0 0 0 25 0 1 0 520322300 470179840 1321 33554432000 134512640 134534564 4294460816 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1091/statm: 114790 1321 95 6 0 113456 0
[pid=1092] ppid=1088 vsize=45836 CPUtime=1299.9 cores=2
/proc/1092/stat : 1092 (lingeling) R 1088 1088 32278 0 -1 4202496 129866 0 0 0 129972 18 0 0 25 0 1 0 520322300 46936064 10621 33554432000 4194304 4352236 140736120843312 18446744073709551615 4328013 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1092/statm: 11459 10621 127 39 0 10539 0
[pid=1093] ppid=1088 vsize=29668 CPUtime=646.6 cores=6
/proc/1093/stat : 1093 (march_hi) R 1088 1088 32278 0 -1 4202496 9957 0 0 0 64658 2 0 0 25 0 1 0 520322300 30380032 4920 33554432000 4194304 4331988 140736747200560 18446744073709551615 4287668 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1093/statm: 7417 4920 175 34 0 5859 0
Current children cumulated CPU time (s) 4563.06
Current children cumulated vsize (KiB) 639228

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1088 and gives
#  childrusage.ru_utime.tv_sec=3915
#  childrusage.ru_utime.tv_usec=661728
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=848870
# CPU time returned by wait4() is 3916.51
# while last known CPU time is 4563.06
#
# 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): 4563.06
CPU user time (s): 4562.22
CPU system time (s): 0.84
CPU usage (%): 351.001
Max. virtual memory (cumulated for all children) (KiB): 15039556

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

runsolver used 2.13867 second user time and 4.67929 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 16:27:15
IDJOB=3250687
IDBENCH=83336
IDSOLVER=1612
FILE ID=node120/3250687-1304087235
RUNJOBID= node120-1304078919-32296
PBS_JOBID= 13170527
Free space on /tmp= 72064 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250687-1304087235/watcher-3250687-1304087235 -o /tmp/evaluation-result-3250687-1304087235/solver-3250687-1304087235 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3250687-1304087235.cnf

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

MD5SUM BENCH= faed4f95ee485d18812f5d39a28df3e5
RANDOM SEED=1049782343

node120.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.809
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.61
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.809
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.07
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.809
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.809
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.809
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.78
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.809
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.809
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.809
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:      31318088 kB
Buffers:        468700 kB
Cached:         616488 kB
SwapCached:          8 kB
Active:         542456 kB
Inactive:       730952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31318088 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           10540 kB
Writeback:           0 kB
AnonPages:      187968 kB
Mapped:          16916 kB
Slab:           296184 kB
PageTables:       5388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1508300 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= 72064 MiB
End job on node120 at 2011-04-29 16:48:55