Trace number 41667

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS 4.1L? (TO) 1800.53 1801.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
MD5SUM77b4ba393aa7b9b6b0fcb1b4220a12a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1036
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1036
Optimality of the best value was proved NO
Number of variables1969
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 1969
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 1969
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 1969
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/node54/41667-1149396122/instance-41667-1149396122.opb ......
0.07	c done parsing opb.
0.07	o 1822
0.09	o 1821
0.11	o 1549
0.12	o 1548
10.90	o 1315
10.91	o 1314
10.92	o 1313
10.93	o 1312
10.94	o 1311
10.95	o 1310
10.96	o 1309
10.98	o 1308
10.99	o 1307
11.00	o 1306
11.01	o 1305
11.02	o 1304
11.03	o 1303
11.04	o 1302
11.05	o 1301
11.06	o 1300
11.07	o 1299
11.09	o 1298
11.10	o 1297
11.11	o 1296
11.12	o 1295
11.13	o 1294
11.14	o 1293
11.15	o 1292
11.16	o 1291
11.17	o 1290
11.19	o 1289
11.20	o 1288
11.21	o 1287
11.22	o 1286
11.23	o 1285
11.24	o 1284
11.25	o 1283
11.26	o 1282
11.27	o 1281
11.28	o 1280
11.29	o 1279
11.31	o 1278
11.32	o 1277
11.33	o 1276
11.34	o 1275
11.35	o 1274
11.36	o 1273
11.37	o 1272
11.38	o 1271
11.39	o 1270
11.40	o 1269
11.41	o 1268
11.43	o 1267
11.44	o 1266
11.45	o 1265
11.46	o 1264
11.47	o 1263
11.48	o 1262
11.49	o 1261
11.50	o 1260
11.51	o 1259
11.52	o 1258
11.53	o 1257
11.54	o 1256
11.55	o 1255
11.57	o 1254
11.58	o 1253
11.59	o 1252
11.60	o 1251
11.61	o 1250
11.62	o 1249
11.63	o 1248
11.64	o 1247
11.65	o 1246
11.66	o 1245
11.67	o 1244
11.68	o 1243
11.69	o 1242
11.70	o 1241
11.71	o 1229
12.05	o 1228
13.17	o 1227
13.19	o 1226
15.69	o 1225
17.57	o 1224
18.56	o 1223
18.57	o 1222
18.58	o 1221
18.59	o 1220
18.61	o 1219
18.63	o 1218
22.18	o 1217
24.91	o 1216
24.92	o 1212
24.94	o 1211
24.95	o 1210
24.96	o 1209
24.97	o 1208
28.00	o 1207
33.63	o 1206
39.17	o 1205
44.79	o 1204
50.12	o 1203
55.62	o 1202
60.57	o 1201
193.44	o 1200
204.50	o 1199
335.57	o 1198
340.51	o 1197
1775.03	o 1196
1782.47	o 1195

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/node54/watcher-41667-1149396122 -o ROOT/results/node54/solver-41667-1149396122 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/41667-1149396122/instance-41667-1149396122.opb 294995627 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1633016/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=1588 CPUtime=0
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 161 0 0 0 0 0 0 0 19 0 1 0 205279755 1626112 145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 397 147 90 232 0 162 0

