Trace number 3706766

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark12.2971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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 

0.28/0.30	c 2012-05-27T13:18:25+0200
0.28/0.30	c arch = x86_64
0.28/0.30	c os = linux
0.28/0.30	c compiler = ghc 7.4
0.28/0.30	c packages:
0.28/0.30	c   OptDir-0.0.1
0.28/0.30	c   array-0.4.0.0
0.28/0.30	c   base-4.5.0.0
0.28/0.30	c   bytestring-0.9.2.1
0.28/0.30	c   containers-0.4.2.1
0.28/0.30	c   deepseq-1.3.0.0
0.28/0.30	c   mtl-2.1.1
0.28/0.30	c   old_locale-1.0.0.4
0.28/0.30	c   parse_dimacs-1.2
0.28/0.30	c   parsec-3.1.2
0.28/0.30	c   queue-0.1.2
0.28/0.30	c   stm-2.3
0.28/0.30	c   time-1.4
0.28/0.30	c command line = ["--pb","HOME/instance-3706766-1338117505.opb"]
0.28/0.30	c #vars 450
0.28/0.30	c #constraints 17794
0.28/0.30	c Solving starts ...
0.28/0.30	c solving time = 0.001s
0.28/0.30	c #decision = 21
0.28/0.30	c #conflict = 0
0.28/0.30	c #restart = 0
0.28/0.30	o -21
0.28/0.30	c Solving starts ...
0.28/0.31	c solving time = 0.003s
0.28/0.31	c #decision = 44
0.28/0.31	c #conflict = 2
0.28/0.31	c #restart = 0
0.28/0.31	o -22
0.28/0.31	c Solving starts ...
0.28/0.31	c solving time = 0.003s
0.28/0.31	c #decision = 94
0.28/0.31	c #conflict = 4
0.28/0.31	c #restart = 0
0.28/0.31	o -23
0.28/0.31	c Solving starts ...
41.96/42.04	c learnt constraints deletion: 16195 -> 8098
74.45/74.55	c learnt constraints deletion: 19529 -> 9765
106.84/106.92	c learnt constraints deletion: 19515 -> 9758
148.44/148.53	c learnt constraints deletion: 21433 -> 10717
190.82/190.96	c learnt constraints deletion: 23538 -> 11769
229.81/229.95	c learnt constraints deletion: 23534 -> 11767
267.79/267.98	c learnt constraints deletion: 23538 -> 11769
313.98/314.10	c learnt constraints deletion: 25839 -> 12920
358.07/358.26	c learnt constraints deletion: 25847 -> 12924
402.38/402.59	c learnt constraints deletion: 25848 -> 12924
457.46/457.65	c learnt constraints deletion: 28386 -> 14193
509.15/509.36	c learnt constraints deletion: 28398 -> 14199
559.14/559.37	c learnt constraints deletion: 28378 -> 14189
610.13/610.33	c learnt constraints deletion: 28383 -> 14192
673.62/673.83	c learnt constraints deletion: 31188 -> 15596
722.52/722.76	c learnt constraints deletion: 31188 -> 15594
782.90/783.13	c learnt constraints deletion: 31185 -> 15594
836.70/836.95	c learnt constraints deletion: 31190 -> 15595
900.09/900.36	c learnt constraints deletion: 31195 -> 15598
960.08/960.32	c learnt constraints deletion: 31162 -> 15581
1017.36/1017.63	c learnt constraints deletion: 31190 -> 15595
1085.25/1085.52	c learnt constraints deletion: 34264 -> 17132
1152.55/1152.81	c learnt constraints deletion: 34259 -> 17130
1218.73/1219.08	c learnt constraints deletion: 34272 -> 17136
1285.81/1286.12	c learnt constraints deletion: 34271 -> 17136
1353.10/1353.49	c learnt constraints deletion: 34268 -> 17134
1423.57/1423.90	c learnt constraints deletion: 34269 -> 17137
1484.05/1484.46	c learnt constraints deletion: 34260 -> 17132
1545.84/1546.23	c learnt constraints deletion: 34254 -> 17129
1631.93/1632.36	c learnt constraints deletion: 37649 -> 18825
1705.50/1705.98	c learnt constraints deletion: 37652 -> 18826
1789.18/1789.61	c learnt constraints deletion: 37650 -> 18827

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-3706766-1338117505/watcher-3706766-1338117505 -o /tmp/evaluation-result-3706766-1338117505/solver-3706766-1338117505 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706766-1338117505.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: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 277876524 7405568 739 33554432000 4194304 8973514 140734100086272 140734298318440 7658912 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 1808 744 415 1167 0 589 0

