Trace number 2696847

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.05 1032.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=157-P1=211-P2=97-P3=71-B.opb
MD5SUM85ac83bf4a556e0f3edfff4036eff461
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 benchmark0.452931
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 variables72
Total number of constraints7
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 constraints7
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)192
Sum of products size (including duplicates)384
Number of different products192
Sum of products size384

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2696847-1278047137.opb.
0.00/0.00	c Instance file HOME/instance-2696847-1278047137.opb
0.00/0.00	c File size is 14173 bytes.
0.00/0.01	c Highest Coefficient sum: 130560
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:      264                                                 |
0.00/0.01	c |  Number Constraints:    391                                                 |
0.00/0.01	c ===============================================================================
1800.03/1032.71	c Remaining time 1799.99 sec.
1800.03/1032.71	c 
1800.03/1032.71	c *** INTERRUPTED ***
1800.03/1032.71	s UNKNOWN
1800.03/1032.71	c Total CPU time              : 1768.91 s
1800.03/1032.71	c Memory used           : 56.95 MB
1800.03/1032.71	c CPU time              : 1768.91 s
1800.03/1032.71	c 
1800.03/1032.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-2696847-1278047137/watcher-2696847-1278047137 -o /tmp/evaluation-result-2696847-1278047137/solver-2696847-1278047137 -C 1800 -W 2000 -M 1800 run HOME/instance-2696847-1278047137.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: 0.00 0.00 0.00 3/105 30794
/proc/meminfo: memFree=1406016/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) R 30792 30794 30759 0 -1 4202496 347 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447938965 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0

[startup+0.0785469 s]
/proc/loadavg: 0.00 0.00 0.00 3/105 30794
/proc/meminfo: memFree=1406016/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100548 s]
/proc/loadavg: 0.00 0.00 0.00 3/105 30794
/proc/meminfo: memFree=1406016/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.302326 s]
/proc/loadavg: 0.00 0.00 0.00 3/105 30794
/proc/meminfo: memFree=1406016/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700622 s]
/proc/loadavg: 0.00 0.00 0.00 3/105 30794
/proc/meminfo: memFree=1406016/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50071 s]
/proc/loadavg: 0.00 0.00 0.00 3/108 30801
/proc/meminfo: memFree=1399544/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=32796 CPUtime=2.37
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 7796 0 0 0 229 8 0 0 17 0 2 0 146007250 33583104 2756 1992294400 134512640 146736320 4292086800 18446744073709551615 136008050 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 8199 2756 1071 2985 0 4741 0
[pid=30795/tid=30801] ppid=30794 vsize=32796 CPUtime=0.86
/proc/30795/task/30801/stat : 30801 (pb_cplex) R 30794 30794 30759 0 -1 4202560 3358 0 0 0 84 2 0 0 19 0 2 0 146007306 33583104 2756 1992294400 134512640 146736320 4292086800 18446744073709551615 135850319 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 41496

[startup+3.10089 s]
/proc/loadavg: 0.00 0.00 0.00 3/108 30801
/proc/meminfo: memFree=1397932/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=34308 CPUtime=5.18
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 17043 0 0 0 502 16 0 0 16 0 2 0 146007250 35131392 3268 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 8577 3268 1080 2985 0 5119 0
[pid=30795/tid=30801] ppid=30794 vsize=34308 CPUtime=2.3
/proc/30795/task/30801/stat : 30801 (pb_cplex) S 30794 30794 30759 0 -1 4202560 7183 0 0 0 224 6 0 0 17 0 2 0 146007306 35131392 3268 1992294400 134512640 146736320 4292086800 18446744073709551615 144580073 0 2 4096 16387 18446604437838026880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 43008

[startup+6.30225 s]
/proc/loadavg: 0.08 0.02 0.01 3/108 30801
/proc/meminfo: memFree=1392972/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=36768 CPUtime=10.52
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 34570 0 0 0 1021 31 0 0 16 0 2 0 146007250 37650432 3950 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 9192 3950 1074 2985 0 5734 0
[pid=30795/tid=30801] ppid=30794 vsize=36768 CPUtime=4.99
/proc/30795/task/30801/stat : 30801 (pb_cplex) R 30794 30794 30759 0 -1 4202560 15004 0 0 0 486 13 0 0 16 0 2 0 146007306 37650432 3950 1992294400 134512640 146736320 4292086800 18446744073709551615 135850737 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 45468

