Trace number 2690578

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/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM95c5d91e3a0ca992efaa2a36118a1c06
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.170973
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 constraints160
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 8094
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 8093
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-2690578-1277919995.wbo.
0.00/0.00	c Instance file HOME/instance-2690578-1277919995.wbo
0.00/0.00	c File size is 56724 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.00         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.07/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.04	c |      7496 |    3150      160     6300 |    11789     7496    226 |  0.000 % |
1.79/1.87	c |     11341 |    3150      160     6300 |    12968    11341    242 |  0.000 % |
3.20/3.25	c |     17107 |    3150      160     6300 |    14265     9874    246 |  0.000 % |
8.09/8.13	c |     25761 |    3150      160     6300 |    15692    10655    447 |  0.000 % |
13.00/13.09	c |     38735 |    3150      160     6300 |    17261    15031    316 |  0.000 % |
22.59/22.63	c |     58196 |    3150      160     6300 |    18987    15748    249 |  0.000 % |
30.70/30.77	c |     87389 |    3150      160     6300 |    20886    14290    212 |  0.000 % |
50.18/50.20	c |    131180 |    3150      160     6300 |    22974    13261    297 |  0.000 % |
126.40/126.45	c |    196866 |    3150      160     6300 |    25272    13130    648 |  0.000 % |
180.59/180.65	c There are 0 assigned variables. 0 in cost function.
180.69/180.75	c ============================[ Search Statistics ]==============================
180.69/180.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.69/180.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.69/180.75	c ===============================================================================
180.69/180.75	c |         0 |    3150      160     6300 |     5000        0    nan |  0.000 % |
180.69/180.77	c |       101 |    3150      160     6300 |     5500      101    143 |  0.000 % |
180.69/180.79	c |       251 |    3150      160     6300 |     6050      251    167 |  0.000 % |
180.80/180.82	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.89/180.94	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.32	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.06	c |     17106 |    3150      160     6300 |    14265     9902    233 |  0.000 % |
189.99/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.35	c |     58193 |    3150      160     6300 |    18987    15821    338 |  0.000 % |
219.59/219.67	c |     87386 |    3150      160     6300 |    20886    14349    324 |  0.000 % |
256.00/256.03	c |    131178 |    3150      160     6300 |    22974    22649    624 |  0.000 % |
304.40/304.44	c |    196866 |    3150      160     6300 |    25272    14788    261 |  0.000 % |
390.60/390.69	c |    295393 |    3150      160     6300 |    27799    25560    364 |  0.000 % |
505.20/505.28	c |    443185 |    3150      160     6300 |    30579    17290    299 |  0.000 % |
680.71/680.70	c |    664869 |    3150      160     6300 |    33637    15432    422 |  0.000 % |
902.42/902.49	c |    997396 |    3150      160     6300 |    37001    26401    282 |  0.000 % |
1231.62/1231.64	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-2690578-1277919995/watcher-2690578-1277919995 -o /tmp/evaluation-result-2690578-1277919995/solver-2690578-1277919995 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690578-1277919995.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.01 2.00 2.00 3/200 14733
/proc/meminfo: memFree=30624924/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=3040 CPUtime=0
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 415 0 0 0 0 0 0 0 18 0 1 0 133295132 3112960 320 4089446400 134512640 135752675 4288239520 18446744073709551615 135269694 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 799 327 140 303 0 494 0

[startup+0.0803671 s]
/proc/loadavg: 2.01 2.00 2.00 3/200 14733
/proc/meminfo: memFree=30624924/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=4388 CPUtime=0.07
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 821 0 0 0 7 0 0 0 18 0 1 0 133295132 4493312 652 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 1097 652 144 303 0 792 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4388

[startup+0.100366 s]
/proc/loadavg: 2.01 2.00 2.00 3/200 14733
/proc/meminfo: memFree=30624924/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=4652 CPUtime=0.09
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 900 0 0 0 8 1 0 0 18 0 1 0 133295132 4763648 731 4089446400 134512640 135752675 4288239520 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 1163 731 144 303 0 858 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4652

