Trace number 2697064

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
pb_cplex 2010-06-29? (TO) 1800.14 1046.92

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
MD5SUM901fa4df755866cb23bdcc769669d554
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark9.02663
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2697064-1278049306.opb.
0.00/0.00	c Instance file HOME/instance-2697064-1278049306.opb
0.00/0.00	c File size is 42576 bytes.
0.00/0.03	c Highest Coefficient sum: 523264
0.00/0.03	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      756                                                 |
0.00/0.03	c |  Number Constraints:    1149                                                |
0.00/0.03	c ===============================================================================
1800.14/1046.91	c Remaining time 1799.97 sec.
1800.14/1046.91	c 
1800.14/1046.91	c *** INTERRUPTED ***
1800.14/1046.91	s UNKNOWN
1800.14/1046.91	c Total CPU time              : 1775.78 s
1800.14/1046.91	c Memory used           : 119.02 MB
1800.14/1046.91	c CPU time              : 1775.78 s
1800.14/1046.91	c 
1800.14/1046.91	c *** INTERRUPTED ***

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-2697064-1278049306/watcher-2697064-1278049306 -o /tmp/evaluation-result-2697064-1278049306/solver-2697064-1278049306 -C 1800 -W 2000 -M 1800 run HOME/instance-2697064-1278049306.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.23 1.39 1.38 3/105 30680
/proc/meminfo: memFree=1391256/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) R 30678 30680 30490 0 -1 4202496 348 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217199509 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0

[startup+0.0116161 s]
/proc/loadavg: 1.23 1.39 1.38 3/105 30680
/proc/meminfo: memFree=1391256/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.104606 s]
/proc/loadavg: 1.23 1.39 1.38 3/105 30680
/proc/meminfo: memFree=1391256/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300637 s]
/proc/loadavg: 1.23 1.39 1.38 3/105 30680
/proc/meminfo: memFree=1391256/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700684 s]
/proc/loadavg: 1.23 1.39 1.38 3/105 30680
/proc/meminfo: memFree=1391256/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50078 s]
/proc/loadavg: 1.23 1.39 1.38 3/108 30684
/proc/meminfo: memFree=1383544/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=34932 CPUtime=1.95
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 10654 0 0 0 188 7 0 0 25 0 2 0 146224208 35770368 3334 1992294400 134512640 146736320 4292571504 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 8733 3334 1070 2985 0 5275 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 43632

[startup+3.10095 s]
/proc/loadavg: 1.23 1.39 1.38 3/108 30685
/proc/meminfo: memFree=1381064/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=37504 CPUtime=4.73
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 33639 0 0 0 455 18 0 0 25 0 2 0 146224208 38404096 3905 1992294400 134512640 146736320 4292571504 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 9376 3905 1071 2985 0 5918 0
[pid=30681/tid=30685] ppid=30680 vsize=37504 CPUtime=1.88
/proc/30681/task/30685/stat : 30685 (pb_cplex) S 30680 30680 30490 0 -1 4202560 24918 0 0 0 177 11 0 0 25 0 2 0 146224309 38404096 3905 1992294400 134512640 146736320 4292571504 18446744073709551615 144580073 0 2 4096 16387 18446604437836195136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 46204

[startup+6.30132 s]
/proc/loadavg: 1.21 1.39 1.38 3/108 30685
/proc/meminfo: memFree=1375236/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=40304 CPUtime=10.22
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 53174 0 0 0 990 32 0 0 18 0 2 0 146224208 41271296 4766 1992294400 134512640 146736320 4292571504 18446744073709551615 135454093 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 10076 4766 1071 2985 0 6618 0
[pid=30681/tid=30685] ppid=30680 vsize=40304 CPUtime=4.73
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 34117 0 0 0 455 18 0 0 25 0 2 0 146224309 41271296 4766 1992294400 134512640 146736320 4292571504 18446744073709551615 135526320 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 49004

