Trace number 2697259

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 NameAnswerCPU timeWall clock time
pb_cplex 2010-06-29? (TO) 1800.1 1007.92

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
MD5SUM18f5400970ad464f730a15f23e03dd22
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2697259-1278052592.opb.
0.00/0.00	c Instance file HOME/instance-2697259-1278052592.opb
0.00/0.00	c File size is 50404 bytes.
0.00/0.02	c Highest Coefficient sum: 100
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.02         s                                      |
0.00/0.03	c |  Number Variables:      716                                                 |
0.00/0.03	c |  Number Constraints:    1384                                                |
0.00/0.03	c ===============================================================================
1800.06/1007.91	c Remaining time 1799.97 sec.
1800.06/1007.91	c 
1800.06/1007.91	c *** INTERRUPTED ***
1800.06/1007.91	s UNKNOWN
1800.06/1007.91	c Total CPU time              : 1798.09 s
1800.06/1007.91	c Memory used           : 44.85 MB
1800.06/1007.91	c CPU time              : 1798.09 s
1800.06/1007.91	c 
1800.06/1007.91	c *** INTERRUPTED ***

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697259-1278052592/watcher-2697259-1278052592 -o /tmp/evaluation-result-2697259-1278052592/solver-2697259-1278052592 -C 1800 -W 2000 -M 1800 run HOME/instance-2697259-1278052592.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.89 1.89 1.59 3/105 30656
/proc/meminfo: memFree=1276032/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0

[startup+0.051668 s]
/proc/loadavg: 1.89 1.89 1.59 3/105 30656
/proc/meminfo: memFree=1276032/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10067 s]
/proc/loadavg: 1.89 1.89 1.59 3/105 30656
/proc/meminfo: memFree=1276032/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300691 s]
/proc/loadavg: 1.89 1.89 1.59 3/105 30656
/proc/meminfo: memFree=1276032/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700734 s]
/proc/loadavg: 1.89 1.89 1.59 3/105 30656
/proc/meminfo: memFree=1276032/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50083 s]
/proc/loadavg: 1.82 1.87 1.59 2/107 30658
/proc/meminfo: memFree=1271056/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=35500 CPUtime=1.81
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 4380 0 0 0 179 2 0 0 18 0 2 0 146553361 36352000 3133 1992294400 134512640 146736320 4289291040 18446744073709551615 136008450 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 8875 3133 982 2985 0 5417 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 44200

[startup+3.101 s]
/proc/loadavg: 1.82 1.87 1.59 3/108 30659
/proc/meminfo: memFree=1266956/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=35500 CPUtime=4.7
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 4617 0 0 0 466 4 0 0 17 0 2 0 146553361 36352000 3192 1992294400 134512640 146736320 4289291040 18446744073709551615 136387642 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 8875 3192 985 2985 0 5417 0
[pid=30657/tid=30659] ppid=30656 vsize=35500 CPUtime=1.91
/proc/30657/task/30659/stat : 30659 (pb_cplex) R 30656 30656 30073 0 -1 4202560 532 0 0 0 190 1 0 0 18 0 2 0 146553463 36352000 3192 1992294400 134512640 146736320 4289291040 18446744073709551615 139044502 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 44200

[startup+6.30134 s]
/proc/loadavg: 1.82 1.87 1.59 3/108 30659
/proc/meminfo: memFree=1265964/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=35664 CPUtime=10.69
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 4801 0 0 0 1062 7 0 0 19 0 2 0 146553361 36519936 3261 1992294400 134512640 146736320 4289291040 18446744073709551615 136008178 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 8916 3261 985 2985 0 5458 0
[pid=30657/tid=30659] ppid=30656 vsize=35664 CPUtime=4.9
/proc/30657/task/30659/stat : 30659 (pb_cplex) R 30656 30656 30073 0 -1 4202560 644 0 0 0 487 3 0 0 18 0 2 0 146553463 36519936 3261 1992294400 134512640 146736320 4289291040 18446744073709551615 137084227 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 44364

