Trace number 3730264

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
PB07: bsolo 3.0.17? (TO) 1800.05 1800.83

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
MD5SUM6f530d7030eb010292a76e81381ed552
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.105982
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6000
Total number of constraints220
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3730264-1338680796.opb
0.00/0.00	c File size is 107628 bytes.
0.00/0.01	c Highest Coefficient sum: 61
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.01 s
0.00/0.01	c Var: 6000 Constr: 220 120/100/0 Lit: 12000 Watch. Lit: 6240
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.09/0.15	c Pre-processing Time: 0.146 s
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   6000      220    12000   54     6240  100040      0      0 0.15
0.09/0.15	c Switching off LPR mode.
1800.02/1800.80	c      101   6000      321    35876  111     6442  110045    101    639 0.16
1800.02/1800.80	c      252   6000      472    63541  134     6744  121050    252   1415 0.18
1800.02/1800.80	c      478   6000      698   145565  208     7196  133156    478   2153 0.22
1800.02/1800.80	c      818   6000     1038   283045  272     7876  146472    818   2744 0.30
1800.02/1800.80	c     1326   6000     1546   379002  245     8892  161120   1326   2483 0.53
1800.02/1800.80	c     2089   6000     2309   490274  212    10418  177233   2089   1509 1.38
1800.02/1800.80	c     3235   6000     3455   693821  200    12710  194957   3235   1313 2.46
1800.02/1800.80	c     4960   6000     5180  1338873  258    16160  214453   4960   1155 4.29
1800.02/1800.80	c     7546   6000     7766  5571015  717    21332  235899   7546    903 8.35
1800.02/1800.80	c    11425   6000    11645 13702544 1176    29090  259489  11425    538 21.23
1800.02/1800.80	c    17247   6000    17467 26429973 1513    40734  285438  17247    377 45.73
1800.02/1800.80	c    25985   6000    26205 45974959 1754    58210  313982  25985    223 116.46
1800.02/1800.80	c    39096   6000    39316 75211421 1912    84432  345381  39096    194 201.01
1800.02/1800.80	c    58768   6000    58988 121157747 2053   123776  379920  58768    131 446.21
1800.02/1800.80	c    88278   6000    88498 188917450 2134   182796  417913  88278     81 1088.70
1800.02/1800.80	c Caught signal: 15
1800.02/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.80	c   15   112074  21965  2811021   112294 243739656 112074     62 1800.03
1800.02/1800.80	s UNKNOWN
1800.02/1800.80	c Total time: 1800.03 s

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-3730264-1338680796/watcher-3730264-1338680796 -o /tmp/evaluation-result-3730264-1338680796/solver-3730264-1338680796 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730264-1338680796.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 9780
/proc/meminfo: memFree=27379920/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=12616 CPUtime=0 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 469 0 0 0 0 0 0 0 20 0 1 0 334205673 12918784 405 33554432000 134512640 135840783 4289937600 4289936400 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 3154 407 325 325 0 2063 0

