Trace number 2690332

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
wbo 1.4b? (TO) 1800.17 1800.12

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMa1a1d6ef1095be996fe403c53206d252
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.112982
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints62
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 3271
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3270
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690332-1277891169.wbo.
0.00/0.00	c Instance file HOME/instance-2690332-1277891169.wbo
0.00/0.00	c File size is 56243 bytes.
0.00/0.00	c Highest Coefficient sum: 46
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      3150                                                |
0.00/0.00	c |  Number Clauses:        90                                                  |
0.00/0.00	c |  Number Cardinality:    70                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |    3150      160     6300 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |    3150      160     6300 |     5500      100    149 |  0.000 % |
0.00/0.02	c |       251 |    3150      160     6300 |     6050      251    187 |  0.000 % |
0.00/0.03	c |       477 |    3150      160     6300 |     6655      477    189 |  0.000 % |
0.00/0.04	c |       816 |    3150      160     6300 |     7320      816    179 |  0.000 % |
0.06/0.08	c |      1322 |    3150      160     6300 |     8052     1322    184 |  0.000 % |
0.09/0.14	c |      2082 |    3150      160     6300 |     8857     2082    198 |  0.000 % |
0.19/0.26	c |      3222 |    3150      160     6300 |     9743     3222    204 |  0.000 % |
0.39/0.48	c |      4931 |    3150      160     6300 |    10717     4931    205 |  0.000 % |
0.99/1.02	c |      7493 |    3150      160     6300 |    11789     7493    223 |  0.000 % |
1.89/1.90	c |     11337 |    3150      160     6300 |    12968    11337    256 |  0.000 % |
3.59/3.66	c |     17104 |    3150      160     6300 |    14265     9874    300 |  0.000 % |
6.99/7.04	c |     25754 |    3150      160     6300 |    15692    10658    358 |  0.000 % |
13.39/13.42	c |     38730 |    3150      160     6300 |    17261    15039    341 |  0.000 % |
26.30/26.37	c |     58191 |    3150      160     6300 |    18987    15788    390 |  0.000 % |
48.09/48.17	c |     87383 |    3150      160     6300 |    20886    14311    483 |  0.000 % |
83.79/83.83	c |    131175 |    3150      160     6300 |    22974    13333    500 |  0.000 % |
126.20/126.27	c |    196859 |    3150      160     6300 |    25272    16711    267 |  0.000 % |
180.60/180.61	c There are 0 assigned variables. 0 in cost function.
180.70/180.74	c ============================[ Search Statistics ]==============================
180.70/180.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.70/180.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.70/180.74	c ===============================================================================
180.70/180.74	c |         0 |    3150      160     6300 |     5000        0    nan |  0.000 % |
180.70/180.77	c |       101 |    3150      160     6300 |     5500      101    143 |  0.000 % |
180.70/180.79	c |       251 |    3150      160     6300 |     6050      251    167 |  0.000 % |
180.80/180.81	c |       479 |    3150      160     6300 |     6655      479    187 |  0.000 % |
180.80/180.86	c |       817 |    3150      160     6300 |     7320      817    182 |  0.000 % |
180.90/180.93	c |      1324 |    3150      160     6300 |     8052     1324    178 |  0.000 % |
180.99/181.06	c |      2083 |    3150      160     6300 |     8857     2083    181 |  0.000 % |
181.29/181.31	c |      3222 |    3150      160     6300 |     9743     3222    195 |  0.000 % |
181.70/181.77	c |      4931 |    3150      160     6300 |    10717     4931    218 |  0.000 % |
182.39/182.41	c |      7494 |    3150      160     6300 |    11789     7494    221 |  0.000 % |
183.49/183.57	c |     11340 |    3150      160     6300 |    12968    11340    215 |  0.000 % |
185.99/186.05	c |     17106 |    3150      160     6300 |    14265     9902    233 |  0.000 % |
190.00/190.09	c |     25755 |    3150      160     6300 |    15692    10694    298 |  0.000 % |
195.80/195.84	c |     38732 |    3150      160     6300 |    17261    15079    300 |  0.000 % |
208.29/208.36	c |     58193 |    3150      160     6300 |    18987    15821    338 |  0.000 % |
219.60/219.67	c |     87386 |    3150      160     6300 |    20886    14349    324 |  0.000 % |
256.00/256.09	c |    131178 |    3150      160     6300 |    22974    22649    624 |  0.000 % |
304.50/304.53	c |    196866 |    3150      160     6300 |    25272    14788    261 |  0.000 % |
390.71/390.72	c |    295393 |    3150      160     6300 |    27799    25560    364 |  0.000 % |
505.41/505.46	c |    443185 |    3150      160     6300 |    30579    17290    299 |  0.000 % |
681.41/681.43	c |    664869 |    3150      160     6300 |    33637    15432    422 |  0.000 % |
903.52/903.53	c |    997396 |    3150      160     6300 |    37001    26401    282 |  0.000 % |
1233.23/1233.22	c |   1496189 |    3150      160     6300 |    40701    21683    404 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690332-1277891169/watcher-2690332-1277891169 -o /tmp/evaluation-result-2690332-1277891169/solver-2690332-1277891169 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690332-1277891169.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.56 3/178 22126
/proc/meminfo: memFree=29367068/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=3096 CPUtime=0
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 406 0 0 0 0 0 0 0 22 0 1 0 162708666 3170304 324 4089446400 134512640 135752675 4294659408 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 774 324 145 303 0 455 0

