Trace number 41448

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb
MD5SUMf36b59f1fcf0c7e8fce521b6b9823495
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark262858
Best CPU time to get the best result obtained on this benchmark456.445
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262858
Optimality of the best value was proved YES
Number of variables290
Total number of constraints212
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint8
Maximum length of a constraint263
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524422
Number of bits of the biggest sum of numbers20
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/node56/41448-1149354809/instance-41448-1149354809.opb ......
0.05	c done parsing opb.
0.05	o 263455
0.05	o 263379
0.06	o 263342
0.06	o 263163
0.07	o 262953
0.14	o 262939
0.65	o 262933
0.80	o 262907
0.84	o 262906
0.87	o 262891
5.82	o 262888
6.63	o 262887
6.93	o 262882
10.94	o 262858

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/node56/watcher-41448-1149354809 -o ROOT/results/node56/solver-41448-1149354809 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/41448-1149354809/instance-41448-1149354809.opb 246371062 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 24513
/proc/meminfo: memFree=1456640/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=1368 CPUtime=0
/proc/24513/stat : 24513 (PBS4L) D 24511 24513 24467 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 201148518 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/24513/statm: 342 95 84 232 0 107 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 24513
/proc/meminfo: memFree=1446416/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=12568 CPUtime=9.99
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 3016 0 0 0 996 3 0 0 25 0 1 0 201148518 12869632 2651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546615 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 3142 2651 108 232 0 2907 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12568

