Trace number 2697019

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.09 1022.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb
MD5SUM703541714091bf2de3415b24b852b4fc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark4.06038
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables144
Total number of constraints17
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 constraints17
Minimum length of a constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)288
Sum of products size (including duplicates)576
Number of different products288
Sum of products size576

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2697019-1278049173.opb.
0.00/0.00	c Instance file HOME/instance-2697019-1278049173.opb
0.00/0.00	c File size is 21533 bytes.
0.00/0.01	c Highest Coefficient sum: 8064
0.00/0.01	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.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.01         s                                      |
0.00/0.02	c |  Number Variables:      432                                                 |
0.00/0.02	c |  Number Constraints:    593                                                 |
0.00/0.02	c ===============================================================================
1800.09/1022.71	c Remaining time 1799.99 sec.
1800.09/1022.71	c 
1800.09/1022.71	c *** INTERRUPTED ***
1800.09/1022.71	s UNKNOWN
1800.09/1022.71	c Total CPU time              : 1767.47 s
1800.09/1022.71	c Memory used           : 200.98 MB
1800.09/1022.71	c CPU time              : 1767.47 s
1800.09/1022.71	c 
1800.09/1022.71	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-2697019-1278049173/watcher-2697019-1278049173 -o /tmp/evaluation-result-2697019-1278049173/solver-2697019-1278049173 -C 1800 -W 2000 -M 1800 run HOME/instance-2697019-1278049173.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.85 1.84 1.61 3/106 30109
/proc/meminfo: memFree=1259816/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) R 30107 30109 29875 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178185621 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0

[startup+0.0305961 s]
/proc/loadavg: 1.85 1.84 1.61 3/106 30109
/proc/meminfo: memFree=1259816/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100595 s]
/proc/loadavg: 1.85 1.84 1.61 3/106 30109
/proc/meminfo: memFree=1259816/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300594 s]
/proc/loadavg: 1.85 1.84 1.61 3/106 30109
/proc/meminfo: memFree=1259816/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700592 s]
/proc/loadavg: 1.85 1.84 1.61 3/106 30109
/proc/meminfo: memFree=1259816/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50159 s]
/proc/loadavg: 1.78 1.83 1.60 3/109 30114
/proc/meminfo: memFree=1252228/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=34240 CPUtime=2.24
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 11351 0 0 0 216 8 0 0 16 0 2 0 146208004 35061760 3021 1992294400 134512640 146736320 4286742640 18446744073709551615 139023063 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 8560 3035 1071 2985 0 5102 0
[pid=30110/tid=30114] ppid=30109 vsize=34400 CPUtime=0.78
/proc/30110/task/30114/stat : 30114 (pb_cplex) R 30109 30109 29875 0 -1 4202560 3832 0 0 0 75 3 0 0 18 0 2 0 146208070 35225600 3044 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 42940

[startup+3.10058 s]
/proc/loadavg: 1.78 1.83 1.60 2/109 30114
/proc/meminfo: memFree=1249996/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=35460 CPUtime=5.07
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 21637 0 0 0 492 15 0 0 16 0 2 0 146208004 36311040 3578 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 8865 3578 1071 2985 0 5407 0
[pid=30110/tid=30114] ppid=30109 vsize=35460 CPUtime=2.31
/proc/30110/task/30114/stat : 30114 (pb_cplex) R 30109 30109 29875 0 -1 4202560 9772 0 0 0 224 7 0 0 18 0 2 0 146208070 36311040 3578 1992294400 134512640 146736320 4286742640 18446744073709551615 135850301 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 44160

[startup+6.30056 s]
/proc/loadavg: 1.78 1.83 1.60 3/109 30114
/proc/meminfo: memFree=1248012/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=38720 CPUtime=10.52
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 35576 0 0 0 1026 26 0 0 16 0 2 0 146208004 39649280 4178 1992294400 134512640 146736320 4286742640 18446744073709551615 136730135 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 9680 4178 1072 2985 0 6222 0
[pid=30110/tid=30114] ppid=30109 vsize=38720 CPUtime=5.24
/proc/30110/task/30114/stat : 30114 (pb_cplex) S 30109 30109 29875 0 -1 4202560 16973 0 0 0 512 12 0 0 18 0 2 0 146208070 39649280 4178 1992294400 134512640 146736320 4286742640 18446744073709551615 144580073 0 2 4096 16387 18446604437866243136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 47420

