Trace number 3737683

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.09 1800.63

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_40.opb
MD5SUM13010ca91734567bf39d8d1f9ccac492
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.083986
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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-3737683-1338725600.opb
0.00/0.00	c File size is 75236 bytes.
0.00/0.02	c Highest Coefficient sum: 400
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.015 s
0.00/0.02	c Var: 5448 Constr: 10699 5248/403/5048 Lit: 36736 Watch. Lit: 31131
0.00/0.02	c Obj. Vars: 0 (0 % of total variables)
0.99/1.10	c Pre-processing Time: 1.098 s
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c        0   5448    10699    36736    3    31131   55403      0      0 1.10
0.99/1.10	c Switching off LPR mode.
1800.05/1800.60	c      147   5448    10846    78765    7    31425   60944    147    124 1.18
1800.05/1800.60	c      300   5448    10999   122119   11    31731   67039    300    226 1.32
1800.05/1800.60	c      528   5448    11227   202564   18    32187   73743    528    379 1.39
1800.05/1800.60	c      888   5448    11587   327053   28    32907   81118    888    551 1.61
1800.05/1800.60	c     1421   5448    12120   507974   41    33973   89230   1421    665 2.13
1800.05/1800.60	c     2195   5448    12894   776273   60    35521   98154   2195    819 2.68
1800.05/1800.60	c     3341   5448    14040  1179194   83    37813  107970   3341    976 3.42
1800.05/1800.60	c     5076   5448    15775  1791616  113    41283  118768   5076    911 5.57
1800.05/1800.60	c     7660   5448    18359  2696661  146    46451  130645   7660    604 12.67
1800.05/1800.60	c    11558   5448    22257  4055004  182    54247  143710  11558    367 31.47
1800.05/1800.60	c    17387   5448    28086  6102620  217    65905  158082  17387    258 67.22
1800.05/1800.60	c    26136   5448    36835  9194192  249    83403  173891  26136    174 149.46
1800.05/1800.60	c    39259   5448    49958 13821494  276   109649  191281  39259    124 314.45
1800.05/1800.60	c    58929   5448    69628 20824407  299   148989  210410  58929    147 400.83
1800.05/1800.60	c    88442   5448    99141 31125683  313   208015  231452  88442    174 507.47
1800.05/1800.60	c   132712   5448   143411 46768567  326   296555  254598 132712    171 774.13
1800.05/1800.60	c   199122   5448   209821 70440684  335   429375  280058 199122    141 1409.05
1800.05/1800.60	c Caught signal: 15
1800.05/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.60	c   17   261988   1911   276787   272687 92744160 261988    145 1800.07
1800.05/1800.60	s UNKNOWN
1800.05/1800.60	c Total time: 1800.07 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-3737683-1338725600/watcher-3737683-1338725600 -o /tmp/evaluation-result-3737683-1338725600/solver-3737683-1338725600 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737683-1338725600.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.92 1.98 1.99 3/176 9491
/proc/meminfo: memFree=25444108/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=2888 CPUtime=0 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 338687258 2957312 56 33554432000 134512640 135840783 4288651344 4288649328 11490244 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 722 61 47 325 0 35 0