[startup+12.701 s]
/proc/loadavg: 1.43 1.43 1.39 3/108 30685
/proc/meminfo: memFree=1372260/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=46072 CPUtime=20.84
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 85568 0 0 0 2034 50 0 0 15 0 2 0 146224208 47177728 5897 1992294400 134512640 146736320 4292571504 18446744073709551615 136403112 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 11518 5897 1074 2985 0 8060 0
[pid=30681/tid=30685] ppid=30680 vsize=46072 CPUtime=10.44
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 53484 0 0 0 1015 29 0 0 25 0 2 0 146224309 47177728 5897 1992294400 134512640 146736320 4292571504 18446744073709551615 136008167 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.84
Current children cumulated vsize (KiB) 54772

[startup+25.5015 s]
/proc/loadavg: 1.49 1.44 1.39 2/108 30685
/proc/meminfo: memFree=1366680/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=49460 CPUtime=42.01
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 151053 0 0 0 4110 91 0 0 16 0 2 0 146224208 50647040 6958 1992294400 134512640 146736320 4292571504 18446744073709551615 135454141 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 12365 6958 1075 2985 0 8907 0
[pid=30681/tid=30685] ppid=30680 vsize=49460 CPUtime=20.83
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 87009 0 0 0 2035 48 0 0 16 0 2 0 146224309 50647040 6958 1992294400 134512640 146736320 4292571504 18446744073709551615 136008042 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.01
Current children cumulated vsize (KiB) 58160

[startup+51.1014 s]
/proc/loadavg: 1.65 1.48 1.41 3/108 30685
/proc/meminfo: memFree=1363580/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=55216 CPUtime=83.14
/proc/30681/stat : 30681 (pb_cplex) S 30680 30680 30490 0 -1 4202496 273148 0 0 0 8153 161 0 0 16 0 2 0 146224208 56541184 7787 1992294400 134512640 146736320 4292571504 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30681/statm: 13804 7787 1074 2985 0 10346 0
[pid=30681/tid=30685] ppid=30680 vsize=55216 CPUtime=41.79
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 148608 0 0 0 4094 85 0 0 17 0 2 0 146224309 56541184 7787 1992294400 134512640 146736320 4292571504 18446744073709551615 136001084 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 83.14
Current children cumulated vsize (KiB) 63916

[startup+102.308 s]
/proc/loadavg: 1.70 1.53 1.43 2/108 30687
/proc/meminfo: memFree=1355396/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=60556 CPUtime=167.46
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 518036 0 0 0 16436 310 0 0 19 0 2 0 146224208 62009344 9302 1992294400 134512640 146736320 4292571504 18446744073709551615 136403109 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 15139 9302 1074 2985 0 11681 0
[pid=30681/tid=30685] ppid=30680 vsize=60556 CPUtime=85.12
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 275421 0 0 0 8351 161 0 0 16 0 2 0 146224309 62009344 9302 1992294400 134512640 146736320 4292571504 18446744073709551615 136008177 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 167.46
Current children cumulated vsize (KiB) 69256

[startup+162.301 s]
/proc/loadavg: 1.74 1.57 1.44 2/108 30689
/proc/meminfo: memFree=1344236/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=68960 CPUtime=263.4
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 763653 0 0 0 25881 459 0 0 17 0 2 0 146224208 70615040 11336 1992294400 134512640 146736320 4292571504 18446744073709551615 136008450 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 17240 11336 1074 2985 0 13782 0
[pid=30681/tid=30685] ppid=30680 vsize=68960 CPUtime=134.09
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 397287 0 0 0 13177 232 0 0 19 0 2 0 146224309 70615040 11336 1992294400 134512640 146736320 4292571504 18446744073709551615 136015579 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 263.4
Current children cumulated vsize (KiB) 77660

