Trace number 3723668

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 NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594c? (TO) 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
MD5SUM487945ea0e229650aa78cf341d4ff673
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4465
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.00	c Converting 14 PB-constraints to clauses...
0.00/0.00	c   -- Unit propagations: (none)
0.00/0.00	c   -- Detecting intervals from adjacent constraints: #######
0.00/0.00	c   -- Clauses(.)/Splits(s): (none)
0.00/0.00	c ---[  12]---> Adder-cost: 320   maxlim: 1369   bits: 12/11
0.00/0.00	c ---[  10]---> Adder-cost: 310   maxlim: 1266   bits: 12/11
0.00/0.00	c ---[   8]---> Adder-cost: 348   maxlim: 1488   bits: 12/11
0.00/0.00	c ---[   6]---> Adder-cost: 332   maxlim: 1418   bits: 12/11
0.00/0.00	c ---[   4]---> Adder-cost: 322   maxlim: 1398   bits: 12/11
0.00/0.01	c ---[   2]---> Adder-cost: 326   maxlim: 1478   bits: 12/11
0.00/0.01	c ---[   0]---> Adder-cost: 328   maxlim: 1439   bits: 12/11
0.00/0.01	c ==================================[MINISAT+]==================================
0.00/0.01	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.01	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   15495    55113 |    5165       0        0    -nan |  0.000 % |
0.00/0.01	c |       101 |   15495    55113 |    5681     101      669     6.6 |  6.683 % |
0.00/0.02	c |       251 |   15487    55087 |    6249     250     1861     7.4 |  6.724 % |
0.00/0.02	c |       477 |   15487    55087 |    6874     476     5195    10.9 |  6.724 % |
0.00/0.03	c |       815 |   15479    55061 |    7562     813     9794    12.0 |  6.766 % |
0.00/0.05	c |      1321 |   15479    55061 |    8318    1319    22655    17.2 |  6.766 % |
0.00/0.07	c |      2082 |   15479    55061 |    9150    2080    40302    19.4 |  6.766 % |
0.00/0.13	c |      3223 |   15479    55061 |   10065    3221    80240    24.9 |  6.766 % |
0.00/0.23	c |      4931 |   15479    55061 |   11071    4929   135162    27.4 |  6.766 % |
0.00/0.41	c |      7493 |   15479    55061 |   12178    7491   231099    30.9 |  6.766 % |
0.00/0.73	c |     11338 |   15479    55061 |   13396   11336   365023    32.2 |  6.766 % |
1.19/1.21	c |     17105 |   15479    55061 |   14736   10216   359594    35.2 |  6.766 % |
1.79/1.82	c |     25754 |   15479    55061 |   16209   11303   354490    31.4 |  6.766 % |
2.79/2.86	c |     38728 |   15471    55035 |   17830   15973   523087    32.7 |  6.807 % |
4.69/4.74	c |     58189 |   15471    55035 |   19614   17179   624425    36.3 |  6.807 % |
8.28/8.36	c |     87381 |   15463    55009 |   21575   16438   725935    44.2 |  6.848 % |
13.09/13.13	c |    131170 |   15463    55009 |   23733   16428   607409    37.0 |  6.848 % |
21.99/22.08	c |    196855 |   15455    54983 |   26106   21788   857707    39.4 |  6.889 % |
34.78/34.87	c |    295381 |   15447    54957 |   28716   13675   483839    35.4 |  6.931 % |
57.87/57.96	c |    443170 |   15447    54957 |   31588   26142  1036066    39.6 |  6.931 % |
91.67/91.71	c |    664855 |   15439    54931 |   34747   27556  1113118    40.4 |  6.972 % |
139.86/139.95	c |    997380 |   15439    54931 |   38222   19498   684632    35.1 |  6.972 % |
216.85/216.90	c |   1496168 |   15431    54905 |   42044   26092  1063573    40.8 |  7.013 % |
328.63/328.79	c |   2244350 |   15415    54853 |   46248   20250   782489    38.6 |  7.096 % |
519.40/519.55	c |   3366629 |   15409    54835 |   50873   34811  1423160    40.9 |  7.137 % |
818.96/819.11	c |   5050041 |   15409    54835 |   55961   26712  1061172    39.7 |  7.137 % |
1212.00/1212.22	c |   7575158 |   15409    54835 |   61557   28138  1110187    39.5 |  7.137 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3723668-1338573177/watcher-3723668-1338573177 -o /tmp/evaluation-result-3723668-1338573177/solver-3723668-1338573177 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723668-1338573177.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.03 2.03 1.99 3/177 17752
/proc/meminfo: memFree=30142348/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0

[startup+0.0168179 s]
/proc/loadavg: 2.03 2.03 1.99 3/177 17752
/proc/meminfo: memFree=30142348/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100267 s]
/proc/loadavg: 2.03 2.03 1.99 3/177 17752
/proc/meminfo: memFree=30142348/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30023 s]
/proc/loadavg: 2.03 2.03 1.99 3/177 17752
/proc/meminfo: memFree=30142348/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700224 s]
/proc/loadavg: 2.03 2.03 1.99 3/177 17752
/proc/meminfo: memFree=30142348/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.03 2.03 1.99 3/179 17757
/proc/meminfo: memFree=30137992/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=6484 CPUtime=1.49 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 1464 0 0 0 149 0 0 0 20 0 1 0 323446285 6639616 1420 33554432000 4194304 5276501 140734146603088 140734146601032 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 1621 1420 146 265 0 1353 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15632

