Trace number 41658

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.59 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
MD5SUM1a62ccf42beef1991aac7e4813cc0d13
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1031
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1031
Optimality of the best value was proved NO
Number of variables1959
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 1959
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 1959
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 1959
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/node92/41658-1149393523/instance-41658-1149393523.opb ......
0.07	c done parsing opb.
0.07	o 1790
0.08	o 1789
0.10	o 1788
0.12	o 1787
0.13	o 1786
0.15	o 1785
0.17	o 1784
0.18	o 1783
0.20	o 1782
0.21	o 1781
0.23	o 1780
0.25	o 1779
0.26	o 1778
0.28	o 1777
0.30	o 1776
0.31	o 1775
0.33	o 1774
0.35	o 1773
0.36	o 1772
0.38	o 1771
0.40	o 1770
0.41	o 1552
0.43	o 1551
0.44	o 1550
0.46	o 1549
0.47	o 1548
0.49	o 1547
0.50	o 1546
0.52	o 1545
0.53	o 1544
0.54	o 1543
0.56	o 1542
0.57	o 1541
0.59	o 1540
0.60	o 1539
0.62	o 1538
0.63	o 1537
0.65	o 1536
0.66	o 1535
0.68	o 1534
0.69	o 1313
0.70	o 1312
0.71	o 1311
0.73	o 1310
0.74	o 1309
0.75	o 1308
0.76	o 1307
0.78	o 1306
0.79	o 1305
0.80	o 1304
0.81	o 1303
0.83	o 1302
0.84	o 1301
0.85	o 1300
0.86	o 1299
0.88	o 1298
10.53	o 1297
10.54	o 1296
10.55	o 1295
10.56	o 1294
10.57	o 1293
10.58	o 1292
10.59	o 1291
10.60	o 1290
10.61	o 1289
10.62	o 1288
10.63	o 1287
10.64	o 1286
10.65	o 1285
10.66	o 1284
10.67	o 1283
10.68	o 1282
10.69	o 1281
10.70	o 1280
10.71	o 1279
10.72	o 1278
10.74	o 1277
10.75	o 1276
10.76	o 1275
10.77	o 1274
10.78	o 1273
10.79	o 1272
10.80	o 1271
10.81	o 1270
10.82	o 1269
10.83	o 1268
10.84	o 1267
10.85	o 1266
10.86	o 1265
10.87	o 1264
10.88	o 1263
10.89	o 1262
10.90	o 1261
10.91	o 1260
10.92	o 1259
10.93	o 1258
10.94	o 1257
10.95	o 1256
10.96	o 1255
10.97	o 1254
10.98	o 1253
10.99	o 1240
12.21	o 1221
12.22	o 1220
12.23	o 1219
12.24	o 1218
12.25	o 1217
12.26	o 1216
12.27	o 1215
12.28	o 1214
12.29	o 1213
12.30	o 1212
12.32	o 1211
12.33	o 1210
12.34	o 1209
12.35	o 1208
12.36	o 1207
12.37	o 1206
12.38	o 1205
12.39	o 1204
12.40	o 1203
12.41	o 1202
12.42	o 1201
12.43	o 1200
12.44	o 1199
12.45	o 1198
12.46	o 1197
12.48	o 1196
12.49	o 1195
12.50	o 1194
12.51	o 1193
12.52	o 1192
12.53	o 1191
12.54	o 1190
12.55	o 1189
12.56	o 1188
12.57	o 1187
12.58	o 1186
12.59	o 1185
12.60	o 1184
12.61	o 1183
12.62	o 1182
12.63	o 1181
12.64	o 1180
12.65	o 1179
12.67	o 1178
12.68	o 1177
12.69	o 1176
12.70	o 1175
12.71	o 1174
12.72	o 1173
12.73	o 1172
12.74	o 1171
12.75	o 1170
12.76	o 1169
12.77	o 1168
12.78	o 1167
12.79	o 1166
12.80	o 1165
12.81	o 1164

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/node92/watcher-41658-1149393523 -o ROOT/results/node92/solver-41658-1149393523 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node92/41658-1149393523/instance-41658-1149393523.opb 755210410 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1496072/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=1584 CPUtime=0
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 165 0 0 0 0 0 0 0 18 0 1 0 204991128 1622016 150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 396 151 90 232 0 161 0