[startup+12.701 s]
/proc/loadavg: 1.84 1.87 1.59 2/108 30661
/proc/meminfo: memFree=1263732/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=38664 CPUtime=18
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 8149 0 0 0 1789 11 0 0 25 0 2 0 146553361 39591936 4003 1992294400 134512640 146736320 4289291040 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 9666 4003 1002 2985 0 6208 0
[pid=30657/tid=30661] ppid=30656 vsize=38664 CPUtime=0
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 143 0 0 0 0 0 0 0 18 0 2 0 146554497 39591936 4003 1992294400 134512640 146736320 4289291040 18446744073709551615 135526711 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18
Current children cumulated vsize (KiB) 47364

[startup+25.5014 s]
/proc/loadavg: 1.79 1.86 1.59 3/108 30661
/proc/meminfo: memFree=1261376/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=42004 CPUtime=39.85
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 17015 0 0 0 3970 15 0 0 25 0 2 0 146553361 43012096 4800 1992294400 134512640 146736320 4289291040 18446744073709551615 136008167 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 10501 4800 1018 2985 0 7043 0
[pid=30657/tid=30661] ppid=30656 vsize=42004 CPUtime=9.05
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 3462 0 0 0 904 1 0 0 18 0 2 0 146554497 43012096 4800 1992294400 134512640 146736320 4289291040 18446744073709551615 136008216 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 39.85
Current children cumulated vsize (KiB) 50704

[startup+51.1011 s]
/proc/loadavg: 2.08 1.92 1.62 2/108 30663
/proc/meminfo: memFree=1259020/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=44008 CPUtime=86.25
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 28224 0 0 0 8600 25 0 0 21 0 2 0 146553361 45064192 5224 1992294400 134512640 146736320 4289291040 18446744073709551615 136008069 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11002 5224 1023 2985 0 7544 0
[pid=30657/tid=30661] ppid=30656 vsize=44008 CPUtime=32.76
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 8579 0 0 0 3270 6 0 0 19 0 2 0 146554497 45064192 5224 1992294400 134512640 146736320 4289291040 18446744073709551615 136403114 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 86.25
Current children cumulated vsize (KiB) 52708

[startup+102.309 s]
/proc/loadavg: 2.30 2.01 1.66 3/108 30663
/proc/meminfo: memFree=1256788/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45156 CPUtime=179.94
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 29515 0 0 0 17956 38 0 0 18 0 2 0 146553361 46239744 5572 1992294400 134512640 146736320 4289291040 18446744073709551615 136403114 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11289 5572 1023 2985 0 7831 0
[pid=30657/tid=30661] ppid=30656 vsize=45156 CPUtime=79.39
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 9403 0 0 0 7926 13 0 0 25 0 2 0 146554497 46239744 5572 1992294400 134512640 146736320 4289291040 18446744073709551615 136385174 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (KiB) 53856

[startup+162.301 s]
/proc/loadavg: 2.09 1.99 1.67 3/108 30665
/proc/meminfo: memFree=1255920/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45340 CPUtime=289.26
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 32865 0 0 0 28874 52 0 0 19 0 2 0 146553361 46428160 5714 1992294400 134512640 146736320 4289291040 18446744073709551615 136008178 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11335 5714 1023 2985 0 7877 0
[pid=30657/tid=30661] ppid=30656 vsize=45340 CPUtime=134.94
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 10242 0 0 0 13474 20 0 0 25 0 2 0 146554497 46428160 5714 1992294400 134512640 146736320 4289291040 18446744073709551615 136008072 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 289.26
Current children cumulated vsize (KiB) 54040

[startup+222.301 s]
/proc/loadavg: 2.05 1.99 1.69 2/108 30667
/proc/meminfo: memFree=1256044/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45572 CPUtime=398.17
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 36790 0 0 0 39749 68 0 0 25 0 2 0 146553361 46665728 5718 1992294400 134512640 146736320 4289291040 18446744073709551615 136000415 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11393 5718 1023 2985 0 7935 0
[pid=30657/tid=30661] ppid=30656 vsize=45572 CPUtime=189.06
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11078 0 0 0 18878 28 0 0 19 0 2 0 146554497 46665728 5718 1992294400 134512640 146736320 4289291040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 398.17
Current children cumulated vsize (KiB) 54272

