Trace number 3725358

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-06-01? (TO) 1800.09 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_004_area_delay.opb
MD5SUM45c2f7ac01d7ade9fbe465857931ee2b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark2.41263
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved YES
Number of variables5828
Total number of constraints17411
Number of constraints which are clauses17411
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 constraint1
Maximum length of a constraint63
Number of terms in the objective function 2817
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 2817
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2817
Number of bits of the biggest sum of numbers12
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 

1.18/1.22	c 2012-06-02T13:36:09+0200
1.18/1.22	c arch = x86_64
1.18/1.22	c os = linux
1.18/1.22	c compiler = ghc 7.4
1.18/1.22	c packages:
1.18/1.22	c   OptDir-0.0.1
1.18/1.22	c   array-0.4.0.0
1.18/1.22	c   base-4.5.0.0
1.18/1.22	c   bytestring-0.9.2.1
1.18/1.22	c   containers-0.4.2.1
1.18/1.22	c   deepseq-1.3.0.0
1.18/1.22	c   mtl-2.1.1
1.18/1.22	c   old_locale-1.0.0.4
1.18/1.22	c   parse_dimacs-1.2
1.18/1.22	c   parsec-3.1.2
1.18/1.22	c   queue-0.1.2
1.18/1.22	c   stm-2.3
1.18/1.22	c   time-1.4
1.18/1.22	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725358-1338636969.opb"]
1.18/1.22	c #vars 5828
1.18/1.22	c #constraints 17411
1.18/1.22	c Solving starts ...
1.18/1.27	c solving time = 0.051s
1.18/1.27	c #decision = 6911
1.18/1.27	c #conflict = 25
1.18/1.27	c #restart = 0
1.18/1.27	o 49
1.18/1.27	c Solving starts ...
120.77/120.89	c learnt constraints deletion: 23320 -> 11660
181.86/181.95	c learnt constraints deletion: 25040 -> 12520
260.02/260.16	c learnt constraints deletion: 27367 -> 13684
350.11/350.26	c learnt constraints deletion: 30477 -> 15241
424.10/424.26	c learnt constraints deletion: 30078 -> 15039
524.88/525.05	c learnt constraints deletion: 33314 -> 16657
616.17/616.30	c learnt constraints deletion: 33446 -> 16726
724.35/724.58	c learnt constraints deletion: 36600 -> 18303
819.44/819.63	c learnt constraints deletion: 36493 -> 18247
929.51/929.72	c learnt constraints deletion: 36375 -> 18189
1027.00/1027.22	c learnt constraints deletion: 36617 -> 18313
1142.69/1142.98	c learnt constraints deletion: 40062 -> 20031
1263.17/1263.48	c learnt constraints deletion: 39773 -> 19889
1364.45/1364.71	c learnt constraints deletion: 39969 -> 19988
1468.93/1469.27	c learnt constraints deletion: 40154 -> 20082
1595.72/1596.08	c learnt constraints deletion: 44042 -> 22029
1610.81/1611.12	c solving time = 1609.567s
1610.81/1611.12	c #decision = 2194372
1610.81/1611.12	c #conflict = 299638
1610.81/1611.12	c #restart = 18
1610.81/1611.12	o 48
1610.81/1611.12	c Solving starts ...
1610.81/1611.16	c learnt constraints deletion: 23090 -> 11545
1610.81/1611.18	c learnt constraints deletion: 11545 -> 5773
1690.49/1690.89	c learnt constraints deletion: 21136 -> 10569
1709.29/1709.68	c solving time = 98.538s
1709.29/1709.68	c #decision = 2361727
1709.29/1709.68	c #conflict = 318948
1709.29/1709.68	c #restart = 29
1709.29/1709.68	o 47
1709.29/1709.69	c Solving starts ...
1709.39/1709.78	c learnt constraints deletion: 14505 -> 7253
1737.99/1738.36	c solving time = 28.672s
1737.99/1738.36	c #decision = 2412363
1737.99/1738.36	c #conflict = 324565
1737.99/1738.36	c #restart = 37
1737.99/1738.36	o 46
1737.99/1738.37	c Solving starts ...
1737.99/1738.39	c learnt constraints deletion: 12862 -> 6431

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-3725358-1338636969/watcher-3725358-1338636969 -o /tmp/evaluation-result-3725358-1338636969/solver-3725358-1338636969 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725358-1338636969.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.94 1.98 1.93 3/176 20240
/proc/meminfo: memFree=27042388/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/20240/stat : 20240 (runsolver) D 20238 20240 19663 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 329824278 12095488 50 33554432000 4194304 5436572 140736181209584 140736181205880 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/20240/statm: 2953 50 31 304 0 2645 0