[startup+12.7005 s]
/proc/loadavg: 1.74 1.82 1.60 2/109 30114
/proc/meminfo: memFree=1242308/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=42264 CPUtime=21.24
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 53471 0 0 0 2083 41 0 0 16 0 2 0 146208004 43278336 5215 1992294400 134512640 146736320 4286742640 18446744073709551615 135526715 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 10566 5215 1074 2985 0 7108 0
[pid=30110/tid=30114] ppid=30109 vsize=42264 CPUtime=10.61
/proc/30110/task/30114/stat : 30114 (pb_cplex) S 30109 30109 29875 0 -1 4202560 23354 0 0 0 1043 18 0 0 16 0 2 0 146208070 43278336 5215 1992294400 134512640 146736320 4286742640 18446744073709551615 144580073 0 2 4096 16387 18446604437866243136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.24
Current children cumulated vsize (KiB) 50964

[startup+25.5014 s]
/proc/loadavg: 1.62 1.79 1.60 2/109 30114
/proc/meminfo: memFree=1236852/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=45112 CPUtime=43.05
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 86516 0 0 0 4236 69 0 0 16 0 2 0 146208004 46194688 5928 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 11278 5928 1090 2985 0 7820 0
[pid=30110/tid=30114] ppid=30109 vsize=45112 CPUtime=22.04
/proc/30110/task/30114/stat : 30114 (pb_cplex) R 30109 30109 29875 0 -1 4202560 40351 0 0 0 2171 33 0 0 16 0 2 0 146208070 46194688 5928 1992294400 134512640 146736320 4286742640 18446744073709551615 136403116 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 43.05
Current children cumulated vsize (KiB) 53812

[startup+51.1013 s]
/proc/loadavg: 1.78 1.81 1.60 3/109 30115
/proc/meminfo: memFree=1229288/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=63776 CPUtime=85.12
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 154669 0 0 0 8387 125 0 0 17 0 2 0 146208004 65306624 9184 1992294400 134512640 146736320 4286742640 18446744073709551615 139023034 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 15944 9184 1114 2985 0 12486 0
[pid=30110/tid=30115] ppid=30109 vsize=63776 CPUtime=1.89
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 910 0 0 0 188 1 0 0 16 0 2 0 146212854 65306624 9184 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 85.12
Current children cumulated vsize (KiB) 72476

[startup+102.31 s]
/proc/loadavg: 1.72 1.78 1.60 3/109 30117
/proc/meminfo: memFree=1225444/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=62752 CPUtime=174.34
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 208636 0 0 0 17201 233 0 0 17 0 2 0 146208004 64258048 9305 1992294400 134512640 146736320 4286742640 18446744073709551615 139023034 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 15688 9305 1114 2985 0 12230 0
[pid=30110/tid=30115] ppid=30109 vsize=62752 CPUtime=45.35
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 22954 0 0 0 4483 52 0 0 16 0 2 0 146212854 64258048 9305 1992294400 134512640 146736320 4286742640 18446744073709551615 136402273 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 174.34
Current children cumulated vsize (KiB) 71452

[startup+162.302 s]
/proc/loadavg: 1.87 1.81 1.63 3/109 30119
/proc/meminfo: memFree=1221848/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=66364 CPUtime=279.38
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 348976 0 0 0 27509 429 0 0 17 0 2 0 146208004 67956736 10268 1992294400 134512640 146736320 4286742640 18446744073709551615 135454073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 16591 10268 1114 2985 0 13133 0
[pid=30110/tid=30115] ppid=30109 vsize=66364 CPUtime=96.05
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 90473 0 0 0 9460 145 0 0 16 0 2 0 146212854 67956736 10268 1992294400 134512640 146736320 4286742640 18446744073709551615 135459529 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 279.38
Current children cumulated vsize (KiB) 75064

[startup+222.301 s]
/proc/loadavg: 2.00 1.86 1.65 3/109 30121
/proc/meminfo: memFree=1213664/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=72804 CPUtime=382.57
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 547834 0 0 0 37594 663 0 0 17 0 2 0 146208004 74551296 11829 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 18201 11829 1114 2985 0 14743 0
[pid=30110/tid=30115] ppid=30109 vsize=72804 CPUtime=145.94
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 180809 0 0 0 14339 255 0 0 16 0 2 0 146212854 74551296 11829 1992294400 134512640 146736320 4286742640 18446744073709551615 136002914 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 382.57
Current children cumulated vsize (KiB) 81504

[startup+282.302 s]
/proc/loadavg: 1.93 1.87 1.67 2/109 30123
/proc/meminfo: memFree=1209324/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=80108 CPUtime=488.27
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 622406 0 0 0 47991 836 0 0 16 0 2 0 146208004 82030592 13620 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 20027 13620 1119 2985 0 16569 0
[pid=30110/tid=30115] ppid=30109 vsize=80108 CPUtime=197.72
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 233298 0 0 0 19420 352 0 0 16 0 2 0 146212854 82030592 13620 1992294400 134512640 146736320 4286742640 18446744073709551615 136386817 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 488.27
Current children cumulated vsize (KiB) 88808

[startup+342.301 s]
/proc/loadavg: 1.87 1.86 1.67 3/109 30123
/proc/meminfo: memFree=1198784/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0

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

