Trace number 41198

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.51 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUMb1cb8dfc9613a6d80968091d3346a684
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5507
Best CPU time to get the best result obtained on this benchmark1782.8
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5507
Optimality of the best value was proved NO
Number of variables23384
Total number of constraints2806
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint14
Maximum length of a constraint1202
Number of terms in the objective function 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7037881
Number of bits of the biggest sum of numbers23
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/node82/41198-1149244226/instance-41198-1149244226.opb ......
1.00	c done parsing opb.
1.00	o 8300

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/node82/watcher-41198-1149244226 -o ROOT/results/node82/solver-41198-1149244226 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41198-1149244226/instance-41198-1149244226.opb 245341801 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/68 14514
/proc/meminfo: memFree=1092472/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=1368 CPUtime=0
/proc/14514/stat : 14514 (PBS4L) D 14512 14514 14468 0 -1 4194304 110 0 0 0 0 0 0 0 21 0 1 0 181611846 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137645 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0
/proc/14514/statm: 342 95 84 232 0 107 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.95 0.90 2/68 14514
/proc/meminfo: memFree=1083000/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=10860 CPUtime=9.98
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 2583 0 0 0 993 5 0 0 25 0 1 0 181611846 11120640 2481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 2715 2481 108 232 0 2480 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 10860

[startup+20.0093 s]
/proc/loadavg: 0.94 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1081912/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=12668 CPUtime=19.99
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 2853 0 0 0 1992 7 0 0 25 0 1 0 181611846 12972032 2751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 3167 2751 108 232 0 2932 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 12668

[startup+30.0152 s]
/proc/loadavg: 0.95 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1080696/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=13332 CPUtime=29.99
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3147 0 0 0 2991 8 0 0 25 0 1 0 181611846 13651968 3045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 3333 3045 108 232 0 3098 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 13332

[startup+40.0211 s]
/proc/loadavg: 0.95 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1079608/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=15920 CPUtime=39.99
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3416 0 0 0 3990 9 0 0 25 0 1 0 181611846 16302080 3314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 3980 3314 108 232 0 3745 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 15920

[startup+50.028 s]
/proc/loadavg: 0.96 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1078904/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=16168 CPUtime=49.99
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3597 0 0 0 4989 10 0 0 25 0 1 0 181611846 16556032 3495 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 4042 3495 108 232 0 3807 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 16168

[startup+60.0339 s]
/proc/loadavg: 0.97 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1078328/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=16596 CPUtime=60
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3751 0 0 0 5989 11 0 0 25 0 1 0 181611846 16994304 3649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 4149 3649 108 232 0 3914 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 16596

[startup+70.0398 s]
/proc/loadavg: 0.97 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1077752/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=16596 CPUtime=70
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3900 0 0 0 6988 12 0 0 25 0 1 0 181611846 16994304 3798 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564201 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 4149 3798 108 232 0 3914 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 16596