[startup+0.092364 s]
/proc/loadavg: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=13376 CPUtime=0.08 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 2538 0 0 0 8 0 0 0 20 0 1 0 277876524 13697024 2460 33554432000 4194304 8973514 140734100086272 140734298318440 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 3344 2460 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13376

[startup+0.100185 s]
/proc/loadavg: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 2610 0 0 0 9 0 0 0 20 0 1 0 277876524 13697024 2532 33554432000 4194304 8973514 140734100086272 140734298318440 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 3344 2532 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376

[startup+0.300168 s]
/proc/loadavg: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=24640 CPUtime=0.28 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 5436 0 0 0 28 0 0 0 20 0 1 0 277876524 25231360 5358 33554432000 4194304 8973514 140734100086272 140734298318440 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 6160 5358 425 1167 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24640

[startup+0.700164 s]
/proc/loadavg: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=25664 CPUtime=0.69 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 5620 0 0 0 68 1 0 0 20 0 1 0 277876524 26279936 5542 33554432000 4194304 8973514 140734100086272 140734100085768 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 6416 5542 455 1167 0 5197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25664

[startup+1.50015 s]
/proc/loadavg: 1.08 1.02 1.18 4/177 12052
/proc/meminfo: memFree=28827752/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=30784 CPUtime=1.48 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 6961 0 0 0 147 1 0 0 20 0 1 0 277876524 31522816 6883 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 7696 6883 455 1167 0 6477 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30784

[startup+3.10014 s]
/proc/loadavg: 1.08 1.02 1.18 4/177 12052
/proc/meminfo: memFree=28812592/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=41024 CPUtime=3.09 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 9438 0 0 0 307 2 0 0 20 0 1 0 277876524 42008576 9360 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 10256 9360 455 1167 0 9037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41024

[startup+6.30014 s]
/proc/loadavg: 1.08 1.02 1.18 4/177 12052
/proc/meminfo: memFree=28775684/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=58432 CPUtime=6.28 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 13700 0 0 0 625 3 0 0 20 0 1 0 277876524 59834368 13622 33554432000 4194304 8973514 140734100086272 140734100085536 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 14608 13622 455 1167 0 13389 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58432

[startup+12.7002 s]
/proc/loadavg: 1.37 1.08 1.19 4/177 12052
/proc/meminfo: memFree=28712600/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=87104 CPUtime=12.68 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 21046 0 0 0 1262 6 0 0 20 0 1 0 277876524 89194496 20966 33554432000 4194304 8973514 140734100086272 140734100085768 6662288 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 21776 20966 455 1167 0 20557 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87104

[startup+25.5002 s]
/proc/loadavg: 1.47 1.11 1.20 4/177 12052
/proc/meminfo: memFree=28600032/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=139328 CPUtime=25.48 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 34157 0 0 0 2537 11 0 0 20 0 1 0 277876524 142671872 34069 33554432000 4194304 8973514 140734100086272 140734100085768 4381945 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 34832 34069 455 1167 0 33613 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 139328

[startup+51.1003 s]
/proc/loadavg: 1.68 1.20 1.23 4/177 12052
/proc/meminfo: memFree=28503700/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=193600 CPUtime=51.06 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 51328 0 0 0 5086 20 0 0 20 0 1 0 277876524 198246400 47638 33554432000 4194304 8973514 140734100086272 140734100085536 4459284 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 48400 47638 456 1167 0 47181 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 193600

[startup+102.307 s]
/proc/loadavg: 1.86 1.32 1.27 4/178 12055
/proc/meminfo: memFree=28417980/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=231488 CPUtime=102.25 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 67971 0 0 0 10186 39 0 0 20 0 1 0 277876524 237043712 57100 33554432000 4194304 8973514 140734100086272 140734100085536 6570424 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 57872 57100 456 1167 0 56653 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 231488

[startup+162.3 s]
/proc/loadavg: 1.95 1.44 1.31 3/177 12055
/proc/meminfo: memFree=28353852/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=304192 CPUtime=162.22 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 92366 0 0 0 16162 60 0 0 20 0 1 0 277876524 311492608 75080 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12049/statm: 76048 75080 456 1167 0 74829 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 304192