[pid=30110] ppid=30109 vsize=122936 CPUtime=910.56
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 958206 0 0 0 89445 1611 0 0 16 0 2 0 146208004 125886464 23710 1992294400 134512640 146736320 4286742640 18446744073709551615 136402267 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 30734 23710 1116 2985 0 27276 0
[pid=30110/tid=30115] ppid=30109 vsize=122936 CPUtime=405.8
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 406485 0 0 0 39834 746 0 0 15 0 2 0 146212854 125886464 23710 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 910.56
Current children cumulated vsize (KiB) 131636

[startup+582.302 s]
/proc/loadavg: 1.93 1.87 1.71 3/109 30131
/proc/meminfo: memFree=1159352/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=132220 CPUtime=1016.93
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1020718 0 0 0 99909 1784 0 0 16 0 2 0 146208004 135393280 25939 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 33055 25939 1116 2985 0 29597 0
[pid=30110/tid=30115] ppid=30109 vsize=132220 CPUtime=458.15
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 447158 0 0 0 44976 839 0 0 16 0 2 0 146212854 135393280 25939 1992294400 134512640 146736320 4286742640 18446744073709551615 139023068 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1016.93
Current children cumulated vsize (KiB) 140920

[startup+642.301 s]
/proc/loadavg: 1.90 1.87 1.72 2/109 30131
/proc/meminfo: memFree=1149928/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=140468 CPUtime=1123.52
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1108039 0 0 0 110354 1998 0 0 16 0 2 0 146208004 143839232 28116 1992294400 134512640 146736320 4286742640 18446744073709551615 136674347 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 35117 28116 1116 2985 0 31659 0
[pid=30110/tid=30115] ppid=30109 vsize=140468 CPUtime=510.98
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 508992 0 0 0 50136 962 0 0 16 0 2 0 146212854 143839232 28116 1992294400 134512640 146736320 4286742640 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.52
Current children cumulated vsize (KiB) 149168

[startup+702.302 s]
/proc/loadavg: 1.96 1.89 1.74 3/109 30133
/proc/meminfo: memFree=1138024/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=152476 CPUtime=1230.57
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1181156 0 0 0 120858 2199 0 0 17 0 2 0 146208004 156135424 30959 1992294400 134512640 146736320 4286742640 18446744073709551615 135850014 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 38119 30959 1116 2985 0 34661 0
[pid=30110/tid=30115] ppid=30109 vsize=152476 CPUtime=563.75
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 554811 0 0 0 55307 1068 0 0 16 0 2 0 146212854 156135424 30959 1992294400 134512640 146736320 4286742640 18446744073709551615 135850319 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1230.57
Current children cumulated vsize (KiB) 161176

[startup+762.31 s]
/proc/loadavg: 2.04 1.92 1.75 2/109 30135
/proc/meminfo: memFree=1128104/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=163616 CPUtime=1337.55
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1267775 0 0 0 131339 2416 0 0 16 0 2 0 146208004 167542784 33716 1992294400 134512640 146736320 4286742640 18446744073709551615 135851013 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 40904 33716 1116 2985 0 37446 0
[pid=30110/tid=30115] ppid=30109 vsize=163616 CPUtime=617.29
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 621167 0 0 0 60536 1193 0 0 17 0 2 0 146212854 167542784 33716 1992294400 134512640 146736320 4286742640 18446744073709551615 135851007 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1337.55
Current children cumulated vsize (KiB) 172316

[startup+822.302 s]
/proc/loadavg: 1.84 1.89 1.75 3/109 30137
/proc/meminfo: memFree=1116696/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=175796 CPUtime=1444.96
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1323825 0 0 0 141887 2609 0 0 17 0 2 0 146208004 180015104 36621 1992294400 134512640 146736320 4286742640 18446744073709551615 135526134 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 43949 36621 1119 2985 0 40491 0
[pid=30110/tid=30115] ppid=30109 vsize=175796 CPUtime=671.05
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 633729 0 0 0 65828 1277 0 0 16 0 2 0 146212854 180015104 36621 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1444.96
Current children cumulated vsize (KiB) 184496

[startup+882.302 s]
/proc/loadavg: 2.01 1.92 1.77 3/109 30139
/proc/meminfo: memFree=1104048/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=188712 CPUtime=1551.55
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1429259 0 0 0 152337 2818 0 0 16 0 2 0 146208004 193241088 39558 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 47178 39558 1119 2985 0 43720 0
[pid=30110/tid=30115] ppid=30109 vsize=188712 CPUtime=724.28
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 689050 0 0 0 71047 1381 0 0 16 0 2 0 146212854 193241088 39558 1992294400 134512640 146736320 4286742640 18446744073709551615 136494315 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1551.55
Current children cumulated vsize (KiB) 197412