[startup+80.0467 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1077112/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=16732 CPUtime=80.01
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4055 0 0 0 7988 13 0 0 25 0 1 0 181611846 17133568 3953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 4183 3953 108 232 0 3948 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 16732

[startup+90.0526 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1076664/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=20828 CPUtime=90.01
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4166 0 0 0 8987 14 0 0 25 0 1 0 181611846 21327872 4064 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5207 4064 108 232 0 4972 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 20828

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1076216/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=20828 CPUtime=100.01
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4264 0 0 0 9986 15 0 0 25 0 1 0 181611846 21327872 4162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5207 4162 108 232 0 4972 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 20828

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 14514
/proc/meminfo: memFree=1075704/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=20920 CPUtime=110.01
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4396 0 0 0 10986 15 0 0 25 0 1 0 181611846 21422080 4294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5230 4294 108 232 0 4995 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 20920

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1075320/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=21056 CPUtime=120.01
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4514 0 0 0 11985 16 0 0 25 0 1 0 181611846 21561344 4412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546344 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5264 4412 108 232 0 5029 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 21056

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1074808/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=21252 CPUtime=130.02
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4636 0 0 0 12985 17 0 0 25 0 1 0 181611846 21762048 4534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5313 4534 108 232 0 5078 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 21252

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1074104/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=21252 CPUtime=140.01
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4801 0 0 0 13984 17 0 0 25 0 1 0 181611846 21762048 4699 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5313 4699 108 232 0 5078 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 21252

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1073528/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=21356 CPUtime=150.02
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4956 0 0 0 14984 18 0 0 25 0 1 0 181611846 21868544 4854 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5339 4854 108 232 0 5104 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 21356

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1072952/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=21484 CPUtime=160.02
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5099 0 0 0 15984 18 0 0 25 0 1 0 181611846 21999616 4997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552768 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5371 4997 108 232 0 5136 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 21484

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1072376/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=21484 CPUtime=170.02
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5230 0 0 0 16983 19 0 0 25 0 1 0 181611846 21999616 5128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 5371 5128 108 232 0 5136 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 21484

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1071864/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=29784 CPUtime=180.03
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5359 0 0 0 17982 21 0 0 25 0 1 0 181611846 30498816 5257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 7446 5257 108 232 0 7211 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 29784

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1071416/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=29784 CPUtime=190.03
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5478 0 0 0 18982 21 0 0 25 0 1 0 181611846 30498816 5376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 7446 5376 108 232 0 7211 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 29784

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1070776/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=29916 CPUtime=200.03
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5623 0 0 0 19981 22 0 0 25 0 1 0 181611846 30633984 5521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 7479 5521 108 232 0 7244 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 29916

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1070328/2055892 swapFree=4087504/4096564

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

/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18326 0 0 0 178041 99 0 0 25 0 1 0 181611846 56598528 11244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11244 108 232 0 13583 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (Kb) 55272

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047608/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1782.4
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18327 0 0 0 178141 99 0 0 25 0 1 0 181611846 56598528 11245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11245 108 232 0 13583 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 55272

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047608/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1783.41
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18327 0 0 0 178242 99 0 0 25 0 1 0 181611846 56598528 11245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11245 108 232 0 13583 0
Current children cumulated CPU time (s) 1783.41
Current children cumulated vsize (Kb) 55272

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047608/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1784.41
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18328 0 0 0 178342 99 0 0 25 0 1 0 181611846 56598528 11246 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11246 108 232 0 13583 0
Current children cumulated CPU time (s) 1784.41
Current children cumulated vsize (Kb) 55272

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1785.42
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18385 0 0 0 178443 99 0 0 25 0 1 0 181611846 56598528 11257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11257 108 232 0 13583 0
Current children cumulated CPU time (s) 1785.42
Current children cumulated vsize (Kb) 55272

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1786.42
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18385 0 0 0 178543 99 0 0 25 0 1 0 181611846 56598528 11257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11257 108 232 0 13583 0
Current children cumulated CPU time (s) 1786.42
Current children cumulated vsize (Kb) 55272

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1787.43
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18386 0 0 0 178644 99 0 0 25 0 1 0 181611846 56598528 11258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551243 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11258 108 232 0 13583 0
Current children cumulated CPU time (s) 1787.43
Current children cumulated vsize (Kb) 55272

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1788.43
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18388 0 0 0 178744 99 0 0 25 0 1 0 181611846 56598528 11260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11260 108 232 0 13583 0
Current children cumulated CPU time (s) 1788.43
Current children cumulated vsize (Kb) 55272

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1789.44
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18388 0 0 0 178845 99 0 0 25 0 1 0 181611846 56598528 11260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11260 108 232 0 13583 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (Kb) 55272

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1790.44
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18388 0 0 0 178945 99 0 0 25 0 1 0 181611846 56598528 11260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11260 108 232 0 13583 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (Kb) 55272

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1791.44
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18389 0 0 0 179045 99 0 0 25 0 1 0 181611846 56598528 11261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11261 108 232 0 13583 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (Kb) 55272

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55272 CPUtime=1792.45
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18389 0 0 0 179146 99 0 0 25 0 1 0 181611846 56598528 11261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13818 11261 108 232 0 13583 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (Kb) 55272

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1793.45
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18392 0 0 0 179246 99 0 0 25 0 1 0 181611846 56705024 11264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564930 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11264 108 232 0 13609 0
Current children cumulated CPU time (s) 1793.45
Current children cumulated vsize (Kb) 55376

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1794.46
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18393 0 0 0 179347 99 0 0 25 0 1 0 181611846 56705024 11265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11265 108 232 0 13609 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (Kb) 55376

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1795.46
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18440 0 0 0 179447 99 0 0 25 0 1 0 181611846 56705024 11266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11266 108 232 0 13609 0
Current children cumulated CPU time (s) 1795.46
Current children cumulated vsize (Kb) 55376

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1796.47
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18440 0 0 0 179548 99 0 0 25 0 1 0 181611846 56705024 11266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11266 108 232 0 13609 0
Current children cumulated CPU time (s) 1796.47
Current children cumulated vsize (Kb) 55376

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1797.47
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18441 0 0 0 179648 99 0 0 25 0 1 0 181611846 56705024 11267 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11267 108 232 0 13609 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (Kb) 55376

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1798.47
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18441 0 0 0 179748 99 0 0 25 0 1 0 181611846 56705024 11267 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11267 108 232 0 13609 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 55376

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1799.48
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18442 0 0 0 179849 99 0 0 25 0 1 0 181611846 56705024 11268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11268 108 232 0 13609 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (Kb) 55376

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1800.48
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18442 0 0 0 179949 99 0 0 25 0 1 0 181611846 56705024 11268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11268 108 232 0 13609 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 55376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14514
/proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564
[pid=14514] ppid=14512 vsize=55376 CPUtime=1800.49
/proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18442 0 0 0 179950 99 0 0 25 0 1 0 181611846 56705024 11268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/14514/statm: 13844 11268 108 232 0 13609 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (Kb) 55376

Sending SIGTERM to -14514
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.17
CPU time (s): 1800.51
CPU user time (s): 1799.5
CPU system time (s): 1.00385
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (Kb): 55376
The end

Launcher Data (download as text)

Begin job on node82 on Fri Jun  2 10:30:26 UTC 2006


FILE ID= 41198-1149244226

PBS_JOBID= 297663

BENCH NAME= ROOT/tmp/node82/41198-1149244226/instance-41198-1149244226.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41198-1149244226/instance-41198-1149244226.opb 245341801
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node82/watcher-41198-1149244226 -o ROOT/results/node82/solver-41198-1149244226 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41198-1149244226/instance-41198-1149244226.opb 245341801

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  b1cb8dfc9613a6d80968091d3346a684

RANDOM SEED= 245341801


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1092680 kB
Buffers:         45224 kB
Cached:         839804 kB
SwapCached:       2848 kB
Active:         130944 kB
Inactive:       762888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1092680 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14548 kB
Slab:            55668 kB
Committed_AS:   240724 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node82 on Fri Jun  2 11:00:27 UTC 2006