[startup+0.089948 s]
/proc/loadavg: 1.94 1.98 1.93 3/176 20240
/proc/meminfo: memFree=27042388/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=12368 CPUtime=0.07 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 2201 0 0 0 7 0 0 0 20 0 1 0 329824278 12664832 2121 33554432000 4194304 8989770 140733365663568 140736181205768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 3092 2121 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12368

[startup+0.100272 s]
/proc/loadavg: 1.94 1.98 1.93 3/176 20240
/proc/meminfo: memFree=27042388/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=12368 CPUtime=0.08 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 2245 0 0 0 8 0 0 0 20 0 1 0 329824278 12664832 2165 33554432000 4194304 8989770 140733365663568 140736181205768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 3092 2165 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368

[startup+0.30025 s]
/proc/loadavg: 1.94 1.98 1.93 3/176 20240
/proc/meminfo: memFree=27042388/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=26704 CPUtime=0.29 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 5970 0 0 0 28 1 0 0 20 0 1 0 329824278 27344896 5890 33554432000 4194304 8989770 140733365663568 140736181205768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 6676 5890 441 1171 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26704

[startup+0.700258 s]
/proc/loadavg: 1.94 1.98 1.93 3/176 20240
/proc/meminfo: memFree=27042388/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=26704 CPUtime=0.68 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 5973 0 0 0 67 1 0 0 20 0 1 0 329824278 27344896 5893 33554432000 4194304 8989770 140733365663568 140736181205768 4259680 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 6676 5893 444 1171 0 5453 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26704

[startup+1.50025 s]
/proc/loadavg: 1.94 1.98 1.93 3/177 20241
/proc/meminfo: memFree=27019920/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=30800 CPUtime=1.48 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 7024 0 0 0 147 1 0 0 20 0 1 0 329824278 31539200 6944 33554432000 4194304 8989770 140733365663568 140733365663064 4209382 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 7700 6944 471 1171 0 6477 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30800

[startup+3.10027 s]
/proc/loadavg: 1.95 1.98 1.93 3/177 20241
/proc/meminfo: memFree=27015424/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=31824 CPUtime=3.08 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 7280 0 0 0 306 2 0 0 20 0 1 0 329824278 32587776 7200 33554432000 4194304 8989770 140733365663568 140733365662832 7732708 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 7956 7200 471 1171 0 6733 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31824

[startup+6.30029 s]
/proc/loadavg: 1.95 1.98 1.93 3/177 20241
/proc/meminfo: memFree=27013624/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=32848 CPUtime=6.28 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 7536 0 0 0 626 2 0 0 20 0 1 0 329824278 33636352 7456 33554432000 4194304 8989770 140733365663568 140733365663064 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 8212 7456 471 1171 0 6989 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32848

[startup+12.7003 s]
/proc/loadavg: 1.95 1.98 1.93 3/177 20241
/proc/meminfo: memFree=27010592/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=34896 CPUtime=12.68 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 8048 0 0 0 1265 3 0 0 20 0 1 0 329824278 35733504 7968 33554432000 4194304 8989770 140733365663568 140733365662832 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 8724 7968 471 1171 0 7501 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34896

[startup+25.5003 s]
/proc/loadavg: 1.96 1.98 1.93 3/177 20241
/proc/meminfo: memFree=27005476/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=41040 CPUtime=25.48 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 9584 0 0 0 2541 7 0 0 20 0 1 0 329824278 42024960 9504 33554432000 4194304 8989770 140733365663568 140733365661504 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 10260 9504 471 1171 0 9037 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41040

