Trace number 3707594

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
bsolo 3.2? 1798.07 1798.54

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_3-sat.opb
MD5SUM56cc40b9ea431027514a5b56e02d7edb
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables37752
Total number of constraints125892
Number of constraints which are clauses125272
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints620
Minimum length of a constraint1
Maximum length of a constraint120
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 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 740
Number of bits of the biggest sum of numbers10
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707594-1338191046.opb
0.00/0.00	c File size is 4220396 bytes.
0.29/0.34	c Highest Coefficient sum: 740
0.29/0.34	c Parsing was ok!!
0.29/0.34	c Total parsing time: 0.337 s
0.29/0.37	c Var: 37752 Constr: 125892 125272/0/620 Lit: 342326 Watch. Lit: 313924
0.29/0.37	c Obj. Vars: 0 (0 % of total variables)
12.98/13.01	c Pre-processing Time: 13.008 s
12.98/13.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.98/13.01	c        0  15292    43901   128359    2   114394   83144      0      0 13.01
12.98/13.01	c Switching off lower bounding mode.
1798.03/1798.51	c      100  15292    44018   143777    3   117678   91459    117      7 13.31
1798.03/1798.51	c      250  15292    44200   151205    3   119278  100605    299     18 13.50
1798.03/1798.51	c      475  15292    44459   160357    3   119891  110666    558     34 13.64
1798.03/1798.51	c      814  15292    44846   175829    3   120718  121733    945     58 13.87
1798.03/1798.51	c     1322  15292    45406   200137    4   121848  133907   1505     93 14.21
1798.03/1798.51	c     2085  15292    46277   240132    5   123596  147298   2376    141 14.73
1798.03/1798.51	c     3231  15292    47564   338482    7   126373  162028   3663    206 15.63
1798.03/1798.51	c     4952  15292    49547   485452    9   130243  178231   5646    289 17.10
1798.03/1798.51	c     7536  15292    52650   683143   12   136411  196055   8749    396 19.02
1798.03/1798.51	c    11415  15292    57042  1003009   17   145308  215661  13141    506 22.54
1798.03/1798.51	c    17238  15292    64012  1463209   22   159252  237228  20111    621 27.72
1798.03/1798.51	c    25975  15292    74116  2175444   29   179519  260951  30215    744 34.90
1798.03/1798.51	c    39085  15292    89514  3664123   40   210555  287047  45613    776 50.32
1798.03/1798.51	c    58757  15292   112771  5699242   50   257189  315752  68870    800 73.38
1798.03/1798.51	c    88267  15292   148547 12771802   85   329601  347328 104646    738 119.60
1798.03/1798.51	c   132539  15292   206782 19290050   93   446013  382061 162881    572 231.59
1798.03/1798.51	c   198949  15292   287216 31330350  109   608592  420268 243315    417 476.87
1798.03/1798.51	c   298570  15292   416489 44117922  105   867438  462295 372588    286 1040.59
1798.03/1798.51	c Resources Exceeded
1798.03/1798.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.03/1798.51	c   18   429262 112989   653355   104404 13952070  60503    238 1798.04
1798.03/1798.51	s UNKNOWN
1798.03/1798.51	c Total time: 1798.04 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-3707594-1338191046/watcher-3707594-1338191046 -o /tmp/evaluation-result-3707594-1338191046/solver-3707594-1338191046 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707594-1338191046.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.03 2.01 2.00 3/176 27760
/proc/meminfo: memFree=27090684/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=15200 CPUtime=0 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 285233227 15564800 309 33554432000 134512640 137138936 4288012208 4288010616 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 3800 310 180 642 0 2125 0

