Trace number 3706449

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
toysat 2012-05-17? (TO) 1800.08 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_1.opb
MD5SUM8a23e88f34ee33e636d3b24522832f27
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3948307
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

2.99/3.06	c 2012-05-28T23:35:54+0200
2.99/3.06	c arch = x86_64
2.99/3.06	c os = linux
2.99/3.06	c compiler = ghc 7.4
2.99/3.06	c packages:
2.99/3.06	c   OptDir-0.0.1
2.99/3.06	c   array-0.4.0.0
2.99/3.06	c   base-4.5.0.0
2.99/3.06	c   bytestring-0.9.2.1
2.99/3.06	c   containers-0.4.2.1
2.99/3.06	c   deepseq-1.3.0.0
2.99/3.06	c   mtl-2.1.1
2.99/3.06	c   old_locale-1.0.0.4
2.99/3.06	c   parse_dimacs-1.2
2.99/3.06	c   parsec-3.1.2
2.99/3.06	c   queue-0.1.2
2.99/3.06	c   stm-2.3
2.99/3.06	c   time-1.4
2.99/3.06	c command line = ["--pb","HOME/instance-3706449-1338240954.opb"]
2.99/3.06	c #vars 5100
2.99/3.06	c #constraints 7606
2.99/3.06	c Solving starts ...
3.99/4.03	c solving time = 0.966s
3.99/4.03	c #decision = 7098
3.99/4.03	c #conflict = 151
3.99/4.03	c #restart = 1
3.99/4.03	o 23867605
3.99/4.04	c Solving starts ...
4.19/4.26	c solving time = 0.218s
4.19/4.26	c #decision = 7208
4.19/4.26	c #conflict = 166
4.19/4.26	c #restart = 1
4.19/4.26	o 23853447
4.19/4.27	c Solving starts ...
158.55/158.66	c solving time = 154.347s
158.55/158.66	c #decision = 7706
158.55/158.66	c #conflict = 470
158.55/158.66	c #restart = 3
158.55/158.66	o 21653433
158.55/158.67	c Solving starts ...
158.85/158.93	c solving time = 0.258s
158.85/158.93	c #decision = 7767
158.85/158.93	c #conflict = 474
158.85/158.93	c #restart = 3
158.85/158.93	o 21620457
158.85/158.94	c Solving starts ...
159.55/159.64	c solving time = 0.692s
159.55/159.64	c #decision = 7823
159.55/159.64	c #conflict = 477
159.55/159.64	c #restart = 3
159.55/159.64	o 21537543
159.55/159.64	c Solving starts ...
161.34/161.47	c solving time = 1.821s
161.34/161.47	c #decision = 7961
161.34/161.47	c #conflict = 556
161.34/161.47	c #restart = 3
161.34/161.47	o 21533245
161.34/161.48	c Solving starts ...
194.04/194.12	c solving time = 32.633s
194.04/194.12	c #decision = 8097
194.04/194.12	c #conflict = 608
194.04/194.12	c #restart = 3
194.04/194.12	o 21016745
194.04/194.14	c Solving starts ...
199.44/199.58	c solving time = 5.435s
199.44/199.58	c #decision = 8200
199.44/199.58	c #conflict = 638
199.44/199.58	c #restart = 3
199.44/199.58	o 19222575
199.44/199.59	c Solving starts ...
199.94/200.00	c solving time = 0.404s
199.94/200.00	c #decision = 8262
199.94/200.00	c #conflict = 640
199.94/200.00	c #restart = 3
199.94/200.00	o 17714655
199.94/200.01	c Solving starts ...
957.51/957.75	c solving time = 757.613s
957.51/957.75	c #decision = 8428
957.51/957.75	c #conflict = 697
957.51/957.75	c #restart = 3
957.51/957.75	o 17677953
957.51/957.78	c Solving starts ...
958.11/958.38	c solving time = 0.594s
958.11/958.38	c #decision = 8529
958.11/958.38	c #conflict = 707
958.11/958.38	c #restart = 3
958.11/958.38	o 17601617
958.11/958.39	c Solving starts ...
958.61/958.88	c solving time = 0.491s
958.61/958.88	c #decision = 8608
958.61/958.88	c #conflict = 713
958.61/958.88	c #restart = 3
958.61/958.88	o 17594225
958.61/958.89	c Solving starts ...
970.50/970.75	c solving time = 11.855s
970.50/970.75	c #decision = 8806
970.50/970.75	c #conflict = 787
970.50/970.75	c #restart = 3
970.50/970.75	o 17581251
970.50/970.78	c Solving starts ...
1752.09/1752.41	c solving time = 781.508s
1752.09/1752.41	c #decision = 12591
1752.09/1752.41	c #conflict = 2882
1752.09/1752.41	c #restart = 9
1752.09/1752.41	o 13139039
1752.09/1752.42	c Solving starts ...
1758.99/1759.37	c solving time = 6.946s
1758.99/1759.37	c #decision = 12744
1758.99/1759.37	c #conflict = 2928
1758.99/1759.37	c #restart = 9
1758.99/1759.37	o 13137251
1758.99/1759.38	c Solving starts ...
1759.59/1759.91	c solving time = 0.529s
1759.59/1759.91	c #decision = 12805
1759.59/1759.91	c #conflict = 2931
1759.59/1759.91	c #restart = 9
1759.59/1759.91	o 13115181
1759.59/1759.92	c Solving starts ...
1760.18/1760.55	c solving time = 0.628s
1760.18/1760.55	c #decision = 12856
1760.18/1760.55	c #conflict = 2935
1760.18/1760.55	c #restart = 9
1760.18/1760.55	o 13105311
1760.18/1760.56	c Solving starts ...
1766.08/1766.40	c solving time = 5.837s
1766.08/1766.40	c #decision = 12915
1766.08/1766.40	c #conflict = 2950
1766.08/1766.40	c #restart = 9
1766.08/1766.40	o 13102781
1766.08/1766.41	c Solving starts ...
1778.48/1778.85	c solving time = 12.434s
1778.48/1778.85	c #decision = 12982
1778.48/1778.85	c #conflict = 2973
1778.48/1778.85	c #restart = 9
1778.48/1778.85	o 13077797
1778.48/1778.88	c Solving starts ...

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-3706449-1338240954/watcher-3706449-1338240954 -o /tmp/evaluation-result-3706449-1338240954/solver-3706449-1338240954 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706449-1338240954.opb 

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

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.00 2.00 2.00 2/176 3573
/proc/meminfo: memFree=30521928/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 290219964 6356992 725 33554432000 4194304 8973514 140734189641776 140737161826888 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 1552 725 412 1167 0 333 0

