Trace number 41475

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
PBS 4.1L? (TO) 1800.64 1801.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air04.opb
MD5SUM642713e12b3477ef4c8327a12a399c0f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5953
Optimality of the best value was proved NO
Number of variables8904
Total number of constraints823
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)823
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint368
Number of terms in the objective function 8904
Biggest coefficient in the objective function 231
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 528751
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 231
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 528751
Number of bits of the biggest sum of numbers20
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node79/41475-1149361572/instance-41475-1149361572.opb ......

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node79/watcher-41475-1149361572 -o ROOT/results/node79/solver-41475-1149361572 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node79/41475-1149361572/instance-41475-1149361572.opb 369014909 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1748352/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=2236 CPUtime=0
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 201795801 2289664 167 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 559 169 90 232 0 324 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1737280/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=16336 CPUtime=9.99
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 3344 0 0 0 991 8 0 0 25 0 1 0 201795801 16728064 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 4084 2869 105 232 0 3849 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 16336

[startup+20.0088 s]
/proc/loadavg: 0.94 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1732864/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=17592 CPUtime=20
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 4445 0 0 0 1985 15 0 0 25 0 1 0 201795801 18014208 3970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134553333 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 4398 3970 105 232 0 4163 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 17592

[startup+30.0138 s]
/proc/loadavg: 0.95 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1730304/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=26680 CPUtime=29.99
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 5172 0 0 0 2977 22 0 0 25 0 1 0 201795801 27320320 4600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 6670 4600 105 232 0 6435 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26680

[startup+40.0199 s]
/proc/loadavg: 0.96 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1727872/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=27200 CPUtime=39.99
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 5776 0 0 0 3971 28 0 0 25 0 1 0 201795801 27852800 5204 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 6800 5204 105 232 0 6565 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 27200

[startup+50.026 s]
/proc/loadavg: 0.96 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1726656/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=28704 CPUtime=50.01
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 6278 0 0 0 4967 34 0 0 25 0 1 0 201795801 29392896 5513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 7176 5513 105 232 0 6941 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 28704