[startup+0.0471409 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 27760
/proc/meminfo: memFree=27090684/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=18572 CPUtime=0.04 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 1342 0 0 0 4 0 0 0 20 0 1 0 285233227 19017728 1296 33554432000 134512640 137138936 4288012208 4288010472 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 4643 1296 330 642 0 2968 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18572

[startup+0.100291 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 27760
/proc/meminfo: memFree=27090684/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=21328 CPUtime=0.09 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 2234 0 0 0 9 0 0 0 20 0 1 0 285233227 21839872 2188 33554432000 134512640 137138936 4288012208 4288010472 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 5332 2188 515 642 0 3657 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21328

[startup+0.300284 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 27760
/proc/meminfo: memFree=27090684/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=30208 CPUtime=0.29 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 5097 0 0 0 29 0 0 0 20 0 1 0 285233227 30932992 5011 33554432000 134512640 137138936 4288012208 4288009064 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 7552 5011 1118 642 0 5877 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30208

[startup+0.700288 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 27760
/proc/meminfo: memFree=27090684/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=38704 CPUtime=0.69 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 8211 0 0 0 68 1 0 0 20 0 1 0 285233227 39632896 7094 33554432000 134512640 137138936 4288012208 4287557616 136504016 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 9676 7094 184 642 0 9032 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38704

[startup+1.50028 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27761
/proc/meminfo: memFree=27060892/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=38704 CPUtime=1.49 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 8211 0 0 0 148 1 0 0 20 0 1 0 285233227 39632896 7094 33554432000 134512640 137138936 4288012208 4287557620 136511215 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 9676 7094 184 642 0 9032 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38704

[startup+3.10025 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27761
/proc/meminfo: memFree=27059404/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=38704 CPUtime=3.09 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 8213 0 0 0 308 1 0 0 20 0 1 0 285233227 39632896 7096 33554432000 134512640 137138936 4288012208 4287557884 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 9676 7096 184 642 0 9032 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38704

[startup+6.30027 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27761
/proc/meminfo: memFree=27054568/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=38704 CPUtime=6.29 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 8220 0 0 0 627 2 0 0 20 0 1 0 285233227 39632896 7103 33554432000 134512640 137138936 4288012208 4287557348 136500305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 9676 7103 184 642 0 9032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38704

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27761
/proc/meminfo: memFree=27046876/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=38836 CPUtime=12.68 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 8251 0 0 0 1265 3 0 0 20 0 1 0 285233227 39768064 7134 33554432000 134512640 137138936 4288012208 4287557696 134542128 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 9709 7134 184 642 0 9065 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38836

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27761
/proc/meminfo: memFree=27028468/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=42796 CPUtime=25.48 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 9779 0 0 0 2542 6 0 0 20 0 1 0 285233227 43823104 8144 33554432000 134512640 137138936 4288012208 4288011324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 10699 8144 192 642 0 10055 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42796

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27761
/proc/meminfo: memFree=26965680/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=76056 CPUtime=51.06 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 18116 0 0 0 5096 10 0 0 20 0 1 0 285233227 77881344 16459 33554432000 134512640 137138936 4288012208 4288011136 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 19014 16459 192 642 0 18370 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 76056

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27761
/proc/meminfo: memFree=26811096/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=169552 CPUtime=102.22 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 41645 0 0 0 10204 18 0 0 20 0 1 0 285233227 173621248 39834 33554432000 134512640 137138936 4288012208 4288010632 134607009 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 42388 39834 192 642 0 41744 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 169552

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27762
/proc/meminfo: memFree=26685520/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=236632 CPUtime=162.16 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 58456 0 0 0 16192 24 0 0 20 0 1 0 285233227 242311168 56604 33554432000 134512640 137138936 4288012208 4288011136 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 59158 56604 192 642 0 58514 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 236632

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27762
/proc/meminfo: memFree=26577868/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=279480 CPUtime=222.16 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 69167 0 0 0 22186 30 0 0 20 0 1 0 285233227 286187520 67315 33554432000 134512640 137138936 4288012208 4288011136 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 69870 67315 192 642 0 69226 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 279480

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 27762
/proc/meminfo: memFree=26469272/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=339000 CPUtime=282.15 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 84051 0 0 0 28179 36 0 0 20 0 1 0 285233227 347136000 82199 33554432000 134512640 137138936 4288012208 4288011136 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 84750 82199 192 642 0 84106 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 339000

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27762
/proc/meminfo: memFree=26358816/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=381340 CPUtime=342.14 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 94633 0 0 0 34173 41 0 0 20 0 1 0 285233227 390492160 92781 33554432000 134512640 137138936 4288012208 4288011136 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 95335 92781 192 642 0 94691 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 381340

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 27765
/proc/meminfo: memFree=26275632/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=417752 CPUtime=402.12 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 103736 0 0 0 40167 45 0 0 20 0 1 0 285233227 427778048 101884 33554432000 134512640 137138936 4288012208 4288011324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 104438 101884 192 642 0 103794 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 417752

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 27766
/proc/meminfo: memFree=26204616/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=443012 CPUtime=462.12 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 110051 0 0 0 46162 50 0 0 20 0 1 0 285233227 453644288 108199 33554432000 134512640 137138936 4288012208 4288011324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 110753 108199 192 642 0 110109 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 443012

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 27766
/proc/meminfo: memFree=26125320/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=470140 CPUtime=522.11 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 116833 0 0 0 52157 54 0 0 20 0 1 0 285233227 481423360 114981 33554432000 134512640 137138936 4288012208 4288010436 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 117535 114981 192 642 0 116891 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 470140

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27766
/proc/meminfo: memFree=26048936/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=493948 CPUtime=582.1 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 122785 0 0 0 58152 58 0 0 20 0 1 0 285233227 505802752 120933 33554432000 134512640 137138936 4288012208 4288011136 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 123487 120933 192 642 0 122843 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 493948

[startup+642.3 s]

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

/proc/meminfo: memFree=25601136/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=635520 CPUtime=1061.93 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 158290 0 0 0 106106 87 0 0 20 0 1 0 285233227 650772480 156326 33554432000 134512640 137138936 4288012208 4288011324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 158880 156326 192 642 0 158236 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 635520

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 27794
/proc/meminfo: memFree=25521040/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=668784 CPUtime=1121.92 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 166606 0 0 0 112100 92 0 0 20 0 1 0 285233227 684834816 164642 33554432000 134512640 137138936 4288012208 4288011136 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 167196 164642 192 642 0 166552 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 668784

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27794
/proc/meminfo: memFree=25463752/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=696504 CPUtime=1181.91 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 173536 0 0 0 118094 97 0 0 20 0 1 0 285233227 713220096 171572 33554432000 134512640 137138936 4288012208 4288011324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 174126 171572 192 642 0 173482 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 696504

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27794
/proc/meminfo: memFree=25404476/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=727396 CPUtime=1241.9 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 181259 0 0 0 124089 101 0 0 20 0 1 0 285233227 744853504 179295 33554432000 134512640 137138936 4288012208 4288011136 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 181849 179295 192 642 0 181205 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 727396

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27794
/proc/meminfo: memFree=25360360/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=756052 CPUtime=1301.9 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 188423 0 0 0 130085 105 0 0 20 0 1 0 285233227 774197248 186459 33554432000 134512640 137138936 4288012208 4288011136 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 189013 186459 192 642 0 188369 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 756052

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27795
/proc/meminfo: memFree=25334720/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=782120 CPUtime=1361.88 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 194940 0 0 0 136079 109 0 0 20 0 1 0 285233227 800890880 192976 33554432000 134512640 137138936 4288012208 4288011136 134542375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 195530 192976 192 642 0 194886 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 782120

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27795
/proc/meminfo: memFree=25306228/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=810404 CPUtime=1421.88 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 202011 0 0 0 142075 113 0 0 20 0 1 0 285233227 829853696 200047 33554432000 134512640 137138936 4288012208 4288011136 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 202601 200047 192 642 0 201957 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 810404

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 27795
/proc/meminfo: memFree=25275008/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=841840 CPUtime=1481.86 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 209880 0 0 0 148069 117 0 0 20 0 1 0 285233227 862044160 207916 33554432000 134512640 137138936 4288012208 4288011136 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 210460 207916 192 642 0 209816 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 841840

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27795
/proc/meminfo: memFree=25240004/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=875720 CPUtime=1541.86 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 218340 0 0 0 154064 122 0 0 20 0 1 0 285233227 896737280 216376 33554432000 134512640 137138936 4288012208 4288011136 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 218930 216376 192 642 0 218286 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 875720

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27798
/proc/meminfo: memFree=25208004/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=908344 CPUtime=1601.85 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 226496 0 0 0 160059 126 0 0 20 0 1 0 285233227 930144256 224532 33554432000 134512640 137138936 4288012208 4288011136 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 227086 224532 192 642 0 226442 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 908344

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 27798
/proc/meminfo: memFree=25186072/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=929500 CPUtime=1661.84 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 231785 0 0 0 166055 129 0 0 20 0 1 0 285233227 951808000 229821 33554432000 134512640 137138936 4288012208 4288011136 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 232375 229821 192 642 0 231731 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 929500

[startup+1722.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 27799
/proc/meminfo: memFree=25178748/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=936480 CPUtime=1721.83 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 234016 0 0 0 172052 131 0 0 20 0 1 0 285233227 958955520 231567 33554432000 134512640 137138936 4288012208 4288011088 136297647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 234120 231567 192 642 0 233476 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 936480

[startup+1782.3 s]
/proc/loadavg: 1.47 1.87 1.95 2/171 27823
/proc/meminfo: memFree=26224436/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=936480 CPUtime=1781.82 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 234016 0 0 0 178049 133 0 0 20 0 1 0 285233227 958955520 231567 33554432000 134512640 137138936 4288012208 4288011136 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 234120 231567 192 642 0 233476 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 936480

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

[startup+1791.91 s]
/proc/loadavg: 1.40 1.84 1.94 2/171 27823
/proc/meminfo: memFree=26224312/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=936480 CPUtime=1791.43 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 234016 0 0 0 179009 134 0 0 20 0 1 0 285233227 958955520 231567 33554432000 134512640 137138936 4288012208 4288011136 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 234120 231567 192 642 0 233476 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 936480

[startup+1795.1 s]
/proc/loadavg: 1.37 1.82 1.93 2/171 27823
/proc/meminfo: memFree=26224684/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=936480 CPUtime=1794.62 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 234016 0 0 0 179328 134 0 0 20 0 1 0 285233227 958955520 231567 33554432000 134512640 137138936 4288012208 4288011324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 234120 231567 192 642 0 233476 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 936480

[startup+1796.7 s]
/proc/loadavg: 1.37 1.82 1.93 2/171 27823
/proc/meminfo: memFree=26224560/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=936480 CPUtime=1796.21 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 234016 0 0 0 179487 134 0 0 20 0 1 0 285233227 958955520 231567 33554432000 134512640 137138936 4288012208 4288010920 136504116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 234120 231567 192 642 0 233476 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 936480

[startup+1797.5 s]
/proc/loadavg: 1.37 1.82 1.93 2/171 27823
/proc/meminfo: memFree=26224560/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=936480 CPUtime=1797.02 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 234016 0 0 0 179567 135 0 0 20 0 1 0 285233227 958955520 231567 33554432000 134512640 137138936 4288012208 4288011136 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 234120 231567 192 642 0 233476 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 936480

[startup+1798.3 s]
/proc/loadavg: 1.37 1.82 1.93 2/171 27823
/proc/meminfo: memFree=26224560/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=936480 CPUtime=1797.82 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 234016 0 0 0 179647 135 0 0 20 0 1 0 285233227 958955520 231567 33554432000 134512640 137138936 4288012208 4288011324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 234120 231567 192 642 0 233476 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 936480

[startup+1798.51 s]
/proc/loadavg: 1.37 1.82 1.93 2/171 27823
/proc/meminfo: memFree=26224436/32873844 swapFree=6088/6088
[pid=27760] ppid=27758 vsize=936480 CPUtime=1798.03 cores=1,3,5,7
/proc/27760/stat : 27760 (bsolo) R 27758 27760 24287 0 -1 4202496 234016 0 0 0 179668 135 0 0 20 0 1 0 285233227 958955520 231567 33554432000 134512640 137138936 4288012208 4288010632 134606944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27760/statm: 234120 231567 192 642 0 233476 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 936480

Child status: 0
Real time (s): 1798.54
CPU time (s): 1798.07
CPU user time (s): 1796.69
CPU system time (s): 1.38079
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 938420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.69
system time used= 1.38079
maximum resident set size= 928204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234016
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= 218
involuntary context switches= 1845

runsolver used 3.13252 second user time and 8.95164 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-28 09:44:07
IDJOB=3707594
IDBENCH=73867
IDSOLVER=2286
FILE ID=node108/3707594-1338191046
RUNJOBID= node108-1338158223-24304
PBS_JOBID= 14624538
Free space on /tmp= 71716 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_3-sat.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707594-1338191046/watcher-3707594-1338191046 -o /tmp/evaluation-result-3707594-1338191046/solver-3707594-1338191046 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707594-1338191046.opb

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

MD5SUM BENCH= 56cc40b9ea431027514a5b56e02d7edb
RANDOM SEED=482578809

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
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.273
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.273
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:       32873844 kB
MemFree:        27090684 kB
Buffers:          324380 kB
Cached:          4593660 kB
SwapCached:            0 kB
Active:           727336 kB
Inactive:        4258556 kB
Active(anon):      66656 kB
Inactive(anon):        0 kB
Active(file):     660680 kB
Inactive(file):  4258556 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8220 kB
Writeback:             0 kB
AnonPages:         72284 kB
Mapped:            15068 kB
Shmem:               200 kB
Slab:             656836 kB
SReclaimable:      98944 kB
SUnreclaim:       557892 kB
KernelStack:        1464 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     186440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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= 71720 MiB
End job on node108 at 2012-05-28 10:14:05