[startup+222.301 s]
/proc/loadavg: 1.53 1.54 1.44 3/108 30691
/proc/meminfo: memFree=1346096/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=75544 CPUtime=359.68
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 1036063 0 0 0 35341 627 0 0 16 0 2 0 146224208 77357056 12372 1992294400 134512640 146736320 4292571504 18446744073709551615 135468697 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30681/statm: 18886 12372 1096 2985 0 15428 0
[pid=30681/tid=30685] ppid=30680 vsize=75544 CPUtime=180.95
/proc/30681/task/30685/stat : 30685 (pb_cplex) S 30680 30680 30490 0 -1 4202560 539847 0 0 0 17777 318 0 0 18 0 2 0 146224309 77357056 12372 1992294400 134512640 146736320 4292571504 18446744073709551615 144580073 0 2 4096 16387 18446604437836195136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 359.68
Current children cumulated vsize (KiB) 84244

[startup+282.301 s]
/proc/loadavg: 1.83 1.61 1.47 2/108 30693
/proc/meminfo: memFree=1337044/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=83592 CPUtime=458.14
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 1258479 0 0 0 45042 772 0 0 16 0 2 0 146224208 85598208 14409 1992294400 134512640 146736320 4292571504 18446744073709551615 136019058 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 20898 14409 1113 2985 0 17440 0
[pid=30681/tid=30685] ppid=30680 vsize=83592 CPUtime=230.45
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 646429 0 0 0 22657 388 0 0 25 0 2 0 146224309 85598208 14409 1992294400 134512640 146736320 4292571504 18446744073709551615 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 458.14
Current children cumulated vsize (KiB) 92292

[startup+342.301 s]
/proc/loadavg: 1.65 1.60 1.47 2/108 30693
/proc/meminfo: memFree=1333200/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=86168 CPUtime=554.51

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

[pid=30681] ppid=30680 vsize=91136 CPUtime=863.9
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 1744638 0 0 0 85300 1090 0 0 18 0 2 0 146224208 93323264 16374 1992294400 134512640 146736320 4292571504 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30681/statm: 22784 16374 1113 2985 0 19326 0
[pid=30681/tid=30685] ppid=30680 vsize=91136 CPUtime=439.76
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 927571 0 0 0 43403 573 0 0 18 0 2 0 146224309 93323264 16374 1992294400 134512640 146736320 4292571504 18446744073709551615 139023063 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 863.9
Current children cumulated vsize (KiB) 99836

[startup+582.302 s]
/proc/loadavg: 2.03 1.80 1.57 4/108 30701
/proc/meminfo: memFree=1323156/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=97600 CPUtime=971.06
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 1965151 0 0 0 95864 1242 0 0 23 0 2 0 146224208 99942400 17930 1992294400 134512640 146736320 4292571504 18446744073709551615 137018188 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30681/statm: 24400 17930 1113 2985 0 20942 0
[pid=30681/tid=30685] ppid=30680 vsize=97600 CPUtime=493.21
/proc/30681/task/30685/stat : 30685 (pb_cplex) S 30680 30680 30490 0 -1 4202560 1034656 0 0 0 48671 650 0 0 16 0 2 0 146224309 99942400 17930 1992294400 134512640 146736320 4292571504 18446744073709551615 144580073 0 2 4096 16387 18446604437836195136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 971.06
Current children cumulated vsize (KiB) 106300

[startup+642.301 s]
/proc/loadavg: 1.92 1.80 1.59 3/108 30701
/proc/meminfo: memFree=1318320/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=101940 CPUtime=1078.55
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 2185277 0 0 0 106452 1403 0 0 19 0 2 0 146224208 104386560 19141 1992294400 134512640 146736320 4292571504 18446744073709551615 135850067 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30681/statm: 25485 19141 1113 2985 0 22027 0
[pid=30681/tid=30685] ppid=30680 vsize=101940 CPUtime=546.08
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 1171990 0 0 0 53858 750 0 0 18 0 2 0 146224309 104386560 19141 1992294400 134512640 146736320 4292571504 18446744073709551615 135454096 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1078.55
Current children cumulated vsize (KiB) 110640