[startup+12.7019 s]
/proc/loadavg: 0.23 0.05 0.02 3/108 30801
/proc/meminfo: memFree=1390616/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=42756 CPUtime=20.37
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 79913 0 0 0 1978 59 0 0 16 0 2 0 146007250 43782144 5379 1992294400 134512640 146736320 4292086800 18446744073709551615 136008042 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 10689 5379 1095 2985 0 7231 0
[pid=30795/tid=30801] ppid=30794 vsize=42756 CPUtime=9.8
/proc/30795/task/30801/stat : 30801 (pb_cplex) S 30794 30794 30759 0 -1 4202560 40351 0 0 0 952 28 0 0 15 0 2 0 146007306 43782144 5379 1992294400 134512640 146736320 4292086800 18446744073709551615 144580073 0 2 4096 16387 18446604437838026880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.37
Current children cumulated vsize (KiB) 51456

[startup+25.5014 s]
/proc/loadavg: 0.48 0.11 0.04 3/108 30801
/proc/meminfo: memFree=1382556/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=49500 CPUtime=40.17
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 109364 0 0 0 3934 83 0 0 16 0 2 0 146007250 50688000 6660 1992294400 134512640 146736320 4292086800 18446744073709551615 136403112 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 12375 6660 1074 2985 0 8917 0
[pid=30795/tid=30801] ppid=30794 vsize=49500 CPUtime=18.58
/proc/30795/task/30801/stat : 30801 (pb_cplex) S 30794 30794 30759 0 -1 4202560 54806 0 0 0 1818 40 0 0 16 0 2 0 146007306 50688000 6660 1992294400 134512640 146736320 4292086800 18446744073709551615 144580073 0 2 4096 16387 18446604437838026880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40.17
Current children cumulated vsize (KiB) 58200

[startup+51.1012 s]
/proc/loadavg: 0.94 0.25 0.08 2/107 30801
/proc/meminfo: memFree=1391492/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=43284 CPUtime=80.44
/proc/30795/stat : 30795 (pb_cplex) S 30794 30794 30759 0 -1 4202496 150919 0 0 0 7911 133 0 0 16 0 2 0 146007250 44322816 5090 1992294400 134512640 146736320 4292086800 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 10821 5090 1201 2985 0 7363 0
Current children cumulated CPU time (s) 80.44
Current children cumulated vsize (KiB) 51984

[startup+102.308 s]
/proc/loadavg: 1.27 0.44 0.15 2/108 30807
/proc/meminfo: memFree=1383424/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=49656 CPUtime=157.82
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 159016 0 0 0 15540 242 0 0 16 0 2 0 146007250 50847744 6565 1992294400 134512640 146736320 4292086800 18446744073709551615 138736807 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 12414 6565 1204 2985 0 8956 0
[pid=30795/tid=30805] ppid=30794 vsize=49656 CPUtime=39.12
/proc/30795/task/30805/stat : 30805 (pb_cplex) S 30794 30794 30759 0 -1 4202560 4740 0 0 0 3858 54 0 0 16 0 2 0 146012337 50847744 6565 1992294400 134512640 146736320 4292086800 18446744073709551615 144580073 0 2 4096 16387 18446604437838026880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 157.82
Current children cumulated vsize (KiB) 58356

[startup+162.301 s]
/proc/loadavg: 1.58 0.69 0.25 2/108 30809
/proc/meminfo: memFree=1383300/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=50368 CPUtime=256.71
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 163185 0 0 0 25265 406 0 0 16 0 2 0 146007250 51576832 6677 1992294400 134512640 146736320 4292086800 18446744073709551615 136015725 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 12592 6677 1157 2985 0 9134 0
[pid=30795/tid=30805] ppid=30794 vsize=50368 CPUtime=89.75
/proc/30795/task/30805/stat : 30805 (pb_cplex) R 30794 30794 30759 0 -1 4202560 5325 0 0 0 8841 134 0 0 16 0 2 0 146012337 51576832 6677 1992294400 134512640 146736320 4292086800 18446744073709551615 136403789 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 256.71
Current children cumulated vsize (KiB) 59068