[startup+942.301 s]
/proc/loadavg: 1.86 1.89 1.76 3/109 30139
/proc/meminfo: memFree=1095616/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=197604 CPUtime=1658.11
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1495000 0 0 0 162806 3005 0 0 16 0 2 0 146208004 202346496 41760 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 49401 41760 1121 2985 0 45943 0
[pid=30110/tid=30115] ppid=30109 vsize=197604 CPUtime=777.03
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 737132 0 0 0 76217 1486 0 0 16 0 2 0 146212854 202346496 41760 1992294400 134512640 146736320 4286742640 18446744073709551615 136388017 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1658.11
Current children cumulated vsize (KiB) 206304

[startup+1002.3 s]
/proc/loadavg: 1.71 1.83 1.75 3/109 30141
/proc/meminfo: memFree=1089540/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=202976 CPUtime=1764.66
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1549919 0 0 0 173277 3189 0 0 17 0 2 0 146208004 207847424 43157 1992294400 134512640 146736320 4286742640 18446744073709551615 136015700 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30110/statm: 50744 43157 1121 2985 0 47286 0
[pid=30110/tid=30115] ppid=30109 vsize=202976 CPUtime=829.97
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 761431 0 0 0 81418 1579 0 0 16 0 2 0 146212854 207847424 43157 1992294400 134512640 146736320 4286742640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.66
Current children cumulated vsize (KiB) 211676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1022.7 s]
/proc/loadavg: 1.72 1.83 1.75 3/109 30141
/proc/meminfo: memFree=1087184/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=205796 CPUtime=1800.09
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1612264 0 0 0 176746 3263 0 0 16 0 2 0 146208004 210735104 43789 1992294400 134512640 146736320 4286742640 18446744073709551615 135468537 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 51449 43789 1121 2985 0 47991 0
[pid=30110/tid=30115] ppid=30109 vsize=205796 CPUtime=847.36
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 798029 0 0 0 83116 1620 0 0 16 0 2 0 146212854 210735104 43789 1992294400 134512640 146736320 4286742640 18446744073709551615 136402277 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 214496

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

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

[startup+1022.7 s]
/proc/loadavg: 1.72 1.83 1.75 3/109 30141
/proc/meminfo: memFree=1087184/2059040 swapFree=4136868/4192956
[pid=30109] ppid=30107 vsize=8700 CPUtime=0
/proc/30109/stat : 30109 (run) S 30107 30109 29875 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146208004 8908800 249 1992294400 4194304 4922060 140735546595680 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30109/statm: 2175 249 208 178 0 68 0
[pid=30110] ppid=30109 vsize=205796 CPUtime=1800.09
/proc/30110/stat : 30110 (pb_cplex) R 30109 30109 29875 0 -1 4202496 1612264 0 0 0 176746 3263 0 0 16 0 2 0 146208004 210735104 43789 1992294400 134512640 146736320 4286742640 18446744073709551615 135468537 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30110/statm: 51449 43789 1121 2985 0 47991 0
[pid=30110/tid=30115] ppid=30109 vsize=205796 CPUtime=847.36
/proc/30110/task/30115/stat : 30115 (pb_cplex) R 30109 30109 29875 0 -1 4202560 798029 0 0 0 83116 1620 0 0 16 0 2 0 146212854 210735104 43789 1992294400 134512640 146736320 4286742640 18446744073709551615 136402277 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 214496

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1022.72
CPU time (s): 1800.09
CPU user time (s): 1767.46
CPU system time (s): 32.63
CPU usage (%): 176.01
Max. virtual memory (cumulated for all children) (KiB): 217188

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

runsolver used 1.9777 second user time and 5.16021 second system time

The end

Launcher Data 

Begin job on node059 at 2010-07-02 07:39:33
IDJOB=2697019
IDBENCH=48053
IDSOLVER=1209
FILE ID=node059/2697019-1278049173
PBS_JOBID= 11198836
Free space on /tmp= 62472 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697019-1278049173/watcher-2697019-1278049173 -o /tmp/evaluation-result-2697019-1278049173/solver-2697019-1278049173 -C 1800 -W 2000 -M 1800  run HOME/instance-2697019-1278049173.opb

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

MD5SUM BENCH= 703541714091bf2de3415b24b852b4fc
RANDOM SEED=54819674

node059.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.244
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.48
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.244
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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1260592 kB
Buffers:        204228 kB
Cached:         488728 kB
SwapCached:      10944 kB
Active:         318544 kB
Inactive:       389860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1260592 kB
SwapTotal:     4192956 kB
SwapFree:      4136868 kB
Dirty:           16644 kB
Writeback:           0 kB
AnonPages:       12852 kB
Mapped:           8456 kB
Slab:            68100 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182080 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-2697019-1278049173.opb

Free space on /tmp at the end= 62456 MiB
End job on node059 at 2010-07-02 07:56:38