Trace number 3724828

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_0.opb
MD5SUMca79c3a72fcbc528e4a81e658af79fe0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4272093
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 100330219838
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 100330219838
Number of bits of the biggest sum of numbers37
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 

11.79/11.88	c 2012-06-02T17:05:58+0200
11.79/11.88	c arch = x86_64
11.79/11.88	c os = linux
11.79/11.88	c compiler = ghc 7.4
11.79/11.88	c packages:
11.79/11.88	c   OptDir-0.0.1
11.79/11.88	c   array-0.4.0.0
11.79/11.88	c   base-4.5.0.0
11.79/11.88	c   bytestring-0.9.2.1
11.79/11.88	c   containers-0.4.2.1
11.79/11.88	c   deepseq-1.3.0.0
11.79/11.88	c   mtl-2.1.1
11.79/11.88	c   old_locale-1.0.0.4
11.79/11.88	c   parse_dimacs-1.2
11.79/11.88	c   parsec-3.1.2
11.79/11.88	c   queue-0.1.2
11.79/11.88	c   stm-2.3
11.79/11.88	c   time-1.4
11.79/11.88	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724828-1338649558.opb"]
11.79/11.88	c #vars 9940
11.79/11.88	c #constraints 14846
11.79/11.88	c Solving starts ...
14.20/14.23	c solving time = 2.338s
14.20/14.23	c #decision = 10349
14.20/14.23	c #conflict = 222
14.20/14.23	c #restart = 1
14.20/14.23	o 10692561
14.20/14.29	c Solving starts ...
15.09/15.17	c solving time = 0.874s
15.09/15.17	c #decision = 11010
15.09/15.17	c #conflict = 251
15.09/15.17	c #restart = 1
15.09/15.17	o 10692273
15.09/15.19	c Solving starts ...
15.48/15.55	c solving time = 0.352s
15.48/15.55	c #decision = 11076
15.48/15.55	c #conflict = 253
15.48/15.55	c #restart = 1
15.48/15.55	o 10687795
15.48/15.57	c Solving starts ...
15.98/16.08	c solving time = 0.507s
15.98/16.08	c #decision = 11142
15.98/16.08	c #conflict = 257
15.98/16.08	c #restart = 1
15.98/16.08	o 10685057
16.08/16.12	c Solving starts ...
17.28/17.31	c solving time = 1.177s
17.28/17.31	c #decision = 11210
17.28/17.31	c #conflict = 264
17.28/17.31	c #restart = 1
17.28/17.31	o 10684443
17.28/17.33	c Solving starts ...
19.69/19.71	c solving time = 2.372s
19.69/19.71	c #decision = 11282
19.69/19.71	c #conflict = 279
19.69/19.71	c #restart = 1
19.69/19.71	o 10680395
19.69/19.72	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-3724828-1338649558/watcher-3724828-1338649558 -o /tmp/evaluation-result-3724828-1338649558/solver-3724828-1338649558 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724828-1338649558.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.95 1.99 1.99 3/176 21368
/proc/meminfo: memFree=28026168/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 331022784 6373376 737 33554432000 4194304 8989770 140734132293040 140734696129528 5798060 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 1556 737 425 1171 0 333 0