[startup+702.301 s]
/proc/loadavg: 1.88 1.81 1.60 3/108 30703
/proc/meminfo: memFree=1314724/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=105888 CPUtime=1184.42
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 2435291 0 0 0 116863 1579 0 0 18 0 2 0 146224208 108429312 20043 1992294400 134512640 146736320 4292571504 18446744073709551615 135454093 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30681/statm: 26472 20043 1113 2985 0 23014 0
[pid=30681/tid=30685] ppid=30680 vsize=105888 CPUtime=599.15
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 1356680 0 0 0 59038 877 0 0 17 0 2 0 146224309 108429312 20043 1992294400 134512640 146736320 4292571504 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1184.42
Current children cumulated vsize (KiB) 114588

[startup+762.309 s]
/proc/loadavg: 1.92 1.82 1.62 3/108 30705
/proc/meminfo: memFree=1311872/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=109644 CPUtime=1291.8
/proc/30681/stat : 30681 (pb_cplex) S 30680 30680 30490 0 -1 4202496 2608872 0 0 0 127461 1719 0 0 17 0 2 0 146224208 112275456 20806 1992294400 134512640 146736320 4292571504 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 27411 20806 1113 2985 0 23953 0
[pid=30681/tid=30685] ppid=30680 vsize=109644 CPUtime=653.4
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 1474892 0 0 0 64374 966 0 0 25 0 2 0 146224309 112275456 20806 1992294400 134512640 146736320 4292571504 18446744073709551615 138419135 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1291.8
Current children cumulated vsize (KiB) 118344

[startup+822.301 s]
/proc/loadavg: 1.95 1.85 1.64 2/108 30707
/proc/meminfo: memFree=1309764/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=110716 CPUtime=1399.33
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 2822987 0 0 0 138058 1875 0 0 25 0 2 0 146224208 113373184 21264 1992294400 134512640 146736320 4292571504 18446744073709551615 136008069 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30681/statm: 27679 21264 1113 2985 0 24221 0
[pid=30681/tid=30685] ppid=30680 vsize=110716 CPUtime=706.6
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 1562990 0 0 0 69628 1032 0 0 16 0 2 0 146224309 113373184 21264 1992294400 134512640 146736320 4292571504 18446744073709551615 135850298 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1399.33
Current children cumulated vsize (KiB) 119416

[startup+882.301 s]
/proc/loadavg: 1.80 1.83 1.64 3/108 30709
/proc/meminfo: memFree=1305176/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=115624 CPUtime=1506.06
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 3066693 0 0 0 148557 2049 0 0 16 0 2 0 146224208 118398976 22256 1992294400 134512640 146736320 4292571504 18446744073709551615 135851010 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 28906 22256 1113 2985 0 25448 0
[pid=30681/tid=30685] ppid=30680 vsize=115624 CPUtime=759.99
/proc/30681/task/30685/stat : 30685 (pb_cplex) S 30680 30680 30490 0 -1 4202560 1637897 0 0 0 74908 1091 0 0 25 0 2 0 146224309 118398976 22256 1992294400 134512640 146736320 4292571504 18446744073709551615 144580073 0 2 4096 16387 18446604437836195136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1506.06
Current children cumulated vsize (KiB) 124324

[startup+942.301 s]
/proc/loadavg: 1.93 1.86 1.66 3/108 30709
/proc/meminfo: memFree=1302820/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=117772 CPUtime=1612.09
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 3238806 0 0 0 159022 2187 0 0 16 0 2 0 146224208 120598528 22829 1992294400 134512640 146736320 4292571504 18446744073709551615 135526859 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 29443 22829 1113 2985 0 25985 0
[pid=30681/tid=30685] ppid=30680 vsize=117772 CPUtime=813.67
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 1705668 0 0 0 80218 1149 0 0 25 0 2 0 146224309 120598528 22829 1992294400 134512640 146736320 4292571504 18446744073709551615 135850322 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1612.09
Current children cumulated vsize (KiB) 126472