[startup+10.0029 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1426824/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=133484 CPUtime=9.98
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 17462 0 0 0 986 12 0 0 25 0 1 0 204991128 136687616 17390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585488 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33371 17390 108 232 0 33136 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 133484

[startup+20.0092 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1405320/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=133764 CPUtime=19.99
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 22814 0 0 0 1979 20 0 0 25 0 1 0 204991128 136974336 22742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564535 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33441 22742 108 232 0 33206 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 133764

[startup+30.0155 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1392136/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134020 CPUtime=29.99
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26105 0 0 0 2973 26 0 0 25 0 1 0 204991128 137236480 26033 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549510 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33505 26033 108 232 0 33270 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 134020

[startup+40.0208 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391944/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134404 CPUtime=39.99
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26225 0 0 0 3971 28 0 0 25 0 1 0 204991128 137629696 26056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33601 26056 108 232 0 33366 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 134404

[startup+50.0271 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391944/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134544 CPUtime=50
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26253 0 0 0 4967 33 0 0 25 0 1 0 204991128 137773056 26084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549303 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33636 26084 108 232 0 33401 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 134544

[startup+60.0334 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391880/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134544 CPUtime=60
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26278 0 0 0 5965 35 0 0 25 0 1 0 204991128 137773056 26109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33636 26109 108 232 0 33401 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 134544

[startup+70.0396 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391752/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134668 CPUtime=70
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26298 0 0 0 6963 37 0 0 25 0 1 0 204991128 137900032 26129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33667 26129 108 232 0 33432 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 134668

[startup+80.0459 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391624/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134800 CPUtime=80.01
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26339 0 0 0 7959 42 0 0 25 0 1 0 204991128 138035200 26170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33700 26170 108 232 0 33465 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 134800

[startup+90.0523 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391560/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134800 CPUtime=90.01
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26356 0 0 0 8956 45 0 0 25 0 1 0 204991128 138035200 26187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33700 26187 108 232 0 33465 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 134800

[startup+100.058 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391496/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134800 CPUtime=100.01
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26378 0 0 0 9953 48 0 0 25 0 1 0 204991128 138035200 26209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33700 26209 108 232 0 33465 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 134800

[startup+110.064 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391368/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134956 CPUtime=110.02
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26404 0 0 0 10949 53 0 0 25 0 1 0 204991128 138194944 26235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33739 26235 108 232 0 33504 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 134956

[startup+120.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391304/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=134956 CPUtime=120.02
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26424 0 0 0 11947 55 0 0 25 0 1 0 204991128 138194944 26255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33739 26255 108 232 0 33504 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 134956

[startup+130.076 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9900
/proc/meminfo: memFree=1391112/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=135724 CPUtime=130.03
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26642 0 0 0 12944 59 0 0 25 0 1 0 204991128 138981376 26280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33931 26280 108 232 0 33696 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 135724

[startup+140.083 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 9923
/proc/meminfo: memFree=1389912/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=135724 CPUtime=140.01
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26666 0 0 0 13940 61 0 0 25 0 1 0 204991128 138981376 26304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33931 26304 108 232 0 33696 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 135724

[startup+150.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 9971
/proc/meminfo: memFree=1389784/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=135896 CPUtime=150
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26681 0 0 0 14937 63 0 0 25 0 1 0 204991128 139157504 26319 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549233 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33974 26319 108 232 0 33739 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 135896

[startup+160.096 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 10035
/proc/meminfo: memFree=1389656/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=135896 CPUtime=159.98
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26707 0 0 0 15930 68 0 0 25 0 1 0 204991128 139157504 26345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134593999 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33974 26345 108 232 0 33739 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 135896

[startup+170.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1390600/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=135896 CPUtime=169.98
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26732 0 0 0 16927 71 0 0 25 0 1 0 204991128 139157504 26370 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 33974 26370 108 232 0 33739 0
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 135896

[startup+180.109 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1390536/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=136032 CPUtime=179.98
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26750 0 0 0 17924 74 0 0 25 0 1 0 204991128 139296768 26388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564468 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 34008 26388 108 232 0 33773 0
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 136032

[startup+190.115 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1390408/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=136032 CPUtime=189.98
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26782 0 0 0 18922 76 0 0 25 0 1 0 204991128 139296768 26420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 34008 26420 108 232 0 33773 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 136032

[startup+200.121 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1390280/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=136200 CPUtime=199.98
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26822 0 0 0 19922 76 0 0 25 0 1 0 204991128 139468800 26460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 34050 26460 108 232 0 33815 0
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 136200

[startup+210.128 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1390088/2055892 swapFree=4084904/4096564

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

/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32080 0 0 0 178006 141 0 0 25 0 1 0 204991128 155987968 29027 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29027 108 232 0 37848 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 152332

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1782.48
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32085 0 0 0 178107 141 0 0 25 0 1 0 204991128 155987968 29032 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29032 108 232 0 37848 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (Kb) 152332

[startup+1784.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1783.48
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32086 0 0 0 178207 141 0 0 25 0 1 0 204991128 155987968 29033 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549279 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29033 108 232 0 37848 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (Kb) 152332

[startup+1785.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1784.49
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32086 0 0 0 178308 141 0 0 25 0 1 0 204991128 155987968 29033 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29033 108 232 0 37848 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 152332

[startup+1786.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1785.49
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32087 0 0 0 178408 141 0 0 25 0 1 0 204991128 155987968 29034 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29034 108 232 0 37848 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 152332

[startup+1787.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1786.5
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32088 0 0 0 178509 141 0 0 25 0 1 0 204991128 155987968 29035 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29035 108 232 0 37848 0
Current children cumulated CPU time (s) 1786.5
Current children cumulated vsize (Kb) 152332

[startup+1788.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1787.5
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32088 0 0 0 178609 141 0 0 25 0 1 0 204991128 155987968 29035 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29035 108 232 0 37848 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 152332

[startup+1789.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1788.51
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32093 0 0 0 178710 141 0 0 25 0 1 0 204991128 155987968 29040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29040 108 232 0 37848 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (Kb) 152332

[startup+1790.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1789.51
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32094 0 0 0 178810 141 0 0 25 0 1 0 204991128 155987968 29041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549248 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29041 108 232 0 37848 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 152332

[startup+1791.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1790.52
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32095 0 0 0 178911 141 0 0 25 0 1 0 204991128 155987968 29042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29042 108 232 0 37848 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (Kb) 152332

[startup+1792.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1791.52
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32096 0 0 0 179011 141 0 0 25 0 1 0 204991128 155987968 29043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29043 108 232 0 37848 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (Kb) 152332

[startup+1793.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1792.52
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32097 0 0 0 179111 141 0 0 25 0 1 0 204991128 155987968 29044 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29044 108 232 0 37848 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 152332

[startup+1794.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1793.53
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32102 0 0 0 179212 141 0 0 25 0 1 0 204991128 155987968 29049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549233 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29049 108 232 0 37848 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 152332

[startup+1795.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1794.53
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32102 0 0 0 179312 141 0 0 25 0 1 0 204991128 155987968 29049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29049 108 232 0 37848 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 152332

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1795.53
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32103 0 0 0 179412 141 0 0 25 0 1 0 204991128 155987968 29050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29050 108 232 0 37848 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 152332

[startup+1797.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1796.54
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32103 0 0 0 179513 141 0 0 25 0 1 0 204991128 155987968 29050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29050 108 232 0 37848 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 152332

[startup+1798.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1797.54
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32104 0 0 0 179613 141 0 0 25 0 1 0 204991128 155987968 29051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29051 108 232 0 37848 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 152332

[startup+1799.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1798.55
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32105 0 0 0 179714 141 0 0 25 0 1 0 204991128 155987968 29052 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29052 108 232 0 37848 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 152332

[startup+1800.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1799.55
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32109 0 0 0 179814 141 0 0 25 0 1 0 204991128 155987968 29056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549270 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29056 108 232 0 37848 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 152332

[startup+1801.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1800.56
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32110 0 0 0 179915 141 0 0 25 0 1 0 204991128 155987968 29057 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29057 108 232 0 37848 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 152332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10095
/proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564
[pid=9900] ppid=9898 vsize=152332 CPUtime=1800.56
/proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32110 0 0 0 179915 141 0 0 25 0 1 0 204991128 155987968 29057 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/9900/statm: 38083 29057 108 232 0 37848 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 152332

Sending SIGTERM to -9900
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.59
CPU user time (s): 1799.16
CPU system time (s): 1.43678
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (Kb): 152332
The end

Launcher Data (download as text)

Begin job on node92 on Sun Jun  4 03:58:43 UTC 2006


FILE ID= 41658-1149393523

PBS_JOBID= 313567

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  1a62ccf42beef1991aac7e4813cc0d13

RANDOM SEED= 755210410


/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.214
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.19
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.214
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.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1496280 kB
Buffers:         23152 kB
Cached:         476852 kB
SwapCached:       2788 kB
Active:         111524 kB
Inactive:       397064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1496280 kB
SwapTotal:     4096564 kB
SwapFree:      4084904 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          15200 kB
Slab:            37752 kB
Committed_AS:   381204 kB
PageTables:       1256 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node92 on Sun Jun  4 04:28:44 UTC 2006