Trace number 3743451

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb
MD5SUMa88af6dd0118c2f12fc3d8f44e999a51
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-432
Best CPU time to get the best result obtained on this benchmark780.628
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 892
Biggest coefficient in the objective function 512
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 3967
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 61696
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.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 15500 MB
0.00/0.01	c Instance file HOME/instance-3743451-1338781620.opb
0.00/0.01	c File size is 28224608 bytes.
3.58/3.62	c Highest Coefficient sum: 61696
3.58/3.62	c Parsing was ok!!
3.58/3.62	c Total parsing time: 3.607 s
3.78/3.85	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260487
3.78/3.85	c Obj. Vars: 892 (0.222502 % of total variables)
183.04/183.14	c Pre-processing Time: 183.091 s
183.04/183.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.04/183.15	c        0 399937   401643  2331966    5  1257124  500000      0      0 183.09
183.04/183.15	c Switching off LPR mode.
1800.09/1800.40	c      100 399842   401743  2375292    5  1257321  550001    100      0 184.44
1800.09/1800.40	c      250 399823   401893  2389344    5  1257621  605002    250      1 191.82
1800.09/1800.40	c      476 399823   402119  2406464    5  1258074  665503    476      2 199.71
1800.09/1800.40	c      814 399823   402457  2440795    6  1258750  732054    814      3 216.31
1800.09/1800.40	c     1322 399823   402965  2450754    6  1259766  805260   1322      5 229.82
1800.09/1800.40	c     2085 399823   403728  2468094    6  1261292  885787   2085      7 270.43
1800.09/1800.40	c     3231 399823   404874  2491437    6  1263584  974366   3231      9 333.68
1800.09/1800.40	c     4952 399823   406595  2526171    6  1267026  500000   4952     11 415.94
1800.09/1800.40	c     7536 399823   409179  2598013    6  1272194  550001   7536     14 535.88
1800.09/1800.40	c    11416 399823   413059  2715924    6  1279952  605002  11416     17 667.55
1800.09/1800.40	c    17238 399823   418881  3238076    7  1291596  665503  17238     19 901.44
1800.09/1800.40	c    25975 399823   427618  3765224    8  1309071  732054  25975     19 1359.10
1800.09/1800.40	c Caught signal: 15
1800.09/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.40	c   12    38440  22907  6849140   440084  5431277  38441     21 1800.10
1800.09/1800.40	s UNKNOWN
1800.09/1800.40	c Total time: 1800.1 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-3743451-1338781620/watcher-3743451-1338781620 -o /tmp/evaluation-result-3743451-1338781620/solver-3743451-1338781620 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743451-1338781620.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.93 1.98 1.99 3/176 11719
/proc/meminfo: memFree=30896440/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/11719/stat : 11719 (runsolver) D 11717 11719 9396 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 344290582 12095488 50 33554432000 4194304 5436572 140736327981344 140736327977640 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/11719/statm: 2953 50 31 304 0 2645 0

