Trace number 2696969

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.03 1119.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
MD5SUM79cf27053836a1888aee43ca3805fcdd
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 benchmark3.86941
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 variables162
Total number of constraints13
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 constraints13
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)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2696969-1278048202.opb.
0.00/0.00	c Instance file HOME/instance-2696969-1278048202.opb
0.00/0.00	c File size is 36227 bytes.
0.00/0.02	c Highest Coefficient sum: 523264
0.00/0.02	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:      648                                                 |
0.00/0.03	c |  Number Constraints:    985                                                 |
0.00/0.03	c ===============================================================================
1800.03/1119.82	c Remaining time 1799.97 sec.
1800.03/1119.82	c 
1800.03/1119.82	c *** INTERRUPTED ***
1800.03/1119.82	s UNKNOWN
1800.03/1119.82	c Total CPU time              : 1782.17 s
1800.03/1119.82	c Memory used           : 92.30 MB
1800.03/1119.82	c CPU time              : 1782.17 s
1800.03/1119.82	c 
1800.03/1119.82	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-2696969-1278048202/watcher-2696969-1278048202 -o /tmp/evaluation-result-2696969-1278048202/solver-2696969-1278048202 -C 1800 -W 2000 -M 1800 run HOME/instance-2696969-1278048202.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.83 1.77 1.22 3/106 26010
/proc/meminfo: memFree=1455488/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0

[startup+0.059998 s]
/proc/loadavg: 1.83 1.77 1.22 3/106 26010
/proc/meminfo: memFree=1455488/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100998 s]
/proc/loadavg: 1.83 1.77 1.22 3/106 26010
/proc/meminfo: memFree=1455488/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300002 s]
/proc/loadavg: 1.83 1.77 1.22 3/106 26010
/proc/meminfo: memFree=1455488/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701566 s]
/proc/loadavg: 1.83 1.77 1.22 3/106 26010
/proc/meminfo: memFree=1455488/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50173 s]
/proc/loadavg: 1.77 1.75 1.22 2/109 26015
/proc/meminfo: memFree=1447776/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=36312 CPUtime=2.06
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 8396 0 0 0 198 8 0 0 18 0 2 0 180421830 37183488 3486 1992294400 134512640 146736320 4290935152 18446744073709551615 136403129 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 9078 3486 1070 2985 0 5620 0
[pid=26011/tid=26015] ppid=26010 vsize=36312 CPUtime=0.36
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 1329 0 0 0 35 1 0 0 17 0 2 0 180421930 37183488 3486 1992294400 134512640 146736320 4290935152 18446744073709551615 135231716 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 45012

[startup+3.10108 s]
/proc/loadavg: 1.77 1.75 1.22 2/109 26015
/proc/meminfo: memFree=1443684/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=37224 CPUtime=4.84
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 10996 0 0 0 470 14 0 0 17 0 2 0 180421830 38117376 3800 1992294400 134512640 146736320 4290935152 18446744073709551615 137085008 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 9306 3800 1074 2985 0 5848 0
[pid=26011/tid=26015] ppid=26010 vsize=37224 CPUtime=1.79
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 3278 0 0 0 174 5 0 0 17 0 2 0 180421930 38117376 3800 1992294400 134512640 146736320 4290935152 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 45924

[startup+6.30176 s]
/proc/loadavg: 1.77 1.75 1.22 3/109 26017
/proc/meminfo: memFree=1439964/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=40828 CPUtime=10.23
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 29101 0 0 0 992 31 0 0 16 0 2 0 180421830 41807872 4782 1992294400 134512640 146736320 4290935152 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 10207 4782 1074 2985 0 6749 0
[pid=26011/tid=26015] ppid=26010 vsize=40828 CPUtime=4.32
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 11579 0 0 0 418 14 0 0 16 0 2 0 180421930 41807872 4782 1992294400 134512640 146736320 4290935152 18446744073709551615 135854511 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.23
Current children cumulated vsize (KiB) 49528