[startup+1002.3 s]
/proc/loadavg: 1.82 1.85 1.66 3/108 30711
/proc/meminfo: memFree=1301208/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=120168 CPUtime=1719.77
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 3403466 0 0 0 169643 2334 0 0 25 0 2 0 146224208 123052032 23360 1992294400 134512640 146736320 4292571504 18446744073709551615 135526778 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30681/statm: 30042 23360 1113 2985 0 26584 0
[pid=30681/tid=30685] ppid=30680 vsize=120168 CPUtime=867.01
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 1830265 0 0 0 85450 1251 0 0 16 0 2 0 146224309 123052032 23360 1992294400 134512640 146736320 4292571504 18446744073709551615 135850304 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1719.77
Current children cumulated vsize (KiB) 128868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1046.9 s]
/proc/loadavg: 1.84 1.85 1.67 3/108 30713
/proc/meminfo: memFree=1299100/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=121868 CPUtime=1800.14
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 3537580 0 0 0 177576 2438 0 0 17 0 2 0 146224208 124792832 23841 1992294400 134512640 146736320 4292571504 18446744073709551615 139039538 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 30467 23841 1113 2985 0 27009 0
[pid=30681/tid=30685] ppid=30680 vsize=121868 CPUtime=907.29
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 1912967 0 0 0 89419 1310 0 0 25 0 2 0 146224309 124792832 23841 1992294400 134512640 146736320 4292571504 18446744073709551615 135850737 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 130568

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

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

[startup+1046.9 s]
/proc/loadavg: 1.84 1.85 1.67 3/108 30713
/proc/meminfo: memFree=1299100/2059040 swapFree=4139044/4192956
[pid=30680] ppid=30678 vsize=8700 CPUtime=0
/proc/30680/stat : 30680 (run) S 30678 30680 30490 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146224207 8908800 249 1992294400 4194304 4922060 140736714106608 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30680/statm: 2175 249 208 178 0 68 0
[pid=30681] ppid=30680 vsize=121868 CPUtime=1800.14
/proc/30681/stat : 30681 (pb_cplex) R 30680 30680 30490 0 -1 4202496 3537580 0 0 0 177576 2438 0 0 17 0 2 0 146224208 124792832 23841 1992294400 134512640 146736320 4292571504 18446744073709551615 139039538 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30681/statm: 30467 23841 1113 2985 0 27009 0
[pid=30681/tid=30685] ppid=30680 vsize=121868 CPUtime=907.29
/proc/30681/task/30685/stat : 30685 (pb_cplex) R 30680 30680 30490 0 -1 4202560 1912967 0 0 0 89419 1310 0 0 25 0 2 0 146224309 124792832 23841 1992294400 134512640 146736320 4292571504 18446744073709551615 135850737 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 130568

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30680 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.002999
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1046.92
CPU time (s): 1800.14
CPU user time (s): 1775.76
CPU system time (s): 24.38
CPU usage (%): 171.946
Max. virtual memory (cumulated for all children) (KiB): 154044

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

runsolver used 2.06469 second user time and 5.31019 second system time

The end

Launcher Data 

Begin job on node088 at 2010-07-02 07:41:46
IDJOB=2697064
IDBENCH=48098
IDSOLVER=1209
FILE ID=node088/2697064-1278049306
PBS_JOBID= 11198827
Free space on /tmp= 62388 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697064-1278049306/watcher-2697064-1278049306 -o /tmp/evaluation-result-2697064-1278049306/solver-2697064-1278049306 -C 1800 -W 2000 -M 1800  run HOME/instance-2697064-1278049306.opb

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

MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554
RANDOM SEED=268490833

node088.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1392156 kB
Buffers:        152232 kB
Cached:         402652 kB
SwapCached:       6984 kB
Active:         265616 kB
Inactive:       303108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1392156 kB
SwapTotal:     4192956 kB
SwapFree:      4139044 kB
Dirty:           16628 kB
Writeback:           0 kB
AnonPages:       11892 kB
Mapped:           8448 kB
Slab:            76356 kB
PageTables:       4208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2697064-1278049306.opb

Free space on /tmp at the end= 62372 MiB
End job on node088 at 2010-07-02 07:59:15