Trace number 41916

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.47 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM7bb05c60facd55e51c4cfcaa0e217e6e
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 benchmark131.514
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 constraints17831
Number of constraints which are clauses17831
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/node89/41916-1149292753/instance-41916-1149292753.opb ......
0.10	c done parsing opb.
0.10	o 450
0.10	o 449
0.10	o 448
0.10	o 447
0.12	o 446
0.12	o 430
0.15	o 429
0.15	o 428
0.15	o 427
5.50	o 426
20.58	o 425
54.58	o 424
1146.89	o 423

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/node89/watcher-41916-1149292753 -o ROOT/results/node89/solver-41916-1149292753 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41916-1149292753/instance-41916-1149292753.opb 72006942 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/68 22007
/proc/meminfo: memFree=1627544/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=1400 CPUtime=0
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 194914357 1433600 139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 350 140 97 232 0 115 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.95 0.90 2/68 22007
/proc/meminfo: memFree=1585368/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=71120 CPUtime=9.99
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 10793 0 0 0 994 5 0 0 25 0 1 0 194914357 72826880 10618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 17780 10618 108 232 0 17545 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 71120

[startup+20.0081 s]
/proc/loadavg: 0.94 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1576664/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=75104 CPUtime=19.99
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 13164 0 0 0 1990 9 0 0 25 0 1 0 194914357 76906496 12796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 18776 12796 108 232 0 18541 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 75104

[startup+30.014 s]
/proc/loadavg: 0.95 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1572056/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=77472 CPUtime=30
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 14335 0 0 0 2989 11 0 0 25 0 1 0 194914357 79331328 13967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 19368 13967 108 232 0 19133 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 77472

[startup+40.0199 s]
/proc/loadavg: 0.95 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1570008/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=80400 CPUtime=39.99
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 15218 0 0 0 3987 12 0 0 25 0 1 0 194914357 82329600 14465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 20100 14465 108 232 0 19865 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 80400

[startup+50.0267 s]
/proc/loadavg: 0.96 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1568984/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=81116 CPUtime=50
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 15486 0 0 0 4986 14 0 0 25 0 1 0 194914357 83062784 14733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 20279 14733 108 232 0 20044 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 81116

[startup+60.0326 s]
/proc/loadavg: 0.97 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1567704/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=82304 CPUtime=60
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 15795 0 0 0 5984 16 0 0 25 0 1 0 194914357 84279296 15042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 20576 15042 108 232 0 20341 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 82304

[startup+70.0384 s]
/proc/loadavg: 0.97 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1566424/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=83408 CPUtime=70.01
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 16105 0 0 0 6983 18 0 0 25 0 1 0 194914357 85409792 15352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550805 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 20852 15352 108 232 0 20617 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 83408

