Trace number 41662

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.68 1800.9

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
MD5SUMeb191f4787a2203be4bff8f6c7c8f66d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1037
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1037
Optimality of the best value was proved NO
Number of variables1961
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 1961
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 1961
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 1961
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/node16/41662-1149394958/instance-41662-1149394958.opb ......
0.07	c done parsing opb.
0.07	o 1826
0.09	o 1825
0.10	o 1567
0.12	o 1566
11.29	o 1311
11.30	o 1310
11.31	o 1309
11.32	o 1308
11.33	o 1307
11.34	o 1306
11.35	o 1305
11.36	o 1304
11.37	o 1303
11.38	o 1302
11.39	o 1301
11.41	o 1300
11.42	o 1299
11.43	o 1298
11.44	o 1297
11.45	o 1296
11.46	o 1295
11.47	o 1294
11.48	o 1293
11.49	o 1292
11.50	o 1291
11.51	o 1290
11.52	o 1289
11.53	o 1288
11.55	o 1287
11.56	o 1286
11.57	o 1285
11.58	o 1284
11.59	o 1283
11.60	o 1282
11.61	o 1281
11.62	o 1280
11.63	o 1279
11.64	o 1278
11.65	o 1277
11.66	o 1276
11.67	o 1275
11.69	o 1274
11.70	o 1273
11.71	o 1272
11.72	o 1271
11.73	o 1270
11.74	o 1269
11.75	o 1268
11.76	o 1267
11.77	o 1266
11.78	o 1265
11.79	o 1264
11.80	o 1263
11.81	o 1262
11.82	o 1261
11.83	o 1260
11.84	o 1259
11.86	o 1258
11.87	o 1257
11.88	o 1256
11.89	o 1255
11.90	o 1217
12.17	o 1216
14.13	o 1215
17.01	o 1214
23.07	o 1213
29.26	o 1212
88.91	o 1211
95.08	o 1210
100.48	o 1209
107.68	o 1208
114.08	o 1207
126.91	o 1206
134.07	o 1205
141.22	o 1204
149.11	o 1203
157.95	o 1202
171.17	o 1201
233.45	o 1200
267.98	o 1199

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/node16/watcher-41662-1149394958 -o ROOT/results/node16/solver-41662-1149394958 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41662-1149394958/instance-41662-1149394958.opb 508455503 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1221936/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=1716 CPUtime=0
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 210 0 0 0 0 0 0 0 19 0 1 0 205158617 1757184 194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134539007 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 429 195 97 232 0 194 0

