Trace number 41670

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
MD5SUMff2125c4e604678d0c316c16eb28ba7d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1035
Best CPU time to get the best result obtained on this benchmark1800.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1035
Optimality of the best value was proved NO
Number of variables1968
Total number of constraints4000
Number of constraints which are clauses4000
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 1968
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 1968
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1968
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node82/41670-1149396850/instance-41670-1149396850.opb ......
0.06	c done parsing opb.
0.06	o 1797
0.08	o 1796
0.10	o 1575
0.11	o 1574
0.14	o 1573
0.15	o 1226
0.17	o 1225
16.34	o 1224
16.35	o 1223
16.36	o 1222
16.37	o 1221
16.38	o 1220
16.38	o 1219
16.39	o 1218
16.40	o 1217
16.41	o 1216
16.76	o 1215
18.44	o 1214
21.60	o 1213
21.61	o 1212
21.62	o 1211
21.63	o 1210
21.64	o 1209
21.65	o 1208
21.66	o 1207
21.67	o 1206
21.68	o 1205
21.70	o 1204
21.72	o 1203
110.77	o 1202
118.99	o 1201
130.33	o 1200
134.66	o 1199
141.78	o 1198
150.85	o 1197
159.89	o 1196
170.24	o 1195
179.46	o 1194
194.46	o 1193
206.16	o 1192
233.29	o 1191
243.61	o 1190

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node82/watcher-41670-1149396850 -o ROOT/results/node82/solver-41670-1149396850 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41670-1149396850/instance-41670-1149396850.opb 379946921 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.07 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1291112/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=1588 CPUtime=0
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 196874318 1626112 190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134537065 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 397 190 97 232 0 162 0

[startup+10.0023 s]
/proc/loadavg: 1.06 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1247984/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=67820 CPUtime=9.99
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 10948 0 0 0 995 4 0 0 25 0 1 0 196874318 69447680 10876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 16955 10876 108 232 0 16720 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 67820

[startup+20.0082 s]
/proc/loadavg: 1.05 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1210800/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=133752 CPUtime=20
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20266 0 0 0 1989 11 0 0 25 0 1 0 196874318 136962048 20194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 33438 20194 108 232 0 33203 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 133752

[startup+30.0141 s]
/proc/loadavg: 1.04 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1208944/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=134152 CPUtime=30
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20722 0 0 0 2985 15 0 0 25 0 1 0 196874318 137371648 20650 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 33538 20650 108 232 0 33303 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 134152

[startup+40.02 s]
/proc/loadavg: 1.04 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1208624/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=134656 CPUtime=39.99
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20887 0 0 0 3983 16 0 0 25 0 1 0 196874318 137887744 20718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 33664 20718 108 232 0 33429 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 134656

[startup+50.0259 s]
/proc/loadavg: 1.03 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1208496/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=134800 CPUtime=50
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20939 0 0 0 4983 17 0 0 25 0 1 0 196874318 138035200 20770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 33700 20770 108 232 0 33465 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 134800

[startup+60.0318 s]
/proc/loadavg: 1.03 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1208304/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=134932 CPUtime=60
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20984 0 0 0 5982 18 0 0 25 0 1 0 196874318 138170368 20815 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 33733 20815 108 232 0 33498 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 134932

[startup+70.0377 s]
/proc/loadavg: 1.02 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1208112/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=134932 CPUtime=70
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21032 0 0 0 6981 19 0 0 25 0 1 0 196874318 138170368 20863 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 33733 20863 108 232 0 33498 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 134932

[startup+80.0436 s]
/proc/loadavg: 1.02 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1207856/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=135856 CPUtime=80.01
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21274 0 0 0 7980 21 0 0 25 0 1 0 196874318 139116544 20912 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 33964 20912 108 232 0 33729 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 135856