[startup+0.300339 s]
/proc/loadavg: 2.01 2.00 2.00 3/200 14733
/proc/meminfo: memFree=30624924/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=6764 CPUtime=0.29
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 1409 0 0 0 28 1 0 0 18 0 1 0 133295132 6926336 1240 4089446400 134512640 135752675 4288239520 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 1691 1240 144 303 0 1386 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6764

[startup+0.700266 s]
/proc/loadavg: 2.01 2.00 2.00 3/200 14733
/proc/meminfo: memFree=30624924/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=9536 CPUtime=0.69
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 2106 0 0 0 67 2 0 0 18 0 1 0 133295132 9764864 1937 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 2384 1937 144 303 0 2079 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9536

[startup+1.50012 s]
/proc/loadavg: 2.01 2.00 2.00 3/201 14734
/proc/meminfo: memFree=30616884/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=14560 CPUtime=1.49
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 3371 0 0 0 146 3 0 0 20 0 1 0 133295132 14909440 3202 4089446400 134512640 135752675 4288239520 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 3640 3202 144 303 0 3335 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14560

[startup+3.10082 s]
/proc/loadavg: 2.01 2.00 2.00 3/201 14734
/proc/meminfo: memFree=30609568/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=22136 CPUtime=3.09
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 5244 0 0 0 305 4 0 0 25 0 1 0 133295132 22667264 5075 4089446400 134512640 135752675 4288239520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 5534 5075 144 303 0 5229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22136

[startup+6.30023 s]
/proc/loadavg: 2.01 2.00 2.00 3/201 14734
/proc/meminfo: memFree=30595804/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=35080 CPUtime=6.29
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 8502 0 0 0 624 5 0 0 25 0 1 0 133295132 35921920 8333 4089446400 134512640 135752675 4288239520 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 8770 8333 144 303 0 8465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35080

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14734
/proc/meminfo: memFree=30572376/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=57972 CPUtime=12.7
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 14221 0 0 0 1260 10 0 0 25 0 1 0 133295132 59363328 14052 4089446400 134512640 135752675 4288239520 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 14493 14052 144 303 0 14188 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 57972

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14734
/proc/meminfo: memFree=30531632/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=98668 CPUtime=25.49
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 24375 0 0 0 2531 18 0 0 25 0 1 0 133295132 101036032 24206 4089446400 134512640 135752675 4288239520 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14733/statm: 24667 24206 144 303 0 24362 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 98668