[startup+10.0018 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1552256/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=133380 CPUtime=9.98
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 20375 0 0 0 989 9 0 0 25 0 1 0 205279755 136581120 20302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551459 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 33345 20302 108 232 0 33110 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 133380

[startup+20.0079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1533696/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=134040 CPUtime=19.98
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 24992 0 0 0 1978 20 0 0 25 0 1 0 205279755 137256960 24919 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 33510 24919 108 232 0 33275 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 134040

[startup+30.0139 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1533184/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=134812 CPUtime=29.99
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25191 0 0 0 2975 24 0 0 25 0 1 0 205279755 138047488 25021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 33703 25021 108 232 0 33468 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 134812

[startup+40.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1533056/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=134940 CPUtime=39.99
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25255 0 0 0 3973 26 0 0 25 0 1 0 205279755 138178560 25085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 33735 25085 108 232 0 33500 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 134940

[startup+50.0261 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1532864/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=135200 CPUtime=50
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25314 0 0 0 4972 28 0 0 25 0 1 0 205279755 138444800 25144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 33800 25144 108 232 0 33565 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 135200

[startup+60.0322 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1532608/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=135324 CPUtime=60
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25372 0 0 0 5968 32 0 0 25 0 1 0 205279755 138571776 25202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 33831 25202 108 232 0 33596 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 135324

[startup+70.0393 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1532352/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=135448 CPUtime=70
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25431 0 0 0 6967 33 0 0 25 0 1 0 205279755 138698752 25261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 33862 25261 108 232 0 33627 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 135448

[startup+80.0464 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1532160/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=135688 CPUtime=80.01
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25501 0 0 0 7967 34 0 0 25 0 1 0 205279755 138944512 25331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 33922 25331 108 232 0 33687 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 135688

[startup+90.0525 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1531904/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=136588 CPUtime=90.01
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25751 0 0 0 8966 35 0 0 25 0 1 0 205279755 139866112 25388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552737 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34147 25388 108 232 0 33912 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 136588

[startup+100.059 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1531712/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=136732 CPUtime=100.01
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25801 0 0 0 9964 37 0 0 25 0 1 0 205279755 140013568 25438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134612792 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34183 25438 108 232 0 33948 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 136732

[startup+110.066 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1531520/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=136732 CPUtime=110.02
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25841 0 0 0 10964 38 0 0 25 0 1 0 205279755 140013568 25478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34183 25478 108 232 0 33948 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 136732

[startup+120.073 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1531328/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=136864 CPUtime=120.01
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25900 0 0 0 11963 38 0 0 25 0 1 0 205279755 140148736 25537 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34216 25537 108 232 0 33981 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 136864

[startup+130.079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1531136/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=137108 CPUtime=130.02
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25949 0 0 0 12963 39 0 0 25 0 1 0 205279755 140398592 25586 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34277 25586 108 232 0 34042 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 137108

[startup+140.085 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1530944/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=137236 CPUtime=140.02
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25996 0 0 0 13962 40 0 0 25 0 1 0 205279755 140529664 25633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549039 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34309 25633 108 232 0 34074 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 137236

[startup+150.092 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1530688/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=137408 CPUtime=150.03
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26059 0 0 0 14962 41 0 0 25 0 1 0 205279755 140705792 25696 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34352 25696 108 232 0 34117 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 137408

[startup+160.098 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1530432/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=137552 CPUtime=160.02
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26124 0 0 0 15960 42 0 0 25 0 1 0 205279755 140853248 25761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34388 25761 108 232 0 34153 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 137552

[startup+170.104 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1530240/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=137708 CPUtime=170.03
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26167 0 0 0 16960 43 0 0 25 0 1 0 205279755 141012992 25804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34427 25804 108 232 0 34192 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 137708

[startup+180.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1529920/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=139244 CPUtime=180.04
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26588 0 0 0 17960 44 0 0 25 0 1 0 205279755 142585856 25840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34811 25840 108 232 0 34576 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 139244

[startup+190.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1529920/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=139400 CPUtime=190.03
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26626 0 0 0 18959 44 0 0 25 0 1 0 205279755 142745600 25878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552166 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34850 25878 108 232 0 34615 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 139400

[startup+200.122 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1529664/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=139584 CPUtime=200.04
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26685 0 0 0 19959 45 0 0 25 0 1 0 205279755 142934016 25937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 34896 25937 108 232 0 34661 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 139584

[startup+210.129 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10836
/proc/meminfo: memFree=1529536/2055920 swapFree=4180872/4192956

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

/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33441 0 0 0 177971 170 0 0 25 0 1 0 205279755 162164736 30387 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30387 108 232 0 39356 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 158364

[startup+1783.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1782.41
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33446 0 0 0 178071 170 0 0 25 0 1 0 205279755 162164736 30392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30392 108 232 0 39356 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (Kb) 158364

[startup+1784.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1783.42
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33447 0 0 0 178172 170 0 0 25 0 1 0 205279755 162164736 30393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30393 108 232 0 39356 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 158364

[startup+1785.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1784.42
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33448 0 0 0 178272 170 0 0 25 0 1 0 205279755 162164736 30394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30394 108 232 0 39356 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (Kb) 158364

[startup+1786.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1785.42
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33449 0 0 0 178372 170 0 0 25 0 1 0 205279755 162164736 30395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30395 108 232 0 39356 0
Current children cumulated CPU time (s) 1785.42
Current children cumulated vsize (Kb) 158364

[startup+1787.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1786.43
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33456 0 0 0 178473 170 0 0 25 0 1 0 205279755 162164736 30402 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30402 108 232 0 39356 0
Current children cumulated CPU time (s) 1786.43
Current children cumulated vsize (Kb) 158364

[startup+1788.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1787.43
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33457 0 0 0 178573 170 0 0 25 0 1 0 205279755 162164736 30403 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552034 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30403 108 232 0 39356 0
Current children cumulated CPU time (s) 1787.43
Current children cumulated vsize (Kb) 158364

[startup+1789.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1788.44
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33459 0 0 0 178674 170 0 0 25 0 1 0 205279755 162164736 30405 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30405 108 232 0 39356 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 158364

[startup+1790.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1789.44
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33464 0 0 0 178774 170 0 0 25 0 1 0 205279755 162164736 30410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30410 108 232 0 39356 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (Kb) 158364

[startup+1791.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1790.45
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33466 0 0 0 178875 170 0 0 25 0 1 0 205279755 162164736 30412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30412 108 232 0 39356 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (Kb) 158364

[startup+1792.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1791.45
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33467 0 0 0 178975 170 0 0 25 0 1 0 205279755 162164736 30413 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30413 108 232 0 39356 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (Kb) 158364

[startup+1793.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1792.45
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33468 0 0 0 179075 170 0 0 25 0 1 0 205279755 162164736 30414 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30414 108 232 0 39356 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (Kb) 158364

[startup+1794.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1793.46
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33470 0 0 0 179176 170 0 0 25 0 1 0 205279755 162164736 30416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30416 108 232 0 39356 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (Kb) 158364

[startup+1795.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1794.46
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33470 0 0 0 179276 170 0 0 25 0 1 0 205279755 162164736 30416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549471 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30416 108 232 0 39356 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (Kb) 158364

[startup+1796.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1795.47
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33471 0 0 0 179377 170 0 0 25 0 1 0 205279755 162164736 30417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30417 108 232 0 39356 0
Current children cumulated CPU time (s) 1795.47
Current children cumulated vsize (Kb) 158364

[startup+1797.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511424/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1796.47
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33481 0 0 0 179477 170 0 0 25 0 1 0 205279755 162164736 30427 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30427 108 232 0 39356 0
Current children cumulated CPU time (s) 1796.47
Current children cumulated vsize (Kb) 158364

[startup+1798.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511424/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1797.48
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33482 0 0 0 179578 170 0 0 25 0 1 0 205279755 162164736 30428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30428 108 232 0 39356 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (Kb) 158364

[startup+1799.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511424/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1798.48
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33484 0 0 0 179678 170 0 0 25 0 1 0 205279755 162164736 30430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30430 108 232 0 39356 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (Kb) 158364

[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511424/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1799.48
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33490 0 0 0 179778 170 0 0 25 0 1 0 205279755 162164736 30436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30436 108 232 0 39356 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (Kb) 158364

[startup+1801.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511360/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1800.5
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33492 0 0 0 179879 171 0 0 25 0 1 0 205279755 162164736 30438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30438 108 232 0 39356 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 158364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11031
/proc/meminfo: memFree=1511360/2055920 swapFree=4180872/4192956
[pid=10836] ppid=10834 vsize=158364 CPUtime=1800.5
/proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33492 0 0 0 179879 171 0 0 25 0 1 0 205279755 162164736 30438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/10836/statm: 39591 30438 108 232 0 39356 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 158364

Sending SIGTERM to -10836
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.24
CPU time (s): 1800.53
CPU user time (s): 1798.79
CPU system time (s): 1.73174
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (Kb): 158364
The end

Launcher Data (download as text)

Begin job on node54 on Sun Jun  4 04:42:03 UTC 2006


FILE ID= 41667-1149396122

PBS_JOBID= 313687

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  77b4ba393aa7b9b6b0fcb1b4220a12a4

RANDOM SEED= 294995627


/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.279
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.279
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:       1633352 kB
Buffers:         32216 kB
Cached:         317724 kB
SwapCached:       3864 kB
Active:          92736 kB
Inactive:       265984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1633352 kB
SwapTotal:     4192956 kB
SwapFree:      4180872 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14920 kB
Slab:            49880 kB
Committed_AS:   388836 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node54 on Sun Jun  4 05:12:04 UTC 2006