[startup+3.10027 s]
/proc/loadavg: 2.03 2.03 1.99 3/179 17757
/proc/meminfo: memFree=30136744/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=7484 CPUtime=3.09 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 1698 0 0 0 309 0 0 0 20 0 1 0 323446285 7663616 1654 33554432000 4194304 5276501 140734146603088 140734146601272 4399918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 1871 1654 147 265 0 1603 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16632

[startup+6.30026 s]
/proc/loadavg: 2.03 2.03 1.99 3/179 17757
/proc/meminfo: memFree=30136560/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=8964 CPUtime=6.29 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 2056 0 0 0 629 0 0 0 20 0 1 0 323446285 9179136 2012 33554432000 4194304 5276501 140734146603088 140734146601272 4400435 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 2241 2012 147 265 0 1973 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18112

[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 1.99 3/179 17757
/proc/meminfo: memFree=30134096/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=10164 CPUtime=12.68 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 2370 0 0 0 1268 0 0 0 20 0 1 0 323446285 10407936 2326 33554432000 4194304 5276501 140734146603088 140734146601272 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 2541 2326 147 265 0 2273 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19312

[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 1.99 3/179 17757
/proc/meminfo: memFree=30131624/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=12080 CPUtime=25.48 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 2837 0 0 0 2548 0 0 0 20 0 1 0 323446285 12369920 2793 33554432000 4194304 5276501 140734146603088 140734146601272 4399918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 3020 2793 147 265 0 2752 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21228

[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 1.99 3/179 17757
/proc/meminfo: memFree=30126664/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=15272 CPUtime=51.08 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 3573 0 0 0 5108 0 0 0 20 0 1 0 323446285 15638528 3529 33554432000 4194304 5276501 140734146603088 140734146601272 4400020 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 3818 3529 147 265 0 3550 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24420

[startup+102.307 s]
/proc/loadavg: 2.00 2.02 1.99 3/179 17757
/proc/meminfo: memFree=30118644/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=17972 CPUtime=102.27 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 4237 0 0 0 10227 0 0 0 20 0 1 0 323446285 18403328 4256 33554432000 4194304 5276501 140734146603088 140734146601272 4400432 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 4493 4256 147 265 0 4225 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27120

[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 17757
/proc/meminfo: memFree=30111452/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=20984 CPUtime=162.26 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 4921 0 0 0 16225 1 0 0 20 0 1 0 323446285 21487616 4940 33554432000 4194304 5276501 140734146603088 140734146601272 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 5246 4940 147 265 0 4978 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30132

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 17757
/proc/meminfo: memFree=30104252/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=23052 CPUtime=222.25 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 5370 0 0 0 22224 1 0 0 20 0 1 0 323446285 23605248 5447 33554432000 4194304 5276501 140734146603088 140734146601272 4399315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 5763 5447 147 265 0 5495 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 32200

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 17758
/proc/meminfo: memFree=30098176/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=24992 CPUtime=282.24 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 5792 0 0 0 28223 1 0 0 20 0 1 0 323446285 25591808 5869 33554432000 4194304 5276501 140734146603088 140734146601320 4399962 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 6248 5869 147 265 0 5980 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 34140

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17758
/proc/meminfo: memFree=30091340/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=26716 CPUtime=342.23 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 6214 0 0 0 34222 1 0 0 20 0 1 0 323446285 27357184 6385 33554432000 4194304 5276501 140734146603088 140734146601496 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 6679 6385 147 265 0 6411 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 35864

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17758
/proc/meminfo: memFree=30084892/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=37380 CPUtime=1122.11 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 8557 0 0 0 112209 2 0 0 20 0 1 0 323446285 38277120 8904 33554432000 4194304 5276501 140734146603088 140734146601320 4399850 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 9345 8904 147 265 0 9077 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 46528

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17790
/proc/meminfo: memFree=30020964/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=37812 CPUtime=1182.1 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 8663 0 0 0 118208 2 0 0 20 0 1 0 323446285 38719488 9010 33554432000 4194304 5276501 140734146603088 140734146601320 4399866 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 9453 9010 147 265 0 9185 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 46960

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17790
/proc/meminfo: memFree=30014080/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=41244 CPUtime=1242.09 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 9428 0 0 0 124207 2 0 0 20 0 1 0 323446285 42233856 9875 33554432000 4194304 5276501 140734146603088 140734146601320 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 10311 9875 147 265 0 10043 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 50392

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17790
/proc/meminfo: memFree=30008888/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=43296 CPUtime=1302.09 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 9895 0 0 0 130207 2 0 0 20 0 1 0 323446285 44335104 10342 33554432000 4194304 5276501 140734146603088 140734146601320 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 10824 10342 147 265 0 10556 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 52444

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17791
/proc/meminfo: memFree=30003720/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=43912 CPUtime=1362.07 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 10028 0 0 0 136205 2 0 0 20 0 1 0 323446285 44965888 10532 33554432000 4194304 5276501 140734146603088 140734146601512 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 10978 10532 147 265 0 10710 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 53060

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17834
/proc/meminfo: memFree=29972044/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=44528 CPUtime=1422.07 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 10159 0 0 0 142205 2 0 0 20 0 1 0 323446285 45596672 10663 33554432000 4194304 5276501 140734146603088 140734146601320 4399852 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 11132 10663 147 265 0 10864 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 53676

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17835
/proc/meminfo: memFree=29968512/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=45616 CPUtime=1482.05 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 10384 0 0 0 148203 2 0 0 20 0 1 0 323446285 46710784 10906 33554432000 4194304 5276501 140734146603088 140734146601272 4399826 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 11404 10906 147 265 0 11136 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 54764

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17835
/proc/meminfo: memFree=29877276/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=47012 CPUtime=1542.04 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 10657 0 0 0 154202 2 0 0 20 0 1 0 323446285 48140288 11179 33554432000 4194304 5276501 140734146603088 140734146601320 4399992 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 11753 11179 147 265 0 11485 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 56160

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17835
/proc/meminfo: memFree=29791188/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=47660 CPUtime=1602.03 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 10806 0 0 0 160201 2 0 0 20 0 1 0 323446285 48803840 11328 33554432000 4194304 5276501 140734146603088 140734146601320 4400432 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 11915 11328 147 265 0 11647 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 56808

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17838
/proc/meminfo: memFree=29704656/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=48212 CPUtime=1662.03 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 10950 0 0 0 166200 3 0 0 20 0 1 0 323446285 49369088 11472 33554432000 4194304 5276501 140734146603088 140734146601512 4400432 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 12053 11472 147 265 0 11785 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 57360

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17838
/proc/meminfo: memFree=29624524/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=48644 CPUtime=1722.02 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 11030 0 0 0 172199 3 0 0 20 0 1 0 323446285 49811456 11552 33554432000 4194304 5276501 140734146603088 140734146601512 4399741 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 12161 11552 147 265 0 11893 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 57792

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 17838
/proc/meminfo: memFree=29508932/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=49192 CPUtime=1782.01 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 11115 0 0 0 178198 3 0 0 20 0 1 0 323446285 50372608 11637 33554432000 4194304 5276501 140734146603088 140734146601272 4400452 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 12298 11637 147 265 0 12030 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 58340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17839
/proc/meminfo: memFree=29480372/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=49404 CPUtime=1800.01 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 11155 0 0 0 179998 3 0 0 20 0 1 0 323446285 50589696 11677 33554432000 4194304 5276501 140734146603088 140734146601272 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 12351 11677 147 265 0 12083 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 58552

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17839
/proc/meminfo: memFree=29480372/32873844 swapFree=7372/7372
[pid=17752] ppid=17750 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17752/stat : 17752 (minisat+_script) S 17750 17752 14374 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323446285 9367552 277 33554432000 4194304 5064252 140735040072352 140735040071264 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17752/statm: 2287 277 236 213 0 72 0
[pid=17756] ppid=17752 vsize=49404 CPUtime=1800.01 cores=1,3,5,7
/proc/17756/stat : 17756 (minisat+_64-bit) R 17752 17752 14374 0 -1 4202496 11155 0 0 0 179998 3 0 0 20 0 1 0 323446285 50589696 11677 33554432000 4194304 5276501 140734146603088 140734146601272 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17756/statm: 12351 11677 147 265 0 12083 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 58552

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.99
CPU system time (s): 0.034994
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 58552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.034994
maximum resident set size= 46712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12104
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= 30
involuntary context switches= 1972

runsolver used 3.13252 second user time and 8.98563 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-01 19:52:57
IDJOB=3723668
IDBENCH=2900
IDSOLVER=2307
FILE ID=node109/3723668-1338573177
RUNJOBID= node109-1338569199-17154
PBS_JOBID= 14635875
Free space on /tmp= 70712 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723668-1338573177/watcher-3723668-1338573177 -o /tmp/evaluation-result-3723668-1338573177/solver-3723668-1338573177 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723668-1338573177.opb

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

MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673
RANDOM SEED=1812875621

node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30143372 kB
Buffers:          280416 kB
Cached:          1442396 kB
SwapCached:          944 kB
Active:           990288 kB
Inactive:         866032 kB
Active(anon):     128316 kB
Inactive(anon):     7800 kB
Active(file):     861972 kB
Inactive(file):   858232 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105492 kB
Dirty:              2364 kB
Writeback:             0 kB
AnonPages:        140044 kB
Mapped:            10508 kB
Shmem:                 4 kB
Slab:             733868 kB
SReclaimable:     176380 kB
SUnreclaim:       557488 kB
KernelStack:        1472 kB
PageTables:         3884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     254996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node109 at 2012-06-01 20:22:57