[startup+10.0009 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1143232/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=133352 CPUtime=9.99
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 19864 0 0 0 990 9 0 0 25 0 1 0 205158617 136552448 19791 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134562028 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 33338 19791 108 232 0 33103 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 133352

[startup+20.0053 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1109184/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=134000 CPUtime=19.99
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 28366 0 0 0 1981 18 0 0 25 0 1 0 205158617 137216000 28293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 33500 28293 108 232 0 33265 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 134000

[startup+30.0097 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1101184/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=134780 CPUtime=29.99
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30431 0 0 0 2975 24 0 0 25 0 1 0 205158617 138014720 30261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549432 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 33695 30261 108 232 0 33460 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 134780

[startup+40.0131 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1100736/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=135176 CPUtime=40
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30577 0 0 0 3974 26 0 0 25 0 1 0 205158617 138420224 30407 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134856979 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 33794 30407 108 232 0 33559 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 135176

[startup+50.0176 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1100416/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=135432 CPUtime=50
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30647 0 0 0 4973 27 0 0 25 0 1 0 205158617 138682368 30477 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 33858 30477 108 232 0 33623 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 135432

[startup+60.022 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1100032/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=136368 CPUtime=60
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30903 0 0 0 5972 28 0 0 25 0 1 0 205158617 139640832 30540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34092 30540 108 232 0 33857 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 136368

[startup+70.0264 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1100032/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=136368 CPUtime=70.01
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30964 0 0 0 6970 31 0 0 25 0 1 0 205158617 139640832 30601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34092 30601 108 232 0 33857 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 136368

[startup+80.0309 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1099776/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=136496 CPUtime=80.01
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31028 0 0 0 7969 32 0 0 25 0 1 0 205158617 139771904 30665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34124 30665 108 232 0 33889 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 136496

[startup+90.0353 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1099520/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=136640 CPUtime=90.02
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31078 0 0 0 8968 34 0 0 25 0 1 0 205158617 139919360 30715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34160 30715 108 232 0 33925 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 136640

[startup+100.039 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1099264/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=136764 CPUtime=100.01
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31145 0 0 0 9967 34 0 0 25 0 1 0 205158617 140046336 30782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34191 30782 108 232 0 33956 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 136764

[startup+110.043 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1099008/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=136948 CPUtime=110.02
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31212 0 0 0 10967 35 0 0 25 0 1 0 205158617 140234752 30849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551326 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34237 30849 108 232 0 34002 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 136948

[startup+120.048 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1098752/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=137148 CPUtime=120.02
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31271 0 0 0 11966 36 0 0 25 0 1 0 205158617 140439552 30908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34287 30908 108 232 0 34052 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 137148

[startup+130.052 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1098496/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=137356 CPUtime=130.03
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31332 0 0 0 12966 37 0 0 25 0 1 0 205158617 140652544 30969 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34339 30969 108 232 0 34104 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 137356

[startup+140.056 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1098304/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=137520 CPUtime=140.03
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31376 0 0 0 13965 38 0 0 25 0 1 0 205158617 140820480 31013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549084 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34380 31013 108 232 0 34145 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 137520

[startup+150.061 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1098112/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=139240 CPUtime=150.03
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31812 0 0 0 14964 39 0 0 25 0 1 0 205158617 142581760 31064 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549064 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34810 31064 108 232 0 34575 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 139240

[startup+160.064 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1097984/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=139240 CPUtime=160.04
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31846 0 0 0 15964 40 0 0 25 0 1 0 205158617 142581760 31098 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34810 31098 108 232 0 34575 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 139240

[startup+170.068 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1097792/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=139444 CPUtime=170.04
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31888 0 0 0 16963 41 0 0 25 0 1 0 205158617 142790656 31140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564537 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34861 31140 108 232 0 34626 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 139444

[startup+180.072 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1097664/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=139444 CPUtime=180.04
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31924 0 0 0 17963 41 0 0 25 0 1 0 205158617 142790656 31176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34861 31176 108 232 0 34626 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 139444

[startup+190.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1097472/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=139644 CPUtime=190.05
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31966 0 0 0 18962 43 0 0 25 0 1 0 205158617 142995456 31218 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34911 31218 108 232 0 34676 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 139644

[startup+200.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1097280/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=139644 CPUtime=200.05
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 32010 0 0 0 19961 44 0 0 25 0 1 0 205158617 142995456 31262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564502 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 34911 31262 108 232 0 34676 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 139644

[startup+210.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8262
/proc/meminfo: memFree=1097152/2055920 swapFree=4181468/4192956

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

/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39348 0 0 0 177979 176 0 0 25 0 1 0 205158617 162938880 36294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39780 36294 108 232 0 39545 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 159120

[startup+1782.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076864/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159120 CPUtime=1782.56
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39350 0 0 0 178080 176 0 0 25 0 1 0 205158617 162938880 36296 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39780 36296 108 232 0 39545 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 159120

[startup+1783.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159120 CPUtime=1783.56
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39351 0 0 0 178180 176 0 0 25 0 1 0 205158617 162938880 36297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39780 36297 108 232 0 39545 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 159120

[startup+1784.79 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159120 CPUtime=1784.56
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39356 0 0 0 178280 176 0 0 25 0 1 0 205158617 162938880 36302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39780 36302 108 232 0 39545 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 159120

[startup+1785.79 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076864/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159120 CPUtime=1785.57
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39358 0 0 0 178381 176 0 0 25 0 1 0 205158617 162938880 36304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39780 36304 108 232 0 39545 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 159120

[startup+1786.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076864/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159120 CPUtime=1786.57
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39359 0 0 0 178481 176 0 0 25 0 1 0 205158617 162938880 36305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39780 36305 108 232 0 39545 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 159120

[startup+1787.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076864/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1787.58
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39364 0 0 0 178582 176 0 0 25 0 1 0 205158617 163700736 36310 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36310 108 232 0 39731 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 159864

[startup+1788.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1788.58
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39366 0 0 0 178682 176 0 0 25 0 1 0 205158617 163700736 36312 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36312 108 232 0 39731 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 159864

[startup+1789.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1789.59
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39367 0 0 0 178783 176 0 0 25 0 1 0 205158617 163700736 36313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36313 108 232 0 39731 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 159864

[startup+1790.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1790.59
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39372 0 0 0 178883 176 0 0 25 0 1 0 205158617 163700736 36318 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36318 108 232 0 39731 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 159864

[startup+1791.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1791.59
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39374 0 0 0 178983 176 0 0 25 0 1 0 205158617 163700736 36320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36320 108 232 0 39731 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 159864

[startup+1792.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1792.61
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39375 0 0 0 179084 177 0 0 25 0 1 0 205158617 163700736 36321 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36321 108 232 0 39731 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 159864

[startup+1793.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1793.61
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39381 0 0 0 179184 177 0 0 25 0 1 0 205158617 163700736 36327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36327 108 232 0 39731 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 159864

[startup+1794.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1794.61
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39382 0 0 0 179284 177 0 0 25 0 1 0 205158617 163700736 36328 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36328 108 232 0 39731 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 159864

[startup+1795.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1795.62
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39383 0 0 0 179385 177 0 0 25 0 1 0 205158617 163700736 36329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549466 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36329 108 232 0 39731 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 159864

[startup+1796.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1796.62
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39389 0 0 0 179485 177 0 0 25 0 1 0 205158617 163700736 36335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36335 108 232 0 39731 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 159864

[startup+1797.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1797.62
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39391 0 0 0 179585 177 0 0 25 0 1 0 205158617 163700736 36337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36337 108 232 0 39731 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 159864

[startup+1798.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1798.63
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39392 0 0 0 179685 178 0 0 25 0 1 0 205158617 163700736 36338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549471 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36338 108 232 0 39731 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 159864

[startup+1799.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076672/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1799.64
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39397 0 0 0 179786 178 0 0 25 0 1 0 205158617 163700736 36343 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36343 108 232 0 39731 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 159864

[startup+1800.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076672/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1800.64
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39399 0 0 0 179886 178 0 0 25 0 1 0 205158617 163700736 36345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36345 108 232 0 39731 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 159864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8264
/proc/meminfo: memFree=1076672/2055920 swapFree=4181468/4192956
[pid=8262] ppid=8260 vsize=159864 CPUtime=1800.64
/proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39399 0 0 0 179886 178 0 0 25 0 1 0 205158617 163700736 36345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/8262/statm: 39966 36345 108 232 0 39731 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 159864

Sending SIGTERM to -8262
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.9
CPU time (s): 1800.68
CPU user time (s): 1798.87
CPU system time (s): 1.80672
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (Kb): 159864
The end

Launcher Data (download as text)

Begin job on node16 on Sun Jun  4 04:22:38 UTC 2006


FILE ID= 41662-1149394958

PBS_JOBID= 313626

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  eb191f4787a2203be4bff8f6c7c8f66d

RANDOM SEED= 508455503


/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.231
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.231
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:       1222208 kB
Buffers:         30320 kB
Cached:         726452 kB
SwapCached:       3128 kB
Active:         416128 kB
Inactive:       349288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1222208 kB
SwapTotal:     4192956 kB
SwapFree:      4181468 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            54332 kB
Committed_AS:   320744 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node16 on Sun Jun  4 04:52:39 UTC 2006