Trace number 2697002

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.08 1034.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=67-P1=47-P2=2-P3=53-P4=23-P5=7-P6=41-P7=31-B.opb
MD5SUM908985d974b16faef92bc77f5752fc1c
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 benchmark3.65044
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 variables126
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 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)252
Sum of products size (including duplicates)504
Number of different products252
Sum of products size504

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2697002-1278048438.opb.
0.00/0.00	c Instance file HOME/instance-2697002-1278048438.opb
0.00/0.00	c File size is 18837 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.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      378                                                 |
0.00/0.01	c |  Number Constraints:    519                                                 |
0.00/0.01	c ===============================================================================
1800.08/1034.81	c Remaining time 1799.99 sec.
1800.08/1034.81	c 
1800.08/1034.81	c *** INTERRUPTED ***
1800.08/1034.81	s UNKNOWN
1800.08/1034.81	c Total CPU time              : 1772.2 s
1800.08/1034.81	c Memory used           : 72.41 MB
1800.08/1034.81	c CPU time              : 1772.2 s
1800.08/1034.81	c 
1800.08/1034.81	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-2697002-1278048438/watcher-2697002-1278048438 -o /tmp/evaluation-result-2697002-1278048438/solver-2697002-1278048438 -C 1800 -W 2000 -M 1800 run HOME/instance-2697002-1278048438.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: 3.33 2.21 1.40 3/106 31447
/proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) R 31445 31447 31197 0 -1 4202496 347 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588929429 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0

[startup+0.0585449 s]
/proc/loadavg: 3.33 2.21 1.40 3/106 31447
/proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101547 s]
/proc/loadavg: 3.33 2.21 1.40 3/106 31447
/proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.306557 s]
/proc/loadavg: 3.33 2.21 1.40 3/106 31447
/proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.705921 s]
/proc/loadavg: 3.33 2.21 1.40 3/106 31447
/proc/meminfo: memFree=1260732/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50168 s]
/proc/loadavg: 3.33 2.21 1.40 3/109 31452
/proc/meminfo: memFree=1253640/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=33348 CPUtime=2.26
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 9736 0 0 0 219 7 0 0 17 0 2 0 146137685 34148352 2847 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 8337 2850 1071 2985 0 4879 0
[pid=31448/tid=31452] ppid=31447 vsize=33348 CPUtime=0.7
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 2304 0 0 0 69 1 0 0 17 0 2 0 146137751 34148352 2852 1992294400 134512640 146736320 4288525312 18446744073709551615 139044555 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 42048

[startup+3.10085 s]
/proc/loadavg: 3.33 2.21 1.40 3/109 31452
/proc/meminfo: memFree=1251532/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=35188 CPUtime=5.02
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 18162 0 0 0 487 15 0 0 16 0 2 0 146137685 36032512 3311 1992294400 134512640 146736320 4288525312 18446744073709551615 135454093 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 8797 3311 1071 2985 0 5339 0
[pid=31448/tid=31452] ppid=31447 vsize=35188 CPUtime=2.11
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 7612 0 0 0 205 6 0 0 17 0 2 0 146137751 36032512 3311 1992294400 134512640 146736320 4288525312 18446744073709551615 135526120 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 43888

[startup+6.30118 s]
/proc/loadavg: 3.14 2.19 1.40 3/109 31452
/proc/meminfo: memFree=1247068/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=38348 CPUtime=10.44
/proc/31448/stat : 31448 (pb_cplex) S 31447 31447 31197 0 -1 4202496 32258 0 0 0 1020 24 0 0 16 0 2 0 146137685 39268352 4131 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 9587 4131 1087 2985 0 6129 0
[pid=31448/tid=31452] ppid=31447 vsize=38348 CPUtime=4.93
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 13837 0 0 0 482 11 0 0 16 0 2 0 146137751 39268352 4131 1992294400 134512640 146736320 4288525312 18446744073709551615 136008306 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.44
Current children cumulated vsize (KiB) 47048

[startup+12.7008 s]
/proc/loadavg: 3.13 2.20 1.41 3/109 31452
/proc/meminfo: memFree=1245464/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=43364 CPUtime=21.28
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 54181 0 0 0 2087 41 0 0 16 0 2 0 146137685 44404736 5176 1992294400 134512640 146736320 4288525312 18446744073709551615 136403116 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 10841 5176 1071 2985 0 7383 0
[pid=31448/tid=31452] ppid=31447 vsize=43364 CPUtime=10.59
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 24419 0 0 0 1041 18 0 0 17 0 2 0 146137751 44404736 5176 1992294400 134512640 146736320 4288525312 18446744073709551615 136385268 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.28
Current children cumulated vsize (KiB) 52064

