Trace number 41913

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.53 1801.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark45.2231
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 constraint2
Number of terms in the objective function 450
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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/node37/41913-1149291187/instance-41913-1149291187.opb ......
0.10	c done parsing opb.
0.10	o 450
0.11	o 449
0.11	o 448
0.11	o 447
0.11	o 446
0.12	o 445
0.12	o 444
0.13	o 443
0.13	o 429
0.13	o 428
0.34	o 427
0.43	o 426
20.08	o 425
70.66	o 424

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/node37/watcher-41913-1149291187 -o ROOT/results/node37/solver-41913-1149291187 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41913-1149291187/instance-41913-1149291187.opb 245694770 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 28599
/proc/meminfo: memFree=1659432/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=1400 CPUtime=0
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 194784956 1433600 140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 350 140 97 232 0 115 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 28599
/proc/meminfo: memFree=1619704/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=70808 CPUtime=9.99
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 10242 0 0 0 993 6 0 0 25 0 1 0 194784956 72507392 10065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 17702 10065 108 232 0 17467 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 70808

[startup+20.0079 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 28599
/proc/meminfo: memFree=1610232/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=74324 CPUtime=19.99
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 12820 0 0 0 1990 9 0 0 25 0 1 0 194784956 76107776 12450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558875 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 18581 12450 108 232 0 18346 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 74324

[startup+30.0148 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 28599
/proc/meminfo: memFree=1597112/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=77128 CPUtime=30
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 16070 0 0 0 2987 13 0 0 25 0 1 0 194784956 78979072 15700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 19282 15700 108 232 0 19047 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 77128

[startup+40.0207 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 28599
/proc/meminfo: memFree=1595768/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=78472 CPUtime=40
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 16401 0 0 0 3986 14 0 0 25 0 1 0 194784956 80355328 16031 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 19618 16031 108 232 0 19383 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 78472

[startup+50.0276 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 28599
/proc/meminfo: memFree=1594360/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=81384 CPUtime=50.01
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17137 0 0 0 4985 16 0 0 25 0 1 0 194784956 83337216 16382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550813 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 20346 16382 108 232 0 20111 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 81384

[startup+60.0334 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 28599
/proc/meminfo: memFree=1593400/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=82256 CPUtime=60
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17375 0 0 0 5983 17 0 0 25 0 1 0 194784956 84230144 16620 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 20564 16620 108 232 0 20329 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 82256

[startup+70.0393 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 28599
/proc/meminfo: memFree=1592824/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=82692 CPUtime=70.01
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17545 0 0 0 6983 18 0 0 25 0 1 0 194784956 84676608 16790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 20673 16790 108 232 0 20438 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 82692

[startup+80.0452 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 28599
/proc/meminfo: memFree=1591544/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=83824 CPUtime=80.01
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17851 0 0 0 7982 19 0 0 25 0 1 0 194784956 85835776 17096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 20956 17096 108 232 0 20721 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 83824

[startup+90.0511 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 28600
/proc/meminfo: memFree=1590968/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=84260 CPUtime=90.01
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17988 0 0 0 8980 21 0 0 25 0 1 0 194784956 86282240 17233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 21065 17233 108 232 0 20830 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 84260

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 28601
/proc/meminfo: memFree=1590264/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=84860 CPUtime=100.01
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 18164 0 0 0 9978 23 0 0 25 0 1 0 194784956 86896640 17409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546046 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 21215 17409 108 232 0 20980 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 84860

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 28601
/proc/meminfo: memFree=1589688/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=88088 CPUtime=110.01
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19063 0 0 0 10977 24 0 0 25 0 1 0 194784956 90202112 17539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22022 17539 108 232 0 21787 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 88088

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1589048/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=88588 CPUtime=120.02
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19225 0 0 0 11976 26 0 0 25 0 1 0 194784956 90714112 17701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22147 17701 108 232 0 21912 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 88588

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1588600/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=88932 CPUtime=130.02
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19353 0 0 0 12975 27 0 0 25 0 1 0 194784956 91066368 17829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22233 17829 108 232 0 21998 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 88932

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1587960/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=89288 CPUtime=140.03
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19512 0 0 0 13975 28 0 0 25 0 1 0 194784956 91430912 17988 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22322 17988 108 232 0 22087 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 89288

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1587448/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=89656 CPUtime=150.03
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19641 0 0 0 14974 29 0 0 25 0 1 0 194784956 91807744 18117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22414 18117 108 232 0 22179 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 89656

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1587000/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=89876 CPUtime=160.03
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19756 0 0 0 15973 30 0 0 25 0 1 0 194784956 92033024 18232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22469 18232 108 232 0 22234 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 89876

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1586488/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=90272 CPUtime=170.03
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19879 0 0 0 16972 31 0 0 25 0 1 0 194784956 92438528 18355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558780 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22568 18355 108 232 0 22333 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 90272

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1585912/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=90684 CPUtime=180.03
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 20013 0 0 0 17971 32 0 0 25 0 1 0 194784956 92860416 18489 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22671 18489 108 232 0 22436 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 90684

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1585528/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=90684 CPUtime=190.04
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 20115 0 0 0 18970 34 0 0 25 0 1 0 194784956 92860416 18591 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22671 18591 108 232 0 22436 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 90684

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1585080/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=91108 CPUtime=200.03
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 20234 0 0 0 19968 35 0 0 25 0 1 0 194784956 93294592 18710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 22777 18710 108 232 0 22542 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 91108

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 28601
/proc/meminfo: memFree=1584632/2055920 swapFree=4181380/4192956

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

/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41926 0 0 0 177951 189 0 0 25 0 1 0 194784956 162177024 29647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29647 108 232 0 39359 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (Kb) 158376

[startup+1783.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540608/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1782.42
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41931 0 0 0 178052 190 0 0 25 0 1 0 194784956 162177024 29652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29652 108 232 0 39359 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (Kb) 158376

[startup+1784.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540544/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1783.42
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41937 0 0 0 178152 190 0 0 25 0 1 0 194784956 162177024 29658 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29658 108 232 0 39359 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 158376

[startup+1785.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540544/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1784.42
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41939 0 0 0 178252 190 0 0 25 0 1 0 194784956 162177024 29660 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29660 108 232 0 39359 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (Kb) 158376

[startup+1786.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540544/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1785.43
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41945 0 0 0 178353 190 0 0 25 0 1 0 194784956 162177024 29666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29666 108 232 0 39359 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (Kb) 158376

[startup+1787.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540480/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1786.43
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41951 0 0 0 178453 190 0 0 25 0 1 0 194784956 162177024 29672 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551282 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29672 108 232 0 39359 0
Current children cumulated CPU time (s) 1786.43
Current children cumulated vsize (Kb) 158376

[startup+1788.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540480/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1787.44
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41955 0 0 0 178554 190 0 0 25 0 1 0 194784956 162177024 29676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29676 108 232 0 39359 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 158376

[startup+1789.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540480/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1788.44
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41961 0 0 0 178654 190 0 0 25 0 1 0 194784956 162177024 29682 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134560697 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29682 108 232 0 39359 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 158376

[startup+1790.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1789.45
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41967 0 0 0 178755 190 0 0 25 0 1 0 194784956 162177024 29688 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29688 108 232 0 39359 0
Current children cumulated CPU time (s) 1789.45
Current children cumulated vsize (Kb) 158376

[startup+1791.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1790.45
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41969 0 0 0 178855 190 0 0 25 0 1 0 194784956 162177024 29690 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29690 108 232 0 39359 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (Kb) 158376

[startup+1792.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1791.45
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41975 0 0 0 178955 190 0 0 25 0 1 0 194784956 162177024 29696 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29696 108 232 0 39359 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (Kb) 158376

[startup+1793.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1792.46
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41977 0 0 0 179056 190 0 0 25 0 1 0 194784956 162177024 29698 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29698 108 232 0 39359 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (Kb) 158376

[startup+1794.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1793.46
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41982 0 0 0 179156 190 0 0 25 0 1 0 194784956 162177024 29703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29703 108 232 0 39359 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (Kb) 158376

[startup+1795.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1794.47
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41985 0 0 0 179257 190 0 0 25 0 1 0 194784956 162177024 29706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29706 108 232 0 39359 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (Kb) 158376

[startup+1796.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1795.48
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41991 0 0 0 179357 191 0 0 25 0 1 0 194784956 162177024 29712 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29712 108 232 0 39359 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 158376

[startup+1797.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1796.48
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41997 0 0 0 179457 191 0 0 25 0 1 0 194784956 162177024 29718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29718 108 232 0 39359 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 158376

[startup+1798.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1797.49
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42000 0 0 0 179558 191 0 0 25 0 1 0 194784956 162177024 29721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29721 108 232 0 39359 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (Kb) 158376

[startup+1799.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1798.49
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42006 0 0 0 179658 191 0 0 25 0 1 0 194784956 162177024 29727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29727 108 232 0 39359 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (Kb) 158376

[startup+1800.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540288/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1799.49
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42013 0 0 0 179758 191 0 0 25 0 1 0 194784956 162177024 29734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29734 108 232 0 39359 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 158376

[startup+1801.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540288/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1800.49
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42016 0 0 0 179858 191 0 0 25 0 1 0 194784956 162177024 29737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29737 108 232 0 39359 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (Kb) 158376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 28796
/proc/meminfo: memFree=1540288/2055920 swapFree=4181380/4192956
[pid=28599] ppid=28597 vsize=158376 CPUtime=1800.5
/proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42016 0 0 0 179859 191 0 0 25 0 1 0 194784956 162177024 29737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28599/statm: 39594 29737 108 232 0 39359 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 158376

Sending SIGTERM to -28599
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.21
CPU time (s): 1800.53
CPU user time (s): 1798.59
CPU system time (s): 1.9347
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (Kb): 158376
The end

Launcher Data (download as text)

Begin job on node37 on Fri Jun  2 23:33:07 UTC 2006


FILE ID= 41913-1149291187

PBS_JOBID= 306885

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41913-1149291187/instance-41913-1149291187.opb 245694770
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-41913-1149291187 -o ROOT/results/node37/solver-41913-1149291187 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41913-1149291187/instance-41913-1149291187.opb 245694770

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  2e8a2f5e2511f10f037e700bd45c84a1

RANDOM SEED= 245694770


/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.281
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.281
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:       1659832 kB
Buffers:         18956 kB
Cached:         307740 kB
SwapCached:       3308 kB
Active:          44888 kB
Inactive:       290544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1659832 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            46744 kB
Committed_AS:   245232 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 node37 on Sat Jun  3 00:03:09 UTC 2006