[startup+12.7021 s]
/proc/loadavg: 1.79 1.76 1.23 3/109 26017
/proc/meminfo: memFree=1435004/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=46952 CPUtime=20.84
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 45599 0 0 0 2040 44 0 0 16 0 2 0 180421830 48078848 6132 1992294400 134512640 146736320 4290935152 18446744073709551615 135845830 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 11738 6132 1074 2985 0 8280 0
[pid=26011/tid=26015] ppid=26010 vsize=46952 CPUtime=9.63
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 21730 0 0 0 941 22 0 0 16 0 2 0 180421930 48078848 6132 1992294400 134512640 146736320 4290935152 18446744073709551615 135237311 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) 55652

[startup+25.5019 s]
/proc/loadavg: 1.67 1.74 1.22 4/109 26017
/proc/meminfo: memFree=1432276/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=48516 CPUtime=42.23
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 123781 0 0 0 4131 92 0 0 16 0 2 0 180421830 49680384 6710 1992294400 134512640 146736320 4290935152 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 12129 6710 1084 2985 0 8671 0
[pid=26011/tid=26015] ppid=26010 vsize=48516 CPUtime=20.2
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 61146 0 0 0 1975 45 0 0 16 0 2 0 180421930 49680384 6710 1992294400 134512640 146736320 4290935152 18446744073709551615 135523304 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.23
Current children cumulated vsize (KiB) 57216

[startup+51.1013 s]
/proc/loadavg: 1.59 1.71 1.23 2/109 26017
/proc/meminfo: memFree=1424588/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=58188 CPUtime=82.92
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 244212 0 0 0 8121 171 0 0 18 0 2 0 180421830 59584512 8735 1992294400 134512640 146736320 4290935152 18446744073709551615 136008450 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 14547 8735 1074 2985 0 11089 0
[pid=26011/tid=26015] ppid=26010 vsize=58188 CPUtime=41
/proc/26011/task/26015/stat : 26015 (pb_cplex) S 26010 26010 25899 0 -1 4202560 123584 0 0 0 4015 85 0 0 18 0 2 0 180421930 59584512 8735 1992294400 134512640 146736320 4290935152 18446744073709551615 144580073 0 2 4096 16387 18446604437837273152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 82.92
Current children cumulated vsize (KiB) 66888

[startup+102.309 s]
/proc/loadavg: 1.61 1.70 1.25 2/109 26019
/proc/meminfo: memFree=1418884/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=62088 CPUtime=158.37
/proc/26011/stat : 26011 (pb_cplex) S 26010 26010 25899 0 -1 4202496 442152 0 0 0 15544 293 0 0 16 0 2 0 180421830 63578112 9863 1992294400 134512640 146736320 4290935152 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/26011/statm: 15522 9863 1074 2985 0 12064 0
[pid=26011/tid=26015] ppid=26010 vsize=62088 CPUtime=83.79
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 224897 0 0 0 8232 147 0 0 20 0 2 0 180421930 63578112 9863 1992294400 134512640 146736320 4290935152 18446744073709551615 136008454 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 158.37
Current children cumulated vsize (KiB) 70788

[startup+162.301 s]
/proc/loadavg: 1.39 1.63 1.26 2/109 26021
/proc/meminfo: memFree=1411692/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=70288 CPUtime=232.29
/proc/26011/stat : 26011 (pb_cplex) S 26010 26010 25899 0 -1 4202496 591699 0 0 0 22845 384 0 0 16 0 2 0 180421830 71974912 11762 1992294400 134512640 146736320 4290935152 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 17572 11762 1099 2985 0 14114 0
[pid=26011/tid=26015] ppid=26010 vsize=70288 CPUtime=123.74
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 296021 0 0 0 12183 191 0 0 25 0 2 0 180421930 71974912 11762 1992294400 134512640 146736320 4290935152 18446744073709551615 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 232.29
Current children cumulated vsize (KiB) 78988

