Trace number 41669

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.45 1801.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
MD5SUMd89a654d285384133d515ccaf16a0c40
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1040
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1040
Optimality of the best value was proved NO
Number of variables1968
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1968
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1968
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1968
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node3/41669-1149396803/instance-41669-1149396803.opb ......
0.07	c done parsing opb.
0.07	o 1822
0.09	o 1821
0.11	o 1820
0.13	o 1819
0.14	o 1818
0.16	o 1817
0.18	o 1816
0.20	o 1815
0.22	o 1814
0.23	o 1813
0.25	o 1812
0.27	o 1811
0.29	o 1810
0.31	o 1809
0.32	o 1808
0.34	o 1807
0.36	o 1806
0.38	o 1805
0.39	o 1804
0.41	o 1803
0.43	o 1802
0.45	o 1801
0.47	o 1800
0.48	o 1799
0.50	o 1798
0.52	o 1797
0.54	o 1796
0.56	o 1795
0.57	o 1794
0.59	o 1793
0.61	o 1792
0.63	o 1791
0.65	o 1790
0.66	o 1789
0.68	o 1788
0.70	o 1787
0.72	o 1786
0.74	o 1785
0.76	o 1784
0.77	o 1589
0.79	o 1364
0.80	o 1363
0.81	o 1362
0.83	o 1361
0.84	o 1360
0.85	o 1359
0.87	o 1358
0.88	o 1357
0.89	o 1356
0.91	o 1355
0.92	o 1354
0.93	o 1353
0.95	o 1352
0.96	o 1351
0.97	o 1350
0.99	o 1349
1.00	o 1348
1.01	o 1347
1.03	o 1346
1.04	o 1345
1.05	o 1344
1.07	o 1343
1.08	o 1342
11.87	o 1341
11.88	o 1340
11.90	o 1339
11.91	o 1338
11.92	o 1337
11.93	o 1336
11.94	o 1335
11.95	o 1334
11.97	o 1333
11.98	o 1332
11.99	o 1331
12.00	o 1330
12.01	o 1329
12.02	o 1328
12.04	o 1327
12.05	o 1326
12.06	o 1325
12.07	o 1324
12.08	o 1323
12.09	o 1322
12.11	o 1321
12.12	o 1320
12.13	o 1319
12.14	o 1318
12.15	o 1317
12.16	o 1316
12.17	o 1315
12.19	o 1314
12.20	o 1313
12.21	o 1312
12.22	o 1311
12.23	o 1310
12.24	o 1309
12.26	o 1308
12.27	o 1307
12.28	o 1306
12.29	o 1305
12.30	o 1304
12.31	o 1303
12.32	o 1302
12.33	o 1301
12.35	o 1300
12.36	o 1299
12.37	o 1298
12.38	o 1297
12.39	o 1296
12.40	o 1295
12.41	o 1294
12.42	o 1293
12.44	o 1292
12.45	o 1291
12.46	o 1290
12.47	o 1289
12.48	o 1288
12.49	o 1287
12.50	o 1286
12.51	o 1285
12.53	o 1284
12.54	o 1283
12.55	o 1282
12.56	o 1281
12.57	o 1280
12.58	o 1279
12.59	o 1278
12.60	o 1277
12.62	o 1276
12.63	o 1275
12.64	o 1251
12.77	o 1250
12.79	o 1240
13.65	o 1239
13.69	o 1238
13.70	o 1225
13.72	o 1224
13.75	o 1223
13.77	o 1217
13.78	o 1216
15.48	o 1215
18.66	o 1214
20.21	o 1213
23.98	o 1212
26.83	o 1211
26.84	o 1210
26.86	o 1209
26.87	o 1208
26.88	o 1207
26.89	o 1206
30.27	o 1205
111.47	o 1204
136.52	o 1203
154.79	o 1202
189.47	o 1201
208.10	o 1200
245.18	o 1199
267.66	o 1198

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/node3/watcher-41669-1149396803 -o ROOT/results/node3/solver-41669-1149396803 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node3/41669-1149396803/instance-41669-1149396803.opb 430268901 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.17 1.03 1.01 2/64 2965
/proc/meminfo: memFree=1459352/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=1588 CPUtime=0
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 134 0 0 0 0 0 0 0 18 0 1 0 205341974 1626112 118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 397 119 90 232 0 162 0