[startup+25.5012 s]
/proc/loadavg: 3.32 2.29 1.45 2/109 31452
/proc/meminfo: memFree=1236784/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=46988 CPUtime=42.87
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 85096 0 0 0 4221 66 0 0 15 0 2 0 146137685 48115712 6140 1992294400 134512640 146736320 4288525312 18446744073709551615 136008450 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 11747 6140 1080 2985 0 8289 0
[pid=31448/tid=31452] ppid=31447 vsize=46988 CPUtime=21.46
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 46318 0 0 0 2112 34 0 0 17 0 2 0 146137751 48115712 6140 1992294400 134512640 146736320 4288525312 18446744073709551615 136008072 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 42.87
Current children cumulated vsize (KiB) 55688

[startup+51.1018 s]
/proc/loadavg: 3.57 2.43 1.51 2/109 31454
/proc/meminfo: memFree=1234428/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=52392 CPUtime=85.2
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 113326 0 0 0 8421 99 0 0 20 0 2 0 146137685 53649408 7353 1992294400 134512640 146736320 4288525312 18446744073709551615 136384857 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 13098 7353 1084 2985 0 9640 0
[pid=31448/tid=31452] ppid=31447 vsize=52392 CPUtime=40.94
/proc/31448/task/31452/stat : 31452 (pb_cplex) S 31447 31447 31197 0 -1 4202560 58157 0 0 0 4044 50 0 0 16 0 2 0 146137751 53649408 7353 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 2 4096 16387 18446604437705828352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 85.2
Current children cumulated vsize (KiB) 61092

[startup+102.309 s]
/proc/loadavg: 2.79 2.40 1.55 3/109 31454
/proc/meminfo: memFree=1236784/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=49320 CPUtime=172.7
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 199207 0 0 0 17058 212 0 0 17 0 2 0 146137685 50503680 6773 1992294400 134512640 146736320 4288525312 18446744073709551615 135526788 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 12330 6773 1084 2985 0 8872 0
[pid=31448/tid=31452] ppid=31447 vsize=49320 CPUtime=82.27
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 86224 0 0 0 8122 105 0 0 17 0 2 0 146137751 50503680 6773 1992294400 134512640 146736320 4288525312 18446744073709551615 135450638 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 172.7
Current children cumulated vsize (KiB) 58020

[startup+162.301 s]
/proc/loadavg: 2.16 2.29 1.56 3/109 31456
/proc/meminfo: memFree=1236040/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=50660 CPUtime=279.31
/proc/31448/stat : 31448 (pb_cplex) S 31447 31447 31197 0 -1 4202496 279236 0 0 0 27569 362 0 0 16 0 2 0 146137685 51875840 6911 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 12665 6911 1084 2985 0 9207 0
[pid=31448/tid=31452] ppid=31447 vsize=50660 CPUtime=135.85
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 117279 0 0 0 13408 177 0 0 16 0 2 0 146137751 51875840 6911 1992294400 134512640 146736320 4288525312 18446744073709551615 136002916 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 279.31
Current children cumulated vsize (KiB) 59360

[startup+222.301 s]
/proc/loadavg: 1.98 2.21 1.58 3/109 31458
/proc/meminfo: memFree=1235420/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=50552 CPUtime=383.71
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 357866 0 0 0 37851 520 0 0 16 0 2 0 146137685 51765248 7081 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 12638 7081 1084 2985 0 9180 0
[pid=31448/tid=31452] ppid=31447 vsize=50552 CPUtime=187.95
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 159290 0 0 0 18536 259 0 0 16 0 2 0 146137751 51765248 7081 1992294400 134512640 146736320 4288525312 18446744073709551615 135854505 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 383.71
Current children cumulated vsize (KiB) 59252

[startup+282.302 s]
/proc/loadavg: 1.85 2.12 1.58 2/109 31460
/proc/meminfo: memFree=1236164/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=52800 CPUtime=488.8
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 463096 0 0 0 48184 696 0 0 16 0 2 0 146137685 54067200 7402 1992294400 134512640 146736320 4288525312 18446744073709551615 139023078 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 13200 7402 1084 2985 0 9742 0
[pid=31448/tid=31452] ppid=31447 vsize=52800 CPUtime=240.2
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 204134 0 0 0 23678 342 0 0 16 0 2 0 146137751 54067200 7402 1992294400 134512640 146736320 4288525312 18446744073709551615 135526859 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 488.8
Current children cumulated vsize (KiB) 61500

[startup+342.302 s]
/proc/loadavg: 1.95 2.10 1.61 3/109 31462
/proc/meminfo: memFree=1234924/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0

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