[startup+0.0705439 s]
/proc/loadavg: 2.02 2.03 2.56 3/178 22126
/proc/meminfo: memFree=29367068/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=4252 CPUtime=0.06
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 780 0 0 0 6 0 0 0 23 0 1 0 162708666 4354048 610 4089446400 134512640 135752675 4294659408 18446744073709551615 134640123 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 1063 610 144 303 0 758 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4252

[startup+0.100538 s]
/proc/loadavg: 2.02 2.03 2.56 3/178 22126
/proc/meminfo: memFree=29367068/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=4648 CPUtime=0.09
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 890 0 0 0 9 0 0 0 23 0 1 0 162708666 4759552 720 4089446400 134512640 135752675 4294659408 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 1162 720 144 303 0 857 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4648

[startup+0.300501 s]
/proc/loadavg: 2.02 2.03 2.56 3/178 22126
/proc/meminfo: memFree=29367068/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=6628 CPUtime=0.29
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 1386 0 0 0 29 0 0 0 23 0 1 0 162708666 6787072 1216 4089446400 134512640 135752675 4294659408 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 1657 1216 144 303 0 1352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6628

[startup+0.700428 s]
/proc/loadavg: 2.02 2.03 2.56 3/178 22126
/proc/meminfo: memFree=29367068/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=9272 CPUtime=0.69
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 2034 0 0 0 68 1 0 0 25 0 1 0 162708666 9494528 1864 4089446400 134512640 135752675 4294659408 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 2318 1864 144 303 0 2013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9272

[startup+1.50028 s]
/proc/loadavg: 2.02 2.03 2.56 3/179 22128
/proc/meminfo: memFree=29356272/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=14684 CPUtime=1.49
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 3382 0 0 0 147 2 0 0 25 0 1 0 162708666 15036416 3212 4089446400 134512640 135752675 4294659408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 3671 3212 144 303 0 3366 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14684

[startup+3.10099 s]
/proc/loadavg: 2.02 2.03 2.56 3/179 22128
/proc/meminfo: memFree=29346600/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=22736 CPUtime=3.09
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 5406 0 0 0 305 4 0 0 25 0 1 0 162708666 23281664 5236 4089446400 134512640 135752675 4294659408 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 5684 5236 144 303 0 5379 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22736