[startup+222.301 s]
/proc/loadavg: 1.18 1.53 1.25 2/109 26021
/proc/meminfo: memFree=1415784/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=67828 CPUtime=297.02
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 620603 0 0 0 29298 404 0 0 24 0 2 0 180421830 69455872 10926 1992294400 134512640 146736320 4290935152 18446744073709551615 139023048 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 16957 10926 1099 2985 0 13499 0
[pid=26011/tid=26015] ppid=26010 vsize=67828 CPUtime=134.07
/proc/26011/task/26015/stat : 26015 (pb_cplex) S 26010 26010 25899 0 -1 4202560 308450 0 0 0 13206 201 0 0 16 0 2 0 180421930 69455872 10926 1992294400 134512640 146736320 4290935152 18446744073709551615 144580073 0 2 4096 16387 18446604437837273152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 297.02
Current children cumulated vsize (KiB) 76528

[startup+282.302 s]
/proc/loadavg: 1.38 1.52 1.26 4/109 26023
/proc/meminfo: memFree=1411692/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=71724 CPUtime=379.08
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 784592 0 0 0 37407 501 0 0 17 0 2 0 180421830 73445376 12238 1992294400 134512640 146736320 4290935152 18446744073709551615 139023098 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 17931 12238 1099 2985 0 14473 0
[pid=26011/tid=26015] ppid=26010 vsize=71724 CPUtime=161.78
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 395413 0 0 0 15928 250 0 0 18 0 2 0 180421930 73445376 12238 1992294400 134512640 146736320 4290935152 18446744073709551615 136015583 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 379.08
Current children cumulated vsize (KiB) 80424

[startup+342.301 s]
/proc/loadavg: 1.57 1.57 1.29 2/109 26025
/proc/meminfo: memFree=1402268/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0

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

[pid=26011] ppid=26010 vsize=82312 CPUtime=744.26
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 1151688 0 0 0 73666 760 0 0 17 0 2 0 180421830 84287488 14908 1992294400 134512640 146736320 4290935152 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 20578 14908 1099 2985 0 17120 0
[pid=26011/tid=26015] ppid=26010 vsize=82312 CPUtime=358.93
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 616056 0 0 0 35489 404 0 0 16 0 2 0 180421930 84287488 14908 1992294400 134512640 146736320 4290935152 18446744073709551615 136018126 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 744.26
Current children cumulated vsize (KiB) 91012

[startup+582.301 s]
/proc/loadavg: 1.88 1.66 1.38 2/109 26031
/proc/meminfo: memFree=1399416/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=82164 CPUtime=853.8
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 1378947 0 0 0 84447 933 0 0 17 0 2 0 180421830 84135936 14900 1992294400 134512640 146736320 4290935152 18446744073709551615 135846482 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/26011/statm: 20541 14900 1099 2985 0 17083 0
[pid=26011/tid=26015] ppid=26010 vsize=82164 CPUtime=413.38
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 775047 0 0 0 40819 519 0 0 17 0 2 0 180421930 84135936 14900 1992294400 134512640 146736320 4290935152 18446744073709551615 135851010 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 853.8
Current children cumulated vsize (KiB) 90864

[startup+642.302 s]
/proc/loadavg: 1.96 1.72 1.41 4/109 26033
/proc/meminfo: memFree=1395324/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=86116 CPUtime=957.47
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 1558357 0 0 0 94685 1062 0 0 17 0 2 0 180421830 88182784 15678 1992294400 134512640 146736320 4290935152 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 21529 15678 1099 2985 0 18071 0
[pid=26011/tid=26015] ppid=26010 vsize=86116 CPUtime=465.85
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 898012 0 0 0 45981 604 0 0 16 0 2 0 180421930 88182784 15678 1992294400 134512640 146736320 4290935152 18446744073709551615 136015707 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 957.47
Current children cumulated vsize (KiB) 94816