[startup+282.301 s]
/proc/loadavg: 2.17 2.04 1.72 4/108 30669
/proc/meminfo: memFree=1255796/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45572 CPUtime=507.87
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 39632 0 0 0 50708 79 0 0 19 0 2 0 146553361 46665728 5724 1992294400 134512640 146736320 4289291040 18446744073709551615 139042897 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 11393 5724 1023 2985 0 7935 0
[pid=30657/tid=30661] ppid=30656 vsize=45572 CPUtime=244.16
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11084 0 0 0 24383 33 0 0 18 0 2 0 146554497 46665728 5724 1992294400 134512640 146736320 4289291040 18446744073709551615 135857530 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 507.87
Current children cumulated vsize (KiB) 54272

[startup+342.301 s]
/proc/loadavg: 2.39 2.12 1.77 3/108 30669
/proc/meminfo: memFree=1255680/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45932 CPUtime=620.18

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

/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45932 CPUtime=843.14
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 57826 0 0 0 84195 119 0 0 25 0 2 0 146553361 47034368 5803 1992294400 134512640 146736320 4289291040 18446744073709551615 136008065 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 11483 5803 1023 2985 0 8025 0
[pid=30657/tid=30661] ppid=30656 vsize=45932 CPUtime=409.71
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11593 0 0 0 40921 50 0 0 19 0 2 0 146554497 47034368 5803 1992294400 134512640 146736320 4289291040 18446744073709551615 139042866 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 843.14
Current children cumulated vsize (KiB) 54632

[startup+522.301 s]
/proc/loadavg: 2.03 2.10 1.82 3/108 30675
/proc/meminfo: memFree=1255556/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45932 CPUtime=956.07
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 59858 0 0 0 95477 130 0 0 19 0 2 0 146553361 47034368 5852 1992294400 134512640 146736320 4289291040 18446744073709551615 136008058 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11483 5852 1023 2985 0 8025 0
[pid=30657/tid=30661] ppid=30656 vsize=45932 CPUtime=466.29
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11594 0 0 0 46574 55 0 0 25 0 2 0 146554497 47034368 5852 1992294400 134512640 146736320 4289291040 18446744073709551615 136008058 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 956.07
Current children cumulated vsize (KiB) 54632

[startup+582.301 s]
/proc/loadavg: 2.00 2.06 1.82 4/108 30677
/proc/meminfo: memFree=1255432/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45932 CPUtime=1067.85
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 63703 0 0 0 106645 140 0 0 19 0 2 0 146553361 47034368 5802 1992294400 134512640 146736320 4289291040 18446744073709551615 136008050 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11483 5802 1023 2985 0 8025 0
[pid=30657/tid=30661] ppid=30656 vsize=45932 CPUtime=522.44
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11616 0 0 0 52185 59 0 0 25 0 2 0 146554497 47034368 5802 1992294400 134512640 146736320 4289291040 18446744073709551615 136018830 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1067.85
Current children cumulated vsize (KiB) 54632

[startup+642.301 s]
/proc/loadavg: 2.36 2.16 1.87 4/108 30677
/proc/meminfo: memFree=1255556/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45932 CPUtime=1181.14
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 66459 0 0 0 117962 152 0 0 25 0 2 0 146553361 47034368 5838 1992294400 134512640 146736320 4289291040 18446744073709551615 136008020 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 11483 5838 1023 2985 0 8025 0
[pid=30657/tid=30661] ppid=30656 vsize=45932 CPUtime=578.54
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11616 0 0 0 57790 64 0 0 19 0 2 0 146554497 47034368 5838 1992294400 134512640 146736320 4289291040 18446744073709551615 136403116 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1181.14
Current children cumulated vsize (KiB) 54632