[startup+0.04778 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 9780
/proc/meminfo: memFree=27379920/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=5684 CPUtime=0.04 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 760 0 0 0 4 0 0 0 20 0 1 0 334205673 5820416 669 33554432000 134512640 135840783 4289937600 4289864716 7369776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 1421 669 341 325 0 357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5684

[startup+0.100208 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 9780
/proc/meminfo: memFree=27379920/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=5888 CPUtime=0.09 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 850 0 0 0 9 0 0 0 20 0 1 0 334205673 6029312 720 33554432000 134512640 135840783 4289937600 4289858440 134540682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 1472 720 343 325 0 408 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5888

[startup+0.300177 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 9780
/proc/meminfo: memFree=27379920/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=9208 CPUtime=0.29 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 1711 0 0 0 29 0 0 0 20 0 1 0 334205673 9428992 1566 33554432000 134512640 135840783 4289937600 4289927120 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 2302 1566 346 325 0 1238 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9208

[startup+0.700176 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 9780
/proc/meminfo: memFree=27379920/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=10752 CPUtime=0.69 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 2107 0 0 0 69 0 0 0 20 0 1 0 334205673 11010048 1962 33554432000 134512640 135840783 4289937600 4289934704 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 2688 1962 346 325 0 1624 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10752

[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9781
/proc/meminfo: memFree=27373208/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=12300 CPUtime=1.49 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 2486 0 0 0 149 0 0 0 20 0 1 0 334205673 12595200 2341 33554432000 134512640 135840783 4289937600 4289937072 134552332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 3075 2341 346 325 0 2011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12300

[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9781
/proc/meminfo: memFree=27370232/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=16432 CPUtime=3.09 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 3505 0 0 0 308 1 0 0 20 0 1 0 334205673 16826368 3360 33554432000 134512640 135840783 4289937600 4289928784 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 4108 3360 346 325 0 3044 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16432

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9781
/proc/meminfo: memFree=27344048/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=52716 CPUtime=6.28 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 12600 0 0 0 626 2 0 0 20 0 1 0 334205673 53981184 12451 33554432000 134512640 135840783 4289937600 4289936960 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 13179 12451 346 325 0 12115 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 52716

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9781
/proc/meminfo: memFree=27263856/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=125916 CPUtime=12.68 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 30902 0 0 0 1264 4 0 0 20 0 1 0 334205673 128937984 30753 33554432000 134512640 135840783 4289937600 4289936960 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 31479 30753 346 325 0 30415 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 125916

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9782
/proc/meminfo: memFree=27167268/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=218004 CPUtime=25.47 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) D 9778 9780 9030 0 -1 4202496 53922 0 0 0 2537 10 0 0 20 0 1 0 334205673 223236096 53766 33554432000 134512640 135840783 4289937600 4289907952 134586540 0 0 4096 16384 18446744071581355444 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 54501 53766 346 325 0 53437 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 218004

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9782
/proc/meminfo: memFree=27023880/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=361696 CPUtime=51.06 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 89862 0 0 0 5087 19 0 0 20 0 1 0 334205673 370376704 89698 33554432000 134512640 135840783 4289937600 4289936960 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 90424 89698 346 325 0 89360 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 361696

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9820
/proc/meminfo: memFree=26863348/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=527816 CPUtime=102.24 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 131403 0 0 0 10194 30 0 0 20 0 1 0 334205673 540483584 131220 33554432000 134512640 135840783 4289937600 4289936960 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 131954 131220 346 325 0 130890 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 527816

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9820
/proc/meminfo: memFree=26547176/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=844484 CPUtime=162.21 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 210610 0 0 0 16174 47 0 0 20 0 1 0 334205673 864751616 210394 33554432000 134512640 135840783 4289937600 4289936960 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 211121 210394 346 325 0 210057 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 844484

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9937
/proc/meminfo: memFree=26256704/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=1017288 CPUtime=222.17 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 253836 0 0 0 22157 60 0 0 20 0 1 0 334205673 1041702912 253589 33554432000 134512640 135840783 4289937600 4289936960 134551368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 254322 253589 346 325 0 253258 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 1017288

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/177 9938
/proc/meminfo: memFree=26112996/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=1161624 CPUtime=282.15 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 289940 0 0 0 28145 70 0 0 20 0 1 0 334205673 1189502976 289673 33554432000 134512640 135840783 4289937600 4289936960 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 290406 289673 346 325 0 289342 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 1161624

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 9938
/proc/meminfo: memFree=25958520/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=1312952 CPUtime=342.13 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 327813 0 0 0 34133 80 0 0 20 0 1 0 334205673 1344462848 327521 33554432000 134512640 135840783 4289937600 4289936860 6060883 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 328238 327521 346 325 0 327174 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1312952

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 9938
/proc/meminfo: memFree=25824380/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=1447808 CPUtime=402.1 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 361551 0 0 0 40122 88 0 0 20 0 1 0 334205673 1482555392 361227 33554432000 134512640 135840783 4289937600 4289936960 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 361952 361227 346 325 0 360888 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 1447808

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9938
/proc/meminfo: memFree=25686024/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=1584040 CPUtime=462.06 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 395629 0 0 0 46110 96 0 0 20 0 1 0 334205673 1622056960 395277 33554432000 134512640 135840783 4289937600 4289936960 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 396010 395277 346 325 0 394946 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 1584040

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9938
/proc/meminfo: memFree=25565772/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=1694708 CPUtime=522.04 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 423334 0 0 0 52100 104 0 0 20 0 1 0 334205673 1735380992 422944 33554432000 134512640 135840783 4289937600 4289936960 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 423677 422944 346 325 0 422613 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 1694708

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9939
/proc/meminfo: memFree=25473544/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=1773196 CPUtime=582.02 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 442968 0 0 0 58092 110 0 0 20 0 1 0 334205673 1815752704 442559 33554432000 134512640 135840783 4289937600 4289936960 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 443299 442559 346 325 0 442235 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 1773196

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9942
/proc/meminfo: memFree=25096560/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2079268 CPUtime=821.91 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 519611 0 0 0 82060 131 0 0 20 0 1 0 334205673 2129170432 519077 33554432000 134512640 135840783 4289937600 4289908304 134547706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 519817 519077 346 325 0 518753 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 2079268

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9966
/proc/meminfo: memFree=25008692/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2151568 CPUtime=881.89 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 537735 0 0 0 88053 136 0 0 20 0 1 0 334205673 2203205632 537175 33554432000 134512640 135840783 4289937600 4289936960 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 537892 537175 346 325 0 536828 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 2151568

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9966
/proc/meminfo: memFree=24927052/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2221956 CPUtime=941.86 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 555355 0 0 0 94047 139 0 0 20 0 1 0 334205673 2275282944 554772 33554432000 134512640 135840783 4289937600 4289936912 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 555489 554772 346 325 0 554425 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 2221956

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9966
/proc/meminfo: memFree=24829244/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2304180 CPUtime=1001.84 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 575927 0 0 0 100038 146 0 0 20 0 1 0 334205673 2359480320 575320 33554432000 134512640 135840783 4289937600 4289936960 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 576045 575320 346 325 0 574981 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 2304180

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9966
/proc/meminfo: memFree=24734784/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2382168 CPUtime=1061.82 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 595437 0 0 0 106031 151 0 0 20 0 1 0 334205673 2439340032 594802 33554432000 134512640 135840783 4289937600 4289936912 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 595542 594802 346 325 0 594478 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 2382168

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9966
/proc/meminfo: memFree=24638468/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2449592 CPUtime=1121.78 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 612338 0 0 0 112023 155 0 0 20 0 1 0 334205673 2508382208 611673 33554432000 134512640 135840783 4289937600 4289936960 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 612398 611673 346 325 0 611334 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 2449592

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9967
/proc/meminfo: memFree=24569428/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2507612 CPUtime=1181.76 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 626858 0 0 0 118017 159 0 0 20 0 1 0 334205673 2567794688 626167 33554432000 134512640 135840783 4289937600 4289936960 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 626903 626167 346 325 0 625839 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 2507612

[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 1.98 3/177 9967
/proc/meminfo: memFree=24500140/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2568836 CPUtime=1241.74 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 642210 0 0 0 124011 163 0 0 20 0 1 0 334205673 2630488064 641491 33554432000 134512640 135840783 4289937600 4289936960 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 642209 641491 346 325 0 641145 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 2568836

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 9967
/proc/meminfo: memFree=24428000/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2630764 CPUtime=1301.73 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 657720 0 0 0 130004 169 0 0 20 0 1 0 334205673 2693902336 656972 33554432000 134512640 135840783 4289937600 4289936960 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 657691 656972 346 325 0 656627 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 2630764

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 9967
/proc/meminfo: memFree=24355240/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2687908 CPUtime=1361.69 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 672032 0 0 0 135996 173 0 0 20 0 1 0 334205673 2752417792 671252 33554432000 134512640 135840783 4289937600 4289936960 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 671977 671252 346 325 0 670913 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 2687908

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9970
/proc/meminfo: memFree=24274776/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2748432 CPUtime=1421.68 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 687183 0 0 0 141990 178 0 0 20 0 1 0 334205673 2814394368 686382 33554432000 134512640 135840783 4289937600 4289936960 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 687108 686382 346 325 0 686044 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 2748432

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9971
/proc/meminfo: memFree=24188136/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2813456 CPUtime=1481.65 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 703472 0 0 0 147982 183 0 0 20 0 1 0 334205673 2880978944 702631 33554432000 134512640 135840783 4289937600 4289936960 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 703364 702631 346 325 0 702300 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 2813456

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9971
/proc/meminfo: memFree=24095784/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2884360 CPUtime=1541.62 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 721232 0 0 0 153974 188 0 0 20 0 1 0 334205673 2953584640 720358 33554432000 134512640 135840783 4289937600 4289936960 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 721090 720358 346 325 0 720026 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 2884360

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9971
/proc/meminfo: memFree=24030840/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2937796 CPUtime=1601.6 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 734620 0 0 0 159969 191 0 0 20 0 1 0 334205673 3008303104 733717 33554432000 134512640 135840783 4289937600 4289936960 134551030 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 734449 733717 346 325 0 733385 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 2937796

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9971
/proc/meminfo: memFree=23958452/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=2996220 CPUtime=1661.57 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 749255 0 0 0 165962 195 0 0 20 0 1 0 334205673 3068129280 748330 33554432000 134512640 135840783 4289937600 4289936960 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 749055 748330 346 325 0 747991 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 2996220

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9971
/proc/meminfo: memFree=23897720/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=3042488 CPUtime=1721.55 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 760848 0 0 0 171956 199 0 0 20 0 1 0 334205673 3115507712 759897 33554432000 134512640 135840783 4289937600 4289936960 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 760622 759897 346 325 0 759558 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 3042488

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9972
/proc/meminfo: memFree=23827068/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=3096344 CPUtime=1781.52 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 774336 0 0 0 177949 203 0 0 20 0 1 0 334205673 3170656256 773361 33554432000 134512640 135840783 4289937600 4289936960 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 774086 773361 346 325 0 773022 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 3096344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.06 2.02 1.99 3/177 9972
/proc/meminfo: memFree=23803972/32873648 swapFree=6860/6860
[pid=9780] ppid=9778 vsize=3112864 CPUtime=1800.02 cores=1,3,5,7
/proc/9780/stat : 9780 (bsolo3.0.17) R 9778 9780 9030 0 -1 4202496 778469 0 0 0 179798 204 0 0 20 0 1 0 334205673 3187572736 777484 33554432000 134512640 135840783 4289937600 4289936960 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9780/statm: 778216 777484 346 325 0 777152 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3112864

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

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

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.05
CPU user time (s): 1797.99
CPU system time (s): 2.06769
CPU usage (%): 99.9571
Max. virtual memory (cumulated for all children) (KiB): 3112864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.06768
maximum resident set size= 3109936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 778472
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= 956
involuntary context switches= 1802

runsolver used 3.16052 second user time and 9.8545 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-03 01:46:36
IDJOB=3730264
IDBENCH=1402
IDSOLVER=2318
FILE ID=node116/3730264-1338680796
RUNJOBID= node116-1338678620-9050
PBS_JOBID= 14636697
Free space on /tmp= 71032 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730264-1338680796/watcher-3730264-1338680796 -o /tmp/evaluation-result-3730264-1338680796/solver-3730264-1338680796 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3730264-1338680796.opb            

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

MD5SUM BENCH= 6f530d7030eb010292a76e81381ed552
RANDOM SEED=394912265

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.92
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.556
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.92
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.556
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.90
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.556
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:        27380440 kB
Buffers:          511228 kB
Cached:          4068080 kB
SwapCached:         3028 kB
Active:          2165316 kB
Inactive:        2437776 kB
Active(anon):      13888 kB
Inactive(anon):     8512 kB
Active(file):    2151428 kB
Inactive(file):  2429264 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:              6684 kB
Writeback:            36 kB
AnonPages:         37176 kB
Mapped:            13160 kB
Shmem:                68 kB
Slab:             753380 kB
SReclaimable:     197672 kB
SUnreclaim:       555708 kB
KernelStack:        1432 kB
PageTables:         3868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     134764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 71008 MiB
End job on node116 at 2012-06-03 02:16:39