[startup+0.0251131 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 21368
/proc/meminfo: memFree=28026168/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=8272 CPUtime=0.01 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 1097 0 0 0 1 0 0 0 20 0 1 0 331022784 8470528 1017 33554432000 4194304 8989770 140734132293040 140734696129528 5797873 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 2068 1017 425 1171 0 845 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8272

[startup+0.100221 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 21368
/proc/meminfo: memFree=28026168/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 2221 0 0 0 9 0 0 0 20 0 1 0 331022784 12664832 2141 33554432000 4194304 8989770 140734132293040 140734696129528 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 3092 2141 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300226 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 21368
/proc/meminfo: memFree=28026168/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=21584 CPUtime=0.29 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 4673 0 0 0 28 1 0 0 20 0 1 0 331022784 22102016 4593 33554432000 4194304 8989770 140734132293040 140734696129528 4600559 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 5396 4593 431 1171 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21584

[startup+0.700226 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 21368
/proc/meminfo: memFree=28026168/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=37968 CPUtime=0.69 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 8792 0 0 0 67 2 0 0 20 0 1 0 331022784 38879232 8712 33554432000 4194304 8989770 140734132293040 140734132292536 5393977 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 9492 8712 448 1171 0 8269 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37968

[startup+1.50018 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 21369
/proc/meminfo: memFree=27992804/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=37968 CPUtime=1.48 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 8792 0 0 0 146 2 0 0 20 0 1 0 331022784 38879232 8712 33554432000 4194304 8989770 140734132293040 140734132292536 5400176 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 9492 8712 448 1171 0 8269 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37968

[startup+3.10019 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 21369
/proc/meminfo: memFree=27988340/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=46160 CPUtime=3.08 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 10840 0 0 0 305 3 0 0 20 0 1 0 331022784 47267840 10760 33554432000 4194304 8989770 140734132293040 140734132292536 5384136 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 11540 10760 448 1171 0 10317 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46160

[startup+6.3002 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 21369
/proc/meminfo: memFree=27976808/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=49232 CPUtime=6.29 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 11608 0 0 0 624 5 0 0 20 0 1 0 331022784 50413568 11528 33554432000 4194304 8989770 140734132293040 140734132292536 6678594 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 12308 11528 448 1171 0 11085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49232

[startup+12.7002 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 21369
/proc/meminfo: memFree=27976692/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=54352 CPUtime=12.69 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 12902 0 0 0 1261 8 0 0 20 0 1 0 331022784 55656448 12822 33554432000 4194304 8989770 140734132293040 140734132292536 4204576 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 13588 12822 462 1171 0 12365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54352

[startup+25.5002 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 21370
/proc/meminfo: memFree=27950264/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=75856 CPUtime=25.49 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 18289 0 0 0 2536 13 0 0 20 0 1 0 331022784 77676544 18209 33554432000 4194304 8989770 140734132293040 140734132291008 7732749 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 18964 18209 473 1171 0 17741 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75856

[startup+51.1003 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 21370
/proc/meminfo: memFree=27950092/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=75856 CPUtime=51.08 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 18289 0 0 0 5090 18 0 0 20 0 1 0 331022784 77676544 18209 33554432000 4194304 8989770 140734132293040 140734132292536 4209198 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 18964 18209 473 1171 0 17741 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75856

[startup+102.307 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 21409
/proc/meminfo: memFree=28000592/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=76880 CPUtime=102.27 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 18560 0 0 0 10194 33 0 0 20 0 1 0 331022784 78725120 18465 33554432000 4194304 8989770 140734132293040 140734132292144 4208840 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 19220 18465 473 1171 0 17997 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76880

[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/176 21409
/proc/meminfo: memFree=27970992/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=76880 CPUtime=162.25 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 18562 0 0 0 16179 46 0 0 20 0 1 0 331022784 78725120 18465 33554432000 4194304 8989770 140734132293040 140734132291008 4204368 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 19220 18465 473 1171 0 17997 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 76880

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21410
/proc/meminfo: memFree=27938536/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=78928 CPUtime=222.24 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 19074 0 0 0 22161 63 0 0 20 0 1 0 331022784 80822272 18977 33554432000 4194304 8989770 140734132293040 140734132292304 7736688 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 19732 18977 473 1171 0 18509 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 78928

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 21413
/proc/meminfo: memFree=27903496/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=78928 CPUtime=282.23 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 19075 0 0 0 28144 79 0 0 20 0 1 0 331022784 80822272 18977 33554432000 4194304 8989770 140734132293040 140734132292304 4209187 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21368/statm: 19732 18977 473 1171 0 18509 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 78928

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21414
/proc/meminfo: memFree=27871636/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=78928 CPUtime=342.22 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 19075 0 0 0 34128 94 0 0 20 0 1 0 331022784 80822272 18977 33554432000 4194304 8989770 140734132293040 140734132292304 7733233 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 19732 18977 473 1171 0 18509 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 78928

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21414
/proc/meminfo: memFree=27841156/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=79952 CPUtime=402.21 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 19331 0 0 0 40113 108 0 0 20 0 1 0 331022784 81870848 19233 33554432000 4194304 8989770 140734132293040 140734132292304 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 19988 19233 473 1171 0 18765 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 79952

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21414
/proc/meminfo: memFree=27809388/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=80976 CPUtime=462.2 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 19587 0 0 0 46100 120 0 0 20 0 1 0 331022784 82919424 19489 33554432000 4194304 8989770 140734132293040 140734132292536 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20244 19489 473 1171 0 19021 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 80976

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21414
/proc/meminfo: memFree=27776588/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=80976 CPUtime=522.19 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 19587 0 0 0 52082 137 0 0 20 0 1 0 331022784 82919424 19489 33554432000 4194304 8989770 140734132293040 140734132292144 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20244 19489 473 1171 0 19021 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 80976

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21414
/proc/meminfo: memFree=27749184/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=80976 CPUtime=582.18 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 19587 0 0 0 58067 151 0 0 20 0 1 0 331022784 82919424 19489 33554432000 4194304 8989770 140734132293040 140734132292536 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20244 19489 473 1171 0 19021 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 80976

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 21415
/proc/meminfo: memFree=27699724/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=82000 CPUtime=822.15 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 19843 0 0 0 82010 205 0 0 20 0 1 0 331022784 83968000 19745 33554432000 4194304 8989770 140734132293040 140734132292536 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20500 19745 473 1171 0 19277 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 82000

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 21418
/proc/meminfo: memFree=27698784/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=882.13 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 87993 220 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292536 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 83024

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21419
/proc/meminfo: memFree=27672256/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=942.13 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 93976 237 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292536 4209187 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 83024

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21419
/proc/meminfo: memFree=27640388/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1002.12 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 99959 253 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292304 4209888 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 83024

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21419
/proc/meminfo: memFree=27655284/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1062.1 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 105944 266 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292304 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 83024

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21419
/proc/meminfo: memFree=27655036/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1122.1 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 111931 279 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292304 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 83024

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21419
/proc/meminfo: memFree=27655036/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1182.09 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 117917 292 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292536 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 83024

[startup+1242.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 21420
/proc/meminfo: memFree=27654920/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1242.08 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 123899 309 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292536 4204398 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 83024

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21420
/proc/meminfo: memFree=27654912/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1302.08 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 129883 325 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292536 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 83024

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21420
/proc/meminfo: memFree=27654664/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1362.06 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 135865 341 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292536 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 83024

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21420
/proc/meminfo: memFree=27645984/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1422.07 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 141850 357 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292304 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 83024

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21423
/proc/meminfo: memFree=27617680/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1482.05 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 147833 372 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292304 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 83024

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21423
/proc/meminfo: memFree=27617820/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1542.03 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 153816 387 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132291008 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 83024

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21424
/proc/meminfo: memFree=27602560/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1602.03 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 159798 405 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292304 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 83024

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21424
/proc/meminfo: memFree=27573668/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1662.02 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 165782 420 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292144 4445072 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 83024

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21424
/proc/meminfo: memFree=27551224/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=83024 CPUtime=1722 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20100 0 0 0 171766 434 0 0 20 0 1 0 331022784 85016576 20001 33554432000 4194304 8989770 140734132293040 140734132292536 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 83024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21424
/proc/meminfo: memFree=27547008/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=84048 CPUtime=1782 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20356 0 0 0 177751 449 0 0 20 0 1 0 331022784 86065152 20257 33554432000 4194304 8989770 140734132293040 140734132292304 4204638 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 21012 20257 473 1171 0 19789 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 84048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21424
/proc/meminfo: memFree=27547008/32873844 swapFree=7128/7128
[pid=21368] ppid=21366 vsize=84048 CPUtime=1800.1 cores=0,2,4,6
/proc/21368/stat : 21368 (toysat) R 21366 21368 20159 0 -1 4202496 20356 0 0 0 179556 454 0 0 20 0 1 0 331022784 86065152 20257 33554432000 4194304 8989770 140734132293040 140734132292304 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21368/statm: 21012 20257 473 1171 0 19789 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 84048

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.12
CPU user time (s): 1795.57
CPU system time (s): 4.54931
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 84048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.57
system time used= 4.54931
maximum resident set size= 81028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20356
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= 22
involuntary context switches= 2105

runsolver used 3.09253 second user time and 9.63254 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-02 17:05:58
IDJOB=3724828
IDBENCH=92754
IDSOLVER=2308
FILE ID=node105/3724828-1338649558
RUNJOBID= node105-1338631508-20175
PBS_JOBID= 14636475
Free space on /tmp= 71292 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724828-1338649558/watcher-3724828-1338649558 -o /tmp/evaluation-result-3724828-1338649558/solver-3724828-1338649558 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724828-1338649558.opb

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

MD5SUM BENCH= ca79c3a72fcbc528e4a81e658af79fe0
RANDOM SEED=565916425

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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.882
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	: 5438.54
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.882
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.882
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.92
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.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28026432 kB
Buffers:          523988 kB
Cached:          3283812 kB
SwapCached:         1700 kB
Active:          1041412 kB
Inactive:        2929764 kB
Active(anon):     159396 kB
Inactive(anon):     4808 kB
Active(file):     882016 kB
Inactive(file):  2924956 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:              8196 kB
Writeback:             0 kB
AnonPages:        167596 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             736004 kB
SReclaimable:     177764 kB
SUnreclaim:       558240 kB
KernelStack:        1504 kB
PageTables:         4312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     282552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71288 MiB
End job on node105 at 2012-06-02 17:36:00