[startup+702.301 s]
/proc/loadavg: 2.15 2.14 1.88 2/108 30679
/proc/meminfo: memFree=1247992/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=54820 CPUtime=1284.07
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 73945 0 0 0 128244 163 0 0 25 0 2 0 146553361 56135680 7799 1992294400 134512640 146736320 4289291040 18446744073709551615 136008167 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 13705 7799 1031 2985 0 10247 0
[pid=30657/tid=30661] ppid=30656 vsize=54820 CPUtime=625.56
/proc/30657/task/30661/stat : 30661 (pb_cplex) S 30656 30656 30073 0 -1 4202560 11616 0 0 0 62487 69 0 0 24 0 2 0 146554497 56135680 7799 1992294400 134512640 146736320 4289291040 18446744073709551615 144580073 0 2 4096 16387 18446604437835321600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.07
Current children cumulated vsize (KiB) 63520

[startup+762.308 s]
/proc/loadavg: 1.42 1.93 1.82 2/108 30681
/proc/meminfo: memFree=1250720/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=52536 CPUtime=1344.05
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 77046 0 0 0 134238 167 0 0 25 0 2 0 146553361 53796864 7168 1992294400 134512640 146736320 4289291040 18446744073709551615 136388568 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 13134 7168 1033 2985 0 9676 0
[pid=30657/tid=30661] ppid=30656 vsize=52536 CPUtime=625.56
/proc/30657/task/30661/stat : 30661 (pb_cplex) S 30656 30656 30073 0 -1 4202560 11616 0 0 0 62487 69 0 0 24 0 2 0 146554497 53796864 7168 1992294400 134512640 146736320 4289291040 18446744073709551615 144580073 0 2 4096 16387 18446604437835321600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1344.05
Current children cumulated vsize (KiB) 61236

[startup+822.301 s]
/proc/loadavg: 1.74 1.93 1.83 3/108 30683
/proc/meminfo: memFree=1255556/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45740 CPUtime=1453.77
/proc/30657/stat : 30657 (pb_cplex) S 30656 30656 30073 0 -1 4202496 81247 0 0 0 145202 175 0 0 25 0 2 0 146553361 46837760 5800 1992294400 134512640 146736320 4289291040 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 11435 5800 1033 2985 0 7977 0
[pid=30657/tid=30661] ppid=30656 vsize=45740 CPUtime=679.64
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11616 0 0 0 67892 72 0 0 20 0 2 0 146554497 46837760 5800 1992294400 134512640 146736320 4289291040 18446744073709551615 136008163 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1453.77
Current children cumulated vsize (KiB) 54440

[startup+882.301 s]
/proc/loadavg: 2.15 2.02 1.86 3/108 30685
/proc/meminfo: memFree=1255432/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45740 CPUtime=1566.36
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 84698 0 0 0 156454 182 0 0 19 0 2 0 146553361 46837760 5827 1992294400 134512640 146736320 4289291040 18446744073709551615 136388115 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30657/statm: 11435 5827 1033 2985 0 7977 0
[pid=30657/tid=30661] ppid=30656 vsize=45740 CPUtime=735.19
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11616 0 0 0 73444 75 0 0 18 0 2 0 146554497 46837760 5827 1992294400 134512640 146736320 4289291040 18446744073709551615 136008245 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1566.36
Current children cumulated vsize (KiB) 54440

[startup+942.301 s]
/proc/loadavg: 2.20 2.04 1.88 3/108 30685
/proc/meminfo: memFree=1255432/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45924 CPUtime=1678.15
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 87431 0 0 0 167626 189 0 0 19 0 2 0 146553361 47026176 5872 1992294400 134512640 146736320 4289291040 18446744073709551615 136388107 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11481 5872 1033 2985 0 8023 0
[pid=30657/tid=30661] ppid=30656 vsize=45924 CPUtime=790.37
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11620 0 0 0 78958 79 0 0 24 0 2 0 146554497 47026176 5872 1992294400 134512640 146736320 4289291040 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1678.15
Current children cumulated vsize (KiB) 54624