[startup+60.0321 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1723648/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=29232 CPUtime=60.01
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 7038 0 0 0 5961 40 0 0 25 0 1 0 201795801 29933568 6273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 7308 6273 105 232 0 7073 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 29232

[startup+70.0382 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1720960/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=29724 CPUtime=70
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 7694 0 0 0 6955 45 0 0 25 0 1 0 201795801 30437376 6929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 7431 6929 105 232 0 7196 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 29724

[startup+80.0433 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1720640/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=29992 CPUtime=80.01
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 7772 0 0 0 7950 51 0 0 25 0 1 0 201795801 30711808 7007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 7498 7007 105 232 0 7263 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 29992

[startup+90.0483 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1720256/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=30268 CPUtime=90.01
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 7873 0 0 0 8946 55 0 0 25 0 1 0 201795801 30994432 7108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 7567 7108 105 232 0 7332 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 30268

[startup+100.054 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1718912/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=46884 CPUtime=100.02
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 8209 0 0 0 9942 60 0 0 25 0 1 0 201795801 48009216 7444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 11721 7444 105 232 0 11486 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 46884

[startup+110.061 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1718208/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=47224 CPUtime=110.02
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 8403 0 0 0 10939 63 0 0 25 0 1 0 201795801 48357376 7638 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 11806 7638 105 232 0 11571 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 47224

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1717760/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=47724 CPUtime=120.02
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 8534 0 0 0 11933 69 0 0 25 0 1 0 201795801 48869376 7769 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 11931 7769 105 232 0 11696 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 47724

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1717440/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=49484 CPUtime=130.02
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 8981 0 0 0 12928 74 0 0 25 0 1 0 201795801 50671616 7831 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 12371 7831 105 232 0 12136 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 49484

[startup+140.078 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1717312/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=49484 CPUtime=140.03
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9023 0 0 0 13925 78 0 0 25 0 1 0 201795801 50671616 7873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 12371 7873 105 232 0 12136 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 49484

[startup+150.084 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1716992/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=49712 CPUtime=150.03
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9102 0 0 0 14920 83 0 0 25 0 1 0 201795801 50905088 7952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 12428 7952 105 232 0 12193 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 49712

[startup+160.09 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1716736/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=49996 CPUtime=160.04
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9171 0 0 0 15916 88 0 0 25 0 1 0 201795801 51195904 8021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551997 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 12499 8021 105 232 0 12264 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 49996

[startup+170.096 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1716480/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=50064 CPUtime=170.03
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9229 0 0 0 16911 92 0 0 25 0 1 0 201795801 51265536 8079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 12516 8079 105 232 0 12281 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 50064

[startup+180.102 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1716096/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=50344 CPUtime=180.04
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9321 0 0 0 17907 97 0 0 25 0 1 0 201795801 51552256 8171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 12586 8171 105 232 0 12351 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 50344

[startup+190.108 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1715712/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=50564 CPUtime=190.04
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9425 0 0 0 18904 100 0 0 25 0 1 0 201795801 51777536 8275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 12641 8275 105 232 0 12406 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 50564

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1715456/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=50964 CPUtime=200.05
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9483 0 0 0 19901 104 0 0 25 0 1 0 201795801 52187136 8333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 12741 8333 105 232 0 12506 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 50964

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1713856/2055892 swapFree=4085416/4096564

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

/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25701 0 0 0 177662 491 0 0 25 0 1 0 201795801 111960064 22245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552205 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22245 105 232 0 27099 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 109336

[startup+1783.05 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659456/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1782.53
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25704 0 0 0 177762 491 0 0 25 0 1 0 201795801 111960064 22248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22248 105 232 0 27099 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 109336

[startup+1784.06 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659456/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1783.53
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25707 0 0 0 177862 491 0 0 25 0 1 0 201795801 111960064 22251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22251 105 232 0 27099 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 109336

[startup+1785.06 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659456/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1784.55
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25708 0 0 0 177963 492 0 0 25 0 1 0 201795801 111960064 22252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22252 105 232 0 27099 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 109336

[startup+1786.07 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1785.55
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25711 0 0 0 178063 492 0 0 25 0 1 0 201795801 111960064 22255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22255 105 232 0 27099 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (Kb) 109336

[startup+1787.07 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1786.55
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25713 0 0 0 178163 492 0 0 25 0 1 0 201795801 111960064 22257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22257 105 232 0 27099 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 109336

[startup+1788.08 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1787.56
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25718 0 0 0 178264 492 0 0 25 0 1 0 201795801 111960064 22262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22262 105 232 0 27099 0
Current children cumulated CPU time (s) 1787.56
Current children cumulated vsize (Kb) 109336

[startup+1789.08 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1788.56
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25720 0 0 0 178364 492 0 0 25 0 1 0 201795801 111960064 22264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22264 105 232 0 27099 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 109336

[startup+1790.09 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1789.56
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25721 0 0 0 178464 492 0 0 25 0 1 0 201795801 111960064 22265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22265 105 232 0 27099 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 109336

[startup+1791.09 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1790.57
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25722 0 0 0 178564 493 0 0 25 0 1 0 201795801 111960064 22266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22266 105 232 0 27099 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 109336

[startup+1792.09 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1791.58
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25727 0 0 0 178665 493 0 0 25 0 1 0 201795801 111960064 22271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22271 105 232 0 27099 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 109336

[startup+1793.1 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1792.58
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25728 0 0 0 178765 493 0 0 25 0 1 0 201795801 111960064 22272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22272 105 232 0 27099 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (Kb) 109336

[startup+1794.1 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1793.58
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25729 0 0 0 178865 493 0 0 25 0 1 0 201795801 111960064 22273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22273 105 232 0 27099 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (Kb) 109336

[startup+1795.11 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1794.58
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25730 0 0 0 178965 493 0 0 25 0 1 0 201795801 111960064 22274 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22274 105 232 0 27099 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 109336

[startup+1796.11 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1795.59
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25731 0 0 0 179066 493 0 0 25 0 1 0 201795801 111960064 22275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22275 105 232 0 27099 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 109336

[startup+1797.12 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1796.59
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25732 0 0 0 179166 493 0 0 25 0 1 0 201795801 111960064 22276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22276 105 232 0 27099 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 109336

[startup+1798.12 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1797.6
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25733 0 0 0 179267 493 0 0 25 0 1 0 201795801 111960064 22277 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549140 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22277 105 232 0 27099 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 109336

[startup+1799.13 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1798.6
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25736 0 0 0 179367 493 0 0 25 0 1 0 201795801 111960064 22280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22280 105 232 0 27099 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 109336

[startup+1800.13 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1799.61
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25736 0 0 0 179467 494 0 0 25 0 1 0 201795801 111960064 22280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22280 105 232 0 27099 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 109336

[startup+1801.14 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1800.61
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25737 0 0 0 179567 494 0 0 25 0 1 0 201795801 111960064 22281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22281 105 232 0 27099 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 109336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 5863
/proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564
[pid=5863] ppid=5861 vsize=109336 CPUtime=1800.62
/proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25737 0 0 0 179568 494 0 0 25 0 1 0 201795801 111960064 22281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/5863/statm: 27334 22281 105 232 0 27099 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (Kb) 109336

Sending SIGTERM to -5863
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.64
CPU user time (s): 1795.68
CPU system time (s): 4.95925
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (Kb): 109336
The end

Launcher Data (download as text)

Begin job on node79 on Sat Jun  3 19:06:12 UTC 2006


FILE ID= 41475-1149361572

PBS_JOBID= 311538

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air04.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node79/41475-1149361572/instance-41475-1149361572.opb 369014909
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node79/watcher-41475-1149361572 -o ROOT/results/node79/solver-41475-1149361572 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node79/41475-1149361572/instance-41475-1149361572.opb 369014909

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  642713e12b3477ef4c8327a12a399c0f

RANDOM SEED= 369014909


/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.234
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	: 6006.18
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.234
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1748560 kB
Buffers:         29384 kB
Cached:         216552 kB
SwapCached:       2400 kB
Active:          46376 kB
Inactive:       208308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1748560 kB
SwapTotal:     4096564 kB
SwapFree:      4085416 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:          16668 kB
Slab:            39304 kB
Committed_AS:   332172 kB
PageTables:       1304 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node79 on Sat Jun  3 19:36:13 UTC 2006