[startup+222.301 s]
/proc/loadavg: 1.73 0.89 0.35 3/108 30811
/proc/meminfo: memFree=1382804/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=50088 CPUtime=358.91
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 182530 0 0 0 35312 579 0 0 17 0 2 0 146007250 51290112 6706 1992294400 134512640 146736320 4292086800 18446744073709551615 137343072 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 12522 6706 1157 2985 0 9064 0
[pid=30795/tid=30805] ppid=30794 vsize=50088 CPUtime=140.67
/proc/30795/task/30805/stat : 30805 (pb_cplex) R 30794 30794 30759 0 -1 4202560 8579 0 0 0 13849 218 0 0 16 0 2 0 146012337 51290112 6706 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 358.91
Current children cumulated vsize (KiB) 58788

[startup+282.301 s]
/proc/loadavg: 1.81 1.05 0.44 2/108 30811
/proc/meminfo: memFree=1383300/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=49768 CPUtime=458.33
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 183517 0 0 0 45095 738 0 0 16 0 2 0 146007250 50962432 6651 1992294400 134512640 146736320 4292086800 18446744073709551615 138711394 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 12442 6651 1150 2985 0 8984 0
[pid=30795/tid=30805] ppid=30794 vsize=49768 CPUtime=189.52
/proc/30795/task/30805/stat : 30805 (pb_cplex) R 30794 30794 30759 0 -1 4202560 9451 0 0 0 18655 297 0 0 16 0 2 0 146012337 50962432 6651 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 458.33
Current children cumulated vsize (KiB) 58468

[startup+342.301 s]
/proc/loadavg: 1.73 1.16 0.51 3/108 30813
/proc/meminfo: memFree=1383300/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=50224 CPUtime=555

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

[pid=30795] ppid=30794 vsize=49484 CPUtime=762.44
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 188144 0 0 0 75003 1241 0 0 16 0 2 0 146007250 50671616 6631 1992294400 134512640 146736320 4292086800 18446744073709551615 136687450 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 12371 6631 1123 2985 0 8913 0
[pid=30795/tid=30805] ppid=30794 vsize=49484 CPUtime=341.47
/proc/30795/task/30805/stat : 30805 (pb_cplex) R 30794 30794 30759 0 -1 4202560 10253 0 0 0 33593 554 0 0 17 0 2 0 146012337 50671616 6631 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 762.44
Current children cumulated vsize (KiB) 58184

[startup+522.301 s]
/proc/loadavg: 1.73 1.41 0.72 3/108 30819
/proc/meminfo: memFree=1381316/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=51168 CPUtime=865.37
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 204133 0 0 0 85116 1421 0 0 16 0 2 0 146007250 52396032 7031 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 12792 7031 1123 2985 0 9334 0
[pid=30795/tid=30805] ppid=30794 vsize=51168 CPUtime=392.76
/proc/30795/task/30805/stat : 30805 (pb_cplex) R 30794 30794 30759 0 -1 4202560 19246 0 0 0 38631 645 0 0 18 0 2 0 146012337 52396032 7031 1992294400 134512640 146736320 4292086800 18446744073709551615 135851010 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 865.37
Current children cumulated vsize (KiB) 59868

[startup+582.301 s]
/proc/loadavg: 1.79 1.47 0.78 3/108 30819
/proc/meminfo: memFree=1381068/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=51752 CPUtime=970.28
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 214061 0 0 0 95424 1604 0 0 16 0 2 0 146007250 52994048 7149 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30795/statm: 12938 7149 1123 2985 0 9480 0
[pid=30795/tid=30805] ppid=30794 vsize=51752 CPUtime=444.87
/proc/30795/task/30805/stat : 30805 (pb_cplex) R 30794 30794 30759 0 -1 4202560 26713 0 0 0 43745 742 0 0 16 0 2 0 146012337 52994048 7149 1992294400 134512640 146736320 4292086800 18446744073709551615 137381107 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 970.28
Current children cumulated vsize (KiB) 60452

[startup+642.301 s]
/proc/loadavg: 1.92 1.57 0.85 3/108 30822
/proc/meminfo: memFree=1376976/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=55048 CPUtime=1077.24
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 224861 0 0 0 105939 1785 0 0 17 0 2 0 146007250 56369152 8026 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 13762 8026 1123 2985 0 10304 0
[pid=30795/tid=30822] ppid=30794 vsize=55048 CPUtime=38.57
/proc/30795/task/30822/stat : 30822 (pb_cplex) R 30794 30794 30759 0 -1 4202560 4715 0 0 0 3782 75 0 0 18 0 2 0 146067308 56369152 8026 1992294400 134512640 146736320 4292086800 18446744073709551615 135237970 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1077.24
Current children cumulated vsize (KiB) 63748