[startup+20.0079 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1437584/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=22008 CPUtime=19.99
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 5246 0 0 0 1992 7 0 0 25 0 1 0 201148518 22536192 4881 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 5502 4881 108 232 0 5267 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 22008

[startup+30.0139 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1432400/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=40896 CPUtime=29.99
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 6887 0 0 0 2990 9 0 0 25 0 1 0 201148518 41877504 6137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 10224 6137 108 232 0 9989 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 40896

[startup+40.0198 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1425552/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=41876 CPUtime=40
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 8648 0 0 0 3988 12 0 0 25 0 1 0 201148518 42881024 7898 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 10469 7898 108 232 0 10234 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 41876

[startup+50.0258 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1421328/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=42800 CPUtime=50
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 9703 0 0 0 4986 14 0 0 25 0 1 0 201148518 43827200 8953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 10700 8953 108 232 0 10465 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 42800

[startup+60.0318 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1416848/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=43540 CPUtime=60
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 10822 0 0 0 5984 16 0 0 25 0 1 0 201148518 44584960 10072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 10885 10072 108 232 0 10650 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 43540

[startup+70.0378 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1415120/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=44028 CPUtime=70.01
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 11253 0 0 0 6983 18 0 0 25 0 1 0 201148518 45084672 10503 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 11007 10503 108 232 0 10772 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 44028

[startup+80.0438 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1413392/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=77340 CPUtime=80.01
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 11686 0 0 0 7981 20 0 0 25 0 1 0 201148518 79196160 10936 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546259 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 19335 10936 108 232 0 19100 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 77340

[startup+90.0498 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1408912/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=77636 CPUtime=90.01
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 12794 0 0 0 8980 21 0 0 25 0 1 0 201148518 79499264 12044 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 19409 12044 108 232 0 19174 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 77636

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1405584/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=81568 CPUtime=100.02
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 14413 0 0 0 9978 24 0 0 25 0 1 0 201148518 83525632 12894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 20392 12894 108 232 0 20157 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 81568

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 24513
/proc/meminfo: memFree=1401168/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=81988 CPUtime=110.02
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 15512 0 0 0 10977 25 0 0 25 0 1 0 201148518 83955712 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 20497 13993 108 232 0 20262 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 81988

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1395536/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=82824 CPUtime=120.02
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 16907 0 0 0 11973 29 0 0 25 0 1 0 201148518 84811776 15388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 20706 15388 108 232 0 20471 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 82824

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1390416/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=83308 CPUtime=130.03
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 18191 0 0 0 12971 32 0 0 25 0 1 0 201148518 85307392 16672 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 20827 16672 108 232 0 20592 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 83308

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1385488/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=84252 CPUtime=140.03
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 19421 0 0 0 13969 34 0 0 25 0 1 0 201148518 86274048 17902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 21063 17902 108 232 0 20828 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 84252

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1384848/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=84412 CPUtime=150.03
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 19585 0 0 0 14967 36 0 0 25 0 1 0 201148518 86437888 18066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 21103 18066 108 232 0 20868 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 84412

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1380368/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=84704 CPUtime=160.04
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 20688 0 0 0 15966 38 0 0 25 0 1 0 201148518 86736896 19169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 21176 19169 108 232 0 20941 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 84704

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1375760/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=85188 CPUtime=170.04
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 21840 0 0 0 16963 41 0 0 25 0 1 0 201148518 87232512 20321 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550781 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 21297 20321 108 232 0 21062 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 85188

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1371664/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=151396 CPUtime=180.04
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 22860 0 0 0 17962 42 0 0 25 0 1 0 201148518 155029504 21341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 37849 21341 108 232 0 37614 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 151396

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1367184/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=152204 CPUtime=190.05
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 23987 0 0 0 18960 45 0 0 25 0 1 0 201148518 155856896 22468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 38051 22468 108 232 0 37816 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 152204

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1363088/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=152984 CPUtime=200.05
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 24999 0 0 0 19958 47 0 0 25 0 1 0 201148518 156655616 23480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 38246 23480 108 232 0 38011 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 152984

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24513
/proc/meminfo: memFree=1359248/2055920 swapFree=4181332/4192956

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

/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48369 0 0 0 177997 159 0 0 25 0 1 0 201148518 200572928 41448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41448 108 232 0 48733 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 195872

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290960/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1782.56
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48370 0 0 0 178097 159 0 0 25 0 1 0 201148518 200572928 41449 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41449 108 232 0 48733 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 195872

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290960/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1783.57
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48371 0 0 0 178198 159 0 0 25 0 1 0 201148518 200572928 41450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41450 108 232 0 48733 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 195872

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290960/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1784.57
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48377 0 0 0 178298 159 0 0 25 0 1 0 201148518 200572928 41456 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41456 108 232 0 48733 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 195872

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1785.58
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48378 0 0 0 178399 159 0 0 25 0 1 0 201148518 200572928 41457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41457 108 232 0 48733 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 195872

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1786.58
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48380 0 0 0 178499 159 0 0 25 0 1 0 201148518 200572928 41459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41459 108 232 0 48733 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 195872

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1787.58
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48381 0 0 0 178599 159 0 0 25 0 1 0 201148518 200572928 41460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41460 108 232 0 48733 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 195872

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1788.59
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48382 0 0 0 178700 159 0 0 25 0 1 0 201148518 200572928 41461 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41461 108 232 0 48733 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 195872

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1789.59
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48386 0 0 0 178800 159 0 0 25 0 1 0 201148518 200572928 41465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41465 108 232 0 48733 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 195872

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1790.6
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48389 0 0 0 178901 159 0 0 25 0 1 0 201148518 200572928 41468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41468 108 232 0 48733 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 195872

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1791.6
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48390 0 0 0 179001 159 0 0 25 0 1 0 201148518 200572928 41469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41469 108 232 0 48733 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 195872

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290832/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1792.61
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48397 0 0 0 179102 159 0 0 25 0 1 0 201148518 200572928 41476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41476 108 232 0 48733 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 195872

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290832/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1793.62
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48401 0 0 0 179202 160 0 0 25 0 1 0 201148518 200572928 41480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41480 108 232 0 48733 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 195872

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290832/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1794.62
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48402 0 0 0 179302 160 0 0 25 0 1 0 201148518 200572928 41481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134548991 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41481 108 232 0 48733 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 195872

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290832/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1795.63
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48404 0 0 0 179403 160 0 0 25 0 1 0 201148518 200572928 41483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41483 108 232 0 48733 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 195872

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1796.63
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48406 0 0 0 179503 160 0 0 25 0 1 0 201148518 200572928 41485 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41485 108 232 0 48733 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 195872

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1797.63
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48408 0 0 0 179603 160 0 0 25 0 1 0 201148518 200572928 41487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41487 108 232 0 48733 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 195872

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1798.64
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48409 0 0 0 179704 160 0 0 25 0 1 0 201148518 200572928 41488 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41488 108 232 0 48733 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 195872

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1799.64
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48412 0 0 0 179804 160 0 0 25 0 1 0 201148518 200572928 41491 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41491 108 232 0 48733 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 195872

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1800.65
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48413 0 0 0 179905 160 0 0 25 0 1 0 201148518 200572928 41492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41492 108 232 0 48733 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 195872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24515
/proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956
[pid=24513] ppid=24511 vsize=195872 CPUtime=1800.65
/proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48413 0 0 0 179905 160 0 0 25 0 1 0 201148518 200572928 41492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24513/statm: 48968 41492 108 232 0 48733 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 195872

Sending SIGTERM to -24513
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.69
CPU user time (s): 1799.06
CPU system time (s): 1.62975
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (Kb): 195872
The end

Launcher Data (download as text)

Begin job on node56 on Sat Jun  3 17:13:29 UTC 2006


FILE ID= 41448-1149354809

PBS_JOBID= 311187

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/41448-1149354809/instance-41448-1149354809.opb 246371062
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-41448-1149354809 -o ROOT/results/node56/solver-41448-1149354809 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/41448-1149354809/instance-41448-1149354809.opb 246371062

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  f36b59f1fcf0c7e8fce521b6b9823495

RANDOM SEED= 246371062


/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.232
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.232
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:       1456848 kB
Buffers:         30932 kB
Cached:         497696 kB
SwapCached:       3404 kB
Active:          77360 kB
Inactive:       460040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1456848 kB
SwapTotal:     4192956 kB
SwapFree:      4181332 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14912 kB
Slab:            47620 kB
Committed_AS:   307736 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node56 on Sat Jun  3 17:43:30 UTC 2006