Trace number 41659

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.72 1801.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
MD5SUM363fb8dacb34b0fd2f0470bc356b38da
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.52
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 variables1957
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 1957
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 1957
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 1957
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/node69/41659-1149393873/instance-41659-1149393873.opb ......
0.07	c done parsing opb.
0.07	o 1808
0.09	o 1807
0.10	o 1327
10.69	o 1326
10.70	o 1325
10.71	o 1324
10.72	o 1323
10.73	o 1322
10.74	o 1321
10.75	o 1320
10.77	o 1319
10.78	o 1318
10.79	o 1317
10.80	o 1316
10.81	o 1315
10.82	o 1314
10.83	o 1313
10.85	o 1312
10.86	o 1311
10.87	o 1310
10.88	o 1309
10.89	o 1308
10.90	o 1307
10.91	o 1306
10.93	o 1305
10.94	o 1304
10.95	o 1303
10.96	o 1302
10.97	o 1301
10.98	o 1300
10.99	o 1299
11.00	o 1298
11.02	o 1297
11.03	o 1296
11.04	o 1295
11.05	o 1294
11.06	o 1293
11.07	o 1292
11.08	o 1291
11.09	o 1290
11.11	o 1289
11.12	o 1288
11.13	o 1287
11.14	o 1286
11.15	o 1285
11.16	o 1284
11.17	o 1283
11.18	o 1282
11.20	o 1281
11.21	o 1280
11.22	o 1279
11.23	o 1278
11.24	o 1277
11.25	o 1276
11.26	o 1275
11.27	o 1274
11.28	o 1273
11.30	o 1272
11.31	o 1271
11.32	o 1270
11.33	o 1269
11.34	o 1268
11.35	o 1267
11.36	o 1266
11.37	o 1265
11.38	o 1264
11.39	o 1263
11.40	o 1262
11.42	o 1261
11.43	o 1260
11.44	o 1259
11.45	o 1258
11.46	o 1257
11.47	o 1256
11.48	o 1255
11.49	o 1254
11.50	o 1253
11.51	o 1252
11.52	o 1251
11.53	o 1250
11.55	o 1249
11.56	o 1248
11.57	o 1214
11.86	o 1213
15.67	o 1212
17.20	o 1211
21.56	o 1210
23.12	o 1209
27.60	o 1208
30.19	o 1207
35.04	o 1206
37.57	o 1205
41.71	o 1204
44.32	o 1203
48.88	o 1202
52.35	o 1201
56.72	o 1200
60.16	o 1199
65.51	o 1198
68.98	o 1197
73.75	o 1196

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/node69/watcher-41659-1149393873 -o ROOT/results/node69/solver-41659-1149393873 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node69/41659-1149393873/instance-41659-1149393873.opb 743480027 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 32513
/proc/meminfo: memFree=1848228/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=1584 CPUtime=0
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 205057405 1622016 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 396 134 90 232 0 161 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1777716/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=133360 CPUtime=9.99
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 17783 0 0 0 991 8 0 0 25 0 1 0 205057405 136560640 17710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33340 17710 108 232 0 33105 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 133360