[startup+0.011045 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 3573
/proc/meminfo: memFree=30521928/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 899 0 0 0 0 0 0 0 20 0 1 0 290219964 7405568 820 33554432000 4194304 8973514 140734189641776 140737161826888 7174672 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 1808 820 413 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 3573
/proc/meminfo: memFree=30521928/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 2134 0 0 0 9 0 0 0 20 0 1 0 290219964 12648448 2055 33554432000 4194304 8973514 140734189641776 140734189641272 5638154 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 3088 2055 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 3573
/proc/meminfo: memFree=30521928/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=24640 CPUtime=0.28 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 5449 0 0 0 28 0 0 0 20 0 1 0 290219964 25231360 5370 33554432000 4194304 8973514 140734189641776 140734189641272 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 6160 5370 434 1167 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24640

[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 3573
/proc/meminfo: memFree=30521928/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=24640 CPUtime=0.69 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 5449 0 0 0 68 1 0 0 20 0 1 0 290219964 25231360 5370 33554432000 4194304 8973514 140734189641776 140734189641272 4447872 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 6160 5370 434 1167 0 4941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24640

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3574
/proc/meminfo: memFree=30502320/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=24640 CPUtime=1.49 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 5449 0 0 0 148 1 0 0 20 0 1 0 290219964 25231360 5370 33554432000 4194304 8973514 140734189641776 140734189641272 5388860 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 6160 5370 434 1167 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24640

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3574
/proc/meminfo: memFree=30496500/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=30784 CPUtime=3.09 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 6998 0 0 0 307 2 0 0 20 0 1 0 290219964 31522816 6919 33554432000 4194304 8973514 140734189641776 140734189641272 7672539 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 7696 6919 447 1167 0 6477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30784

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3574
/proc/meminfo: memFree=30488812/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=37952 CPUtime=6.29 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 8800 0 0 0 626 3 0 0 20 0 1 0 290219964 38862848 8721 33554432000 4194304 8973514 140734189641776 140734189641040 7732355 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 9488 8721 457 1167 0 8269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37952

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3575
/proc/meminfo: memFree=30485596/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=38976 CPUtime=12.68 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 9056 0 0 0 1264 4 0 0 20 0 1 0 290219964 39911424 8977 33554432000 4194304 8973514 140734189641776 140734189641272 4416560 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 9744 8977 457 1167 0 8525 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38976

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3575
/proc/meminfo: memFree=30485656/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=38976 CPUtime=25.48 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 9056 0 0 0 2541 7 0 0 20 0 1 0 290219964 39911424 8977 33554432000 4194304 8973514 140734189641776 140734189641272 4208870 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 9744 8977 457 1167 0 8525 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38976

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3575
/proc/meminfo: memFree=30485872/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=38976 CPUtime=51.07 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 9069 0 0 0 5093 14 0 0 20 0 1 0 290219964 39911424 8982 33554432000 4194304 8973514 140734189641776 140734189641040 4209198 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 9744 8982 457 1167 0 8525 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38976

[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3575
/proc/meminfo: memFree=30485508/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=38976 CPUtime=102.26 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 9069 0 0 0 10199 27 0 0 20 0 1 0 290219964 39911424 8982 33554432000 4194304 8973514 140734189641776 140734189641272 7654944 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 9744 8982 457 1167 0 8525 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38976

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3576
/proc/meminfo: memFree=30482532/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=44096 CPUtime=162.24 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 10349 0 0 0 16185 39 0 0 20 0 1 0 290219964 45154304 10262 33554432000 4194304 8973514 140734189641776 140734189641272 4211749 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 11024 10262 457 1167 0 9805 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 44096

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3576
/proc/meminfo: memFree=30474340/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=222.23 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 22168 55 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641272 4209187 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49216

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3579
/proc/meminfo: memFree=30473896/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=282.23 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 28152 71 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641040 4208870 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 49216

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3579
/proc/meminfo: memFree=30472848/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=342.22 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 34135 87 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641040 4415217 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 49216

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3579
/proc/meminfo: memFree=30471856/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=402.2 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 40117 103 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641040 4414992 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 49216

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3580
/proc/meminfo: memFree=30470800/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=462.19 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 46100 119 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641040 4415701 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 49216

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3580
/proc/meminfo: memFree=30470924/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=522.19 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 52082 137 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189639744 4209220 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 49216

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3580
/proc/meminfo: memFree=30471048/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=582.18 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 58065 153 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641272 4204363 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 49216

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3581
/proc/meminfo: memFree=30470924/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=822.14 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 82000 214 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641040 4415828 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 49216

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3584
/proc/meminfo: memFree=30470544/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=882.13 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 87983 230 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641272 4208843 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 49216

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3584
/proc/meminfo: memFree=30470924/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=49216 CPUtime=942.12 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 11633 0 0 0 93966 246 0 0 20 0 1 0 290219964 50397184 11542 33554432000 4194304 8973514 140734189641776 140734189641040 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 12304 11542 457 1167 0 11085 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 49216

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3584
/proc/meminfo: memFree=30464724/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=55360 CPUtime=1002.1 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 13169 0 0 0 99948 262 0 0 20 0 1 0 290219964 56688640 13078 33554432000 4194304 8973514 140734189641776 140734189641272 4415363 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 13840 13078 457 1167 0 12621 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 55360

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3596
/proc/meminfo: memFree=30464276/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=55360 CPUtime=1062.09 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 13171 0 0 0 105929 280 0 0 20 0 1 0 290219964 56688640 13078 33554432000 4194304 8973514 140734189641776 140734189641272 4208816 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/3573/statm: 13840 13078 457 1167 0 12621 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 55360

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3596
/proc/meminfo: memFree=30463788/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=56384 CPUtime=1122.08 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 13427 0 0 0 111911 297 0 0 20 0 1 0 290219964 57737216 13334 33554432000 4194304 8973514 140734189641776 140734189641272 4206114 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14096 13334 457 1167 0 12877 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 56384

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3596
/proc/meminfo: memFree=30463540/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=56384 CPUtime=1182.07 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 13427 0 0 0 117893 314 0 0 20 0 1 0 290219964 57737216 13334 33554432000 4194304 8973514 140734189641776 140734189641272 4209142 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14096 13334 457 1167 0 12877 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 56384

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3596
/proc/meminfo: memFree=30461060/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=58432 CPUtime=1242.06 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 13939 0 0 0 123874 332 0 0 20 0 1 0 290219964 59834368 13846 33554432000 4194304 8973514 140734189641776 140734189639744 7841851 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14608 13846 457 1167 0 13389 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 58432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3596
/proc/meminfo: memFree=30461056/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=58432 CPUtime=1302.06 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 13941 0 0 0 129856 350 0 0 20 0 1 0 290219964 59834368 13846 33554432000 4194304 8973514 140734189641776 140734189641040 4204378 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14608 13846 457 1167 0 13389 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 58432

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3597
/proc/meminfo: memFree=30460684/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=58432 CPUtime=1362.04 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 13941 0 0 0 135839 365 0 0 20 0 1 0 290219964 59834368 13846 33554432000 4194304 8973514 140734189641776 140734189641040 7401144 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14608 13846 457 1167 0 13389 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 58432

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3636
/proc/meminfo: memFree=30428044/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=59456 CPUtime=1422.04 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 14197 0 0 0 141823 381 0 0 20 0 1 0 290219964 60882944 14102 33554432000 4194304 8973514 140734189641776 140734189641272 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14864 14102 457 1167 0 13645 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 59456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3639
/proc/meminfo: memFree=30426980/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=59456 CPUtime=1482.02 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 14197 0 0 0 147806 396 0 0 20 0 1 0 290219964 60882944 14102 33554432000 4194304 8973514 140734189641776 140734189641272 4208857 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14864 14102 457 1167 0 13645 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 59456

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3662
/proc/meminfo: memFree=30427352/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=59456 CPUtime=1542.02 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 14197 0 0 0 153787 415 0 0 20 0 1 0 290219964 60882944 14102 33554432000 4194304 8973514 140734189641776 140734189641040 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14864 14102 457 1167 0 13645 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 59456

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3662
/proc/meminfo: memFree=30427732/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=59456 CPUtime=1602 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 14197 0 0 0 159768 432 0 0 20 0 1 0 290219964 60882944 14102 33554432000 4194304 8973514 140734189641776 140734189641272 4208840 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14864 14102 457 1167 0 13645 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 59456

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 3662
/proc/meminfo: memFree=30427740/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=59456 CPUtime=1662 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 14197 0 0 0 165750 450 0 0 20 0 1 0 290219964 60882944 14102 33554432000 4194304 8973514 140734189641776 140734189641040 7688753 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 14864 14102 457 1167 0 13645 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 59456

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3663
/proc/meminfo: memFree=30425748/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=61504 CPUtime=1721.99 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 14709 0 0 0 171730 469 0 0 20 0 1 0 290219964 62980096 14614 33554432000 4194304 8973514 140734189641776 140734189641272 7399974 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 15376 14614 457 1167 0 14157 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 61504

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3663
/proc/meminfo: memFree=30409256/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=77888 CPUtime=1781.98 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 18805 0 0 0 177704 494 0 0 20 0 1 0 290219964 79757312 18710 33554432000 4194304 8973514 140734189641776 140734189641040 7670717 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 19472 18710 457 1167 0 18253 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 77888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3663
/proc/meminfo: memFree=30409176/32873844 swapFree=7900/7900
[pid=3573] ppid=3571 vsize=77888 CPUtime=1800.07 cores=0,2,4,6
/proc/3573/stat : 3573 (toysat) R 3571 3573 2640 0 -1 4202496 18811 0 0 0 179507 500 0 0 20 0 1 0 290219964 79757312 18710 33554432000 4194304 8973514 140734189641776 140734189641040 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/3573/statm: 19472 18710 457 1167 0 18253 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 77888

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)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1795.08
CPU system time (s): 5.00724
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 77888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 5.00724
maximum resident set size= 74840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18811
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= 2618

runsolver used 3.02254 second user time and 9.37257 second system time

The end

Launcher Data

Begin job on node137 at 2012-05-28 23:35:54
IDJOB=3706449
IDBENCH=92748
IDSOLVER=2285
FILE ID=node137/3706449-1338240954
RUNJOBID= node137-1338233742-3126
PBS_JOBID= 14624624
Free space on /tmp= 71224 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706449-1338240954/watcher-3706449-1338240954 -o /tmp/evaluation-result-3706449-1338240954/solver-3706449-1338240954 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706449-1338240954.opb

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

MD5SUM BENCH= 8a23e88f34ee33e636d3b24522832f27
RANDOM SEED=1873450918

node137.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		: 2666.600
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	: 5333.20
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		: 2666.600
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		: 2666.600
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.92
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		: 2666.600
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		: 2666.600
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		: 2666.600
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.90
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		: 2666.600
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		: 2666.600
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30521928 kB
Buffers:          429420 kB
Cached:          1002456 kB
SwapCached:        20904 kB
Active:          1205132 kB
Inactive:         282260 kB
Active(anon):      34536 kB
Inactive(anon):    22936 kB
Active(file):    1170596 kB
Inactive(file):   259324 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082664 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:         43496 kB
Mapped:            11424 kB
Shmem:                 0 kB
Slab:             724532 kB
SReclaimable:     166032 kB
SUnreclaim:       558500 kB
KernelStack:        1464 kB
PageTables:         3752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     157956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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= 71216 MiB
End job on node137 at 2012-05-29 00:05:57