[startup+80.0443 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1565656/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=84180 CPUtime=80
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 16312 0 0 0 7981 19 0 0 25 0 1 0 194914357 86200320 15559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 21045 15559 108 232 0 20810 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 84180

[startup+90.0502 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1564952/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=84476 CPUtime=90.01
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 16494 0 0 0 8981 20 0 0 25 0 1 0 194914357 86503424 15741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 21119 15741 108 232 0 20884 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 84476

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 22007
/proc/meminfo: memFree=1564312/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=85092 CPUtime=100.01
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 16661 0 0 0 9979 22 0 0 25 0 1 0 194914357 87134208 15908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 21273 15908 108 232 0 21038 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 85092

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.91 2/74 22030
/proc/meminfo: memFree=1562536/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=88328 CPUtime=110.01
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 17561 0 0 0 10977 24 0 0 25 0 1 0 194914357 90447872 16039 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549510 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22082 16039 108 232 0 21847 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 88328

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/74 22120
/proc/meminfo: memFree=1561640/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=89164 CPUtime=119.98
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 17751 0 0 0 11972 26 0 0 25 0 1 0 194914357 91303936 16229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22291 16229 108 232 0 22056 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 89164

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1561928/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=89520 CPUtime=129.93
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 17898 0 0 0 12966 27 0 0 25 0 1 0 194914357 91668480 16376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 0 0 0
/proc/22007/statm: 22380 16376 108 232 0 22145 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 89520

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1561560/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=89888 CPUtime=139.93
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18035 0 0 0 13964 29 0 0 25 0 1 0 194914357 92045312 16513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559731 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22472 16513 108 232 0 22237 0
Current children cumulated CPU time (s) 139.93
Current children cumulated vsize (Kb) 89888

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1561176/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=90108 CPUtime=149.94
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18150 0 0 0 14963 31 0 0 25 0 1 0 194914357 92270592 16628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549031 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22527 16628 108 232 0 22292 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 90108

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1560664/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=90340 CPUtime=159.94
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18276 0 0 0 15962 32 0 0 25 0 1 0 194914357 92508160 16754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22585 16754 108 232 0 22350 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 90340

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1560152/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=90748 CPUtime=169.94
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18407 0 0 0 16961 33 0 0 25 0 1 0 194914357 92925952 16885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22687 16885 108 232 0 22452 0
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 90748

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1559704/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=91012 CPUtime=179.95
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18523 0 0 0 17960 35 0 0 25 0 1 0 194914357 93196288 17001 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549073 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22753 17001 108 232 0 22518 0
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 91012

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1559128/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=91172 CPUtime=189.95
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18653 0 0 0 18959 36 0 0 25 0 1 0 194914357 93360128 17131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22793 17131 108 232 0 22558 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 91172

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1558680/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=91612 CPUtime=199.95
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18782 0 0 0 19958 37 0 0 25 0 1 0 194914357 93810688 17260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 22903 17260 108 232 0 22668 0
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 91612

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1558296/2055892 swapFree=4085360/4096564

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

/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43328 0 0 0 177960 176 0 0 25 0 1 0 194914357 163385344 31051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31051 108 232 0 39654 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (Kb) 159556

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503320/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1782.36
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43336 0 0 0 178060 176 0 0 25 0 1 0 194914357 163385344 31059 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31059 108 232 0 39654 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 159556

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503256/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1783.37
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43343 0 0 0 178161 176 0 0 25 0 1 0 194914357 163385344 31066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31066 108 232 0 39654 0
Current children cumulated CPU time (s) 1783.37
Current children cumulated vsize (Kb) 159556

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503256/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1784.37
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43346 0 0 0 178261 176 0 0 25 0 1 0 194914357 163385344 31069 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31069 108 232 0 39654 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (Kb) 159556

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503256/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1785.37
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43352 0 0 0 178361 176 0 0 25 0 1 0 194914357 163385344 31075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31075 108 232 0 39654 0
Current children cumulated CPU time (s) 1785.37
Current children cumulated vsize (Kb) 159556

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503256/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1786.38
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43354 0 0 0 178462 176 0 0 25 0 1 0 194914357 163385344 31077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31077 108 232 0 39654 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (Kb) 159556

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503192/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1787.38
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43361 0 0 0 178562 176 0 0 25 0 1 0 194914357 163385344 31084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31084 108 232 0 39654 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (Kb) 159556

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503192/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1788.38
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43367 0 0 0 178662 176 0 0 25 0 1 0 194914357 163385344 31090 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31090 108 232 0 39654 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (Kb) 159556

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503192/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1789.39
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43370 0 0 0 178763 176 0 0 25 0 1 0 194914357 163385344 31093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31093 108 232 0 39654 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (Kb) 159556

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503128/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1790.39
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43377 0 0 0 178863 176 0 0 25 0 1 0 194914357 163385344 31100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31100 108 232 0 39654 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (Kb) 159556

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503128/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1791.39
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43378 0 0 0 178963 176 0 0 25 0 1 0 194914357 163385344 31101 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31101 108 232 0 39654 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (Kb) 159556

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503128/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1792.4
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43379 0 0 0 179064 176 0 0 25 0 1 0 194914357 163385344 31102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31102 108 232 0 39654 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (Kb) 159556

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503128/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1793.4
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43387 0 0 0 179164 176 0 0 25 0 1 0 194914357 163385344 31110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31110 108 232 0 39654 0
Current children cumulated CPU time (s) 1793.4
Current children cumulated vsize (Kb) 159556

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503064/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1794.42
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43393 0 0 0 179265 177 0 0 25 0 1 0 194914357 163385344 31116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31116 108 232 0 39654 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (Kb) 159556

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503064/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1795.42
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43401 0 0 0 179365 177 0 0 25 0 1 0 194914357 163385344 31124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31124 108 232 0 39654 0
Current children cumulated CPU time (s) 1795.42
Current children cumulated vsize (Kb) 159556

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503000/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1796.42
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43409 0 0 0 179465 177 0 0 25 0 1 0 194914357 163385344 31132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31132 108 232 0 39654 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (Kb) 159556

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1503000/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1797.43
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43412 0 0 0 179566 177 0 0 25 0 1 0 194914357 163385344 31135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31135 108 232 0 39654 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 159556

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1502936/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1798.43
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43420 0 0 0 179666 177 0 0 25 0 1 0 194914357 163385344 31143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31143 108 232 0 39654 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 159556

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1502936/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1799.44
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43427 0 0 0 179767 177 0 0 25 0 1 0 194914357 163385344 31150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31150 108 232 0 39654 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (Kb) 159556

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1502936/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1800.44
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43433 0 0 0 179867 177 0 0 25 0 1 0 194914357 163385344 31156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31156 108 232 0 39654 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (Kb) 159556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 22202
/proc/meminfo: memFree=1502936/2055892 swapFree=4085360/4096564
[pid=22007] ppid=22005 vsize=159556 CPUtime=1800.44
/proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43433 0 0 0 179867 177 0 0 25 0 1 0 194914357 163385344 31156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/22007/statm: 39889 31156 108 232 0 39654 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (Kb) 159556

Sending SIGTERM to -22007
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.47
CPU user time (s): 1798.68
CPU system time (s): 1.79273
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (Kb): 159556
The end

Launcher Data (download as text)

Begin job on node89 on Fri Jun  2 23:59:13 UTC 2006


FILE ID= 41916-1149292753

PBS_JOBID= 306933

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-4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41916-1149292753/instance-41916-1149292753.opb 72006942
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node89/watcher-41916-1149292753 -o ROOT/results/node89/solver-41916-1149292753 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41916-1149292753/instance-41916-1149292753.opb 72006942

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  7bb05c60facd55e51c4cfcaa0e217e6e

RANDOM SEED= 72006942


/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.16
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:       1627752 kB
Buffers:         33740 kB
Cached:         322740 kB
SwapCached:       2560 kB
Active:         103800 kB
Inactive:       261524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1627752 kB
SwapTotal:     4096564 kB
SwapFree:      4085360 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          16536 kB
Slab:            49400 kB
Committed_AS:   299260 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node89 on Sat Jun  3 00:29:14 UTC 2006