[startup+6.30041 s]
/proc/loadavg: 2.02 2.03 2.56 3/179 22128
/proc/meminfo: memFree=29327544/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=36080 CPUtime=6.29
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 8746 0 0 0 623 6 0 0 25 0 1 0 162708666 36945920 8576 4089446400 134512640 135752675 4294659408 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 9020 8576 144 303 0 8715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36080

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.55 3/179 22128
/proc/meminfo: memFree=29299816/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=55900 CPUtime=12.69
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 13700 0 0 0 1260 9 0 0 25 0 1 0 162708666 57241600 13530 4089446400 134512640 135752675 4294659408 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 13975 13530 144 303 0 13670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55900

[startup+25.5009 s]
/proc/loadavg: 2.01 2.03 2.54 3/179 22128
/proc/meminfo: memFree=29250096/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=89824 CPUtime=25.49
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 22166 0 0 0 2535 14 0 0 25 0 1 0 162708666 91979776 21996 4089446400 134512640 135752675 4294659408 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 22456 21996 144 303 0 22151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89824

[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.53 3/179 22128
/proc/meminfo: memFree=29148572/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=163376 CPUtime=51.09
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 40548 0 0 0 5087 22 0 0 25 0 1 0 162708666 167297024 40378 4089446400 134512640 135752675 4294659408 18446744073709551615 134611774 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 40844 40378 144 303 0 40539 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 163376

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.50 3/179 22130
/proc/meminfo: memFree=28926816/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=280824 CPUtime=102.3
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 69851 0 0 0 10193 37 0 0 25 0 1 0 162708666 287563776 69681 4089446400 134512640 135752675 4294659408 18446744073709551615 134612050 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 70206 69681 144 303 0 69901 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 280824

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.46 3/179 22132
/proc/meminfo: memFree=28682616/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=422916 CPUtime=162.3
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 105295 0 0 0 16173 57 0 0 25 0 1 0 162708666 433065984 105125 4089446400 134512640 135752675 4294659408 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 105729 105125 144 303 0 105424 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 422916

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.43 3/179 22136
/proc/meminfo: memFree=28405368/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=530744 CPUtime=222.3
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 132400 0 0 0 22150 80 0 0 25 0 1 0 162708666 543481856 132230 4089446400 134512640 135752675 4294659408 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 132686 132230 146 303 0 132381 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 530744

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.40 3/179 22138
/proc/meminfo: memFree=28153108/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=673212 CPUtime=282.3
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 167979 0 0 0 28134 96 0 0 25 0 1 0 162708666 689369088 167809 4089446400 134512640 135752675 4294659408 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 168303 167809 146 303 0 167998 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 673212

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.37 3/179 22139
/proc/meminfo: memFree=27961112/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=770152 CPUtime=342.31
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 192128 0 0 0 34120 111 0 0 25 0 1 0 162708666 788635648 191958 4089446400 134512640 135752675 4294659408 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 192538 191958 146 303 0 192233 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 770152

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.35 3/179 22141
/proc/meminfo: memFree=27750644/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=881460 CPUtime=402.31
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 219939 0 0 0 40104 127 0 0 25 0 1 0 162708666 902615040 219769 4089446400 134512640 135752675 4294659408 18446744073709551615 134607257 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 220365 219769 146 303 0 220060 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 881460

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.32 3/179 22143
/proc/meminfo: memFree=27556688/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=981092 CPUtime=462.31
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 244795 0 0 0 46089 142 0 0 25 0 1 0 162708666 1004638208 244625 4089446400 134512640 135752675 4294659408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 245273 244625 146 303 0 244968 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 981092

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.30 3/179 22144
/proc/meminfo: memFree=27361824/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=1092652 CPUtime=522.31
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 272642 0 0 0 52072 159 0 0 25 0 1 0 162708666 1118875648 272472 4089446400 134512640 135752675 4294659408 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 273163 272472 146 303 0 272858 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1092652

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.28 3/179 22146
/proc/meminfo: memFree=27135744/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=1205304 CPUtime=582.31
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 300750 0 0 0 58053 178 0 0 25 0 1 0 162708666 1234231296 300580 4089446400 134512640 135752675 4294659408 18446744073709551615 134607012 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 301326 300580 146 303 0 301021 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1205304

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.26 3/179 22147
/proc/meminfo: memFree=26915484/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=1307568 CPUtime=642.32
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 326272 0 0 0 64038 194 0 0 25 0 1 0 162708666 1338949632 326102 4089446400 134512640 135752675 4294659408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 326892 326103 146 303 0 326587 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1307568

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.98 1.96 2.17 3/179 22289
/proc/meminfo: memFree=29804296/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=1690852 CPUtime=882.31
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 421946 0 0 0 87955 276 0 0 25 0 1 0 162708666 1731432448 421776 4089446400 134512640 135752675 4294659408 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 422713 421776 146 303 0 422408 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1690852

[startup+942.3 s]
/proc/loadavg: 2.05 1.98 2.16 3/179 22299
/proc/meminfo: memFree=29653528/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=1843852 CPUtime=942.32
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 460130 0 0 0 93924 308 0 0 25 0 1 0 162708666 1888104448 459960 4089446400 134512640 135752675 4294659408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 460963 459960 146 303 0 460658 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1843852

[startup+1002.3 s]
/proc/loadavg: 2.02 1.98 2.15 3/179 22301
/proc/meminfo: memFree=29482380/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=2012516 CPUtime=1002.32
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 502263 0 0 0 99895 337 0 0 25 0 1 0 162708666 2060816384 502093 4089446400 134512640 135752675 4294659408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 503129 502093 146 303 0 502824 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2012516

[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 2.14 3/179 22303
/proc/meminfo: memFree=29322516/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=2172764 CPUtime=1062.32
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 542272 0 0 0 105868 364 0 0 25 0 1 0 162708666 2224910336 542102 4089446400 134512640 135752675 4294659408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 543191 542102 146 303 0 542886 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2172764

[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 2.13 3/179 22304
/proc/meminfo: memFree=29177284/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=2317616 CPUtime=1122.32
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 578466 0 0 0 111843 389 0 0 25 0 1 0 162708666 2373238784 578296 4089446400 134512640 135752675 4294659408 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 579404 578296 146 303 0 579099 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2317616

[startup+1182.3 s]
/proc/loadavg: 2.03 1.99 2.12 3/179 22306
/proc/meminfo: memFree=29053380/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=2441612 CPUtime=1182.32
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 609428 0 0 0 117826 406 0 0 25 0 1 0 162708666 2500210688 609258 4089446400 134512640 135752675 4294659408 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 610403 609258 146 303 0 610098 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2441612

[startup+1242.3 s]
/proc/loadavg: 2.01 1.99 2.11 3/179 22307
/proc/meminfo: memFree=28898604/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=2595548 CPUtime=1242.33
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 647867 0 0 0 123799 434 0 0 25 0 1 0 162708666 2657841152 647697 4089446400 134512640 135752675 4294659408 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 648887 647697 146 303 0 648582 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2595548

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 2.10 3/179 22309
/proc/meminfo: memFree=28808652/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=2684836 CPUtime=1302.34
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 670137 0 0 0 129786 448 0 0 25 0 1 0 162708666 2749272064 669967 4089446400 134512640 135752675 4294659408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 671209 669967 146 303 0 670904 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2684836

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 2.09 3/179 22311
/proc/meminfo: memFree=28704844/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=2789492 CPUtime=1362.33
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 696268 0 0 0 135767 466 0 0 25 0 1 0 162708666 2856439808 696098 4089446400 134512640 135752675 4294659408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 697373 696098 146 303 0 697068 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2789492

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 2.08 3/179 22312
/proc/meminfo: memFree=28576476/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=2917336 CPUtime=1422.34
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 728209 0 0 0 141747 487 0 0 25 0 1 0 162708666 2987352064 728039 4089446400 134512640 135752675 4294659408 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 729334 728039 146 303 0 729029 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2917336

[startup+1482.3 s]
/proc/loadavg: 2.08 2.01 2.08 3/179 22314
/proc/meminfo: memFree=28444000/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=3051048 CPUtime=1482.34
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 761628 0 0 0 147726 508 0 0 25 0 1 0 162708666 3124273152 761458 4089446400 134512640 135752675 4294659408 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 762762 761458 146 303 0 762457 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3051048

[startup+1542.3 s]
/proc/loadavg: 2.03 2.00 2.08 3/179 22315
/proc/meminfo: memFree=28336956/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=3156680 CPUtime=1542.34
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 787993 0 0 0 153710 524 0 0 25 0 1 0 162708666 3232440320 787823 4089446400 134512640 135752675 4294659408 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 789170 787823 146 303 0 788865 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3156680

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.07 3/179 22317
/proc/meminfo: memFree=28236600/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=3257480 CPUtime=1602.35
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 813164 0 0 0 159695 540 0 0 25 0 1 0 162708666 3335659520 812994 4089446400 134512640 135752675 4294659408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 814370 812994 146 303 0 814065 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3257480

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 22319
/proc/meminfo: memFree=28163036/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=3330776 CPUtime=1662.35
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 831491 0 0 0 165683 552 0 0 25 0 1 0 162708666 3410714624 831321 4089446400 134512640 135752675 4294659408 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 832694 831321 146 303 0 832389 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3330776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 22320
/proc/meminfo: memFree=28063184/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=3431372 CPUtime=1722.34
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 856594 0 0 0 171666 568 0 0 25 0 1 0 162708666 3513724928 856424 4089446400 134512640 135752675 4294659408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 857843 856424 146 303 0 857538 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3431372

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 22322
/proc/meminfo: memFree=27965200/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=3528524 CPUtime=1782.34
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 880846 0 0 0 177650 584 0 0 25 0 1 0 162708666 3613208576 880676 4089446400 134512640 135752675 4294659408 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 882131 880676 146 303 0 881826 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3528524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 22322
/proc/meminfo: memFree=27935544/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=3557564 CPUtime=1800.05
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4202496 888094 0 0 0 179416 589 0 0 25 0 1 0 162708666 3642945536 887924 4089446400 134512640 135752675 4294659408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22126/statm: 889391 887924 146 303 0 889086 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3557564

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 22322
/proc/meminfo: memFree=27935544/32950928 swapFree=67111528/67111528
[pid=22126] ppid=22124 vsize=0 CPUtime=1800.15
/proc/22126/stat : 22126 (wbo1.4b) R 22124 22126 21225 0 -1 4203524 888094 0 0 0 179416 599 0 0 25 0 1 0 162708666 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22126/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.17
CPU user time (s): 1794.17
CPU system time (s): 6.00209
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3557564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.17
system time used= 6.00209
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 888094
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= 3
involuntary context switches= 18914

runsolver used 2.52362 second user time and 5.67214 second system time

The end

Launcher Data 

Begin job on node116 at 2010-06-30 11:46:09
IDJOB=2690332
IDBENCH=78694
IDSOLVER=1201
FILE ID=node116/2690332-1277891169
PBS_JOBID= 11197121
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690332-1277891169/watcher-2690332-1277891169 -o /tmp/evaluation-result-2690332-1277891169/solver-2690332-1277891169 -C 1800 -W 2000 -M 3800  wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690332-1277891169.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a1a1d6ef1095be996fe403c53206d252
RANDOM SEED=768791268

node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5381.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29367596 kB
Buffers:        174144 kB
Cached:         987376 kB
SwapCached:          0 kB
Active:        2736696 kB
Inactive:       700284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29367596 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2732 kB
Writeback:           0 kB
AnonPages:     2276336 kB
Mapped:          15536 kB
Slab:            77424 kB
PageTables:       9164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2418384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node116 at 2010-06-30 12:16:11