[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14735
/proc/meminfo: memFree=30443396/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=191048 CPUtime=51.09
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 47425 0 0 0 5073 36 0 0 25 0 1 0 133295132 195633152 47256 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 47762 47256 144 303 0 47457 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 191048

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14736
/proc/meminfo: memFree=30315080/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=313884 CPUtime=102.3
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 78109 0 0 0 10181 49 0 0 25 0 1 0 133295132 321417216 77940 4089446400 134512640 135752675 4288239520 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 78471 77940 144 303 0 78166 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 313884

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/201 14738
/proc/meminfo: memFree=30160164/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=469328 CPUtime=162.29
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 116958 0 0 0 16166 63 0 0 25 0 1 0 133295132 480591872 116789 4089446400 134512640 135752675 4288239520 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 117332 116789 144 303 0 117027 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 469328

[startup+222.3 s]
/proc/loadavg: 2.23 2.06 2.01 3/201 14740
/proc/meminfo: memFree=30078040/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=550632 CPUtime=222.3
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 137373 0 0 0 22137 93 0 0 25 0 1 0 133295132 563847168 137204 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 137658 137204 146 303 0 137353 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 550632

[startup+282.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/201 14741
/proc/meminfo: memFree=29935400/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=692980 CPUtime=282.29
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 172917 0 0 0 28114 115 0 0 25 0 1 0 133295132 709611520 172748 4089446400 134512640 135752675 4288239520 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 173245 172748 146 303 0 172940 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 692980

[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/201 14743
/proc/meminfo: memFree=29838396/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=789740 CPUtime=342.3
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 197030 0 0 0 34095 135 0 0 25 0 1 0 133295132 808693760 196861 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 197435 196861 146 303 0 197130 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 789740

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/201 14744
/proc/meminfo: memFree=29728128/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=901068 CPUtime=402.3
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 224833 0 0 0 40073 157 0 0 25 0 1 0 133295132 922693632 224664 4089446400 134512640 135752675 4288239520 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 225267 224664 146 303 0 224962 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 901068

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 14746
/proc/meminfo: memFree=29626544/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=1000700 CPUtime=462.3
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 249696 0 0 0 46056 174 0 0 25 0 1 0 133295132 1024716800 249527 4089446400 134512640 135752675 4288239520 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 250175 249527 146 303 0 249870 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1000700

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 14748
/proc/meminfo: memFree=29517020/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=1111668 CPUtime=522.3
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 277418 0 0 0 52038 192 0 0 25 0 1 0 133295132 1138348032 277249 4089446400 134512640 135752675 4288239520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 277917 277249 146 303 0 277612 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1111668

[startup+582.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/201 14749
/proc/meminfo: memFree=29406704/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=1220872 CPUtime=582.3
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 304639 0 0 0 58022 208 0 0 25 0 1 0 133295132 1250172928 304470 4089446400 134512640 135752675 4288239520 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 305218 304470 146 303 0 304913 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1220872

[startup+642.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14781
/proc/meminfo: memFree=30016804/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=1323592 CPUtime=642.32
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 330259 0 0 0 64009 223 0 0 25 0 1 0 133295132 1355358208 330090 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 330898 330090 146 303 0 330593 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1323592

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14796
/proc/meminfo: memFree=29128940/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=1707008 CPUtime=882.32
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 425980 0 0 0 87943 289 0 0 25 0 1 0 133295132 1747976192 425811 4089446400 134512640 135752675 4288239520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 426752 425811 146 303 0 426447 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1707008

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14798
/proc/meminfo: memFree=28867760/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=1862648 CPUtime=942.32
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 464826 0 0 0 93913 319 0 0 25 0 1 0 133295132 1907351552 464657 4089446400 134512640 135752675 4288239520 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 465662 464657 146 303 0 465357 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1862648

[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14799
/proc/meminfo: memFree=28599884/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=2030400 CPUtime=1002.32
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 506724 0 0 0 99881 351 0 0 25 0 1 0 133295132 2079129600 506555 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 507600 506555 146 303 0 507295 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2030400

[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14801
/proc/meminfo: memFree=28348888/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=2189472 CPUtime=1062.33
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 546437 0 0 0 105852 381 0 0 25 0 1 0 133295132 2242019328 546268 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 547368 546268 146 303 0 547063 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2189472

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14803
/proc/meminfo: memFree=28097020/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=2336148 CPUtime=1122.33
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 583056 0 0 0 111825 408 0 0 25 0 1 0 133295132 2392215552 582887 4089446400 134512640 135752675 4288239520 18446744073709551615 134639370 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 584037 582887 146 303 0 583732 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2336148

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14804
/proc/meminfo: memFree=27890536/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=2460096 CPUtime=1182.33
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 614020 0 0 0 117806 427 0 0 25 0 1 0 133295132 2519138304 613851 4089446400 134512640 135752675 4288239520 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 615024 613851 146 303 0 614719 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2460096

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14806
/proc/meminfo: memFree=27640520/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=2613552 CPUtime=1242.33
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 652354 0 0 0 123779 454 0 0 25 0 1 0 133295132 2676277248 652185 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 653388 652185 146 303 0 653083 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2613552

[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 14807
/proc/meminfo: memFree=27448784/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=2701708 CPUtime=1302.34
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 674359 0 0 0 129766 468 0 0 25 0 1 0 133295132 2766548992 674190 4089446400 134512640 135752675 4288239520 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 675427 674190 146 303 0 675122 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2701708

[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 14809
/proc/meminfo: memFree=27239544/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=2807232 CPUtime=1362.34
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 700688 0 0 0 135747 487 0 0 25 0 1 0 133295132 2874605568 700519 4089446400 134512640 135752675 4288239520 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 701808 700519 146 303 0 701503 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2807232

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14811
/proc/meminfo: memFree=27006276/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=2936048 CPUtime=1422.34
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 732878 0 0 0 141723 511 0 0 25 0 1 0 133295132 3006513152 732709 4089446400 134512640 135752675 4288239520 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 734012 732709 146 303 0 733707 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2936048

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14812
/proc/meminfo: memFree=26764700/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=3070504 CPUtime=1482.34
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 766475 0 0 0 147700 534 0 0 25 0 1 0 133295132 3144196096 766306 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 767626 766306 146 303 0 767321 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3070504

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14814
/proc/meminfo: memFree=26566132/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=3174720 CPUtime=1542.34
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 792478 0 0 0 153682 552 0 0 25 0 1 0 133295132 3250913280 792309 4089446400 134512640 135752675 4288239520 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 793680 792309 146 303 0 793375 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3174720

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14815
/proc/meminfo: memFree=26403288/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=3275484 CPUtime=1602.34
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 817640 0 0 0 159666 568 0 0 25 0 1 0 133295132 3354095616 817471 4089446400 134512640 135752675 4288239520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 818871 817471 146 303 0 818566 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3275484

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14817
/proc/meminfo: memFree=26265504/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=3350004 CPUtime=1662.34
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 836246 0 0 0 165654 580 0 0 25 0 1 0 133295132 3430404096 836077 4089446400 134512640 135752675 4288239520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 837501 836077 146 303 0 837196 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3350004

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14819
/proc/meminfo: memFree=26105636/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=3450696 CPUtime=1722.35
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 861415 0 0 0 171637 598 0 0 25 0 1 0 133295132 3533512704 861246 4089446400 134512640 135752675 4288239520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 862674 861246 146 303 0 862369 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3450696

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14820
/proc/meminfo: memFree=25956184/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=3548108 CPUtime=1782.34
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 885733 0 0 0 177621 613 0 0 25 0 1 0 133295132 3633262592 885564 4089446400 134512640 135752675 4288239520 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 887027 885564 146 303 0 886722 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3548108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14821
/proc/meminfo: memFree=25898888/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=3575972 CPUtime=1800.05
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4202496 892664 0 0 0 179387 618 0 0 25 0 1 0 133295132 3661795328 892495 4089446400 134512640 135752675 4288239520 18446744073709551615 134611767 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14733/statm: 893993 892495 146 303 0 893688 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3575972

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.01 2.01 2.00 3/183 14821
/proc/meminfo: memFree=25898888/32951124 swapFree=67111528/67111528
[pid=14733] ppid=14731 vsize=0 CPUtime=1800.16
/proc/14733/stat : 14733 (wbo1.4b) R 14731 14733 13894 0 -1 4203524 892664 0 0 0 179388 628 0 0 25 0 1 0 133295132 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/14733/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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): 1793.88
CPU system time (s): 6.29304
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3575972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 6.29304
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 892664
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= 1248

runsolver used 2.74358 second user time and 5.54916 second system time

The end

Launcher Data 

Begin job on node135 at 2010-06-30 19:46:35
IDJOB=2690578
IDBENCH=79156
IDSOLVER=1201
FILE ID=node135/2690578-1277919995
PBS_JOBID= 11197333
Free space on /tmp= 74132 MiB

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

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

MD5SUM BENCH= 95c5d91e3a0ca992efaa2a36118a1c06
RANDOM SEED=1278929196

node135.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.857
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.71
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.857
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	: 5332.75
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.857
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.857
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	: 7186.14
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.857
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.75
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.857
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.75
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.857
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.74
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.857
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30625824 kB
Buffers:        199260 kB
Cached:        1113376 kB
SwapCached:          0 kB
Active:        1347724 kB
Inactive:       830720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30625824 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2752 kB
Writeback:           0 kB
AnonPages:      866308 kB
Mapped:          20104 kB
Slab:            81680 kB
PageTables:       6656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1653268 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74136 MiB
End job on node135 at 2010-06-30 20:16:37