[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.35 4/177 12055
/proc/meminfo: memFree=28341452/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=267328 CPUtime=222.21 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 100259 0 0 0 22142 79 0 0 20 0 1 0 277876524 273743872 66070 33554432000 4194304 8973514 140734100086272 140734100068288 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 66832 66070 456 1167 0 65613 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 267328

[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.39 4/177 12056
/proc/meminfo: memFree=28259424/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=328768 CPUtime=282.19 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 128181 0 0 0 28118 101 0 0 20 0 1 0 277876524 336658432 81430 33554432000 4194304 8973514 140734100086272 140734100084224 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 82192 81430 456 1167 0 80973 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 328768

[startup+342.3 s]
/proc/loadavg: 1.99 1.69 1.42 4/177 12056
/proc/meminfo: memFree=28202940/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=316480 CPUtime=342.18 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 141496 0 0 0 34098 120 0 0 20 0 1 0 277876524 324075520 78358 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 79120 78358 456 1167 0 77901 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 316480

[startup+402.3 s]
/proc/loadavg: 2.04 1.76 1.46 4/177 12056
/proc/meminfo: memFree=28194872/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=349248 CPUtime=402.16 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 158137 0 0 0 40079 137 0 0 20 0 1 0 277876524 357629952 86551 33554432000 4194304 8973514 140734100086272 140734100085536 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 87312 86551 456 1167 0 86093 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 349248

[startup+462.3 s]
/proc/loadavg: 2.01 1.80 1.49 4/177 12056
/proc/meminfo: memFree=28100048/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=394304 CPUtime=462.16 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 173241 0 0 0 46061 155 0 0 20 0 1 0 277876524 403767296 97815 33554432000 4194304 8973514 140734100086272 140734100085768 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 98576 97815 456 1167 0 97357 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 394304

[startup+522.3 s]
/proc/loadavg: 2.10 1.86 1.53 4/178 12057
/proc/meminfo: memFree=28130928/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=363584 CPUtime=522.15 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 187065 0 0 0 52041 174 0 0 20 0 1 0 277876524 372310016 90135 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 90896 90135 456 1167 0 89677 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 363584

[startup+582.3 s]
/proc/loadavg: 2.03 1.88 1.56 4/177 12058
/proc/meminfo: memFree=28108856/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=468032 CPUtime=582.14 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 213945 0 0 0 58021 193 0 0 20 0 1 0 277876524 479264768 116247 33554432000 4194304 8973514 140734100086272 140734100085536 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 117008 116247 456 1167 0 115789 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 468032

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.66 4/177 12062
/proc/meminfo: memFree=27865572/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=487488 CPUtime=882.08 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 313529 0 0 0 87925 283 0 0 20 0 1 0 277876524 499187712 121111 33554432000 4194304 8973514 140734100086272 140734100085536 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 121872 121111 456 1167 0 120653 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 487488

[startup+942.3 s]
/proc/loadavg: 2.00 1.95 1.68 4/177 12062
/proc/meminfo: memFree=28191124/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=332864 CPUtime=942.08 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 313529 0 0 0 93911 297 0 0 20 0 1 0 277876524 340852736 82455 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 83216 82455 456 1167 0 81997 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 332864

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.70 4/177 12062
/proc/meminfo: memFree=28049368/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=463936 CPUtime=1002.07 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 353977 0 0 0 99891 316 0 0 20 0 1 0 277876524 475070464 115223 33554432000 4194304 8973514 140734100086272 140734100085768 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 115984 115223 456 1167 0 114765 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 463936

[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.72 4/177 12062
/proc/meminfo: memFree=28134620/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=377920 CPUtime=1062.06 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 353977 0 0 0 105875 331 0 0 20 0 1 0 277876524 386990080 93719 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 94480 93719 456 1167 0 93261 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 377920

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.73 4/177 12062
/proc/meminfo: memFree=27915308/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=406592 CPUtime=1122.05 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 374457 0 0 0 111856 349 0 0 20 0 1 0 277876524 416350208 100887 33554432000 4194304 8973514 140734100086272 140734100085536 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 101648 100887 456 1167 0 100429 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 406592

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.74 4/177 12063
/proc/meminfo: memFree=28047740/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=390208 CPUtime=1182.04 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 383673 0 0 0 117839 365 0 0 20 0 1 0 277876524 399572992 96791 33554432000 4194304 8973514 140734100086272 140734100085536 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 97552 96791 456 1167 0 96333 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 390208

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.76 4/177 12063
/proc/meminfo: memFree=27948208/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=490560 CPUtime=1242.03 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 408770 0 0 0 123819 384 0 0 20 0 1 0 277876524 502333440 121879 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 122640 121879 456 1167 0 121421 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 490560

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 12066
/proc/meminfo: memFree=27911884/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=517184 CPUtime=1302.01 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 424402 0 0 0 129800 401 0 0 20 0 1 0 277876524 529596416 128535 33554432000 4194304 8973514 140734100086272 140734100085768 6842477 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 129296 128535 456 1167 0 128077 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 517184

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.78 3/177 12066
/proc/meminfo: memFree=27978564/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=459840 CPUtime=1361.99 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 424421 0 0 0 135781 418 0 0 20 0 1 0 277876524 470876160 114199 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 114960 114199 456 1167 0 113741 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 459840

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.79 4/177 12066
/proc/meminfo: memFree=27851080/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=625728 CPUtime=1421.97 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 465916 0 0 0 141758 439 0 0 20 0 1 0 277876524 640745472 155671 33554432000 4194304 8973514 140734100086272 140734100085536 4213673 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 156432 155671 456 1167 0 155213 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 625728

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/177 12067
/proc/meminfo: memFree=27863184/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=430144 CPUtime=1481.96 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 472728 0 0 0 147738 458 0 0 20 0 1 0 277876524 440467456 106664 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 107536 106664 456 1167 0 106317 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 430144

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.81 4/177 12067
/proc/meminfo: memFree=28000736/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=483392 CPUtime=1541.94 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 486159 0 0 0 153719 475 0 0 20 0 1 0 277876524 494993408 120087 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 120848 120087 456 1167 0 119629 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 483392

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.82 4/177 12067
/proc/meminfo: memFree=28015152/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=357440 CPUtime=1601.93 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 486167 0 0 0 159702 491 0 0 20 0 1 0 277876524 366018560 88599 33554432000 4194304 8973514 140734100086272 140734100085768 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 89360 88599 456 1167 0 88141 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 357440

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/177 12067
/proc/meminfo: memFree=27957756/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=414784 CPUtime=1661.92 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 519461 0 0 0 165681 511 0 0 20 0 1 0 277876524 424738816 102935 33554432000 4194304 8973514 140734100086272 140734100085768 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 103696 102935 456 1167 0 102477 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 414784

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/177 12067
/proc/meminfo: memFree=27881152/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=510016 CPUtime=1721.9 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 543287 0 0 0 171658 532 0 0 20 0 1 0 277876524 522256384 126743 33554432000 4194304 8973514 140734100086272 140734100085536 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 127504 126743 456 1167 0 126285 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 510016

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 12068
/proc/meminfo: memFree=27746920/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=684096 CPUtime=1781.87 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 586815 0 0 0 177637 550 0 0 20 0 1 0 277876524 700514304 170263 33554432000 4194304 8973514 140734100086272 140734100084224 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 171024 170263 456 1167 0 169805 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 684096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 12068
/proc/meminfo: memFree=27853092/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=545856 CPUtime=1800.08 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 586815 0 0 0 179455 553 0 0 20 0 1 0 277876524 558956544 135703 33554432000 4194304 8973514 140734100086272 140734100084224 4213673 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 136464 135703 456 1167 0 135245 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 545856

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 12068
/proc/meminfo: memFree=27853092/32873648 swapFree=7372/7372
[pid=12049] ppid=12046 vsize=545856 CPUtime=1800.08 cores=0,2,4,6
/proc/12049/stat : 12049 (toysat) R 12046 12049 7065 0 -1 4202496 586815 0 0 0 179455 553 0 0 20 0 1 0 277876524 558956544 135703 33554432000 4194304 8973514 140734100086272 140734100084224 4213673 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/12049/statm: 136464 135703 456 1167 0 135245 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 545856

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.1
CPU user time (s): 1794.55
CPU system time (s): 5.54916
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 684096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 5.54916
maximum resident set size= 681052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586815
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= 227
involuntary context switches= 2093

runsolver used 3.13052 second user time and 9.89449 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-27 13:18:25
IDJOB=3706766
IDBENCH=2235
IDSOLVER=2285
FILE ID=node122/3706766-1338117505
RUNJOBID= node122-1338117505-12023
PBS_JOBID= 14624430
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706766-1338117505/watcher-3706766-1338117505 -o /tmp/evaluation-result-3706766-1338117505/solver-3706766-1338117505 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706766-1338117505.opb

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

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=2056224071

node122.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.533
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.06
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.533
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.533
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	: 5332.04
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.533
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.533
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.533
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	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        28872952 kB
Buffers:          298564 kB
Cached:          2893524 kB
SwapCached:            0 kB
Active:          1191020 kB
Inactive:        2012128 kB
Active(anon):       2472 kB
Inactive(anon):    11052 kB
Active(file):    1188548 kB
Inactive(file):  2001076 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15532 kB
Writeback:             0 kB
AnonPages:         17932 kB
Mapped:            13008 kB
Shmem:               200 kB
Slab:             659524 kB
SReclaimable:     103840 kB
SUnreclaim:       555684 kB
KernelStack:        1400 kB
PageTables:         3716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node122 at 2012-05-27 13:48:28