[startup+0.0813001 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 9491
/proc/meminfo: memFree=25444108/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=7388 CPUtime=0.07 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 1167 0 0 0 7 0 0 0 20 0 1 0 338687258 7565312 1085 33554432000 134512640 135840783 4288651344 4288584720 2497166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 1847 1085 345 325 0 783 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7388

[startup+0.100222 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 9491
/proc/meminfo: memFree=25444108/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=7388 CPUtime=0.09 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 1167 0 0 0 9 0 0 0 20 0 1 0 338687258 7565312 1085 33554432000 134512640 135840783 4288651344 4288585056 134583070 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 1847 1085 345 325 0 783 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7388

[startup+0.300177 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 9491
/proc/meminfo: memFree=25444108/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=7388 CPUtime=0.29 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 1167 0 0 0 29 0 0 0 20 0 1 0 338687258 7565312 1085 33554432000 134512640 135840783 4288651344 4288585044 1806292 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 1847 1085 345 325 0 783 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7388

[startup+0.700173 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 9491
/proc/meminfo: memFree=25444108/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=7388 CPUtime=0.68 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 1167 0 0 0 68 0 0 0 20 0 1 0 338687258 7565312 1085 33554432000 134512640 135840783 4288651344 4288584944 134551276 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 1847 1085 345 325 0 783 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7388

[startup+1.50018 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 9492
/proc/meminfo: memFree=25440884/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=10480 CPUtime=1.49 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 2205 0 0 0 148 1 0 0 20 0 1 0 338687258 10731520 1885 33554432000 134512640 135840783 4288651344 4288646096 2499879 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 2620 1885 349 325 0 1556 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10480

[startup+3.10013 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 9492
/proc/meminfo: memFree=25434188/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=19588 CPUtime=3.08 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 4497 0 0 0 307 1 0 0 20 0 1 0 338687258 20058112 4177 33554432000 134512640 135840783 4288651344 4288650656 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 4897 4177 349 325 0 3833 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19588

[startup+6.30021 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 9492
/proc/meminfo: memFree=25417448/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=31788 CPUtime=6.28 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 7529 0 0 0 627 1 0 0 20 0 1 0 338687258 32550912 7209 33554432000 134512640 135840783 4288651344 4288650656 134550797 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 7947 7209 349 325 0 6883 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31788

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 9492
/proc/meminfo: memFree=25405180/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=42040 CPUtime=12.68 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 10112 0 0 0 1266 2 0 0 20 0 1 0 338687258 43048960 9792 33554432000 134512640 135840783 4288651344 4288650656 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 10510 9792 349 325 0 9446 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42040

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 9492
/proc/meminfo: memFree=25391648/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=55536 CPUtime=25.48 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 13459 0 0 0 2545 3 0 0 20 0 1 0 338687258 56868864 13139 33554432000 134512640 135840783 4288651344 4288650656 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 13884 13139 349 325 0 12820 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55536

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 9492
/proc/meminfo: memFree=25375732/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=70692 CPUtime=51.07 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 17277 0 0 0 5102 5 0 0 20 0 1 0 338687258 72388608 16957 33554432000 134512640 135840783 4288651344 4288650704 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 17673 16957 349 325 0 16609 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70692

[startup+102.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 9492
/proc/meminfo: memFree=25336160/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=108196 CPUtime=102.25 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 26663 0 0 0 10216 9 0 0 20 0 1 0 338687258 110792704 26312 33554432000 134512640 135840783 4288651344 4288650704 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9491/statm: 27049 26312 349 325 0 25985 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 108196

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 9492
/proc/meminfo: memFree=25312248/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=133236 CPUtime=162.2 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 32964 0 0 0 16208 12 0 0 20 0 1 0 338687258 136433664 32593 33554432000 134512640 135840783 4288651344 4288650656 134550782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 33309 32593 349 325 0 32245 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 133236

[startup+222.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9492
/proc/meminfo: memFree=25287820/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=157112 CPUtime=222.2 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 38918 0 0 0 22203 17 0 0 20 0 1 0 338687258 160882688 38547 33554432000 134512640 135840783 4288651344 4288650704 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 39278 38547 349 325 0 38214 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 157112

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9493
/proc/meminfo: memFree=25267648/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=175488 CPUtime=282.18 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 43525 0 0 0 28199 19 0 0 20 0 1 0 338687258 179699712 43142 33554432000 134512640 135840783 4288651344 4288650704 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 43872 43142 349 325 0 42808 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 175488

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9493
/proc/meminfo: memFree=25236920/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=206328 CPUtime=342.15 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 51243 0 0 0 34192 23 0 0 20 0 1 0 338687258 211279872 50843 33554432000 134512640 135840783 4288651344 4288645856 2499879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 51582 50843 349 325 0 50518 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 206328

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9493
/proc/meminfo: memFree=25160164/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=279452 CPUtime=402.15 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 69543 0 0 0 40186 29 0 0 20 0 1 0 338687258 286158848 69143 33554432000 134512640 135840783 4288651344 4288650656 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 69863 69143 349 325 0 68799 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 279452

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9496
/proc/meminfo: memFree=25077340/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=358532 CPUtime=462.13 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 89286 0 0 0 46178 35 0 0 20 0 1 0 338687258 367136768 88886 33554432000 134512640 135840783 4288651344 4288645952 2499879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 89633 88886 349 325 0 88569 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 358532

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9496
/proc/meminfo: memFree=25008596/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=422992 CPUtime=522.12 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 105433 0 0 0 52171 41 0 0 20 0 1 0 338687258 433143808 105014 33554432000 134512640 135840783 4288651344 4288645968 2499879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 105748 105014 349 325 0 104684 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 422992

[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 9496
/proc/meminfo: memFree=24946632/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=484380 CPUtime=582.09 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 120814 0 0 0 58163 46 0 0 20 0 1 0 338687258 496005120 120355 33554432000 134512640 135840783 4288651344 4288650704 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 121095 120355 349 325 0 120031 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 484380

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9497
/proc/meminfo: memFree=24769920/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=658848 CPUtime=881.97 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 164563 0 0 0 88132 65 0 0 20 0 1 0 338687258 674660352 163986 33554432000 134512640 135840783 4288651344 4288650656 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 164712 163986 349 325 0 163648 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 658848

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9575
/proc/meminfo: memFree=24800920/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=691876 CPUtime=941.95 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 172805 0 0 0 94128 67 0 0 20 0 1 0 338687258 708481024 172228 33554432000 134512640 135840783 4288651344 4288650704 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 172969 172228 349 325 0 171905 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 691876

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9578
/proc/meminfo: memFree=24751268/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=711516 CPUtime=1001.94 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 177728 0 0 0 100124 70 0 0 20 0 1 0 338687258 728592384 177151 33554432000 134512640 135840783 4288651344 4288650704 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 177879 177151 349 325 0 176815 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 711516

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9578
/proc/meminfo: memFree=24705544/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=751172 CPUtime=1061.93 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 187648 0 0 0 106119 74 0 0 20 0 1 0 338687258 769200128 187071 33554432000 134512640 135840783 4288651344 4288650696 1419441 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 187793 187071 349 325 0 186729 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 751172

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9578
/proc/meminfo: memFree=24666112/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=783248 CPUtime=1121.93 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 195669 0 0 0 112115 78 0 0 20 0 1 0 338687258 802045952 195092 33554432000 134512640 135840783 4288651344 4288650704 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 195812 195092 349 325 0 194748 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 783248

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9579
/proc/meminfo: memFree=24640568/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=809664 CPUtime=1181.91 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 202249 0 0 0 118111 80 0 0 20 0 1 0 338687258 829095936 201672 33554432000 134512640 135840783 4288651344 4288650704 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 202416 201672 349 325 0 201352 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 809664

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9580
/proc/meminfo: memFree=24610176/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=839296 CPUtime=1241.88 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 209693 0 0 0 124105 83 0 0 20 0 1 0 338687258 859439104 209085 33554432000 134512640 135840783 4288651344 4288650704 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 209824 209085 349 325 0 208760 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 839296

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9580
/proc/meminfo: memFree=24574120/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=867272 CPUtime=1301.85 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 216742 0 0 0 130100 85 0 0 20 0 1 0 338687258 888086528 216098 33554432000 134512640 135840783 4288651344 4288650704 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 216818 216098 349 325 0 215754 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 867272

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9580
/proc/meminfo: memFree=24537940/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=902020 CPUtime=1361.82 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 225453 0 0 0 136092 90 0 0 20 0 1 0 338687258 923668480 224766 33554432000 134512640 135840783 4288651344 4288650656 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 225505 224766 349 325 0 224441 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 902020

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9580
/proc/meminfo: memFree=24511172/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=927960 CPUtime=1421.82 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 231939 0 0 0 142089 93 0 0 20 0 1 0 338687258 950231040 231248 33554432000 134512640 135840783 4288651344 4288645872 2499879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 231990 231248 349 325 0 230926 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 927960

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9580
/proc/meminfo: memFree=24474048/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=958616 CPUtime=1481.8 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 239606 0 0 0 148083 97 0 0 20 0 1 0 338687258 981622784 238915 33554432000 134512640 135840783 4288651344 4288650656 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 239654 238915 349 325 0 238590 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 958616

[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9581
/proc/meminfo: memFree=24417380/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=1015328 CPUtime=1541.79 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 253785 0 0 0 154077 102 0 0 20 0 1 0 338687258 1039695872 253094 33554432000 134512640 135840783 4288651344 4288645856 2499879 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 253832 253094 349 325 0 252768 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1015328

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9584
/proc/meminfo: memFree=24364660/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=1066860 CPUtime=1601.78 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 266689 0 0 0 160071 107 0 0 20 0 1 0 338687258 1092464640 265998 33554432000 134512640 135840783 4288651344 4288650656 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 266715 265998 349 325 0 265651 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1066860

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9584
/proc/meminfo: memFree=24324760/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=1107244 CPUtime=1661.77 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 276764 0 0 0 166067 110 0 0 20 0 1 0 338687258 1133817856 276073 33554432000 134512640 135840783 4288651344 4288650704 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 276811 276073 349 325 0 275747 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1107244

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9584
/proc/meminfo: memFree=24275416/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=1156696 CPUtime=1721.77 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 289128 0 0 0 172062 115 0 0 20 0 1 0 338687258 1184456704 288437 33554432000 134512640 135840783 4288651344 4288650656 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 289174 288437 349 325 0 288110 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1156696

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9584
/proc/meminfo: memFree=24231792/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=1199676 CPUtime=1781.75 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 299878 0 0 0 178056 119 0 0 20 0 1 0 338687258 1228468224 299187 33554432000 134512640 135840783 4288651344 4288650704 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 299919 299187 349 325 0 298855 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1199676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 9584
/proc/meminfo: memFree=24216424/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=1215072 CPUtime=1800.05 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 303737 0 0 0 179884 121 0 0 20 0 1 0 338687258 1244233728 303046 33554432000 134512640 135840783 4288651344 4288650576 2502316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 303768 303046 349 325 0 302704 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1215072

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

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 9584
/proc/meminfo: memFree=24216424/32873648 swapFree=6852/6852
[pid=9491] ppid=9489 vsize=1215072 CPUtime=1800.05 cores=0,2,4,6
/proc/9491/stat : 9491 (bsolo3.0.17) R 9489 9491 8706 0 -1 4202496 303737 0 0 0 179884 121 0 0 20 0 1 0 338687258 1244233728 303046 33554432000 134512640 135840783 4288651344 4288650576 2502316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9491/statm: 303768 303046 349 325 0 302704 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1215072

Child status: 15
Real time (s): 1800.63
CPU time (s): 1800.09
CPU user time (s): 1798.85
CPU system time (s): 1.23981
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1215072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.23981
maximum resident set size= 1212184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303740
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= 396
involuntary context switches= 2116

runsolver used 3.33949 second user time and 9.13561 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-03 14:13:20
IDJOB=3737683
IDBENCH=48288
IDSOLVER=2318
FILE ID=node112/3737683-1338725600
RUNJOBID= node112-1338713910-8722
PBS_JOBID= 14636749
Free space on /tmp= 71212 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_4_40.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737683-1338725600/watcher-3737683-1338725600 -o /tmp/evaluation-result-3737683-1338725600/solver-3737683-1338725600 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737683-1338725600.opb            

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

MD5SUM BENCH= 13010ca91734567bf39d8d1f9ccac492
RANDOM SEED=882625643

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
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.763
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.763
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.763
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.763
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:        25444264 kB
Buffers:          549456 kB
Cached:          5920004 kB
SwapCached:            0 kB
Active:          1827424 kB
Inactive:        4736080 kB
Active(anon):      82884 kB
Inactive(anon):    10924 kB
Active(file):    1744540 kB
Inactive(file):  4725156 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6620 kB
Writeback:             0 kB
AnonPages:         98068 kB
Mapped:            15712 kB
Shmem:               200 kB
Slab:             729900 kB
SReclaimable:     173856 kB
SUnreclaim:       556044 kB
KernelStack:        1456 kB
PageTables:         4204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     205012 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= 71204 MiB
End job on node112 at 2012-06-03 14:43:23