Trace number 41688

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.6 1801.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24674
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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/node67/41688-1149400167/instance-41688-1149400167.opb ......
0.22	c done parsing opb.
0.22	o 28004
1.78	o 26544
1.89	o 26463
5.54	o 26371
15.35	o 26370
30.31	o 25933
41.93	o 25822
74.15	o 25732
450.09	o 25270

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/node67/watcher-41688-1149400167 -o ROOT/results/node67/solver-41688-1149400167 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41688-1149400167/instance-41688-1149400167.opb 420291470 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 4848
/proc/meminfo: memFree=1853152/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=1400 CPUtime=0
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 166 0 0 0 0 0 0 0 19 0 1 0 205686156 1433600 146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 350 146 100 232 0 115 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 4848
/proc/meminfo: memFree=1841272/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=13872 CPUtime=9.99
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 3436 0 0 0 994 5 0 0 25 0 1 0 205686156 14204928 3069 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 3468 3069 108 232 0 3233 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13872

[startup+20.009 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1837112/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=23608 CPUtime=19.99
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 4492 0 0 0 1991 8 0 0 25 0 1 0 205686156 24174592 4125 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 5902 4125 108 232 0 5667 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 23608

[startup+30.0149 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1831096/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=26292 CPUtime=29.99
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 6383 0 0 0 2987 12 0 0 25 0 1 0 205686156 26923008 5631 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 6573 5631 108 232 0 6338 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26292

[startup+40.0208 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1827384/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=43808 CPUtime=40
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 7298 0 0 0 3985 15 0 0 25 0 1 0 205686156 44859392 6546 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 10952 6546 108 232 0 10717 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43808

[startup+50.0276 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1824824/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=45120 CPUtime=50
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 7965 0 0 0 4982 18 0 0 25 0 1 0 205686156 46202880 7213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 11280 7213 108 232 0 11045 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 45120

[startup+60.0335 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1822712/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=45940 CPUtime=60
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 8486 0 0 0 5980 20 0 0 25 0 1 0 205686156 47042560 7734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552011 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 11485 7734 108 232 0 11250 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 45940

[startup+70.0394 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1821432/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=46860 CPUtime=70.01
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 8806 0 0 0 6979 22 0 0 25 0 1 0 205686156 47984640 8054 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 11715 8054 108 232 0 11480 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 46860

[startup+80.0452 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1820600/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=47360 CPUtime=80
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 9028 0 0 0 7976 24 0 0 25 0 1 0 205686156 48496640 8276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 11840 8276 108 232 0 11605 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 47360

[startup+90.0511 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1819448/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=50728 CPUtime=90.01
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 10076 0 0 0 8975 26 0 0 25 0 1 0 205686156 51945472 8555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 12682 8555 108 232 0 12447 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 50728

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1817016/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=51184 CPUtime=100.01
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 10678 0 0 0 9973 28 0 0 25 0 1 0 205686156 52412416 9157 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 12796 9157 108 232 0 12561 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 51184

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 4848
/proc/meminfo: memFree=1816056/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=51504 CPUtime=110.01
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 10908 0 0 0 10972 29 0 0 25 0 1 0 205686156 52740096 9387 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 12876 9387 108 232 0 12641 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 51504

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1814904/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=51836 CPUtime=120.02
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 11201 0 0 0 11971 31 0 0 25 0 1 0 205686156 53080064 9680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552019 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 12959 9680 108 232 0 12724 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 51836

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1813432/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=52180 CPUtime=130.02
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 11568 0 0 0 12970 32 0 0 25 0 1 0 205686156 53432320 10047 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 13045 10047 108 232 0 12810 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 52180

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1811896/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=52564 CPUtime=140.02
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 11941 0 0 0 13968 34 0 0 25 0 1 0 205686156 53825536 10420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 13141 10420 108 232 0 12906 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 52564

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1810936/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=52948 CPUtime=150.02
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12182 0 0 0 14967 35 0 0 25 0 1 0 205686156 54218752 10661 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 13237 10661 108 232 0 13002 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 52948

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1809720/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=53920 CPUtime=160.03
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12493 0 0 0 15966 37 0 0 25 0 1 0 205686156 55214080 10972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 13480 10972 108 232 0 13245 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 53920

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1808568/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=54560 CPUtime=170.03
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12765 0 0 0 16964 39 0 0 25 0 1 0 205686156 55869440 11244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 13640 11244 108 232 0 13405 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 54560

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1808184/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=54752 CPUtime=180.03
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12863 0 0 0 17962 41 0 0 25 0 1 0 205686156 56066048 11342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 13688 11342 108 232 0 13453 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 54752

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1807864/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=54996 CPUtime=190.03
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12949 0 0 0 18961 42 0 0 25 0 1 0 205686156 56315904 11428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549939 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 13749 11428 108 232 0 13514 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 54996

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1807480/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=55256 CPUtime=200.04
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 13052 0 0 0 19960 44 0 0 25 0 1 0 205686156 56582144 11531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 13814 11531 108 232 0 13579 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 55256

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4848
/proc/meminfo: memFree=1807160/2055920 swapFree=4181736/4192956

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

/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38728 0 0 0 177929 219 0 0 25 0 1 0 205686156 210186240 32597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32597 108 232 0 51080 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 205260

[startup+1783.17 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722424/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1782.48
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38730 0 0 0 178029 219 0 0 25 0 1 0 205686156 210186240 32599 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32599 108 232 0 51080 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (Kb) 205260

[startup+1784.17 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722360/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1783.49
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38738 0 0 0 178130 219 0 0 25 0 1 0 205686156 210186240 32607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32607 108 232 0 51080 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 205260

[startup+1785.17 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722360/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1784.49
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38746 0 0 0 178230 219 0 0 25 0 1 0 205686156 210186240 32615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32615 108 232 0 51080 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 205260

[startup+1786.18 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722296/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1785.49
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38749 0 0 0 178330 219 0 0 25 0 1 0 205686156 210186240 32618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32618 108 232 0 51080 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 205260

[startup+1787.18 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722296/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1786.5
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38752 0 0 0 178431 219 0 0 25 0 1 0 205686156 210186240 32621 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32621 108 232 0 51080 0
Current children cumulated CPU time (s) 1786.5
Current children cumulated vsize (Kb) 205260

[startup+1788.19 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722296/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1787.5
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38755 0 0 0 178531 219 0 0 25 0 1 0 205686156 210186240 32624 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32624 108 232 0 51080 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 205260

[startup+1789.19 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722296/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1788.51
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38757 0 0 0 178632 219 0 0 25 0 1 0 205686156 210186240 32626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32626 108 232 0 51080 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (Kb) 205260

[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722232/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1789.51
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38767 0 0 0 178732 219 0 0 25 0 1 0 205686156 210186240 32636 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32636 108 232 0 51080 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 205260

[startup+1791.2 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5043
/proc/meminfo: memFree=1722168/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1790.51
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38786 0 0 0 178832 219 0 0 25 0 1 0 205686156 210186240 32655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32655 108 232 0 51080 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 205260

[startup+1792.21 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722168/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205260 CPUtime=1791.52
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38789 0 0 0 178932 220 0 0 25 0 1 0 205686156 210186240 32658 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550830 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51315 32658 108 232 0 51080 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (Kb) 205260

[startup+1793.21 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722040/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205392 CPUtime=1792.53
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38812 0 0 0 179033 220 0 0 25 0 1 0 205686156 210321408 32681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51348 32681 108 232 0 51113 0
Current children cumulated CPU time (s) 1792.53
Current children cumulated vsize (Kb) 205392

[startup+1794.22 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1722040/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205392 CPUtime=1793.53
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38815 0 0 0 179133 220 0 0 25 0 1 0 205686156 210321408 32684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51348 32684 108 232 0 51113 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 205392

[startup+1795.22 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1721976/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205524 CPUtime=1794.53
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38838 0 0 0 179233 220 0 0 25 0 1 0 205686156 210456576 32707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51381 32707 108 232 0 51146 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 205524

[startup+1796.23 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1721976/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205524 CPUtime=1795.54
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38841 0 0 0 179334 220 0 0 25 0 1 0 205686156 210456576 32710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550040 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51381 32710 108 232 0 51146 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (Kb) 205524

[startup+1797.23 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1721912/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205524 CPUtime=1796.54
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38844 0 0 0 179434 220 0 0 25 0 1 0 205686156 210456576 32713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51381 32713 108 232 0 51146 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 205524

[startup+1798.24 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1721912/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205524 CPUtime=1797.54
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38846 0 0 0 179534 220 0 0 25 0 1 0 205686156 210456576 32715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51381 32715 108 232 0 51146 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 205524

[startup+1799.24 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1721848/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205524 CPUtime=1798.56
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38860 0 0 0 179635 221 0 0 25 0 1 0 205686156 210456576 32729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51381 32729 108 232 0 51146 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (Kb) 205524

[startup+1800.25 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1721848/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205524 CPUtime=1799.56
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38863 0 0 0 179735 221 0 0 25 0 1 0 205686156 210456576 32732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51381 32732 108 232 0 51146 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (Kb) 205524

[startup+1801.25 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1721848/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205524 CPUtime=1800.56
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38865 0 0 0 179835 221 0 0 25 0 1 0 205686156 210456576 32734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552205 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51381 32734 108 232 0 51146 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 205524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.26 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5043
/proc/meminfo: memFree=1721848/2055920 swapFree=4181736/4192956
[pid=4848] ppid=4846 vsize=205524 CPUtime=1800.57
/proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38865 0 0 0 179836 221 0 0 25 0 1 0 205686156 210456576 32734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 51381 32734 108 232 0 51146 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 205524

Sending SIGTERM to -4848
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.29
CPU time (s): 1800.6
CPU user time (s): 1798.36
CPU system time (s): 2.23366
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (Kb): 205524
The end

Launcher Data (download as text)

Begin job on node67 on Sun Jun  4 05:49:27 UTC 2006


FILE ID= 41688-1149400167

PBS_JOBID= 313957

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41688-1149400167/instance-41688-1149400167.opb 420291470
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-41688-1149400167 -o ROOT/results/node67/solver-41688-1149400167 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41688-1149400167/instance-41688-1149400167.opb 420291470

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  f675f355e04fd5af6f49610fb88dbbd3

RANDOM SEED= 420291470


/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.264
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	: 5931.00
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.264
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:       1853360 kB
Buffers:         11132 kB
Cached:         130644 kB
SwapCached:       2792 kB
Active:          32336 kB
Inactive:       117984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853360 kB
SwapTotal:     4192956 kB
SwapFree:      4181736 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14784 kB
Slab:            38236 kB
Committed_AS:   396792 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node67 on Sun Jun  4 06:19:29 UTC 2006