Trace number 3708376

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2? 1798.22 1798.52

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb
MD5SUM3b8362af58c9130644833689fa0f2100
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, 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 benchmark1783.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 6694
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 62779
Number of bits of the biggest sum of numbers16
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-3708376-1338250915.opb
0.00/0.00	c File size is 28232497 bytes.
3.69/3.72	c Highest Coefficient sum: 62779
3.69/3.72	c Parsing was ok!!
3.69/3.72	c Total parsing time: 3.728 s
3.99/4.03	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260442
3.99/4.03	c Obj. Vars: 1605 (0.400353 % of total variables)
183.15/183.21	c Pre-processing Time: 183.164 s
183.15/183.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.15/183.22	c        0 400022   401715  2332359    5  1257306  500000      0      0 183.16
183.15/183.22	c Switching off lower bounding mode.
1798.20/1798.51	c      100 397625   401816  2361006    5  1257771  550001    101      0 194.98
1798.20/1798.51	c      250 389061   401972  2378947    5  1258593  605002    257      0 254.07
1798.20/1798.51	c      475 389061   402199  2401281    5  1259082  665503    484      1 295.99
1798.20/1798.51	c      813 389061   402557  2499507    6  1260386  732054    842      1 453.08
1798.20/1798.51	c     1321 389061   403071  2539706    6  1261704  805260   1356      2 540.31
1798.20/1798.51	c     2084 389061   403895  2837806    7  1263628  885787   2180      3 666.60
1798.20/1798.51	c     3230 389061   405097  2950938    7  1268298  974366   3382      2 1431.77
1798.20/1798.51	c Resources Exceeded
1798.20/1798.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.20/1798.51	c    7     4796   3538  3149037   406719  3093116   5004      2 1798.21
1798.20/1798.51	s UNKNOWN
1798.20/1798.51	c Total time: 1798.21 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-3708376-1338250915/watcher-3708376-1338250915 -o /tmp/evaluation-result-3708376-1338250915/solver-3708376-1338250915 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708376-1338250915.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.02 2.02 2.00 3/177 26068
/proc/meminfo: memFree=30755984/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=38652 CPUtime=0 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 291216093 39579648 323 33554432000 134512640 137138936 4291942848 4291941240 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 9663 325 182 642 0 2126 0