[startup+1002.3 s]
/proc/loadavg: 1.95 2.00 1.87 4/108 30687
/proc/meminfo: memFree=1255556/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45924 CPUtime=1789.31
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 90257 0 0 0 178733 198 0 0 17 0 2 0 146553361 47026176 5804 1992294400 134512640 146736320 4289291040 18446744073709551615 136475777 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11481 5804 1033 2985 0 8023 0
[pid=30657/tid=30661] ppid=30656 vsize=45924 CPUtime=844.39
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11620 0 0 0 84357 82 0 0 25 0 2 0 146554497 47026176 5804 1992294400 134512640 146736320 4289291040 18446744073709551615 135855178 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1789.31
Current children cumulated vsize (KiB) 54624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1007.9 s]
/proc/loadavg: 1.96 2.00 1.87 3/108 30687
/proc/meminfo: memFree=1255432/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45924 CPUtime=1800.06
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 91636 0 0 0 179807 199 0 0 19 0 2 0 146553361 47026176 5804 1992294400 134512640 146736320 4289291040 18446744073709551615 136008461 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11481 5804 1033 2985 0 8023 0
[pid=30657/tid=30661] ppid=30656 vsize=45924 CPUtime=849.7
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11620 0 0 0 84887 83 0 0 25 0 2 0 146554497 47026176 5804 1992294400 134512640 146736320 4289291040 18446744073709551615 135855174 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 54624

Sending SIGTERM to process tree (bottom up)

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

[startup+1007.9 s]
/proc/loadavg: 1.96 2.00 1.87 3/108 30687
/proc/meminfo: memFree=1255432/2059040 swapFree=4139664/4192956
[pid=30656] ppid=30654 vsize=8700 CPUtime=0
/proc/30656/stat : 30656 (run) S 30654 30656 30073 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 146553361 8908800 248 1992294400 4194304 4922060 140735241523456 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30656/statm: 2175 248 208 178 0 68 0
[pid=30657] ppid=30656 vsize=45924 CPUtime=1800.06
/proc/30657/stat : 30657 (pb_cplex) R 30656 30656 30073 0 -1 4202496 91636 0 0 0 179807 199 0 0 19 0 2 0 146553361 47026176 5804 1992294400 134512640 146736320 4289291040 18446744073709551615 136008461 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30657/statm: 11481 5804 1033 2985 0 8023 0
[pid=30657/tid=30661] ppid=30656 vsize=45924 CPUtime=849.7
/proc/30657/task/30661/stat : 30661 (pb_cplex) R 30656 30656 30073 0 -1 4202560 11620 0 0 0 84887 83 0 0 25 0 2 0 146554497 47026176 5804 1992294400 134512640 146736320 4289291040 18446744073709551615 135855174 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 54624

Child status: 0
Real time (s): 1007.92
CPU time (s): 1800.1
CPU user time (s): 1798.09
CPU system time (s): 2.00369
CPU usage (%): 178.595
Max. virtual memory (cumulated for all children) (KiB): 64468

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

runsolver used 1.70274 second user time and 4.73028 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-02 08:36:32
IDJOB=2697259
IDBENCH=48293
IDSOLVER=1209
FILE ID=node081/2697259-1278052592
PBS_JOBID= 11198834
Free space on /tmp= 121768 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697259-1278052592/watcher-2697259-1278052592 -o /tmp/evaluation-result-2697259-1278052592/solver-2697259-1278052592 -C 1800 -W 2000 -M 1800  run HOME/instance-2697259-1278052592.opb

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

MD5SUM BENCH= 18f5400970ad464f730a15f23e03dd22
RANDOM SEED=1695743081

node081.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.212
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.212
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1276808 kB
Buffers:        205560 kB
Cached:         460128 kB
SwapCached:       6992 kB
Active:         319740 kB
Inactive:       360188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1276808 kB
SwapTotal:     4192956 kB
SwapFree:      4139664 kB
Dirty:           16572 kB
Writeback:           0 kB
AnonPages:       12220 kB
Mapped:          12032 kB
Slab:            80364 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180884 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2697259-1278052592.opb

Free space on /tmp at the end= 121752 MiB
End job on node081 at 2010-07-02 08:53:21