[startup+20.0078 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1767924/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=133880 CPUtime=19.99
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20247 0 0 0 1983 16 0 0 25 0 1 0 205057405 137093120 20174 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33470 20174 108 232 0 33235 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 133880

[startup+30.0137 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1767604/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=134152 CPUtime=30
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20329 0 0 0 2981 19 0 0 25 0 1 0 205057405 137371648 20256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33538 20256 108 232 0 33303 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 134152

[startup+40.0195 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1767284/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=134796 CPUtime=40
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20496 0 0 0 3980 20 0 0 25 0 1 0 205057405 138031104 20326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33699 20326 108 232 0 33464 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 134796

[startup+50.0264 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1767156/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=135056 CPUtime=50
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20552 0 0 0 4979 21 0 0 25 0 1 0 205057405 138297344 20382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33764 20382 108 232 0 33529 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 135056

[startup+60.0312 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1767028/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=135056 CPUtime=60
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20587 0 0 0 5977 23 0 0 25 0 1 0 205057405 138297344 20417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33764 20417 108 232 0 33529 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 135056

[startup+70.0371 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1766772/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=135336 CPUtime=70.01
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20644 0 0 0 6973 28 0 0 25 0 1 0 205057405 138584064 20474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33834 20474 108 232 0 33599 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 135336

[startup+80.0429 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1766580/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=135464 CPUtime=80.01
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20690 0 0 0 7968 33 0 0 25 0 1 0 205057405 138715136 20520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33866 20520 108 232 0 33631 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 135464

[startup+90.0488 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1766388/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=135624 CPUtime=90.01
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20757 0 0 0 8966 35 0 0 25 0 1 0 205057405 138878976 20587 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563509 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 33906 20587 108 232 0 33671 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 135624

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1765940/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=136528 CPUtime=100.02
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21002 0 0 0 9966 36 0 0 25 0 1 0 205057405 139804672 20639 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34132 20639 108 232 0 33897 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 136528

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1765940/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=136660 CPUtime=110.02
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21052 0 0 0 10965 37 0 0 25 0 1 0 205057405 139939840 20689 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34165 20689 108 232 0 33930 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 136660

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1765748/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=136660 CPUtime=120.02
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21097 0 0 0 11964 38 0 0 25 0 1 0 205057405 139939840 20734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34165 20734 108 232 0 33930 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 136660

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1765556/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=136804 CPUtime=130.03
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21139 0 0 0 12964 39 0 0 25 0 1 0 205057405 140087296 20776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34201 20776 108 232 0 33966 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 136804

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1765364/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=136956 CPUtime=140.03
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21183 0 0 0 13962 41 0 0 25 0 1 0 205057405 140242944 20820 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34239 20820 108 232 0 34004 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 136956

[startup+150.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1765236/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=136956 CPUtime=150.03
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21225 0 0 0 14961 42 0 0 25 0 1 0 205057405 140242944 20862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34239 20862 108 232 0 34004 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 136956

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1765044/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=137128 CPUtime=160.04
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21267 0 0 0 15961 43 0 0 25 0 1 0 205057405 140419072 20904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34282 20904 108 232 0 34047 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 137128

[startup+170.096 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1764852/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=137128 CPUtime=170.04
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21317 0 0 0 16959 45 0 0 25 0 1 0 205057405 140419072 20954 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34282 20954 108 232 0 34047 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 137128

[startup+180.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1764660/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=137324 CPUtime=180.05
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21356 0 0 0 17959 46 0 0 25 0 1 0 205057405 140619776 20993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34331 20993 108 232 0 34096 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 137324

[startup+190.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1764340/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=138860 CPUtime=190.05
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21786 0 0 0 18957 48 0 0 25 0 1 0 205057405 142192640 21038 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34715 21038 108 232 0 34480 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 138860

[startup+200.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1764276/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=138860 CPUtime=200.06
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21827 0 0 0 19957 49 0 0 25 0 1 0 205057405 142192640 21079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549486 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 34715 21079 108 232 0 34480 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 138860

[startup+210.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 32513
/proc/meminfo: memFree=1764212/2055920 swapFree=4182176/4192956

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

/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 32987 0 0 0 177952 208 0 0 25 0 1 0 205057405 176304128 26860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26860 108 232 0 42808 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 172172

[startup+1783.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740916/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1782.6
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 32988 0 0 0 178052 208 0 0 25 0 1 0 205057405 176304128 26861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26861 108 232 0 42808 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 172172

[startup+1784.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1783.61
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 32994 0 0 0 178153 208 0 0 25 0 1 0 205057405 176304128 26867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26867 108 232 0 42808 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 172172

[startup+1785.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1784.61
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 32995 0 0 0 178253 208 0 0 25 0 1 0 205057405 176304128 26868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546253 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26868 108 232 0 42808 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (Kb) 172172

[startup+1786.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1785.62
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33001 0 0 0 178354 208 0 0 25 0 1 0 205057405 176304128 26874 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549262 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26874 108 232 0 42808 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 172172

[startup+1787.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1786.62
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33002 0 0 0 178454 208 0 0 25 0 1 0 205057405 176304128 26875 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26875 108 232 0 42808 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 172172

[startup+1788.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1787.62
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33003 0 0 0 178554 208 0 0 25 0 1 0 205057405 176304128 26876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549084 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26876 108 232 0 42808 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 172172

[startup+1789.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1788.63
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33009 0 0 0 178655 208 0 0 25 0 1 0 205057405 176304128 26882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26882 108 232 0 42808 0
Current children cumulated CPU time (s) 1788.63
Current children cumulated vsize (Kb) 172172

[startup+1790.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1789.63
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33010 0 0 0 178755 208 0 0 25 0 1 0 205057405 176304128 26883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26883 108 232 0 42808 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (Kb) 172172

[startup+1791.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1790.64
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33012 0 0 0 178856 208 0 0 25 0 1 0 205057405 176304128 26885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26885 108 232 0 42808 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 172172

[startup+1792.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1791.65
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33017 0 0 0 178956 209 0 0 25 0 1 0 205057405 176304128 26890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26890 108 232 0 42808 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 172172

[startup+1793.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1792.65
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33019 0 0 0 179056 209 0 0 25 0 1 0 205057405 176304128 26892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26892 108 232 0 42808 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (Kb) 172172

[startup+1794.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1793.66
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33020 0 0 0 179157 209 0 0 25 0 1 0 205057405 176304128 26893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26893 108 232 0 42808 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 172172

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1794.66
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33026 0 0 0 179257 209 0 0 25 0 1 0 205057405 176304128 26899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26899 108 232 0 42808 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (Kb) 172172

[startup+1796.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1795.66
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33028 0 0 0 179357 209 0 0 25 0 1 0 205057405 176304128 26901 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26901 108 232 0 42808 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (Kb) 172172

[startup+1797.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1796.67
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33030 0 0 0 179458 209 0 0 25 0 1 0 205057405 176304128 26903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26903 108 232 0 42808 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 172172

[startup+1798.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1797.67
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33035 0 0 0 179558 209 0 0 25 0 1 0 205057405 176304128 26908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26908 108 232 0 42808 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (Kb) 172172

[startup+1799.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1798.67
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33036 0 0 0 179658 209 0 0 25 0 1 0 205057405 176304128 26909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26909 108 232 0 42808 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 172172

[startup+1800.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740660/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1799.68
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33038 0 0 0 179759 209 0 0 25 0 1 0 205057405 176304128 26911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551473 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26911 108 232 0 42808 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 172172

[startup+1801.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740660/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1800.69
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33043 0 0 0 179859 210 0 0 25 0 1 0 205057405 176304128 26916 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26916 108 232 0 42808 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 172172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32515
/proc/meminfo: memFree=1740660/2055920 swapFree=4182176/4192956
[pid=32513] ppid=32511 vsize=172172 CPUtime=1800.7
/proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33043 0 0 0 179860 210 0 0 25 0 1 0 205057405 176304128 26916 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0
/proc/32513/statm: 43043 26916 108 232 0 42808 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 172172

Sending SIGTERM to -32513
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.15
CPU time (s): 1800.72
CPU user time (s): 1798.6
CPU system time (s): 2.11968
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (Kb): 172172
The end

Launcher Data (download as text)

Begin job on node69 on Sun Jun  4 04:04:34 UTC 2006


FILE ID= 41659-1149393873

PBS_JOBID= 313581

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  363fb8dacb34b0fd2f0470bc356b38da

RANDOM SEED= 743480027


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848500 kB
Buffers:         14264 kB
Cached:         128312 kB
SwapCached:       2264 kB
Active:          24680 kB
Inactive:       126396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848500 kB
SwapTotal:     4192956 kB
SwapFree:      4182176 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          15240 kB
Slab:            42356 kB
Committed_AS:   412988 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node69 on Sun Jun  4 04:34:35 UTC 2006