[startup+0.0590231 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11719
/proc/meminfo: memFree=30896440/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=34800 CPUtime=0.04 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 1276 0 0 0 4 0 0 0 20 0 1 0 344290582 35635200 1172 33554432000 134512640 135840783 4294060864 4294059600 2360615 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 8700 1172 464 325 0 745 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34800

[startup+0.100269 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11719
/proc/meminfo: memFree=30896440/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=36384 CPUtime=0.08 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 1785 0 0 0 8 0 0 0 20 0 1 0 344290582 37257216 1681 33554432000 134512640 135840783 4294060864 4294059552 2360615 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 9096 1681 573 325 0 1141 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36384

[startup+0.300284 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11719
/proc/meminfo: memFree=30896440/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=43500 CPUtime=0.28 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 4196 0 0 0 28 0 0 0 20 0 1 0 344290582 44544000 3964 33554432000 134512640 135840783 4294060864 4294059856 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 10875 3964 1102 325 0 2920 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43500

[startup+0.70027 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11719
/proc/meminfo: memFree=30896440/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=56068 CPUtime=0.68 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 8535 0 0 0 67 1 0 0 20 0 1 0 344290582 57413632 8049 33554432000 134512640 135840783 4294060864 4294060064 134527859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 14017 8050 2063 325 0 6062 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56068

[startup+1.50027 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11720
/proc/meminfo: memFree=30861200/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=83000 CPUtime=1.48 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 17427 0 0 0 146 2 0 0 20 0 1 0 344290582 84992000 16435 33554432000 134512640 135840783 4294060864 4294059552 2360615 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 20750 16435 3748 325 0 12795 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83000

[startup+3.10027 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11720
/proc/meminfo: memFree=30826912/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=115804 CPUtime=3.08 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 28637 0 0 0 304 4 0 0 20 0 1 0 344290582 118583296 27145 33554432000 134512640 135840783 4294060864 4294057296 2360615 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 28951 27145 6489 325 0 20996 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 115804

[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11720
/proc/meminfo: memFree=30737884/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=166160 CPUtime=6.28 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 45035 0 0 0 622 6 0 0 20 0 1 0 344290582 170147840 39604 33554432000 134512640 135840783 4294060864 4289249140 2366003 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41540 39604 344 325 0 40476 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 166160

[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 11720
/proc/meminfo: memFree=30737148/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=166160 CPUtime=12.67 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 45035 0 0 0 1261 6 0 0 20 0 1 0 344290582 170147840 39604 33554432000 134512640 135840783 4294060864 4289248864 2358174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41540 39604 344 325 0 40476 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 166160

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11720
/proc/meminfo: memFree=30735916/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=166160 CPUtime=25.47 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 45035 0 0 0 2541 6 0 0 20 0 1 0 344290582 170147840 39604 33554432000 134512640 135840783 4294060864 4289249200 134583197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41540 39604 344 325 0 40476 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 166160

[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 11720
/proc/meminfo: memFree=30734180/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=166160 CPUtime=51.07 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 45038 0 0 0 5100 7 0 0 20 0 1 0 344290582 170147840 39607 33554432000 134512640 135840783 4294060864 4289248864 2358174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41540 39607 344 325 0 40476 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 166160

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 11721
/proc/meminfo: memFree=30728940/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=166160 CPUtime=102.26 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 45038 0 0 0 10219 7 0 0 20 0 1 0 344290582 170147840 39607 33554432000 134512640 135840783 4294060864 4289249296 134567665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41540 39607 344 325 0 40476 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 166160

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11721
/proc/meminfo: memFree=30724040/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=166292 CPUtime=162.24 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 45063 0 0 0 16216 8 0 0 20 0 1 0 344290582 170283008 39615 33554432000 134512640 135840783 4294060864 4289249200 134583456 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41573 39615 344 325 0 40509 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 166292

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 11724
/proc/meminfo: memFree=30717272/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=167712 CPUtime=222.22 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 46857 0 0 0 22213 9 0 0 20 0 1 0 344290582 171737088 40442 33554432000 134512640 135840783 4294060864 4294060000 2358174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41928 40442 348 325 0 40864 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 167712

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11724
/proc/meminfo: memFree=30712072/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=167716 CPUtime=282.21 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 46858 0 0 0 28212 9 0 0 20 0 1 0 344290582 171741184 40443 33554432000 134512640 135840783 4294060864 4294060160 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41929 40443 348 325 0 40865 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 167716

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11724
/proc/meminfo: memFree=30705624/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=167720 CPUtime=342.2 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 46859 0 0 0 34211 9 0 0 20 0 1 0 344290582 171745280 40444 33554432000 134512640 135840783 4294060864 4294060000 2358174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41930 40444 348 325 0 40866 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 167720

[startup+402.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 11725
/proc/meminfo: memFree=30700332/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=167724 CPUtime=402.19 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 46860 0 0 0 40210 9 0 0 20 0 1 0 344290582 171749376 40445 33554432000 134512640 135840783 4294060864 4294060384 134551997 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41931 40445 348 325 0 40867 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 167724

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 11725
/proc/meminfo: memFree=30692456/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=167864 CPUtime=462.18 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 46867 0 0 0 46209 9 0 0 20 0 1 0 344290582 171892736 40797 33554432000 134512640 135840783 4294060864 4294060160 134571798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 41966 40797 348 325 0 40902 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 167864

[startup+522.3 s]
/proc/loadavg: 1.48 1.86 1.95 2/171 11750
/proc/meminfo: memFree=31027824/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=168000 CPUtime=522.17 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 46902 0 0 0 52208 9 0 0 20 0 1 0 344290582 172032000 40832 33554432000 134512640 135840783 4294060864 4294060160 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 42000 40832 348 325 0 40936 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 168000

[startup+582.3 s]
/proc/loadavg: 1.17 1.70 1.89 2/171 11750
/proc/meminfo: memFree=31027700/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=168004 CPUtime=582.17 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 46930 0 0 0 58207 10 0 0 20 0 1 0 344290582 172036096 40860 33554432000 134512640 135840783 4294060864 4294060160 134572040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 42001 40860 348 325 0 40937 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 168004

[startup+642.3 s]

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

/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 48913 0 0 0 100200 11 0 0 20 0 1 0 344290582 180195328 42841 33554432000 134512640 135840783 4294060864 4294059892 2347260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 43993 42841 348 325 0 42929 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 175972

[startup+1062.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/171 11778
/proc/meminfo: memFree=31018256/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=177692 CPUtime=1062.09 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 49349 0 0 0 106198 11 0 0 20 0 1 0 344290582 181956608 43276 33554432000 134512640 135840783 4294060864 4294060160 134571798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 44423 43276 348 325 0 43359 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 177692

[startup+1122.3 s]
/proc/loadavg: 1.00 1.10 1.48 2/171 11778
/proc/meminfo: memFree=31017636/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=178356 CPUtime=1122.09 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 49494 0 0 0 112198 11 0 0 20 0 1 0 344290582 182636544 43421 33554432000 134512640 135840783 4294060864 4294060160 134572016 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 44589 43421 348 325 0 43525 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 178356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.08 1.44 2/171 11778
/proc/meminfo: memFree=31017388/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=178492 CPUtime=1182.07 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 49530 0 0 0 118196 11 0 0 20 0 1 0 344290582 182775808 43457 33554432000 134512640 135840783 4294060864 4294059892 2347362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 44623 43457 348 325 0 43559 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 178492

[startup+1242.3 s]
/proc/loadavg: 1.03 1.08 1.42 2/171 11778
/proc/meminfo: memFree=31016952/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=178764 CPUtime=1242.06 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 49606 0 0 0 124195 11 0 0 20 0 1 0 344290582 183054336 43532 33554432000 134512640 135840783 4294060864 4294060000 2358203 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 44691 43532 348 325 0 43627 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 178764

[startup+1302.3 s]
/proc/loadavg: 1.04 1.08 1.40 2/171 11778
/proc/meminfo: memFree=31015092/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=180748 CPUtime=1302.07 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 50095 0 0 0 130195 12 0 0 20 0 1 0 344290582 185085952 44021 33554432000 134512640 135840783 4294060864 4294060224 134550705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 45187 44021 348 325 0 44123 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 180748

[startup+1362.3 s]
/proc/loadavg: 1.05 1.07 1.37 2/171 11779
/proc/meminfo: memFree=31013168/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=182472 CPUtime=1362.05 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 50539 0 0 0 136193 12 0 0 20 0 1 0 344290582 186851328 44464 33554432000 134512640 135840783 4294060864 4294060000 2357902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 45618 44464 348 325 0 44554 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 182472

[startup+1422.31 s]
/proc/loadavg: 1.02 1.06 1.35 2/172 11782
/proc/meminfo: memFree=31010184/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=185532 CPUtime=1422.05 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 51304 0 0 0 142193 12 0 0 20 0 1 0 344290582 189984768 45229 33554432000 134512640 135840783 4294060864 4294060000 2358174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 46383 45229 348 325 0 45319 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 185532

[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.32 2/171 11782
/proc/meminfo: memFree=31007460/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=188312 CPUtime=1482.03 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 51987 0 0 0 148191 12 0 0 20 0 1 0 344290582 192831488 45910 33554432000 134512640 135840783 4294060864 4294060000 2358532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 47078 45910 348 325 0 46014 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 188312

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/171 11782
/proc/meminfo: memFree=31005412/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=190168 CPUtime=1542.02 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 52472 0 0 0 154190 12 0 0 20 0 1 0 344290582 194732032 46394 33554432000 134512640 135840783 4294060864 4294060224 134550705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 47542 46394 348 325 0 46478 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 190168

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.28 2/171 11782
/proc/meminfo: memFree=31002620/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=193088 CPUtime=1602.02 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 53181 0 0 0 160189 13 0 0 20 0 1 0 344290582 197722112 47102 33554432000 134512640 135840783 4294060864 4294060224 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 48272 47102 348 325 0 47208 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 193088

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/170 11783
/proc/meminfo: memFree=30999832/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=196800 CPUtime=1662.01 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 54109 0 0 0 166188 13 0 0 20 0 1 0 344290582 201523200 48028 33554432000 134512640 135840783 4294060864 4294060000 2358174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 49200 48028 348 325 0 48136 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 196800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/171 11784
/proc/meminfo: memFree=30993756/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=202348 CPUtime=1721.99 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 55525 0 0 0 172186 13 0 0 20 0 1 0 344290582 207204352 49444 33554432000 134512640 135840783 4294060864 4294060148 12750804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 50587 49444 348 325 0 49523 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 202348

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/171 11784
/proc/meminfo: memFree=30992820/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=203016 CPUtime=1781.99 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 55665 0 0 0 178186 13 0 0 20 0 1 0 344290582 207888384 49582 33554432000 134512640 135840783 4294060864 4294060224 134551712 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 50754 49582 348 325 0 49690 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 203016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.01 1.22 2/171 11784
/proc/meminfo: memFree=30992324/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=203544 CPUtime=1800.09 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) R 11717 11719 9396 0 -1 4202496 55798 0 0 0 179996 13 0 0 20 0 1 0 344290582 208429056 49715 33554432000 134512640 135840783 4294060864 4294054112 2358532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 50886 49715 348 325 0 49822 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 203544

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11719

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.22 1/172 11785
/proc/meminfo: memFree=30992324/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=203544 CPUtime=1800.09 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) S 11717 11719 9396 0 -1 4202496 55799 0 0 0 179996 13 0 0 20 0 1 0 344290582 208429056 49716 33554432000 134512640 135840783 4294060864 4294052452 1889328 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 50886 49716 349 325 0 49822 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 203544

[startup+1802.2 s]
/proc/loadavg: 1.00 1.01 1.22 1/172 11785
/proc/meminfo: memFree=30992316/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=203544 CPUtime=1800.09 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) S 11717 11719 9396 0 -1 4202496 55799 0 0 0 179996 13 0 0 20 0 1 0 344290582 208429056 49716 33554432000 134512640 135840783 4294060864 4294052452 1889328 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 50886 49716 349 325 0 49822 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 203544

[startup+1802.4 s]
/proc/loadavg: 1.00 1.01 1.22 1/172 11785
/proc/meminfo: memFree=30992316/32873844 swapFree=8656/8656
[pid=11719] ppid=11717 vsize=203544 CPUtime=1800.09 cores=0,2,4,6
/proc/11719/stat : 11719 (bsolo3.0.17) S 11717 11719 9396 0 -1 4202496 55799 0 0 0 179996 13 0 0 20 0 1 0 344290582 208429056 49716 33554432000 134512640 135840783 4294060864 4294052452 1889328 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0
/proc/11719/statm: 50886 49716 349 325 0 49822 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 203544

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1800.1
CPU user time (s): 1799.97
CPU system time (s): 0.137979
CPU usage (%): 99.8721
Max. virtual memory (cumulated for all children) (KiB): 203544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.137979
maximum resident set size= 198864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55799
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= 58
involuntary context switches= 1970

runsolver used 2.6136 second user time and 7.2459 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-04 05:47:01
IDJOB=3743451
IDBENCH=91155
IDSOLVER=2318
FILE ID=node102/3743451-1338781620
RUNJOBID= node102-1338747648-9412
PBS_JOBID= 14636781
Free space on /tmp= 71116 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743451-1338781620/watcher-3743451-1338781620 -o /tmp/evaluation-result-3743451-1338781620/solver-3743451-1338781620 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3743451-1338781620.opb            

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

MD5SUM BENCH= a88af6dd0118c2f12fc3d8f44e999a51
RANDOM SEED=1562928412

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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		: 2667.178
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		: 2667.178
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		: 2667.178
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.54
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		: 2667.178
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		: 2667.178
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:        30896440 kB
Buffers:          215352 kB
Cached:           719112 kB
SwapCached:         5520 kB
Active:           574376 kB
Inactive:         629284 kB
Active(anon):     265940 kB
Inactive(anon):     5604 kB
Active(file):     308436 kB
Inactive(file):   623680 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:             34068 kB
Writeback:             0 kB
AnonPages:        274964 kB
Mapped:            10416 kB
Shmem:                 0 kB
Slab:             630964 kB
SReclaimable:      71600 kB
SUnreclaim:       559364 kB
KernelStack:        1448 kB
PageTables:         4532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     391080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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= 71144 MiB
End job on node102 at 2012-06-04 06:17:03