Trace number 85841

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, and are wall clock time (not CPU 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
glpPB 0.2? (TO) 1800.74 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c glpPB 0.2 (July 2006)
0.00	c An Application of GLPK 4.10 for PB Constraints
0.00	c Done @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node39/watcher-85841-1154175536 -o ROOT/results/node39/solver-85841-1154175536 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85841-1154175536/instance-85841-1154175536.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1148120/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=2664 CPUtime=0
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 254 0 0 0 0 0 0 0 18 0 1 0 164424782 2727936 224 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 666 224 192 40 0 83 0

[startup+10.0022 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1144992/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=5772 CPUtime=9.99
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 1078 0 0 0 986 13 0 0 25 0 1 0 164424782 5910528 1047 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 1443 1047 227 40 0 860 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 5772

[startup+20.0081 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1140704/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=10056 CPUtime=19.99
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 2184 0 0 0 1975 24 0 0 25 0 1 0 164424782 10297344 2112 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 2514 2112 227 40 0 1931 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 10056

[startup+30.014 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1137376/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=13392 CPUtime=30
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 3026 0 0 0 2965 35 0 0 25 0 1 0 164424782 13713408 2954 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 3348 2954 227 40 0 2765 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 13392

[startup+40.0199 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1134176/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=16588 CPUtime=40
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 3894 0 0 0 3955 45 0 0 25 0 1 0 164424782 16986112 3741 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134577207 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 4147 3741 227 40 0 3564 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 16588

[startup+50.0269 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1133280/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=17388 CPUtime=50.01
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 4119 0 0 0 4947 54 0 0 25 0 1 0 164424782 17805312 3966 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 4347 3966 227 40 0 3764 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 17388

[startup+60.0328 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1130720/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=20028 CPUtime=60.01
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 4756 0 0 0 5939 62 0 0 25 0 1 0 164424782 20508672 4603 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578445 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 5007 4603 227 40 0 4424 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 20028

[startup+70.0387 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1128416/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=22316 CPUtime=70.02
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 5332 0 0 0 6934 68 0 0 25 0 1 0 164424782 22851584 5179 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 5579 5179 227 40 0 4996 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 22316

[startup+80.0446 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1126176/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=24496 CPUtime=80.02
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 5896 0 0 0 7926 76 0 0 25 0 1 0 164424782 25083904 5743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 6124 5743 227 40 0 5541 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 24496

[startup+90.0505 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1124064/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=26672 CPUtime=90.02
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 6427 0 0 0 8920 82 0 0 25 0 1 0 164424782 27312128 6274 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 6668 6274 227 40 0 6085 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 26672

[startup+100.056 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1121248/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=29492 CPUtime=100.02
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 7291 0 0 0 9914 88 0 0 25 0 1 0 164424782 30199808 6977 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 7373 6977 227 40 0 6790 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 29492

[startup+110.062 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1119200/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=31444 CPUtime=110.03
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 7796 0 0 0 10908 95 0 0 25 0 1 0 164424782 32198656 7482 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 7861 7482 227 40 0 7278 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 31444

[startup+120.069 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1118624/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=32132 CPUtime=120.03
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 7945 0 0 0 11904 99 0 0 25 0 1 0 164424782 32903168 7631 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578436 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 8033 7631 227 40 0 7450 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 32132

[startup+130.075 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1116896/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=33848 CPUtime=130.03
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 8378 0 0 0 12899 104 0 0 25 0 1 0 164424782 34660352 8064 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578443 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 8462 8064 227 40 0 7879 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 33848

[startup+140.081 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1115296/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=35448 CPUtime=140.03
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 8787 0 0 0 13894 109 0 0 25 0 1 0 164424782 36298752 8473 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578458 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 8862 8473 227 40 0 8279 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 35448

[startup+150.087 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1113568/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=37172 CPUtime=150.04
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 9222 0 0 0 14889 115 0 0 25 0 1 0 164424782 38064128 8908 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 9293 8908 227 40 0 8710 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 37172

[startup+160.093 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1111968/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=38784 CPUtime=160.04
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 9620 0 0 0 15883 121 0 0 25 0 1 0 164424782 39714816 9306 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 9696 9306 227 40 0 9113 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 38784

[startup+170.099 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1110432/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=40276 CPUtime=170.05
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 9998 0 0 0 16878 127 0 0 25 0 1 0 164424782 41242624 9684 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 10069 9684 227 40 0 9486 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 40276

[startup+180.105 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1108896/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=41764 CPUtime=180.05
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 10376 0 0 0 17874 131 0 0 25 0 1 0 164424782 42766336 10062 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573038 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 10441 10062 227 40 0 9858 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 41764

[startup+190.111 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1108128/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=42680 CPUtime=190.06
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 10578 0 0 0 18870 136 0 0 25 0 1 0 164424782 43704320 10264 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578436 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 10670 10264 227 40 0 10087 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 42680

[startup+200.117 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102
/proc/meminfo: memFree=1108064/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=42680 CPUtime=200.06
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 10578 0 0 0 19866 140 0 0 25 0 1 0 164424782 43704320 10264 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 10670 10264 227 40 0 10087 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 42680

[startup+210.123 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 3102

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

/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35788 0 0 0 177650 511 0 0 25 0 1 0 164424782 142913536 34512 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 34891 34512 227 40 0 34308 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 139564

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010656/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=139680 CPUtime=1782.62
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35802 0 0 0 177751 511 0 0 25 0 1 0 164424782 143032320 34526 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 34920 34526 227 40 0 34337 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (Kb) 139680

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010656/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=139680 CPUtime=1783.63
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35816 0 0 0 177851 512 0 0 25 0 1 0 164424782 143032320 34540 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 34920 34540 227 40 0 34337 0
Current children cumulated CPU time (s) 1783.63
Current children cumulated vsize (Kb) 139680

[startup+1785.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010592/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=139792 CPUtime=1784.63
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35829 0 0 0 177951 512 0 0 25 0 1 0 164424782 143147008 34553 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 34948 34553 227 40 0 34365 0
Current children cumulated CPU time (s) 1784.63
Current children cumulated vsize (Kb) 139792

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010528/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=139792 CPUtime=1785.64
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35833 0 0 0 178052 512 0 0 25 0 1 0 164424782 143147008 34557 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 34948 34557 227 40 0 34365 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (Kb) 139792

[startup+1787.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010464/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=139908 CPUtime=1786.64
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35849 0 0 0 178152 512 0 0 25 0 1 0 164424782 143265792 34573 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 34977 34573 227 40 0 34394 0
Current children cumulated CPU time (s) 1786.64
Current children cumulated vsize (Kb) 139908

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010464/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=139908 CPUtime=1787.64
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35859 0 0 0 178252 512 0 0 25 0 1 0 164424782 143265792 34583 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 34977 34583 227 40 0 34394 0
Current children cumulated CPU time (s) 1787.64
Current children cumulated vsize (Kb) 139908

[startup+1789.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010400/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140020 CPUtime=1788.64
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35875 0 0 0 178352 512 0 0 25 0 1 0 164424782 143380480 34599 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578068 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35005 34599 227 40 0 34422 0
Current children cumulated CPU time (s) 1788.64
Current children cumulated vsize (Kb) 140020

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010336/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140020 CPUtime=1789.66
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35890 0 0 0 178453 513 0 0 25 0 1 0 164424782 143380480 34614 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35005 34614 227 40 0 34422 0
Current children cumulated CPU time (s) 1789.66
Current children cumulated vsize (Kb) 140020

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010272/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140020 CPUtime=1790.66
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35902 0 0 0 178553 513 0 0 25 0 1 0 164424782 143380480 34626 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35005 34626 227 40 0 34422 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (Kb) 140020

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010208/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140136 CPUtime=1791.67
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35914 0 0 0 178654 513 0 0 25 0 1 0 164424782 143499264 34638 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35034 34638 227 40 0 34451 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (Kb) 140136

[startup+1793.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010208/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140136 CPUtime=1792.67
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35925 0 0 0 178754 513 0 0 25 0 1 0 164424782 143499264 34649 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35034 34649 227 40 0 34451 0
Current children cumulated CPU time (s) 1792.67
Current children cumulated vsize (Kb) 140136

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010144/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140136 CPUtime=1793.68
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35929 0 0 0 178855 513 0 0 25 0 1 0 164424782 143499264 34653 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573038 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35034 34653 227 40 0 34451 0
Current children cumulated CPU time (s) 1793.68
Current children cumulated vsize (Kb) 140136

[startup+1795.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010144/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140252 CPUtime=1794.68
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35941 0 0 0 178955 513 0 0 25 0 1 0 164424782 143618048 34665 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35063 34665 227 40 0 34480 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (Kb) 140252

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010080/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140252 CPUtime=1795.68
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35951 0 0 0 179055 513 0 0 25 0 1 0 164424782 143618048 34675 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35063 34675 227 40 0 34480 0
Current children cumulated CPU time (s) 1795.68
Current children cumulated vsize (Kb) 140252

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010016/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140364 CPUtime=1796.68
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35967 0 0 0 179155 513 0 0 25 0 1 0 164424782 143732736 34691 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578445 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35091 34691 227 40 0 34508 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (Kb) 140364

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1010016/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140364 CPUtime=1797.69
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35972 0 0 0 179256 513 0 0 25 0 1 0 164424782 143732736 34696 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35091 34696 227 40 0 34508 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (Kb) 140364

[startup+1799.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1009952/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140364 CPUtime=1798.7
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35988 0 0 0 179356 514 0 0 25 0 1 0 164424782 143732736 34712 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572864 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35091 34712 227 40 0 34508 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (Kb) 140364

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1009888/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140480 CPUtime=1799.7
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35994 0 0 0 179456 514 0 0 25 0 1 0 164424782 143851520 34718 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572891 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35120 34718 227 40 0 34537 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (Kb) 140480

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1009888/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140480 CPUtime=1800.7
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 36006 0 0 0 179556 514 0 0 25 0 1 0 164424782 143851520 34730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578458 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35120 34730 227 40 0 34537 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 140480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 3104
/proc/meminfo: memFree=1009888/2055920 swapFree=4183200/4192956
[pid=3102] ppid=3100 vsize=140480 CPUtime=1800.71
/proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 36006 0 0 0 179557 514 0 0 25 0 1 0 164424782 143851520 34730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0
/proc/3102/statm: 35120 34730 227 40 0 34537 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 140480

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.74
CPU user time (s): 1795.57
CPU system time (s): 5.16821
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (Kb): 140480
The end

Launcher Data (download as text)

Begin job on node39 on Sat Jul 29 12:18:56 UTC 2006


FILE ID= 85841-1154175536

PBS_JOBID= 893615

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85841-1154175536/instance-85841-1154175536.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-85841-1154175536 -o ROOT/results/node39/solver-85841-1154175536 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85841-1154175536/instance-85841-1154175536.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  a70b0edfadf87ffd0bc1b32400cae43b

RANDOM SEED= 202372292

TIMEOUT= 1800 seconds


/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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1148520 kB
Buffers:         43068 kB
Cached:         786964 kB
SwapCached:       3648 kB
Active:         151692 kB
Inactive:       687056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1148520 kB
SwapTotal:     4192956 kB
SwapFree:      4183200 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            54708 kB
Committed_AS:   736300 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node39 on Sat Jul 29 12:48:57 UTC 2006