[startup+10.002 s]
/proc/loadavg: 1.14 1.03 1.01 2/64 2965
/proc/meminfo: memFree=1395680/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=67816 CPUtime=9.99
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 16077 0 0 0 984 15 0 0 25 0 1 0 205341974 69443584 16004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546311 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 16954 16004 108 232 0 16719 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 67816

[startup+20.0086 s]
/proc/loadavg: 1.12 1.03 1.01 2/64 2965
/proc/meminfo: memFree=1358944/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=134412 CPUtime=19.99
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 25242 0 0 0 1972 27 0 0 25 0 1 0 205341974 137637888 25169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 33603 25169 108 232 0 33368 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 134412

[startup+30.0152 s]
/proc/loadavg: 1.10 1.03 1.01 2/64 2965
/proc/meminfo: memFree=1344480/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=135060 CPUtime=29.99
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 28913 0 0 0 2968 31 0 0 25 0 1 0 205341974 138301440 28743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561195 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 33765 28743 108 232 0 33530 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 135060

[startup+40.0219 s]
/proc/loadavg: 1.09 1.03 1.01 2/64 2965
/proc/meminfo: memFree=1344160/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=135324 CPUtime=39.99
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29016 0 0 0 3967 32 0 0 25 0 1 0 205341974 138571776 28846 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549486 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 33831 28846 108 232 0 33596 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 135324

[startup+50.0285 s]
/proc/loadavg: 1.07 1.03 1.01 2/64 2965
/proc/meminfo: memFree=1343968/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=135444 CPUtime=50
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29078 0 0 0 4966 34 0 0 25 0 1 0 205341974 138694656 28908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594580 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 33861 28908 108 232 0 33626 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 135444

[startup+60.0341 s]
/proc/loadavg: 1.06 1.03 1.00 2/64 2965
/proc/meminfo: memFree=1343712/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=135568 CPUtime=60
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29132 0 0 0 5965 35 0 0 25 0 1 0 205341974 138821632 28962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 33892 28962 108 232 0 33657 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 135568

[startup+70.0408 s]
/proc/loadavg: 1.05 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1343392/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=136488 CPUtime=70
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29375 0 0 0 6964 36 0 0 25 0 1 0 205341974 139763712 29012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34122 29012 108 232 0 33887 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 136488

[startup+80.0474 s]
/proc/loadavg: 1.04 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1343392/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=136608 CPUtime=80.01
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29424 0 0 0 7963 38 0 0 25 0 1 0 205341974 139886592 29061 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34152 29061 108 232 0 33917 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 136608

[startup+90.053 s]
/proc/loadavg: 1.04 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1343136/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=136744 CPUtime=90.01
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29475 0 0 0 8962 39 0 0 25 0 1 0 205341974 140025856 29112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34186 29112 108 232 0 33951 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 136744

[startup+100.059 s]
/proc/loadavg: 1.03 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1342944/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=136744 CPUtime=100.02
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29524 0 0 0 9961 41 0 0 25 0 1 0 205341974 140025856 29161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34186 29161 108 232 0 33951 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 136744

[startup+110.064 s]
/proc/loadavg: 1.02 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1342752/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=136900 CPUtime=110.02
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29577 0 0 0 10960 42 0 0 25 0 1 0 205341974 140185600 29214 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564535 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34225 29214 108 232 0 33990 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 136900

[startup+120.07 s]
/proc/loadavg: 1.02 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1342496/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=137084 CPUtime=120.02
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29635 0 0 0 11960 42 0 0 25 0 1 0 205341974 140374016 29272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549466 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34271 29272 108 232 0 34036 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 137084