[startup+90.0495 s]
/proc/loadavg: 1.01 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1207728/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=135976 CPUtime=90.01
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21317 0 0 0 8980 21 0 0 25 0 1 0 196874318 139239424 20955 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 33994 20955 108 232 0 33759 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 135976

[startup+100.055 s]
/proc/loadavg: 1.01 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1207536/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=136108 CPUtime=100.01
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21362 0 0 0 9978 23 0 0 25 0 1 0 196874318 139374592 21000 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546253 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34027 21000 108 232 0 33792 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 136108

[startup+110.061 s]
/proc/loadavg: 1.01 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1207344/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=136284 CPUtime=110.02
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21425 0 0 0 10978 24 0 0 25 0 1 0 196874318 139554816 21063 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34071 21063 108 232 0 33836 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 136284

[startup+120.067 s]
/proc/loadavg: 1.01 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1207024/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=136460 CPUtime=120.02
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21490 0 0 0 11977 25 0 0 25 0 1 0 196874318 139735040 21128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34115 21128 108 232 0 33880 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 136460

[startup+130.073 s]
/proc/loadavg: 1.01 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1206832/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=136616 CPUtime=130.02
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21553 0 0 0 12977 25 0 0 25 0 1 0 196874318 139894784 21191 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561195 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34154 21191 108 232 0 33919 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 136616