[startup+702.302 s]
/proc/loadavg: 2.00 1.76 1.44 3/109 26035
/proc/meminfo: memFree=1395324/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=86472 CPUtime=1056.3
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 1688805 0 0 0 104465 1165 0 0 17 0 2 0 180421830 88547328 15904 1992294400 134512640 146736320 4290935152 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 21618 15904 1099 2985 0 18160 0
[pid=26011/tid=26015] ppid=26010 vsize=86472 CPUtime=519.25
/proc/26011/task/26015/stat : 26015 (pb_cplex) S 26010 26010 25899 0 -1 4202560 967761 0 0 0 51263 662 0 0 16 0 2 0 180421930 88547328 15904 1992294400 134512640 146736320 4290935152 18446744073709551615 144580073 0 2 4096 16387 18446604437837273152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1056.3
Current children cumulated vsize (KiB) 95172

[startup+762.31 s]
/proc/loadavg: 2.06 1.80 1.48 2/109 26037
/proc/meminfo: memFree=1389248/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=93204 CPUtime=1161.89
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 1824927 0 0 0 114906 1283 0 0 17 0 2 0 180421830 95440896 17371 1992294400 134512640 146736320 4290935152 18446744073709551615 136475777 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 23301 17371 1099 2985 0 19843 0
[pid=26011/tid=26015] ppid=26010 vsize=93204 CPUtime=571.44
/proc/26011/task/26015/stat : 26015 (pb_cplex) S 26010 26010 25899 0 -1 4202560 1028797 0 0 0 56427 717 0 0 16 0 2 0 180421930 95440896 17371 1992294400 134512640 146736320 4290935152 18446744073709551615 144580073 0 2 4096 16387 18446604437837273152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1161.89
Current children cumulated vsize (KiB) 101904

[startup+822.302 s]
/proc/loadavg: 1.76 1.76 1.48 3/109 26037
/proc/meminfo: memFree=1387884/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=105648 CPUtime=1264.54
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 1899051 0 0 0 125096 1358 0 0 16 0 2 0 180421830 108183552 19206 1992294400 134512640 146736320 4290935152 18446744073709551615 135850298 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/26011/statm: 26412 19206 1099 2985 0 22954 0
[pid=26011/tid=26015] ppid=26010 vsize=105648 CPUtime=620.49
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 1058884 0 0 0 61297 752 0 0 18 0 2 0 180421930 108183552 19206 1992294400 134512640 146736320 4290935152 18446744073709551615 139023114 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1264.54
Current children cumulated vsize (KiB) 114348

[startup+882.301 s]
/proc/loadavg: 1.97 1.80 1.51 3/109 26039
/proc/meminfo: memFree=1387760/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=93828 CPUtime=1373.28
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 1943096 0 0 0 135904 1424 0 0 18 0 2 0 180421830 96079872 17576 1992294400 134512640 146736320 4290935152 18446744073709551615 135526788 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/26011/statm: 23457 17576 1099 2985 0 19999 0
[pid=26011/tid=26015] ppid=26010 vsize=93828 CPUtime=674.4
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 1072818 0 0 0 66658 782 0 0 16 0 2 0 180421930 96079872 17576 1992294400 134512640 146736320 4290935152 18446744073709551615 135526884 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1373.28
Current children cumulated vsize (KiB) 102528

[startup+942.302 s]
/proc/loadavg: 2.15 1.88 1.55 3/109 26041
/proc/meminfo: memFree=1388504/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=93816 CPUtime=1482.11
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 2105659 0 0 0 146651 1560 0 0 17 0 2 0 180421830 96067584 17572 1992294400 134512640 146736320 4290935152 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 23454 17572 1099 2985 0 19996 0
[pid=26011/tid=26015] ppid=26010 vsize=93816 CPUtime=728.57
/proc/26011/task/26015/stat : 26015 (pb_cplex) S 26010 26010 25899 0 -1 4202560 1149847 0 0 0 72013 844 0 0 17 0 2 0 180421930 96067584 17572 1992294400 134512640 146736320 4290935152 18446744073709551615 144580073 0 2 4096 16387 18446604437837273152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1482.11
Current children cumulated vsize (KiB) 102516