[startup+130.076 s]
/proc/loadavg: 1.02 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1342240/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=137252 CPUtime=130.02
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29693 0 0 0 12959 43 0 0 25 0 1 0 205341974 140546048 29330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34313 29330 108 232 0 34078 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 137252

[startup+140.082 s]
/proc/loadavg: 1.01 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1342112/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=137412 CPUtime=140.03
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29738 0 0 0 13959 44 0 0 25 0 1 0 205341974 140709888 29375 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34353 29375 108 232 0 34118 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 137412

[startup+150.088 s]
/proc/loadavg: 1.01 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1341920/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=137572 CPUtime=150.03
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29783 0 0 0 14958 45 0 0 25 0 1 0 205341974 140873728 29420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564468 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34393 29420 108 232 0 34158 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 137572

[startup+160.093 s]
/proc/loadavg: 1.01 1.02 1.00 2/64 2965
/proc/meminfo: memFree=1341536/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=139108 CPUtime=160.03
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30217 0 0 0 15957 46 0 0 25 0 1 0 205341974 142446592 29469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34777 29469 108 232 0 34542 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 139108

[startup+170.099 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 2965
/proc/meminfo: memFree=1341472/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=139280 CPUtime=170.03
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30265 0 0 0 16956 47 0 0 25 0 1 0 205341974 142622720 29517 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549294 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34820 29517 108 232 0 34585 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 139280

[startup+180.105 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 2965
/proc/meminfo: memFree=1341344/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=139280 CPUtime=180.03
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30303 0 0 0 17956 47 0 0 25 0 1 0 205341974 142622720 29555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34820 29555 108 232 0 34585 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 139280

[startup+190.11 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 2965
/proc/meminfo: memFree=1341152/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=139464 CPUtime=190.03
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30352 0 0 0 18955 48 0 0 25 0 1 0 205341974 142811136 29604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34866 29604 108 232 0 34631 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 139464

[startup+200.116 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 2965
/proc/meminfo: memFree=1341024/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=139672 CPUtime=200.04
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30400 0 0 0 19955 49 0 0 25 0 1 0 205341974 143024128 29652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 34918 29652 108 232 0 34683 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 139672

[startup+210.122 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 2965
/proc/meminfo: memFree=1340832/2055920 swapFree=4181424/4192956

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

/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37020 0 0 0 177970 163 0 0 25 0 1 0 205341974 161460224 33966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33966 108 232 0 39184 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 157676

[startup+1783.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323368/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1782.33
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37025 0 0 0 178070 163 0 0 25 0 1 0 205341974 161460224 33971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33971 108 232 0 39184 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (Kb) 157676

[startup+1784.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1783.34
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37026 0 0 0 178171 163 0 0 25 0 1 0 205341974 161460224 33972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33972 108 232 0 39184 0
Current children cumulated CPU time (s) 1783.34
Current children cumulated vsize (Kb) 157676

[startup+1785.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1784.34
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37028 0 0 0 178271 163 0 0 25 0 1 0 205341974 161460224 33974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33974 108 232 0 39184 0
Current children cumulated CPU time (s) 1784.34
Current children cumulated vsize (Kb) 157676

[startup+1786.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1785.34
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37033 0 0 0 178371 163 0 0 25 0 1 0 205341974 161460224 33979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33979 108 232 0 39184 0
Current children cumulated CPU time (s) 1785.34
Current children cumulated vsize (Kb) 157676

[startup+1787.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1786.35
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37034 0 0 0 178472 163 0 0 25 0 1 0 205341974 161460224 33980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33980 108 232 0 39184 0
Current children cumulated CPU time (s) 1786.35
Current children cumulated vsize (Kb) 157676

[startup+1788.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1787.35
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37035 0 0 0 178572 163 0 0 25 0 1 0 205341974 161460224 33981 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33981 108 232 0 39184 0
Current children cumulated CPU time (s) 1787.35
Current children cumulated vsize (Kb) 157676

[startup+1789.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323368/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1788.36
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37036 0 0 0 178673 163 0 0 25 0 1 0 205341974 161460224 33982 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33982 108 232 0 39184 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (Kb) 157676

[startup+1790.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1789.37
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37041 0 0 0 178773 164 0 0 25 0 1 0 205341974 161460224 33987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33987 108 232 0 39184 0
Current children cumulated CPU time (s) 1789.37
Current children cumulated vsize (Kb) 157676

[startup+1791.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1790.37
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37043 0 0 0 178873 164 0 0 25 0 1 0 205341974 161460224 33989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33989 108 232 0 39184 0
Current children cumulated CPU time (s) 1790.37
Current children cumulated vsize (Kb) 157676

[startup+1792.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1791.38
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37044 0 0 0 178974 164 0 0 25 0 1 0 205341974 161460224 33990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33990 108 232 0 39184 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (Kb) 157676

[startup+1793.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1792.38
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37049 0 0 0 179074 164 0 0 25 0 1 0 205341974 161460224 33995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33995 108 232 0 39184 0
Current children cumulated CPU time (s) 1792.38
Current children cumulated vsize (Kb) 157676

[startup+1794.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1793.39
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37050 0 0 0 179175 164 0 0 25 0 1 0 205341974 161460224 33996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33996 108 232 0 39184 0
Current children cumulated CPU time (s) 1793.39
Current children cumulated vsize (Kb) 157676

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1794.39
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37051 0 0 0 179275 164 0 0 25 0 1 0 205341974 161460224 33997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33997 108 232 0 39184 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (Kb) 157676

[startup+1796.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1795.39
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37052 0 0 0 179375 164 0 0 25 0 1 0 205341974 161460224 33998 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 33998 108 232 0 39184 0
Current children cumulated CPU time (s) 1795.39
Current children cumulated vsize (Kb) 157676

[startup+1797.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1796.4
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37058 0 0 0 179476 164 0 0 25 0 1 0 205341974 161460224 34004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 34004 108 232 0 39184 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (Kb) 157676

[startup+1798.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1797.4
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37060 0 0 0 179576 164 0 0 25 0 1 0 205341974 161460224 34006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 34006 108 232 0 39184 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (Kb) 157676

[startup+1799.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1798.41
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37061 0 0 0 179677 164 0 0 25 0 1 0 205341974 161460224 34007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 34007 108 232 0 39184 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (Kb) 157676

[startup+1800.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1799.41
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37067 0 0 0 179777 164 0 0 25 0 1 0 205341974 161460224 34013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 34013 108 232 0 39184 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (Kb) 157676

[startup+1801.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1800.41
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37068 0 0 0 179877 164 0 0 25 0 1 0 205341974 161460224 34014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 34014 108 232 0 39184 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (Kb) 157676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 3160
/proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956
[pid=2965] ppid=2963 vsize=157676 CPUtime=1800.42
/proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37068 0 0 0 179878 164 0 0 25 0 1 0 205341974 161460224 34014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/2965/statm: 39419 34014 108 232 0 39184 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (Kb) 157676

Sending SIGTERM to -2965
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.45
CPU user time (s): 1798.78
CPU system time (s): 1.66975
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (Kb): 157676
The end

Launcher Data (download as text)

Begin job on node3 on Sun Jun  4 04:53:23 UTC 2006


FILE ID= 41669-1149396803

PBS_JOBID= 313718

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  d89a654d285384133d515ccaf16a0c40

RANDOM SEED= 430268901


/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.261
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.261
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:       1459560 kB
Buffers:         24752 kB
Cached:         500260 kB
SwapCached:       3416 kB
Active:          93448 kB
Inactive:       440420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1459560 kB
SwapTotal:     4192956 kB
SwapFree:      4181424 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            48524 kB
Committed_AS:   349512 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node3 on Sun Jun  4 05:23:24 UTC 2006