[startup+0.020426 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26068
/proc/meminfo: memFree=30755984/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=39512 CPUtime=0.01 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 291216093 40460288 587 33554432000 134512640 137138936 4291942848 4291941280 136577166 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 9878 588 229 642 0 2341 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 39512

[startup+0.100222 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26068
/proc/meminfo: memFree=30755984/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=43184 CPUtime=0.09 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 1813 0 0 0 9 0 0 0 20 0 1 0 291216093 44220416 1726 33554432000 134512640 137138936 4291942848 4291941376 134517643 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 10796 1727 456 642 0 3259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43184

[startup+0.300234 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26068
/proc/meminfo: memFree=30755984/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=49876 CPUtime=0.29 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 4125 0 0 0 28 1 0 0 20 0 1 0 291216093 51073024 3910 33554432000 134512640 137138936 4291942848 4291937464 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 12469 3910 985 642 0 4932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49876

[startup+0.700301 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26068
/proc/meminfo: memFree=30755984/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=63152 CPUtime=0.69 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 8653 0 0 0 68 1 0 0 20 0 1 0 291216093 64667648 8184 33554432000 134512640 137138936 4291942848 4291941096 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 15788 8185 1969 642 0 8251 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63152

[startup+1.50029 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 26069
/proc/meminfo: memFree=30720744/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=88828 CPUtime=1.49 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 17111 0 0 0 146 3 0 0 20 0 1 0 291216093 90959872 16136 33554432000 134512640 137138936 4291942848 4291941096 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 22207 16136 3562 642 0 14670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88828

[startup+3.10023 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 26069
/proc/meminfo: memFree=30688748/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=121252 CPUtime=3.09 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 27229 0 0 0 303 6 0 0 20 0 1 0 291216093 124162048 26776 33554432000 134512640 137138936 4291942848 4291941376 134517488 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 30313 26776 6197 642 0 22776 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121252

[startup+6.30037 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 26069
/proc/meminfo: memFree=30594876/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=175404 CPUtime=6.29 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 45219 0 0 0 619 10 0 0 20 0 1 0 291216093 179613696 40314 33554432000 134512640 137138936 4291942848 4287130832 134566117 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 43851 40314 184 642 0 43207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175404

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 26069
/proc/meminfo: memFree=30595024/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=175404 CPUtime=12.69 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 45222 0 0 0 1259 10 0 0 20 0 1 0 291216093 179613696 40317 33554432000 134512640 137138936 4291942848 4287130608 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 43851 40317 184 642 0 43207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175404

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 26069
/proc/meminfo: memFree=30596024/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=175404 CPUtime=25.48 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 45222 0 0 0 2538 10 0 0 20 0 1 0 291216093 179613696 40317 33554432000 134512640 137138936 4291942848 4287130608 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 43851 40317 184 642 0 43207 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 175404

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26069
/proc/meminfo: memFree=30595776/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=175404 CPUtime=51.09 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 45222 0 0 0 5098 11 0 0 20 0 1 0 291216093 179613696 40317 33554432000 134512640 137138936 4291942848 4287130604 136297616 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 43851 40317 184 642 0 43207 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 175404

[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 26069
/proc/meminfo: memFree=30594592/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=175404 CPUtime=102.28 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 45228 0 0 0 10217 11 0 0 20 0 1 0 291216093 179613696 40323 33554432000 134512640 137138936 4291942848 4287130608 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 43851 40323 184 642 0 43207 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 175404

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 26069
/proc/meminfo: memFree=30596196/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=175536 CPUtime=162.25 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 45256 0 0 0 16214 11 0 0 20 0 1 0 291216093 179748864 40325 33554432000 134512640 137138936 4291942848 4287130608 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 43884 40325 184 642 0 43240 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 175536

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 26070
/proc/meminfo: memFree=30581680/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=177728 CPUtime=222.23 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 187380 0 0 0 22088 135 0 0 20 0 1 0 291216093 181993472 42079 33554432000 134512640 137138936 4291942848 4291941328 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 44432 42079 192 642 0 43788 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 177728

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 26070
/proc/meminfo: memFree=30580812/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=176300 CPUtime=282.22 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 408656 0 0 0 28029 193 0 0 20 0 1 0 291216093 180531200 41754 33554432000 134512640 137138936 4291942848 4291941560 136504182 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 44075 41754 192 642 0 43431 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 176300

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26070
/proc/meminfo: memFree=30580868/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=179908 CPUtime=342.22 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 711177 0 0 0 33955 267 0 0 20 0 1 0 291216093 184225792 42657 33554432000 134512640 137138936 4291942848 4291941600 134575614 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 44977 42657 192 642 0 44333 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 179908

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26070
/proc/meminfo: memFree=30574172/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=180196 CPUtime=402.2 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 831109 0 0 0 39924 296 0 0 20 0 1 0 291216093 184520704 42729 33554432000 134512640 137138936 4291942848 4291941344 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 45049 42729 192 642 0 44405 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 180196

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26070
/proc/meminfo: memFree=30572804/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=177068 CPUtime=462.2 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 868975 0 0 0 45913 307 0 0 20 0 1 0 291216093 181317632 41947 33554432000 134512640 137138936 4291942848 4291934664 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 44267 41947 192 642 0 43623 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 177068

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26074
/proc/meminfo: memFree=30571556/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=177160 CPUtime=522.18 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 1284353 0 0 0 51814 404 0 0 20 0 1 0 291216093 181411840 41970 33554432000 134512640 137138936 4291942848 4291941776 134541986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 44290 41970 192 642 0 43646 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 177160

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26074
/proc/meminfo: memFree=30567832/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=177652 CPUtime=582.18 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 1583343 0 0 0 57737 481 0 0 20 0 1 0 291216093 181915648 42093 33554432000 134512640 137138936 4291942848 4291941776 134541986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 44413 42093 192 642 0 43769 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 177652

[startup+642.3 s]

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

/proc/meminfo: memFree=30603700/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=186256 CPUtime=1062.1 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 2472870 0 0 0 105509 701 0 0 20 0 1 0 291216093 190726144 44212 33554432000 134512640 137138936 4291942848 4291941272 134606964 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 46564 44212 192 642 0 45920 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 186256

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26117
/proc/meminfo: memFree=30603444/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=186260 CPUtime=1122.1 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 2511806 0 0 0 111499 711 0 0 20 0 1 0 291216093 190730240 44213 33554432000 134512640 137138936 4291942848 4291941344 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 46565 44213 192 642 0 45921 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 186260

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26118
/proc/meminfo: memFree=30602516/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=186256 CPUtime=1182.09 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 2549840 0 0 0 117490 719 0 0 20 0 1 0 291216093 190726144 44212 33554432000 134512640 137138936 4291942848 4291941272 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 46564 44212 192 642 0 45920 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 186256

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26118
/proc/meminfo: memFree=30601648/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=186256 CPUtime=1242.07 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 2585166 0 0 0 123480 727 0 0 20 0 1 0 291216093 190726144 44226 33554432000 134512640 137138936 4291942848 4291941272 134606663 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 46564 44226 192 642 0 45920 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 186256

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26118
/proc/meminfo: memFree=30600152/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=188700 CPUtime=1302.07 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 2665192 0 0 0 129456 751 0 0 20 0 1 0 291216093 193228800 44822 33554432000 134512640 137138936 4291942848 4291941344 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 47175 44822 192 642 0 46531 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 188700

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26118
/proc/meminfo: memFree=30594448/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=193284 CPUtime=1362.06 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 2766713 0 0 0 135428 778 0 0 20 0 1 0 291216093 197922816 45969 33554432000 134512640 137138936 4291942848 4291941128 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 48321 45969 192 642 0 47677 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 193284

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 26118
/proc/meminfo: memFree=30592332/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=194868 CPUtime=1422.06 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 2850659 0 0 0 141399 807 0 0 20 0 1 0 291216093 199544832 46365 33554432000 134512640 137138936 4291942848 4291247748 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 48717 46365 192 642 0 48073 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 194868

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26119
/proc/meminfo: memFree=30591340/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=195996 CPUtime=1482.04 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 2988741 0 0 0 147349 855 0 0 20 0 1 0 291216093 200699904 46647 33554432000 134512640 137138936 4291942848 4291247700 136500283 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 48999 46647 192 642 0 48355 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 195996

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26119
/proc/meminfo: memFree=30590344/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=192864 CPUtime=1542.03 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3135734 0 0 0 153307 896 0 0 20 0 1 0 291216093 197492736 45864 33554432000 134512640 137138936 4291942848 4291941776 134541913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 48216 45864 192 642 0 47572 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 192864

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 26119
/proc/meminfo: memFree=30592020/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=195548 CPUtime=1602.02 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3271904 0 0 0 159267 935 0 0 20 0 1 0 291216093 200241152 46567 33554432000 134512640 137138936 4291942848 4291941076 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 48887 46567 192 642 0 48243 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 195548

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26119
/proc/meminfo: memFree=30590216/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=196000 CPUtime=1662.01 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3398360 0 0 0 165230 971 0 0 20 0 1 0 291216093 200704000 46648 33554432000 134512640 137138936 4291942848 4291941600 134575200 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 49000 46648 192 642 0 48356 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 196000

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26122
/proc/meminfo: memFree=30590640/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=192868 CPUtime=1722 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3547908 0 0 0 171189 1011 0 0 20 0 1 0 291216093 197496832 45864 33554432000 134512640 137138936 4291942848 4291941776 134543177 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 48217 45864 192 642 0 47573 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 192868

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26123
/proc/meminfo: memFree=30584880/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=196004 CPUtime=1781.99 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3657349 0 0 0 177157 1042 0 0 20 0 1 0 291216093 200708096 46649 33554432000 134512640 137138936 4291942848 4291941272 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 49001 46649 192 642 0 48357 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 196004

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26123
/proc/meminfo: memFree=30588724/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=195776 CPUtime=1791.6 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3661027 0 0 0 178117 1043 0 0 20 0 1 0 291216093 200474624 46592 33554432000 134512640 137138936 4291942848 4291941272 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 48944 46592 192 642 0 48300 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 195776

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26123
/proc/meminfo: memFree=30586492/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=196004 CPUtime=1794.8 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3662466 0 0 0 178436 1044 0 0 20 0 1 0 291216093 200708096 46649 33554432000 134512640 137138936 4291942848 4291941344 134618200 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 49001 46649 192 642 0 48357 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 196004

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26123
/proc/meminfo: memFree=30588104/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=192868 CPUtime=1796.39 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3662940 0 0 0 178595 1044 0 0 20 0 1 0 291216093 197496832 45865 33554432000 134512640 137138936 4291942848 4291941776 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 48217 45865 192 642 0 47573 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 192868

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26123
/proc/meminfo: memFree=30585252/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=196004 CPUtime=1797.19 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3663213 0 0 0 178675 1044 0 0 20 0 1 0 291216093 200708096 46649 33554432000 134512640 137138936 4291942848 4291941272 134606691 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 49001 46649 192 642 0 48357 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 196004

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26123
/proc/meminfo: memFree=30585252/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=196004 CPUtime=1797.99 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3663213 0 0 0 178755 1044 0 0 20 0 1 0 291216093 200708096 46649 33554432000 134512640 137138936 4291942848 4291941272 134607009 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 49001 46649 192 642 0 48357 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 196004

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26123
/proc/meminfo: memFree=30585128/32873844 swapFree=6080/6080
[pid=26068] ppid=26066 vsize=196680 CPUtime=1798.2 cores=1,3,5,7
/proc/26068/stat : 26068 (bsolo) R 26066 26068 24091 0 -1 4202496 3663687 0 0 0 178776 1044 0 0 20 0 1 0 291216093 201400320 46818 33554432000 134512640 137138936 4291942848 4291941600 134573444 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26068/statm: 49170 46818 192 642 0 48526 0
Current children cumulated CPU time (s) 1798.2
Current children cumulated vsize (KiB) 196680

Child status: 0
Real time (s): 1798.52
CPU time (s): 1798.22
CPU user time (s): 1787.77
CPU system time (s): 10.4464
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 197588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.77
system time used= 10.4464
maximum resident set size= 188512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3663687
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= 52
involuntary context switches= 1971

runsolver used 5.77212 second user time and 14.3368 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-29 02:21:55
IDJOB=3708376
IDBENCH=91083
IDSOLVER=2286
FILE ID=node139/3708376-1338250915
RUNJOBID= node139-1338219140-24108
PBS_JOBID= 14624619
Free space on /tmp= 71596 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708376-1338250915/watcher-3708376-1338250915 -o /tmp/evaluation-result-3708376-1338250915/solver-3708376-1338250915 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708376-1338250915.opb

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

MD5SUM BENCH= 3b8362af58c9130644833689fa0f2100
RANDOM SEED=1012079262

node139.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.750
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.50
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.750
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.750
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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.750
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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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.750
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:        30756364 kB
Buffers:          445284 kB
Cached:           605068 kB
SwapCached:          828 kB
Active:           959596 kB
Inactive:         301320 kB
Active(anon):     202972 kB
Inactive(anon):     8872 kB
Active(file):     756624 kB
Inactive(file):   292448 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:             31312 kB
Writeback:             0 kB
AnonPages:        216812 kB
Mapped:            12712 kB
Shmem:                 8 kB
Slab:             718984 kB
SReclaimable:     160764 kB
SUnreclaim:       558220 kB
KernelStack:        1456 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     334908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71592 MiB
End job on node139 at 2012-05-29 02:51:54