Trace number 41657

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.64 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
MD5SUMe19b588c94d7a5fd177e87fa7a6307a3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1033
Best CPU time to get the best result obtained on this benchmark1800.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1033
Optimality of the best value was proved NO
Number of variables1960
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 1960
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 1960
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 1960
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/node14/41657-1149393241/instance-41657-1149393241.opb ......
0.07	c done parsing opb.
0.07	o 1802
0.09	o 1801
0.11	o 1538
0.12	o 1537
11.37	o 1309
11.38	o 1308
11.39	o 1307
11.41	o 1306
11.42	o 1305
11.43	o 1304
11.44	o 1303
11.45	o 1302
11.46	o 1301
11.47	o 1300
11.48	o 1299
11.50	o 1298
11.51	o 1297
11.52	o 1296
11.53	o 1295
11.54	o 1294
11.55	o 1293
11.56	o 1292
11.57	o 1291
11.58	o 1290
11.60	o 1289
11.61	o 1288
11.62	o 1287
11.63	o 1286
11.64	o 1285
11.65	o 1284
11.66	o 1283
11.67	o 1282
11.68	o 1281
11.70	o 1280
11.71	o 1279
11.72	o 1278
11.73	o 1277
11.74	o 1276
11.75	o 1275
11.76	o 1274
11.77	o 1273
11.78	o 1272
11.80	o 1271
11.81	o 1270
11.82	o 1269
11.83	o 1268
11.84	o 1267
11.85	o 1266
11.86	o 1265
11.87	o 1264
11.88	o 1263
11.89	o 1262
11.91	o 1261
11.92	o 1260
11.93	o 1259
11.94	o 1258
11.95	o 1257
11.96	o 1256
11.97	o 1255
11.98	o 1254
11.99	o 1253
12.00	o 1252
12.01	o 1251
12.03	o 1250
12.04	o 1249
12.05	o 1248
12.06	o 1247
12.07	o 1246
12.08	o 1245
12.09	o 1244
12.10	o 1243
12.11	o 1242
12.12	o 1241
12.13	o 1240
12.14	o 1239
12.16	o 1238
12.17	o 1237
12.18	o 1236
12.19	o 1235
12.20	o 1234
12.21	o 1233
12.22	o 1232
12.23	o 1231
12.24	o 1201
12.44	o 1200
14.99	o 1199
19.32	o 1198
20.16	o 1197
24.47	o 1196
209.17	o 1195
236.67	o 1194
245.73	o 1193
263.00	o 1192
271.28	o 1191
281.87	o 1190
293.96	o 1189
328.50	o 1188
741.26	o 1187
775.60	o 1186

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/node14/watcher-41657-1149393241 -o ROOT/results/node14/solver-41657-1149393241 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41657-1149393241/instance-41657-1149393241.opb 240876067 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1645344/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=1368 CPUtime=0
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 108 0 0 0 0 0 0 0 19 0 1 0 204986788 1400832 92 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135095683 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 342 95 84 232 0 107 0