[startup+702.301 s]
/proc/loadavg: 1.94 1.63 0.92 3/108 30824
/proc/meminfo: memFree=1376480/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=56072 CPUtime=1187.93
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 245704 0 0 0 116806 1987 0 0 18 0 2 0 146007250 57417728 8156 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 14018 8156 1123 2985 0 10560 0
[pid=30795/tid=30822] ppid=30794 vsize=56072 CPUtime=93.51
/proc/30795/task/30822/stat : 30822 (pb_cplex) R 30794 30794 30759 0 -1 4202560 15523 0 0 0 9176 175 0 0 18 0 2 0 146067308 57417728 8156 1992294400 134512640 146736320 4292086800 18446744073709551615 138423666 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1187.93
Current children cumulated vsize (KiB) 64772

[startup+762.309 s]
/proc/loadavg: 1.88 1.66 0.97 3/108 30826
/proc/meminfo: memFree=1376852/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=56072 CPUtime=1299.16
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 252601 0 0 0 127723 2193 0 0 17 0 2 0 146007250 57417728 8157 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 14018 8157 1123 2985 0 10560 0
[pid=30795/tid=30822] ppid=30794 vsize=56072 CPUtime=149.11
/proc/30795/task/30822/stat : 30822 (pb_cplex) R 30794 30794 30759 0 -1 4202560 18277 0 0 0 14637 274 0 0 18 0 2 0 146067308 57417728 8157 1992294400 134512640 146736320 4292086800 18446744073709551615 135850308 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1299.16
Current children cumulated vsize (KiB) 64772

[startup+822.301 s]
/proc/loadavg: 1.89 1.71 1.03 3/108 30828
/proc/meminfo: memFree=1376108/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=56072 CPUtime=1410.29
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 263584 0 0 0 138633 2396 0 0 18 0 2 0 146007250 57417728 8209 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 14018 8209 1123 2985 0 10560 0
[pid=30795/tid=30822] ppid=30794 vsize=56072 CPUtime=204.38
/proc/30795/task/30822/stat : 30822 (pb_cplex) R 30794 30794 30759 0 -1 4202560 26363 0 0 0 20062 376 0 0 18 0 2 0 146067308 57417728 8209 1992294400 134512640 146736320 4292086800 18446744073709551615 135534568 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1410.29
Current children cumulated vsize (KiB) 64772

[startup+882.301 s]
/proc/loadavg: 1.92 1.74 1.08 3/108 30828
/proc/meminfo: memFree=1374992/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=58120 CPUtime=1521.28
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 275496 0 0 0 149526 2602 0 0 17 0 2 0 146007250 59514880 8582 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 14530 8582 1123 2985 0 11072 0
[pid=30795/tid=30822] ppid=30794 vsize=58120 CPUtime=259.69
/proc/30795/task/30822/stat : 30822 (pb_cplex) R 30794 30794 30759 0 -1 4202560 34522 0 0 0 25491 478 0 0 18 0 2 0 146067308 59514880 8582 1992294400 134512640 146736320 4292086800 18446744073709551615 137343065 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1521.28
Current children cumulated vsize (KiB) 66820

[startup+942.301 s]
/proc/loadavg: 1.83 1.74 1.12 3/108 30830
/proc/meminfo: memFree=1374868/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=58120 CPUtime=1632.46
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 280607 0 0 0 160435 2811 0 0 18 0 2 0 146007250 59514880 8586 1992294400 134512640 146736320 4292086800 18446744073709551615 135454076 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 14530 8586 1123 2985 0 11072 0
[pid=30795/tid=30822] ppid=30794 vsize=58120 CPUtime=315.19
/proc/30795/task/30822/stat : 30822 (pb_cplex) R 30794 30794 30759 0 -1 4202560 36093 0 0 0 30939 580 0 0 18 0 2 0 146067308 59514880 8586 1992294400 134512640 146736320 4292086800 18446744073709551615 136002752 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1632.46
Current children cumulated vsize (KiB) 66820