[startup+140.079 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1206640/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=136744 CPUtime=140.03
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21602 0 0 0 13977 26 0 0 25 0 1 0 196874318 140025856 21240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34186 21240 108 232 0 33951 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 136744

[startup+150.085 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1206384/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=136892 CPUtime=150.02
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21658 0 0 0 14975 27 0 0 25 0 1 0 196874318 140177408 21296 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34223 21296 108 232 0 33988 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 136892

[startup+160.091 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1206192/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=137024 CPUtime=160.02
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21704 0 0 0 15974 28 0 0 25 0 1 0 196874318 140312576 21342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549440 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34256 21342 108 232 0 34021 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 137024

[startup+170.097 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1205936/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=138560 CPUtime=170.03
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 22125 0 0 0 16974 29 0 0 25 0 1 0 196874318 141885440 21378 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34640 21378 108 232 0 34405 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 138560

[startup+180.103 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1205872/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=138704 CPUtime=180.03
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 22167 0 0 0 17973 30 0 0 25 0 1 0 196874318 142032896 21420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34676 21420 108 232 0 34441 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 138704

[startup+190.108 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1205744/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=138704 CPUtime=190.03
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 22206 0 0 0 18972 31 0 0 25 0 1 0 196874318 142032896 21459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34676 21459 108 232 0 34441 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 138704

[startup+200.114 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1205552/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=138884 CPUtime=200.04
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 22244 0 0 0 19972 32 0 0 25 0 1 0 196874318 142217216 21497 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 34721 21497 108 232 0 34486 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 138884

[startup+210.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8398
/proc/meminfo: memFree=1205424/2055892 swapFree=4087504/4096564

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

/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29283 0 0 0 177980 158 0 0 25 0 1 0 196874318 161996800 26230 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26230 108 232 0 39315 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 158200

[startup+1783.08 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1782.39
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29285 0 0 0 178080 159 0 0 25 0 1 0 196874318 161996800 26232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26232 108 232 0 39315 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 158200

[startup+1784.09 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1783.4
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29286 0 0 0 178181 159 0 0 25 0 1 0 196874318 161996800 26233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26233 108 232 0 39315 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 158200

[startup+1785.09 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1784.4
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29291 0 0 0 178281 159 0 0 25 0 1 0 196874318 161996800 26238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26238 108 232 0 39315 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 158200

[startup+1786.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1785.41
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29293 0 0 0 178382 159 0 0 25 0 1 0 196874318 161996800 26240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549008 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26240 108 232 0 39315 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 158200

[startup+1787.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1786.41
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29294 0 0 0 178482 159 0 0 25 0 1 0 196874318 161996800 26241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552008 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26241 108 232 0 39315 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 158200

[startup+1788.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1787.41
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29299 0 0 0 178582 159 0 0 25 0 1 0 196874318 161996800 26246 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26246 108 232 0 39315 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 158200

[startup+1789.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1788.42
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29300 0 0 0 178683 159 0 0 25 0 1 0 196874318 161996800 26247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26247 108 232 0 39315 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 158200

[startup+1790.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1789.42
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29302 0 0 0 178783 159 0 0 25 0 1 0 196874318 161996800 26249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564502 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26249 108 232 0 39315 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 158200

[startup+1791.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1790.43
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29307 0 0 0 178884 159 0 0 25 0 1 0 196874318 161996800 26254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26254 108 232 0 39315 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 158200

[startup+1792.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1791.43
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29308 0 0 0 178984 159 0 0 25 0 1 0 196874318 161996800 26255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26255 108 232 0 39315 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 158200

[startup+1793.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1792.43
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29309 0 0 0 179084 159 0 0 25 0 1 0 196874318 161996800 26256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26256 108 232 0 39315 0
Current children cumulated CPU time (s) 1792.43
Current children cumulated vsize (Kb) 158200

[startup+1794.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1793.44
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29311 0 0 0 179185 159 0 0 25 0 1 0 196874318 161996800 26258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26258 108 232 0 39315 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 158200

[startup+1795.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1794.44
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29316 0 0 0 179285 159 0 0 25 0 1 0 196874318 161996800 26263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549440 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26263 108 232 0 39315 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (Kb) 158200

[startup+1796.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1795.44
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29317 0 0 0 179385 159 0 0 25 0 1 0 196874318 161996800 26264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26264 108 232 0 39315 0
Current children cumulated CPU time (s) 1795.44
Current children cumulated vsize (Kb) 158200

[startup+1797.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1796.45
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29319 0 0 0 179486 159 0 0 25 0 1 0 196874318 161996800 26266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26266 108 232 0 39315 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (Kb) 158200

[startup+1798.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1797.45
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29324 0 0 0 179586 159 0 0 25 0 1 0 196874318 161996800 26271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26271 108 232 0 39315 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (Kb) 158200

[startup+1799.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1798.46
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29325 0 0 0 179687 159 0 0 25 0 1 0 196874318 161996800 26272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26272 108 232 0 39315 0
Current children cumulated CPU time (s) 1798.46
Current children cumulated vsize (Kb) 158200

[startup+1800.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1799.46
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29326 0 0 0 179787 159 0 0 25 0 1 0 196874318 161996800 26273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26273 108 232 0 39315 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (Kb) 158200

[startup+1801.17 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186160/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1800.47
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29332 0 0 0 179888 159 0 0 25 0 1 0 196874318 161996800 26279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26279 108 232 0 39315 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (Kb) 158200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 8595
/proc/meminfo: memFree=1186160/2055892 swapFree=4087504/4096564
[pid=8398] ppid=8396 vsize=158200 CPUtime=1800.47
/proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29332 0 0 0 179888 159 0 0 25 0 1 0 196874318 161996800 26279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/8398/statm: 39550 26279 108 232 0 39315 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (Kb) 158200

Sending SIGTERM to -8398
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.5
CPU user time (s): 1798.88
CPU system time (s): 1.61575
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (Kb): 158200
The end

Launcher Data (download as text)

Begin job on node82 on Sun Jun  4 04:54:10 UTC 2006


FILE ID= 41670-1149396850

PBS_JOBID= 313724

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  ff2125c4e604678d0c316c16eb28ba7d

RANDOM SEED= 379946921


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.17
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1291320 kB
Buffers:         27720 kB
Cached:         667764 kB
SwapCached:       2740 kB
Active:         124780 kB
Inactive:       579396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1291320 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14632 kB
Slab:            46676 kB
Committed_AS:   428296 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node82 on Sun Jun  4 05:24:12 UTC 2006