[startup+10.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1568000/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=133376 CPUtime=9.99
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 19490 0 0 0 992 7 0 0 25 0 1 0 204986788 136577024 19417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 33344 19417 108 232 0 33109 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 133376

[startup+20.0079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1540608/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=133784 CPUtime=19.99
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26313 0 0 0 1982 17 0 0 25 0 1 0 204986788 136994816 26240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 33446 26240 108 232 0 33211 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 133784

[startup+30.0139 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1540160/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=134168 CPUtime=29.99
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26440 0 0 0 2975 24 0 0 25 0 1 0 204986788 137388032 26367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 33542 26367 108 232 0 33307 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 134168

[startup+40.0188 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1539840/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=134820 CPUtime=39.99
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26627 0 0 0 3969 30 0 0 25 0 1 0 204986788 138055680 26457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 33705 26457 108 232 0 33470 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 134820

[startup+50.0248 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1539584/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=134960 CPUtime=50
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26690 0 0 0 4962 38 0 0 25 0 1 0 204986788 138199040 26520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 33740 26520 108 232 0 33505 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 134960

[startup+60.0307 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1539392/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=135104 CPUtime=60
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26747 0 0 0 5956 44 0 0 25 0 1 0 204986788 138346496 26577 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 33776 26577 108 232 0 33541 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 135104

[startup+70.0367 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1539136/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=135984 CPUtime=70.01
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27003 0 0 0 6949 52 0 0 25 0 1 0 204986788 139247616 26640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 33996 26640 108 232 0 33761 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 135984

[startup+80.0426 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1538880/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=136112 CPUtime=80.01
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27064 0 0 0 7940 61 0 0 25 0 1 0 204986788 139378688 26701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34028 26701 108 232 0 33793 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 136112

[startup+90.0486 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1538624/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=136256 CPUtime=90.02
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27121 0 0 0 8935 67 0 0 25 0 1 0 204986788 139526144 26758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34064 26758 108 232 0 33829 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 136256

[startup+100.054 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1538496/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=136416 CPUtime=100.02
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27177 0 0 0 9927 75 0 0 25 0 1 0 204986788 139689984 26814 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34104 26814 108 232 0 33869 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 136416

[startup+110.059 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1538240/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=136416 CPUtime=110.02
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27236 0 0 0 10920 82 0 0 25 0 1 0 204986788 139689984 26873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546257 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34104 26873 108 232 0 33869 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 136416

[startup+120.065 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1537984/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=136600 CPUtime=120.02
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27293 0 0 0 11911 91 0 0 25 0 1 0 204986788 139878400 26930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552786 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34150 26930 108 232 0 33915 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 136600

[startup+130.071 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1537600/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=138136 CPUtime=130.03
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27735 0 0 0 12905 98 0 0 25 0 1 0 204986788 141451264 26987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34534 26987 108 232 0 34299 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 138136

[startup+140.077 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1537536/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=138340 CPUtime=140.03
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27787 0 0 0 13898 105 0 0 25 0 1 0 204986788 141660160 27039 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552342 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34585 27039 108 232 0 34350 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 138340

[startup+150.083 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1537344/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=138456 CPUtime=150.04
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27841 0 0 0 14890 114 0 0 25 0 1 0 204986788 141778944 27093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34614 27093 108 232 0 34379 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 138456

[startup+160.088 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1537088/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=138576 CPUtime=160.04
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27897 0 0 0 15884 120 0 0 25 0 1 0 204986788 141901824 27149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34644 27149 108 232 0 34409 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 138576

[startup+170.094 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1536896/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=138700 CPUtime=170.04
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27949 0 0 0 16877 127 0 0 25 0 1 0 204986788 142028800 27201 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549056 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34675 27201 108 232 0 34440 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 138700

[startup+180.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1536704/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=138836 CPUtime=180.04
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27999 0 0 0 17871 133 0 0 25 0 1 0 204986788 142168064 27251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34709 27251 108 232 0 34474 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 138836

[startup+190.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1536448/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=138980 CPUtime=190.05
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 28053 0 0 0 18864 141 0 0 25 0 1 0 204986788 142315520 27305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34745 27305 108 232 0 34510 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 138980

[startup+200.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1536256/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=138980 CPUtime=200.05
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 28104 0 0 0 19858 147 0 0 25 0 1 0 204986788 142315520 27356 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 34745 27356 108 232 0 34510 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 138980

[startup+210.119 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10300
/proc/meminfo: memFree=1536064/2055920 swapFree=4181448/4192956

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

/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34570 0 0 0 177892 259 0 0 25 0 1 0 204986788 161759232 31516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31516 108 232 0 39257 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 157968

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1782.52
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34572 0 0 0 177993 259 0 0 25 0 1 0 204986788 161759232 31518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31518 108 232 0 39257 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 157968

[startup+1784.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1783.52
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34573 0 0 0 178093 259 0 0 25 0 1 0 204986788 161759232 31519 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31519 108 232 0 39257 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 157968

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1784.53
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34575 0 0 0 178194 259 0 0 25 0 1 0 204986788 161759232 31521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563380 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31521 108 232 0 39257 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (Kb) 157968

[startup+1786.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1785.53
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34576 0 0 0 178294 259 0 0 25 0 1 0 204986788 161759232 31522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31522 108 232 0 39257 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 157968

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1786.53
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34576 0 0 0 178394 259 0 0 25 0 1 0 204986788 161759232 31522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31522 108 232 0 39257 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 157968

[startup+1788.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1787.54
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34577 0 0 0 178495 259 0 0 25 0 1 0 204986788 161759232 31523 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31523 108 232 0 39257 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (Kb) 157968

[startup+1789.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1788.54
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34578 0 0 0 178595 259 0 0 25 0 1 0 204986788 161759232 31524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31524 108 232 0 39257 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 157968

[startup+1790.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1789.55
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34578 0 0 0 178696 259 0 0 25 0 1 0 204986788 161759232 31524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31524 108 232 0 39257 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 157968

[startup+1791.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1790.56
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34587 0 0 0 178796 260 0 0 25 0 1 0 204986788 161759232 31533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31533 108 232 0 39257 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 157968

[startup+1792.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1791.56
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34589 0 0 0 178896 260 0 0 25 0 1 0 204986788 161759232 31535 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564517 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31535 108 232 0 39257 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 157968

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1792.57
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34591 0 0 0 178997 260 0 0 25 0 1 0 204986788 161759232 31537 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31537 108 232 0 39257 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 157968

[startup+1794.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1793.57
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34592 0 0 0 179097 260 0 0 25 0 1 0 204986788 161759232 31538 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31538 108 232 0 39257 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 157968

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1794.57
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34592 0 0 0 179197 260 0 0 25 0 1 0 204986788 161759232 31538 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31538 108 232 0 39257 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 157968

[startup+1796.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1795.58
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34593 0 0 0 179298 260 0 0 25 0 1 0 204986788 161759232 31539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31539 108 232 0 39257 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 157968

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1796.58
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34594 0 0 0 179398 260 0 0 25 0 1 0 204986788 161759232 31540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31540 108 232 0 39257 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (Kb) 157968

[startup+1798.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1797.59
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34595 0 0 0 179499 260 0 0 25 0 1 0 204986788 161759232 31541 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134560639 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31541 108 232 0 39257 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (Kb) 157968

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519168/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1798.59
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34604 0 0 0 179599 260 0 0 25 0 1 0 204986788 161759232 31550 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31550 108 232 0 39257 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 157968

[startup+1800.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519168/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1799.59
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34605 0 0 0 179699 260 0 0 25 0 1 0 204986788 161759232 31551 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31551 108 232 0 39257 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 157968

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519168/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1800.6
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34607 0 0 0 179800 260 0 0 25 0 1 0 204986788 161759232 31553 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31553 108 232 0 39257 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 157968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 10495
/proc/meminfo: memFree=1519168/2055920 swapFree=4181448/4192956
[pid=10300] ppid=10298 vsize=157968 CPUtime=1800.6
/proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34607 0 0 0 179800 260 0 0 25 0 1 0 204986788 161759232 31553 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134560704 0 0 4096 0 0 0 0 17 1 0 0
/proc/10300/statm: 39492 31553 108 232 0 39257 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 157968

Sending SIGTERM to -10300
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.17
CPU time (s): 1800.64
CPU user time (s): 1798.01
CPU system time (s): 2.6296
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (Kb): 157968
The end

Launcher Data (download as text)

Begin job on node14 on Sun Jun  4 03:54:01 UTC 2006


FILE ID= 41657-1149393241

PBS_JOBID= 313554

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  e19b588c94d7a5fd177e87fa7a6307a3

RANDOM SEED= 240876067


/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.241
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.241
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:       1645488 kB
Buffers:         23116 kB
Cached:         321652 kB
SwapCached:       3188 kB
Active:          88040 kB
Inactive:       265480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1645488 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            42892 kB
Committed_AS:   392308 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Sun Jun  4 04:24:02 UTC 2006