[startup+1002.3 s]
/proc/loadavg: 2.07 1.92 1.58 3/109 26043
/proc/meminfo: memFree=1387636/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=93712 CPUtime=1589.49
/proc/26011/stat : 26011 (pb_cplex) S 26010 26010 25899 0 -1 4202496 2164347 0 0 0 157309 1640 0 0 18 0 2 0 180421830 95961088 17689 1992294400 134512640 146736320 4290935152 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26011/statm: 23428 17689 1099 2985 0 19970 0
[pid=26011/tid=26015] ppid=26010 vsize=93712 CPUtime=782.22
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 1191517 0 0 0 77328 894 0 0 18 0 2 0 180421930 95961088 17689 1992294400 134512640 146736320 4290935152 18446744073709551615 135231560 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1589.49
Current children cumulated vsize (KiB) 102412

[startup+1062.3 s]
/proc/loadavg: 1.90 1.88 1.59 3/109 26045
/proc/meminfo: memFree=1386396/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=94516 CPUtime=1697.21
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 2244598 0 0 0 167995 1726 0 0 18 0 2 0 180421830 96784384 17881 1992294400 134512640 146736320 4290935152 18446744073709551615 135526870 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/26011/statm: 23629 17881 1099 2985 0 20171 0
[pid=26011/tid=26015] ppid=26010 vsize=94516 CPUtime=836.02
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 1233055 0 0 0 82663 939 0 0 17 0 2 0 180421930 96784384 17881 1992294400 134512640 146736320 4290935152 18446744073709551615 135526881 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1697.21
Current children cumulated vsize (KiB) 103216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1119.81 s]
/proc/loadavg: 1.80 1.85 1.59 3/109 26045
/proc/meminfo: memFree=1386396/2059040 swapFree=4139236/4192956
[pid=26010] ppid=26008 vsize=8700 CPUtime=0
/proc/26010/stat : 26010 (run) S 26008 26010 25899 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 180421830 8908800 249 1992294400 4194304 4922060 140733623928912 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26010/statm: 2175 249 208 178 0 68 0
[pid=26011] ppid=26010 vsize=94516 CPUtime=1800.03
/proc/26011/stat : 26011 (pb_cplex) R 26010 26010 25899 0 -1 4202496 2269849 0 0 0 178215 1788 0 0 18 0 2 0 180421830 96784384 17881 1992294400 134512640 146736320 4290935152 18446744073709551615 135526718 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/26011/statm: 23629 17881 1099 2985 0 20171 0
[pid=26011/tid=26015] ppid=26010 vsize=94516 CPUtime=887.43
/proc/26011/task/26015/stat : 26015 (pb_cplex) R 26010 26010 25899 0 -1 4202560 1253132 0 0 0 87768 975 0 0 16 0 2 0 180421930 96784384 17881 1992294400 134512640 146736320 4290935152 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 103216

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 26010 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1119.83
CPU time (s): 1800.03
CPU user time (s): 1782.15
CPU system time (s): 17.88
CPU usage (%): 160.741
Max. virtual memory (cumulated for all children) (KiB): 128380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
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.08468 second user time and 5.8911 second system time

The end

Launcher Data 

Begin job on node010 at 2010-07-02 07:23:22
IDJOB=2696969
IDBENCH=48003
IDSOLVER=1209
FILE ID=node010/2696969-1278048202
PBS_JOBID= 11198873
Free space on /tmp= 62372 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=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2696969-1278048202/watcher-2696969-1278048202 -o /tmp/evaluation-result-2696969-1278048202/solver-2696969-1278048202 -C 1800 -W 2000 -M 1800  run HOME/instance-2696969-1278048202.opb

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

MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd
RANDOM SEED=433976099

node010.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.267
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.53
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.267
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1456264 kB
Buffers:        150308 kB
Cached:         340272 kB
SwapCached:       7228 kB
Active:         233128 kB
Inactive:       271616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1456264 kB
SwapTotal:     4192956 kB
SwapFree:      4139236 kB
Dirty:           16632 kB
Writeback:           0 kB
AnonPages:       12312 kB
Mapped:          12052 kB
Slab:            76152 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183436 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-2696969-1278048202.opb

Free space on /tmp at the end= 62356 MiB
End job on node010 at 2010-07-02 07:42:04