Trace number 41650

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.56 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
MD5SUM093efae700664f798191c0b27cec34af
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark447
Best CPU time to get the best result obtained on this benchmark1800.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 447
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494527
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494527
Number of bits of the biggest sum of numbers19
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/41650-1149391436/instance-41650-1149391436.opb ......
5.39	c done parsing opb.
5.39	o 10207
5.44	o 10195
5.47	o 9793
5.51	o 9743
5.56	o 9731
124.87	o 9394
795.20	o 8530
1660.53	o 7972

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1274912/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=2340 CPUtime=0
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 204 0 0 0 0 0 0 0 18 0 1 0 196332906 2396160 189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 585 190 90 232 0 350 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1231216/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=54612 CPUtime=9.99
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 17231 0 0 0 964 35 0 0 25 0 1 0 196332906 55922688 11041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 13653 11041 108 232 0 13418 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 54612

[startup+20.0095 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1230576/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=55272 CPUtime=19.99
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 17455 0 0 0 1927 72 0 0 25 0 1 0 196332906 56598528 11265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 13818 11265 108 232 0 13583 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 55272

[startup+30.0154 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1227312/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=73108 CPUtime=29.99
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 18278 0 0 0 2900 99 0 0 25 0 1 0 196332906 74862592 12088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 18277 12088 108 232 0 18042 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 73108

[startup+40.0213 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1224240/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=73504 CPUtime=39.99
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 19050 0 0 0 3885 114 0 0 25 0 1 0 196332906 75268096 12860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 18376 12860 108 232 0 18141 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 73504

[startup+50.0282 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1221616/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=74024 CPUtime=50
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 19724 0 0 0 4869 131 0 0 25 0 1 0 196332906 75800576 13534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 18506 13534 108 232 0 18271 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 74024

[startup+60.0341 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1218288/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=75060 CPUtime=60
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 20557 0 0 0 5852 148 0 0 25 0 1 0 196332906 76861440 14367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 18765 14367 108 232 0 18530 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 75060

[startup+70.04 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1215152/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=76092 CPUtime=70
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 21340 0 0 0 6838 162 0 0 25 0 1 0 196332906 77918208 15150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 19023 15150 108 232 0 18788 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 76092

[startup+80.0469 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1212144/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=76748 CPUtime=80
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 22095 0 0 0 7825 175 0 0 25 0 1 0 196332906 78589952 15905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 19187 15905 108 232 0 18952 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 76748

[startup+90.0528 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1209520/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=77540 CPUtime=90.01
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 22754 0 0 0 8812 189 0 0 25 0 1 0 196332906 79400960 16564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 19385 16564 108 232 0 19150 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 77540

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1208432/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=78524 CPUtime=100.01
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23016 0 0 0 9743 258 0 0 25 0 1 0 196332906 80408576 16826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564403 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 19631 16826 108 232 0 19396 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 78524

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1207856/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=79060 CPUtime=110.01
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23170 0 0 0 10707 294 0 0 25 0 1 0 196332906 80957440 16980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 19765 16980 108 232 0 19530 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 79060

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1207152/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=79720 CPUtime=120.02
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23346 0 0 0 11620 382 0 0 25 0 1 0 196332906 81633280 17156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 19930 17156 108 232 0 19695 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 79720

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1206512/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=80380 CPUtime=130.02
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23503 0 0 0 12559 443 0 0 25 0 1 0 196332906 82309120 17313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 20095 17313 108 232 0 19860 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 80380

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1206064/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=80752 CPUtime=140.02
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23601 0 0 0 13502 500 0 0 25 0 1 0 196332906 82690048 17411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 20188 17411 108 232 0 19953 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 80752

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1205808/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=81096 CPUtime=150.02
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23677 0 0 0 14461 541 0 0 25 0 1 0 196332906 83042304 17487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 20274 17487 108 232 0 20039 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 81096

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1205616/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=81096 CPUtime=160.02
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23714 0 0 0 15447 555 0 0 25 0 1 0 196332906 83042304 17524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 20274 17524 108 232 0 20039 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 81096

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1205296/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=81492 CPUtime=170.03
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23800 0 0 0 16405 598 0 0 25 0 1 0 196332906 83447808 17610 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 20373 17610 108 232 0 20138 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 81492

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1205040/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=81728 CPUtime=180.03
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23860 0 0 0 17380 623 0 0 25 0 1 0 196332906 83689472 17670 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552454 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 20432 17670 108 232 0 20197 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 81728

[startup+190.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1204592/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=82124 CPUtime=190.03
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23969 0 0 0 18320 683 0 0 25 0 1 0 196332906 84094976 17779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 20531 17779 108 232 0 20296 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 82124

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1204208/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=82472 CPUtime=200.03
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 24056 0 0 0 19248 755 0 0 25 0 1 0 196332906 84451328 17866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 20618 17866 108 232 0 20383 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 82472

[startup+210.124 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1204080/2055892 swapFree=4087504/4096564

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

/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28542 0 0 0 169763 8382 0 0 25 0 1 0 196332906 100270080 22352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22352 108 232 0 24245 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 97920

[startup+1783.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1782.45
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28542 0 0 0 169854 8391 0 0 25 0 1 0 196332906 100270080 22352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22352 108 232 0 24245 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 97920

[startup+1784.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1783.46
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28542 0 0 0 169947 8399 0 0 25 0 1 0 196332906 100270080 22352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22352 108 232 0 24245 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (Kb) 97920

[startup+1785.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1784.46
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28543 0 0 0 170046 8400 0 0 25 0 1 0 196332906 100270080 22353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22353 108 232 0 24245 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 97920

[startup+1786.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1785.47
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28544 0 0 0 170145 8402 0 0 25 0 1 0 196332906 100270080 22354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22354 108 232 0 24245 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 97920

[startup+1787.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1786.47
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28544 0 0 0 170244 8403 0 0 25 0 1 0 196332906 100270080 22354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22354 108 232 0 24245 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 97920

[startup+1788.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1787.48
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28545 0 0 0 170343 8405 0 0 25 0 1 0 196332906 100270080 22355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22355 108 232 0 24245 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 97920

[startup+1789.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1788.48
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28552 0 0 0 170440 8408 0 0 25 0 1 0 196332906 100270080 22362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22362 108 232 0 24245 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 97920

[startup+1790.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1789.48
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28552 0 0 0 170529 8419 0 0 25 0 1 0 196332906 100270080 22362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22362 108 232 0 24245 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 97920

[startup+1791.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1790.49
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28552 0 0 0 170619 8430 0 0 25 0 1 0 196332906 100270080 22362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22362 108 232 0 24245 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 97920

[startup+1792.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1791.49
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28553 0 0 0 170718 8431 0 0 25 0 1 0 196332906 100270080 22363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22363 108 232 0 24245 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 97920

[startup+1793.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1792.5
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28554 0 0 0 170817 8433 0 0 25 0 1 0 196332906 100270080 22364 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22364 108 232 0 24245 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 97920

[startup+1794.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1793.5
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28555 0 0 0 170915 8435 0 0 25 0 1 0 196332906 100270080 22365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134548991 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22365 108 232 0 24245 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 97920

[startup+1795.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1794.51
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28555 0 0 0 171015 8436 0 0 25 0 1 0 196332906 100270080 22365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22365 108 232 0 24245 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 97920

[startup+1796.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1795.52
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28556 0 0 0 171108 8444 0 0 25 0 1 0 196332906 100270080 22366 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22366 108 232 0 24245 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 97920

[startup+1797.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1796.52
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28557 0 0 0 171197 8455 0 0 25 0 1 0 196332906 100270080 22367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563820 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22367 108 232 0 24245 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 97920

[startup+1798.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1797.52
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28557 0 0 0 171287 8465 0 0 25 0 1 0 196332906 100270080 22367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22367 108 232 0 24245 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 97920

[startup+1799.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1798.53
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28558 0 0 0 171382 8471 0 0 25 0 1 0 196332906 100270080 22368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22368 108 232 0 24245 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 97920

[startup+1800.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1799.53
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28558 0 0 0 171480 8473 0 0 25 0 1 0 196332906 100270080 22368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22368 108 232 0 24245 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 97920

[startup+1801.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1800.54
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28559 0 0 0 171579 8475 0 0 25 0 1 0 196332906 100270080 22369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22369 108 232 0 24245 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 97920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 8002
/proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564
[pid=8002] ppid=8000 vsize=97920 CPUtime=1800.54
/proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28559 0 0 0 171579 8475 0 0 25 0 1 0 196332906 100270080 22369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/8002/statm: 24480 22369 108 232 0 24245 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 97920

Sending SIGTERM to -8002
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.56
CPU user time (s): 1715.8
CPU system time (s): 84.7651
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (Kb): 97920
The end

Launcher Data (download as text)

Begin job on node82 on Sun Jun  4 03:23:56 UTC 2006


FILE ID= 41650-1149391436

PBS_JOBID= 313467

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41650-1149391436/instance-41650-1149391436.opb 874399735
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node82/watcher-41650-1149391436 -o ROOT/results/node82/solver-41650-1149391436 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41650-1149391436/instance-41650-1149391436.opb 874399735

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  093efae700664f798191c0b27cec34af

RANDOM SEED= 874399735


/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:       1275120 kB
Buffers:         27292 kB
Cached:         684104 kB
SwapCached:       2740 kB
Active:         140576 kB
Inactive:       579452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1275120 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          14632 kB
Slab:            47088 kB
Committed_AS:   428248 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 Sun Jun  4 03:53:58 UTC 2006