[pid=31448] ppid=31447 vsize=55620 CPUtime=803.27
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 774774 0 0 0 79095 1232 0 0 16 0 2 0 146137685 56954880 8326 1992294400 134512640 146736320 4288525312 18446744073709551615 139041227 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31448/statm: 13905 8326 1100 2985 0 10447 0
[pid=31448/tid=31452] ppid=31447 vsize=55620 CPUtime=397.71
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 360033 0 0 0 39156 615 0 0 15 0 2 0 146137751 56954880 8326 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 803.27
Current children cumulated vsize (KiB) 64320

[startup+522.301 s]
/proc/loadavg: 1.76 1.94 1.64 3/109 31469
/proc/meminfo: memFree=1229336/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=57476 CPUtime=908.1
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 829675 0 0 0 89414 1396 0 0 16 0 2 0 146137685 58855424 8703 1992294400 134512640 146736320 4288525312 18446744073709551615 136676165 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 14369 8703 1103 2985 0 10911 0
[pid=31448/tid=31452] ppid=31447 vsize=57476 CPUtime=450.25
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 389398 0 0 0 44323 702 0 0 16 0 2 0 146137751 58855424 8703 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 908.1
Current children cumulated vsize (KiB) 66176

[startup+582.302 s]
/proc/loadavg: 1.63 1.89 1.63 3/109 31471
/proc/meminfo: memFree=1226608/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=59344 CPUtime=1012.32
/proc/31448/stat : 31448 (pb_cplex) S 31447 31447 31197 0 -1 4202496 869095 0 0 0 99683 1549 0 0 16 0 2 0 146137685 60768256 9217 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 14836 9217 1103 2985 0 11378 0
[pid=31448/tid=31452] ppid=31447 vsize=59344 CPUtime=502.53
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 410535 0 0 0 49471 782 0 0 16 0 2 0 146137751 60768256 9217 1992294400 134512640 146736320 4288525312 18446744073709551615 139041230 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1012.32
Current children cumulated vsize (KiB) 68044

[startup+642.302 s]
/proc/loadavg: 1.75 1.87 1.64 4/109 31473
/proc/meminfo: memFree=1224128/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=61964 CPUtime=1116.46
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 891398 0 0 0 109956 1690 0 0 16 0 2 0 146137685 63451136 9928 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 15491 9928 1103 2985 0 12033 0
[pid=31448/tid=31452] ppid=31447 vsize=61964 CPUtime=554.68
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 421731 0 0 0 54616 852 0 0 16 0 2 0 146137751 63451136 9928 1992294400 134512640 146736320 4288525312 18446744073709551615 135850440 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1116.46
Current children cumulated vsize (KiB) 70664

[startup+702.302 s]
/proc/loadavg: 1.79 1.86 1.65 3/109 31473
/proc/meminfo: memFree=1223880/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=62952 CPUtime=1220.77
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 928555 0 0 0 120235 1842 0 0 16 0 2 0 146137685 64462848 10069 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 15738 10069 1103 2985 0 12280 0
[pid=31448/tid=31452] ppid=31447 vsize=62952 CPUtime=606.89
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 437482 0 0 0 59764 925 0 0 16 0 2 0 146137751 64462848 10069 1992294400 134512640 146736320 4288525312 18446744073709551615 136015684 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1220.77
Current children cumulated vsize (KiB) 71652

[startup+762.31 s]
/proc/loadavg: 1.74 1.84 1.65 3/109 31475
/proc/meminfo: memFree=1220656/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=66476 CPUtime=1324.67
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1005072 0 0 0 130456 2011 0 0 16 0 2 0 146137685 68071424 10823 1992294400 134512640 146736320 4288525312 18446744073709551615 135850288 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 16619 10823 1103 2985 0 13161 0
[pid=31448/tid=31452] ppid=31447 vsize=66476 CPUtime=658.47
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 474622 0 0 0 64839 1008 0 0 16 0 2 0 146137751 68071424 10823 1992294400 134512640 146736320 4288525312 18446744073709551615 136364170 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1324.67
Current children cumulated vsize (KiB) 75176

[startup+822.302 s]
/proc/loadavg: 1.72 1.82 1.65 3/109 31477
/proc/meminfo: memFree=1219300/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=67292 CPUtime=1428.8
/proc/31448/stat : 31448 (pb_cplex) S 31447 31447 31197 0 -1 4202496 1060472 0 0 0 140706 2174 0 0 16 0 2 0 146137685 68907008 11218 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 16823 11218 1103 2985 0 13365 0
[pid=31448/tid=31452] ppid=31447 vsize=67292 CPUtime=710.62
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 500603 0 0 0 69976 1086 0 0 16 0 2 0 146137751 68907008 11218 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1428.8
Current children cumulated vsize (KiB) 75992