[startup+1002.3 s]
/proc/loadavg: 1.82 1.76 1.16 3/108 30833
/proc/meminfo: memFree=1375488/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=57292 CPUtime=1743.67
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 285831 0 0 0 171353 3014 0 0 17 0 2 0 146007250 58667008 8473 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 14323 8473 1124 2985 0 10865 0
[pid=30795/tid=30833] ppid=30794 vsize=57292 CPUtime=8.83
/proc/30795/task/30833/stat : 30833 (pb_cplex) R 30794 30794 30759 0 -1 4202560 891 0 0 0 867 16 0 0 18 0 2 0 146106533 58667008 8473 1992294400 134512640 146736320 4292086800 18446744073709551615 135525144 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1743.67
Current children cumulated vsize (KiB) 65992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1032.7 s]
/proc/loadavg: 1.82 1.76 1.18 3/108 30833
/proc/meminfo: memFree=1374496/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=58316 CPUtime=1800.03
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 290181 0 0 0 176890 3113 0 0 17 0 2 0 146007250 59715584 8722 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 14579 8722 1123 2985 0 11121 0
[pid=30795/tid=30833] ppid=30794 vsize=58316 CPUtime=36.95
/proc/30795/task/30833/stat : 30833 (pb_cplex) R 30794 30794 30759 0 -1 4202560 1942 0 0 0 3630 65 0 0 18 0 2 0 146106533 59715584 8722 1992294400 134512640 146736320 4292086800 18446744073709551615 135535136 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 67016

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

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

[startup+1032.7 s]
/proc/loadavg: 1.82 1.76 1.18 3/108 30833
/proc/meminfo: memFree=1374496/2059040 swapFree=4139272/4192956
[pid=30794] ppid=30792 vsize=8700 CPUtime=0
/proc/30794/stat : 30794 (run) S 30792 30794 30759 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 146007250 8908800 248 1992294400 4194304 4922060 140735014568016 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/30794/statm: 2175 248 208 178 0 68 0
[pid=30795] ppid=30794 vsize=58316 CPUtime=1800.03
/proc/30795/stat : 30795 (pb_cplex) R 30794 30794 30759 0 -1 4202496 290181 0 0 0 176890 3113 0 0 17 0 2 0 146007250 59715584 8722 1992294400 134512640 146736320 4292086800 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30795/statm: 14579 8722 1123 2985 0 11121 0
[pid=30795/tid=30833] ppid=30794 vsize=58316 CPUtime=36.95
/proc/30795/task/30833/stat : 30833 (pb_cplex) R 30794 30794 30759 0 -1 4202560 1942 0 0 0 3630 65 0 0 18 0 2 0 146106533 59715584 8722 1992294400 134512640 146736320 4292086800 18446744073709551615 135535136 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 67016

Child status: 0
Real time (s): 1032.72
CPU time (s): 1800.05
CPU user time (s): 1768.91
CPU system time (s): 31.1403
CPU usage (%): 174.302
Max. virtual memory (cumulated for all children) (KiB): 68040

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

runsolver used 1.66975 second user time and 4.98624 second system time

The end

Launcher Data 

Begin job on node087 at 2010-07-02 07:05:37
IDJOB=2696847
IDBENCH=47881
IDSOLVER=1209
FILE ID=node087/2696847-1278047137
PBS_JOBID= 11198828
Free space on /tmp= 62444 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=157-P1=211-P2=97-P3=71-B.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2696847-1278047137/watcher-2696847-1278047137 -o /tmp/evaluation-result-2696847-1278047137/solver-2696847-1278047137 -C 1800 -W 2000 -M 1800  run HOME/instance-2696847-1278047137.opb

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

MD5SUM BENCH= 85ac83bf4a556e0f3edfff4036eff461
RANDOM SEED=137356351

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1408604 kB
Buffers:        147448 kB
Cached:         396392 kB
SwapCached:       6464 kB
Active:         215160 kB
Inactive:       342100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1408604 kB
SwapTotal:     4192956 kB
SwapFree:      4139272 kB
Dirty:           16616 kB
Writeback:           0 kB
AnonPages:       11740 kB
Mapped:          12024 kB
Slab:            71340 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181464 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-2696847-1278047137.opb

Free space on /tmp at the end= 62428 MiB
End job on node087 at 2010-07-02 07:22:50