[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.93 3/177 20241
/proc/meminfo: memFree=26993788/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=52304 CPUtime=51.08 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 12157 0 0 0 5096 12 0 0 20 0 1 0 329824278 53559296 12077 33554432000 4194304 8989770 140733365663568 140733365663064 4355564 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 13076 12077 471 1171 0 11853 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52304

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 20241
/proc/meminfo: memFree=26960240/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=77904 CPUtime=102.27 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 18800 0 0 0 10205 22 0 0 20 0 1 0 329824278 79773696 18720 33554432000 4194304 8989770 140733365663568 140733365663064 4438168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 19476 18720 471 1171 0 18253 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 77904

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 20242
/proc/meminfo: memFree=26939624/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=96336 CPUtime=162.26 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 23412 0 0 0 16190 36 0 0 20 0 1 0 329824278 98648064 23335 33554432000 4194304 8989770 140733365663568 140733365661504 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 24084 23335 473 1171 0 22861 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 96336

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/177 20242
/proc/meminfo: memFree=26933756/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=97360 CPUtime=222.24 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 23689 0 0 0 22176 48 0 0 20 0 1 0 329824278 99696640 23591 33554432000 4194304 8989770 140733365663568 140733365661504 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 24340 23591 473 1171 0 23117 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 97360

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 20245
/proc/meminfo: memFree=26918608/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=108624 CPUtime=282.22 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 26505 0 0 0 28163 59 0 0 20 0 1 0 329824278 111230976 26407 33554432000 4194304 8989770 140733365663568 140733365663064 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 27156 26407 473 1171 0 25933 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 108624

[startup+342.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/177 20245
/proc/meminfo: memFree=26906092/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=117840 CPUtime=342.22 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 28809 0 0 0 34150 72 0 0 20 0 1 0 329824278 120668160 28711 33554432000 4194304 8989770 140733365663568 140733365663064 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 29460 28711 473 1171 0 28237 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 117840

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 20245
/proc/meminfo: memFree=26907588/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=115792 CPUtime=402.21 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 29321 0 0 0 40138 83 0 0 20 0 1 0 329824278 118571008 28199 33554432000 4194304 8989770 140733365663568 140733365662832 7732696 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 28948 28199 473 1171 0 27725 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 115792

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 20246
/proc/meminfo: memFree=26907512/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=115792 CPUtime=462.19 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 29326 0 0 0 46124 95 0 0 20 0 1 0 329824278 118571008 28199 33554432000 4194304 8989770 140733365663568 140733365661504 7823790 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 28948 28199 473 1171 0 27725 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 115792

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 20246
/proc/meminfo: memFree=26887920/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=140368 CPUtime=522.18 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 35470 0 0 0 52110 108 0 0 20 0 1 0 329824278 143736832 34343 33554432000 4194304 8989770 140733365663568 140733365662832 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 35092 34343 473 1171 0 33869 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 140368

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 20246
/proc/meminfo: memFree=26883024/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=136272 CPUtime=582.17 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 35470 0 0 0 58099 118 0 0 20 0 1 0 329824278 139542528 33319 33554432000 4194304 8989770 140733365663568 140733365662832 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 34068 33319 473 1171 0 32845 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 136272

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/177 20247
/proc/meminfo: memFree=26879476/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=140368 CPUtime=822.14 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 39570 0 0 0 82047 167 0 0 20 0 1 0 329824278 143736832 34343 33554432000 4194304 8989770 140733365663568 140733365663064 7688457 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 35092 34343 473 1171 0 33869 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 140368

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 20250
/proc/meminfo: memFree=26879520/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=140368 CPUtime=882.13 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 39570 0 0 0 88034 179 0 0 20 0 1 0 329824278 143736832 34343 33554432000 4194304 8989770 140733365663568 140733365662832 7670000 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 35092 34343 473 1171 0 33869 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 140368

[startup+942.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 20250
/proc/meminfo: memFree=26865184/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=151632 CPUtime=942.11 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 42391 0 0 0 94020 191 0 0 20 0 1 0 329824278 155271168 37159 33554432000 4194304 8989770 140733365663568 140733365663064 4209382 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 37908 37159 473 1171 0 36685 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 151632

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 20250
/proc/meminfo: memFree=26865308/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=151632 CPUtime=1002.11 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 42391 0 0 0 100008 203 0 0 20 0 1 0 329824278 155271168 37159 33554432000 4194304 8989770 140733365663568 140733365663064 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 37908 37159 473 1171 0 36685 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 151632

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 20251
/proc/meminfo: memFree=26867732/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=148560 CPUtime=1062.1 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 42391 0 0 0 105995 215 0 0 20 0 1 0 329824278 152125440 36391 33554432000 4194304 8989770 140733365663568 140733365663064 4451817 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 37140 36391 473 1171 0 35917 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 148560

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 20251
/proc/meminfo: memFree=26867668/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=148560 CPUtime=1122.08 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 42391 0 0 0 111982 226 0 0 20 0 1 0 329824278 152125440 36391 33554432000 4194304 8989770 140733365663568 140733365663064 7675271 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 37140 36391 473 1171 0 35917 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 148560

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 20251
/proc/meminfo: memFree=26867480/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=148560 CPUtime=1182.07 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 42391 0 0 0 117969 238 0 0 20 0 1 0 329824278 152125440 36391 33554432000 4194304 8989770 140733365663568 140733365662832 4204286 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 37140 36391 473 1171 0 35917 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 148560

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 20251
/proc/meminfo: memFree=26862892/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=153680 CPUtime=1242.07 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 43671 0 0 0 123957 250 0 0 20 0 1 0 329824278 157368320 37671 33554432000 4194304 8989770 140733365663568 140733365663064 4354512 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 38420 37671 473 1171 0 37197 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 153680

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 20251
/proc/meminfo: memFree=26871652/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=144464 CPUtime=1302.06 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 46487 0 0 0 129945 261 0 0 20 0 1 0 329824278 147931136 35367 33554432000 4194304 8989770 140733365663568 140733365661504 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 36116 35367 473 1171 0 34893 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 144464

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 20251
/proc/meminfo: memFree=26870172/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=147536 CPUtime=1362.05 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 47255 0 0 0 135933 272 0 0 20 0 1 0 329824278 151076864 36135 33554432000 4194304 8989770 140733365663568 140733365662832 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 36884 36135 473 1171 0 35661 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 147536

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 20252
/proc/meminfo: memFree=26868180/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=148560 CPUtime=1422.05 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 47511 0 0 0 141920 285 0 0 20 0 1 0 329824278 152125440 36391 33554432000 4194304 8989770 140733365663568 140733365663064 4371208 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 37140 36391 473 1171 0 35917 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 148560

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20255
/proc/meminfo: memFree=26848444/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=168016 CPUtime=1482.03 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 52377 0 0 0 147905 298 0 0 20 0 1 0 329824278 172048384 41255 33554432000 4194304 8989770 140733365663568 140733365662832 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 42004 41255 473 1171 0 40781 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 168016

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 20278
/proc/meminfo: memFree=26848004/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=168016 CPUtime=1542.02 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 52377 0 0 0 153894 308 0 0 20 0 1 0 329824278 172048384 41255 33554432000 4194304 8989770 140733365663568 140733365663064 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 42004 41255 473 1171 0 40781 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 168016

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 20278
/proc/meminfo: memFree=26832636/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=183376 CPUtime=1602.01 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 56217 0 0 0 159882 319 0 0 20 0 1 0 329824278 187777024 45095 33554432000 4194304 8989770 140733365663568 140733365662832 4214034 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 45844 45095 473 1171 0 44621 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 183376

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 20278
/proc/meminfo: memFree=26928528/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=87120 CPUtime=1661.99 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 56225 0 0 0 165869 330 0 0 20 0 1 0 329824278 89210880 21031 33554432000 4194304 8989770 140733365663568 140733365662832 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 21780 21031 473 1171 0 20557 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 87120

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 20279
/proc/meminfo: memFree=26922252/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=91216 CPUtime=1721.99 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 58018 0 0 0 171854 345 0 0 20 0 1 0 329824278 93405184 22055 33554432000 4194304 8989770 140733365663568 140733365661504 4355680 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 22804 22055 473 1171 0 21581 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 91216

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 20356
/proc/meminfo: memFree=27189744/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=91216 CPUtime=1781.98 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 58018 0 0 0 177840 358 0 0 20 0 1 0 329824278 93405184 22055 33554432000 4194304 8989770 140733365663568 140733365663064 4215028 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 22804 22055 473 1171 0 21581 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 91216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 20356
/proc/meminfo: memFree=27184440/32873648 swapFree=7120/7120
[pid=20240] ppid=20238 vsize=93264 CPUtime=1800.09 cores=0,2,4,6
/proc/20240/stat : 20240 (toysat) R 20238 20240 19663 0 -1 4202496 58530 0 0 0 179647 362 0 0 20 0 1 0 329824278 95502336 22567 33554432000 4194304 8989770 140733365663568 140733365663064 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20240/statm: 23316 22567 473 1171 0 22093 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 93264

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.09
CPU user time (s): 1796.47
CPU system time (s): 3.62245
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 183376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.47
system time used= 3.62245
maximum resident set size= 180380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58530
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= 51
involuntary context switches= 1876

runsolver used 2.86056 second user time and 9.77351 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-02 13:36:09
IDJOB=3725358
IDBENCH=24974
IDSOLVER=2308
FILE ID=node114/3725358-1338636969
RUNJOBID= node114-1338631508-19679
PBS_JOBID= 14636466
Free space on /tmp= 70444 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725358-1338636969/watcher-3725358-1338636969 -o /tmp/evaluation-result-3725358-1338636969/solver-3725358-1338636969 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725358-1338636969.opb

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

MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b
RANDOM SEED=194967832

node114.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.242
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	: 5332.48
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.242
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.242
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	: 5451.90
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.242
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.242
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.242
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		: 2666.242
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.242
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:        27042388 kB
Buffers:          877264 kB
Cached:          3752572 kB
SwapCached:         2312 kB
Active:          2429764 kB
Inactive:        2449368 kB
Active(anon):     235380 kB
Inactive(anon):     8448 kB
Active(file):    2194384 kB
Inactive(file):  2440920 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103580 kB
Dirty:             22304 kB
Writeback:             0 kB
AnonPages:        246448 kB
Mapped:            12856 kB
Shmem:               104 kB
Slab:             814708 kB
SReclaimable:     258928 kB
SUnreclaim:       555780 kB
KernelStack:        1456 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     358692 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= 70444 MiB
End job on node114 at 2012-06-02 14:06:12