Trace number 41415

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.66 1801.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-bell3a.opb
MD5SUM959ce68b75ceb21d2cb97576331899fc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1345
Best CPU time to get the best result obtained on this benchmark1800.39
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1345
Optimality of the best value was proved NO
Number of variables2219
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint191
Number of terms in the objective function 1716
Biggest coefficient in the objective function 12439
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 525516
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262140
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525516
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/node72/41415-1149347166/instance-41415-1149347166.opb ......
1.33	c done parsing opb.
1.33	o 27121
1.71	o 27119
1.83	o 26334
1.84	o 24197
2.01	o 19035
2.02	o 16124
2.03	o 16123
2.04	o 16122
2.08	o 15558
12.94	o 15557
58.23	o 10048
72.45	o 10047
142.76	o 9370
147.91	o 8707
156.25	o 8573
160.98	o 7905
164.44	o 5766

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/node72/watcher-41415-1149347166 -o ROOT/results/node72/solver-41415-1149347166 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node72/41415-1149347166/instance-41415-1149347166.opb 764553753 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1658088/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=1612 CPUtime=0
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 200381027 1650688 128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 403 130 90 232 0 168 0

[startup+10.0021 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1648936/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=12124 CPUtime=9.99
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 2509 0 0 0 991 8 0 0 25 0 1 0 200381027 12414976 2339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 3031 2339 108 232 0 2796 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12124

[startup+20.009 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1647592/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=12544 CPUtime=19.99
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 2877 0 0 0 1986 13 0 0 25 0 1 0 200381027 12845056 2707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 3136 2707 108 232 0 2901 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 12544

[startup+30.0149 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1645864/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=21252 CPUtime=30
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 3314 0 0 0 2983 17 0 0 25 0 1 0 200381027 21762048 3144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 5313 3144 108 232 0 5078 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21252

[startup+40.0208 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1644520/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=21512 CPUtime=40
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 3651 0 0 0 3981 19 0 0 25 0 1 0 200381027 22028288 3481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 5378 3481 108 232 0 5143 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 21512

[startup+50.0267 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1643816/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=22568 CPUtime=50
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 4030 0 0 0 4979 21 0 0 25 0 1 0 200381027 23109632 3667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559009 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 5642 3667 108 232 0 5407 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 22568

[startup+60.0326 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1642984/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=23080 CPUtime=60.01
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 4233 0 0 0 5976 25 0 0 25 0 1 0 200381027 23633920 3870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 5770 3870 108 232 0 5535 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 23080

[startup+70.0385 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1642792/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=23248 CPUtime=70.01
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 4288 0 0 0 6975 26 0 0 25 0 1 0 200381027 23805952 3925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 5812 3925 108 232 0 5577 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 23248

[startup+80.0455 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1641320/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=23496 CPUtime=80.01
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 4658 0 0 0 7971 30 0 0 25 0 1 0 200381027 24059904 4295 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 5874 4295 108 232 0 5639 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 23496

[startup+90.0514 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1641000/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=23688 CPUtime=90.02
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 4727 0 0 0 8970 32 0 0 25 0 1 0 200381027 24256512 4364 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 5922 4364 108 232 0 5687 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 23688

[startup+100.057 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1640680/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=23848 CPUtime=100.02
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 4809 0 0 0 9966 36 0 0 25 0 1 0 200381027 24420352 4446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 5962 4446 108 232 0 5727 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 23848

[startup+110.063 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1638952/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=24428 CPUtime=110.02
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 5243 0 0 0 10961 41 0 0 25 0 1 0 200381027 25014272 4880 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6107 4880 108 232 0 5872 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 24428

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1638568/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=24680 CPUtime=120.03
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 5339 0 0 0 11959 44 0 0 25 0 1 0 200381027 25272320 4976 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6170 4976 108 232 0 5935 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 24680

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1638120/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=26400 CPUtime=130.03
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 5787 0 0 0 12957 46 0 0 25 0 1 0 200381027 27033600 5039 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6600 5039 108 232 0 6365 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 26400

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1637992/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=26584 CPUtime=140.03
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 5875 0 0 0 13954 49 0 0 25 0 1 0 200381027 27222016 5127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6646 5127 108 232 0 6411 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 26584

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1637608/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=26892 CPUtime=150.03
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 5968 0 0 0 14951 52 0 0 25 0 1 0 200381027 27537408 5220 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6723 5220 108 232 0 6488 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 26892

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1637096/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=27348 CPUtime=160.04
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 6092 0 0 0 15948 56 0 0 25 0 1 0 200381027 28004352 5344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6837 5344 108 232 0 6602 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 27348

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1636136/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=27524 CPUtime=170.04
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 6329 0 0 0 16945 59 0 0 25 0 1 0 200381027 28184576 5581 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6881 5581 108 232 0 6646 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 27524

[startup+180.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1636008/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=27524 CPUtime=180.04
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 6366 0 0 0 17944 60 0 0 25 0 1 0 200381027 28184576 5618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6881 5618 108 232 0 6646 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 27524

[startup+190.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1635816/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=27720 CPUtime=190.05
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 6404 0 0 0 18944 61 0 0 25 0 1 0 200381027 28385280 5656 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6930 5656 108 232 0 6695 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 27720

[startup+200.115 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1635688/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=27720 CPUtime=200.06
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 6448 0 0 0 19943 63 0 0 25 0 1 0 200381027 28385280 5700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 6930 5700 108 232 0 6695 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 27720

[startup+210.121 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29866
/proc/meminfo: memFree=1635560/2055920 swapFree=4182268/4192956

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

/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14036 0 0 0 177887 268 0 0 25 0 1 0 200381027 65200128 10982 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10982 108 232 0 15683 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 63672

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614312/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1782.56
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14036 0 0 0 177988 268 0 0 25 0 1 0 200381027 65200128 10982 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10982 108 232 0 15683 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 63672

[startup+1784.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614312/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1783.56
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14037 0 0 0 178088 268 0 0 25 0 1 0 200381027 65200128 10983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10983 108 232 0 15683 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 63672

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614312/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1784.56
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14037 0 0 0 178188 268 0 0 25 0 1 0 200381027 65200128 10983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10983 108 232 0 15683 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 63672

[startup+1786.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614312/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1785.57
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14039 0 0 0 178288 269 0 0 25 0 1 0 200381027 65200128 10985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10985 108 232 0 15683 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 63672

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614248/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1786.58
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14044 0 0 0 178388 270 0 0 25 0 1 0 200381027 65200128 10990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10990 108 232 0 15683 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 63672

[startup+1788.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614248/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1787.58
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14045 0 0 0 178488 270 0 0 25 0 1 0 200381027 65200128 10991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10991 108 232 0 15683 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 63672

[startup+1789.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614248/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1788.59
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14046 0 0 0 178589 270 0 0 25 0 1 0 200381027 65200128 10992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10992 108 232 0 15683 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 63672

[startup+1790.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614248/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1789.6
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14049 0 0 0 178689 271 0 0 25 0 1 0 200381027 65200128 10995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10995 108 232 0 15683 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 63672

[startup+1791.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614248/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1790.6
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14051 0 0 0 178789 271 0 0 25 0 1 0 200381027 65200128 10997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10997 108 232 0 15683 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 63672

[startup+1792.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614248/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1791.6
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14052 0 0 0 178889 271 0 0 25 0 1 0 200381027 65200128 10998 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 10998 108 232 0 15683 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 63672

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1792.6
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14057 0 0 0 178989 271 0 0 25 0 1 0 200381027 65200128 11003 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11003 108 232 0 15683 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 63672

[startup+1794.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1793.61
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14059 0 0 0 179090 271 0 0 25 0 1 0 200381027 65200128 11005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11005 108 232 0 15683 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 63672

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1794.61
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14060 0 0 0 179190 271 0 0 25 0 1 0 200381027 65200128 11006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558872 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11006 108 232 0 15683 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 63672

[startup+1796.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1795.62
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14064 0 0 0 179291 271 0 0 25 0 1 0 200381027 65200128 11010 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11010 108 232 0 15683 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 63672

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1796.62
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14064 0 0 0 179391 271 0 0 25 0 1 0 200381027 65200128 11010 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11010 108 232 0 15683 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 63672

[startup+1798.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1797.63
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14065 0 0 0 179492 271 0 0 25 0 1 0 200381027 65200128 11011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11011 108 232 0 15683 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 63672

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1798.63
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14065 0 0 0 179592 271 0 0 25 0 1 0 200381027 65200128 11011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564171 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11011 108 232 0 15683 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 63672

[startup+1800.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1799.63
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14066 0 0 0 179692 271 0 0 25 0 1 0 200381027 65200128 11012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11012 108 232 0 15683 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 63672

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1800.64
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14066 0 0 0 179793 271 0 0 25 0 1 0 200381027 65200128 11012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11012 108 232 0 15683 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 63672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29868
/proc/meminfo: memFree=1614184/2055920 swapFree=4182268/4192956
[pid=29866] ppid=29864 vsize=63672 CPUtime=1800.64
/proc/29866/stat : 29866 (PBS4L) R 29864 29866 29820 0 -1 4194304 14066 0 0 0 179793 271 0 0 25 0 1 0 200381027 65200128 11012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 15918 11012 108 232 0 15683 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 63672

Sending SIGTERM to -29866
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.15
CPU time (s): 1800.66
CPU user time (s): 1797.94
CPU system time (s): 2.72758
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (Kb): 63672
The end

Launcher Data (download as text)

Begin job on node72 on Sat Jun  3 15:06:06 UTC 2006


FILE ID= 41415-1149347166

PBS_JOBID= 310757

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node72/41415-1149347166/instance-41415-1149347166.opb 764553753
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-41415-1149347166 -o ROOT/results/node72/solver-41415-1149347166 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node72/41415-1149347166/instance-41415-1149347166.opb 764553753

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  959ce68b75ceb21d2cb97576331899fc

RANDOM SEED= 764553753


/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.227
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.227
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:       1658296 kB
Buffers:         29472 kB
Cached:         295148 kB
SwapCached:       2460 kB
Active:          50032 kB
Inactive:       283380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658296 kB
SwapTotal:     4192956 kB
SwapFree:      4182268 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          15632 kB
Slab:            50292 kB
Committed_AS:   309804 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node72 on Sat Jun  3 15:36:07 UTC 2006