[startup+882.301 s]
/proc/loadavg: 1.82 1.83 1.66 3/109 31479
/proc/meminfo: memFree=1216448/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=70172 CPUtime=1533.69
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1156741 0 0 0 151012 2357 0 0 16 0 2 0 146137685 71856128 11802 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 17543 11802 1103 2985 0 14085 0
[pid=31448/tid=31452] ppid=31447 vsize=70172 CPUtime=763.13
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 551998 0 0 0 75131 1182 0 0 16 0 2 0 146137751 71856128 11802 1992294400 134512640 146736320 4288525312 18446744073709551615 135468694 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1533.69
Current children cumulated vsize (KiB) 78872

[startup+942.302 s]
/proc/loadavg: 1.71 1.80 1.66 3/109 31479
/proc/meminfo: memFree=1216448/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=71256 CPUtime=1638.64
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1273301 0 0 0 161319 2545 0 0 15 0 2 0 146137685 72966144 11850 1992294400 134512640 146736320 4288525312 18446744073709551615 135454073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 17814 11850 1103 2985 0 14356 0
[pid=31448/tid=31452] ppid=31447 vsize=71256 CPUtime=815.45
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 605358 0 0 0 80269 1276 0 0 16 0 2 0 146137751 72966144 11850 1992294400 134512640 146736320 4288525312 18446744073709551615 135982990 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1638.64
Current children cumulated vsize (KiB) 79956

[startup+1002.3 s]
/proc/loadavg: 1.82 1.81 1.67 3/109 31481
/proc/meminfo: memFree=1214588/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=73116 CPUtime=1743.64
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1333029 0 0 0 171651 2713 0 0 16 0 2 0 146137685 74870784 12282 1992294400 134512640 146736320 4288525312 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 18279 12282 1103 2985 0 14821 0
[pid=31448/tid=31452] ppid=31447 vsize=73116 CPUtime=867.52
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 635669 0 0 0 85391 1361 0 0 16 0 2 0 146137751 74870784 12282 1992294400 134512640 146736320 4288525312 18446744073709551615 135454096 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1743.64
Current children cumulated vsize (KiB) 81816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1034.8 s]
/proc/loadavg: 1.65 1.77 1.66 2/109 31483
/proc/meminfo: memFree=1214092/2059040 swapFree=4139312/4192956
[pid=31447] ppid=31445 vsize=8700 CPUtime=0
/proc/31447/stat : 31447 (run) S 31445 31447 31197 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146137685 8908800 248 1992294400 4194304 4922060 140733371305872 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31447/statm: 2175 248 208 178 0 68 0
[pid=31448] ppid=31447 vsize=74140 CPUtime=1800.08
/proc/31448/stat : 31448 (pb_cplex) R 31447 31447 31197 0 -1 4202496 1348161 0 0 0 177218 2790 0 0 16 0 2 0 146137685 75919360 12410 1992294400 134512640 146736320 4288525312 18446744073709551615 136674344 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/31448/statm: 18535 12410 1103 2985 0 15077 0
[pid=31448/tid=31452] ppid=31447 vsize=74140 CPUtime=895.74
/proc/31448/task/31452/stat : 31452 (pb_cplex) R 31447 31447 31197 0 -1 4202560 643051 0 0 0 88174 1400 0 0 16 0 2 0 146137751 75919360 12410 1992294400 134512640 146736320 4288525312 18446744073709551615 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 82840

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31447 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.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1034.82
CPU time (s): 1800.08
CPU user time (s): 1772.18
CPU system time (s): 27.9
CPU usage (%): 173.951
Max. virtual memory (cumulated for all children) (KiB): 85596

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= 363
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.10768 second user time and 5.42917 second system time

The end

Launcher Data 

Begin job on node083 at 2010-07-02 07:27:19
IDJOB=2697002
IDBENCH=48036
IDSOLVER=1209
FILE ID=node083/2697002-1278048438
PBS_JOBID= 11198832
Free space on /tmp= 62508 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=67-P1=47-P2=2-P3=53-P4=23-P5=7-P6=41-P7=31-B.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697002-1278048438/watcher-2697002-1278048438 -o /tmp/evaluation-result-2697002-1278048438/solver-2697002-1278048438 -C 1800 -W 2000 -M 1800  run HOME/instance-2697002-1278048438.opb

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

MD5SUM BENCH= 908985d974b16faef92bc77f5752fc1c
RANDOM SEED=1595750319

node083.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.262
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.52
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.262
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.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1261516 kB
Buffers:        198384 kB
Cached:         484012 kB
SwapCached:       6856 kB
Active:         289672 kB
Inactive:       406560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1261516 kB
SwapTotal:     4192956 kB
SwapFree:      4139312 kB
Dirty:           16876 kB
Writeback:          72 kB
AnonPages:       11784 kB
Mapped:          12000 kB
Slab:            79272 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182836 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-2697002-1278048438.opb

Free space on /tmp at the end= 62492 MiB
End job on node083 at 2010-07-02 07:44:35