Trace number 458802

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
PBS4_v2 2007-03-23SAT (TO)282 1800.04 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
MD5SUMf97e3571862917880e13c63c8ac169f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark65
Best CPU time to get the best result obtained on this benchmark89.3124
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65
Optimality of the best value was proved YES
Number of variables2459
Total number of constraints873
Number of constraints which are clauses873
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 constraint1
Maximum length of a constraint146
Number of terms in the objective function 2459
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 2459
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2459
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/458802-1178644013/instance-458802-1178644013.opb ......
0.09/0.19	c done parsing opb.
0.09/0.19	o 2436
0.19/0.22	o 2434
0.19/0.25	o 2433
0.19/0.28	o 2432
0.29/0.31	o 2431
0.29/0.34	o 2430
0.29/0.37	o 2429
0.29/0.40	o 2428
0.39/0.43	o 2427
0.39/0.46	o 2426
0.39/0.49	o 2425
0.49/0.52	o 2424
0.49/0.55	o 2423
0.49/0.58	o 2422
0.59/0.61	o 2421
0.59/0.64	o 2420
0.59/0.67	o 2419
0.59/0.70	o 2418
0.69/0.73	o 2417
0.69/0.76	o 2416
0.69/0.79	o 2415
0.79/0.82	o 2414
0.79/0.85	o 2413
0.79/0.87	o 2412
0.89/0.90	o 2411
0.89/0.93	o 2410
0.89/0.96	o 2409
0.89/0.99	o 2408
0.99/1.02	o 2407
0.99/1.05	o 2406
0.99/1.08	o 2405
1.09/1.11	o 2404
1.09/1.14	o 2403
1.09/1.17	o 2402
1.19/1.20	o 2401
1.19/1.23	o 2400
1.19/1.26	o 2399
1.19/1.29	o 2398
1.29/1.32	o 2397
1.29/1.35	o 2396
1.29/1.38	o 2395
1.39/1.41	o 2394
1.39/1.44	o 2393
1.39/1.47	o 2392
1.49/1.50	o 2391
1.49/1.53	o 2390
1.49/1.56	o 2389
1.49/1.59	o 2388
1.59/1.62	o 2387
1.59/1.65	o 2386
1.59/1.68	o 2385
1.69/1.71	o 2384
1.69/1.74	o 2383
1.69/1.77	o 2382
1.69/1.79	o 2381
1.79/1.82	o 2380
1.79/1.85	o 2379
1.79/1.88	o 2378
1.89/1.91	o 2377
1.89/1.94	o 2376
1.89/1.97	o 2375
1.99/2.00	o 2374
1.99/2.03	o 2373
1.99/2.06	o 2372
1.99/2.09	o 2371
2.10/2.12	o 2370
2.10/2.14	o 2369
2.10/2.17	o 2368
2.19/2.20	o 2367
2.19/2.23	o 2366
2.19/2.26	o 2365
2.19/2.29	o 2364
2.30/2.32	o 2363
2.30/2.35	o 2362
2.30/2.38	o 2361
2.39/2.41	o 2360
2.39/2.43	o 2359
2.39/2.46	o 2358
2.39/2.49	o 2357
2.49/2.52	o 2356
2.49/2.55	o 2355
2.49/2.58	o 2354
2.59/2.61	o 2353
2.59/2.64	o 2352
2.59/2.67	o 2351
2.59/2.69	o 2349
2.69/2.72	o 2348
2.69/2.75	o 2347
2.69/2.78	o 2346
2.79/2.81	o 2345
2.79/2.84	o 2344
2.79/2.87	o 2343
2.79/2.89	o 2342
2.89/2.92	o 2341
2.89/2.95	o 2340
2.89/2.98	o 2339
3.00/3.01	o 2338
3.00/3.04	o 2337
3.00/3.07	o 2336
3.00/3.10	o 2335
3.10/3.12	o 2334
3.10/3.15	o 2333
3.10/3.18	o 2332
3.20/3.21	o 2331
3.20/3.24	o 2330
3.20/3.27	o 2329
3.20/3.30	o 2328
3.29/3.32	o 2327
3.29/3.35	o 2326
3.29/3.38	o 2325
3.40/3.41	o 2324
3.40/3.44	o 2323
3.40/3.47	o 2322
3.40/3.50	o 2321
3.49/3.52	o 2320
3.49/3.55	o 2319
3.49/3.58	o 2318
3.59/3.61	o 2317
3.59/3.64	o 2316
3.59/3.67	o 2315
3.59/3.69	o 2314
3.69/3.72	o 2313
3.69/3.75	o 2312
3.69/3.78	o 2196
3.79/3.81	o 2195
3.79/3.83	o 2194
3.79/3.86	o 2193
3.79/3.89	o 2192
3.89/3.91	o 2191
3.89/3.94	o 2190
3.89/3.97	o 2189
3.89/3.99	o 2188
3.99/4.02	o 2187
3.99/4.05	o 2186
3.99/4.07	o 2185
4.09/4.10	o 2184
4.09/4.13	o 2183
4.09/4.16	o 2182
4.09/4.18	o 2181
4.19/4.21	o 2180
4.19/4.24	o 2179
4.19/4.26	o 2178
4.19/4.29	o 2177
4.29/4.32	o 2176
4.29/4.34	o 2175
4.29/4.37	o 2174
4.29/4.40	o 2173
4.40/4.42	o 2172
4.40/4.45	o 2171
4.40/4.48	o 2170
4.49/4.50	o 2169
4.49/4.53	o 2168
4.49/4.56	o 2167
4.49/4.58	o 2166
4.59/4.61	o 2165
4.59/4.64	o 2164
4.59/4.66	o 2163
4.59/4.69	o 2162
4.69/4.72	o 2161
4.69/4.74	o 2160
4.69/4.77	o 2159
4.79/4.80	o 2158
4.79/4.82	o 2157
4.79/4.85	o 2156
4.79/4.87	o 1776
4.79/4.90	o 1775
4.89/4.92	o 1774
4.89/4.94	o 1773
4.89/4.96	o 1772
4.89/4.98	o 1771
4.99/5.01	o 1770
4.99/5.03	o 1769
4.99/5.05	o 1768
4.99/5.07	o 1767
4.99/5.10	o 1766
5.09/5.12	o 1765
5.09/5.14	o 1764
5.09/5.16	o 1763
5.09/5.18	o 1762
5.19/5.21	o 1761
5.19/5.23	o 1760
5.19/5.25	o 1759
5.19/5.27	o 1758
5.19/5.29	o 1757
5.29/5.32	o 1756
5.29/5.34	o 1755
5.29/5.36	o 1754
5.29/5.38	o 1753
5.40/5.41	o 1752
5.40/5.43	o 1751
5.40/5.45	o 1750
5.40/5.47	o 1749
5.40/5.49	o 1748
5.50/5.51	o 1747
5.50/5.54	o 1746
5.50/5.56	o 1745
5.50/5.58	o 1744
5.59/5.60	o 1743
5.59/5.62	o 1742
5.59/5.65	o 1741
5.59/5.67	o 1740
5.59/5.69	o 1739
5.69/5.71	o 1738
5.69/5.73	o 1737
5.69/5.76	o 1736
5.69/5.78	o 1377
5.69/5.79	o 1346
5.79/5.81	o 1345
5.79/5.83	o 1344
5.79/5.85	o 1343
5.79/5.87	o 1342
5.79/5.88	o 1341
5.89/5.92	o 1340
5.89/5.93	o 619
5.89/5.94	o 607
5.89/5.95	o 591
5.89/5.96	o 590
5.89/5.97	o 589
5.89/5.98	o 588
5.89/5.99	o 587
5.89/5.99	o 586
5.99/6.00	o 575
5.99/6.01	o 574
5.99/6.02	o 573
5.99/6.03	o 572
5.99/6.04	o 571
5.99/6.05	o 570
5.99/6.06	o 569
5.99/6.07	o 568
5.99/6.08	o 567
5.99/6.09	o 566
5.99/6.09	o 565
6.09/6.10	o 564
6.09/6.11	o 563
6.09/6.12	o 562
6.09/6.13	o 561
6.09/6.14	o 560
6.09/6.15	o 559
6.09/6.16	o 558
6.09/6.17	o 557
6.09/6.17	o 556
6.09/6.18	o 555
6.09/6.19	o 554
6.19/6.20	o 553
6.19/6.21	o 552
6.19/6.22	o 551
6.19/6.23	o 550
6.19/6.24	o 549
6.19/6.25	o 548
6.19/6.25	o 547
6.19/6.26	o 546
6.19/6.27	o 545
6.19/6.29	o 544
6.29/6.30	o 367
6.29/6.30	o 366
6.29/6.31	o 365
6.29/6.32	o 364
6.29/6.32	o 363
6.29/6.33	o 362
6.29/6.34	o 361
6.29/6.34	o 360
6.29/6.35	o 359
6.29/6.36	o 358
6.29/6.36	o 357
6.29/6.37	o 356
6.29/6.38	o 355
6.29/6.38	o 354
6.29/6.39	o 353
6.39/6.40	o 352
6.39/6.40	o 351
6.39/6.41	o 350
6.39/6.42	o 349
6.39/6.42	o 348
6.39/6.43	o 347
6.39/6.44	o 346
6.39/6.44	o 345
6.39/6.45	o 344
6.39/6.46	o 343
6.39/6.46	o 342
6.39/6.47	o 341
6.39/6.48	o 340
6.39/6.49	o 339
598.40/598.70	o 338
783.34/783.62	o 337
1411.94/1412.43	o 336
1411.94/1412.45	o 335
1411.94/1412.46	o 334
1411.94/1412.46	o 333
1411.94/1412.47	o 332
1411.94/1412.47	o 331
1411.94/1412.48	o 330
1411.94/1412.48	o 329
1411.94/1412.49	o 328
1411.94/1412.49	o 327
1412.04/1412.50	o 326
1412.04/1412.50	o 325
1412.04/1412.51	o 324
1412.04/1412.51	o 323
1412.04/1412.52	o 322
1412.04/1412.52	o 321
1412.04/1412.53	o 320
1412.04/1412.53	o 319
1412.04/1412.53	o 318
1412.04/1412.54	o 317
1412.04/1412.54	o 316
1412.04/1412.55	o 315
1412.04/1412.55	o 314
1412.04/1412.56	o 313
1412.04/1412.56	o 312
1412.04/1412.57	o 311
1412.04/1412.57	o 310
1412.04/1412.58	o 309
1412.04/1412.58	o 308
1412.04/1412.59	o 307
1412.04/1412.59	o 306
1412.04/1412.59	o 305
1412.13/1412.60	o 304
1412.13/1412.60	o 303
1412.13/1412.61	o 302
1412.13/1412.61	o 301
1412.13/1412.62	o 300
1412.13/1412.62	o 299
1412.13/1412.63	o 298
1412.13/1412.63	o 297
1412.13/1412.64	o 296
1412.13/1412.64	o 295
1412.13/1412.64	o 294
1412.13/1412.65	o 293
1412.13/1412.65	o 292
1412.13/1412.66	o 291
1412.13/1412.66	o 290
1412.13/1412.67	o 289
1412.13/1412.67	o 288
1412.13/1412.68	o 287
1412.13/1412.68	o 286
1412.13/1412.69	o 285
1412.13/1412.69	o 284
1412.23/1412.70	o 283
1412.23/1412.74	o 282
1800.02/1800.61	s SATISFIABLE
1800.02/1800.61	v -x1 -x10 -x100 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 x1012 -x1013 -x1014
1800.02/1800.61	v x1015 -x1016 -x1017 -x1018 -x1019 x102 -x1020 -x1021 -x1022 -x1023 x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030
1800.02/1800.61	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1800.02/1800.61	v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062
1800.02/1800.61	v x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
1800.02/1800.61	v -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095
1800.02/1800.61	v -x1096 x1097 -x1098 -x1099 -x11 -x110 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x111 -x1110
1800.02/1800.61	v x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.02/1800.61	v -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143
1800.02/1800.61	v -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116
1800.02/1800.61	v x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.02/1800.61	v -x1177 -x1178 -x1179 -x118 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192
1800.02/1800.61	v -x1193 x1194 -x1195 -x1196 x1197 x1198 -x1199 -x12 -x120 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208
1800.02/1800.61	v -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x122 -x1220 -x1221 -x1222 -x1223 x1224
1800.02/1800.61	v -x1225 -x1226 -x1227 -x1228 -x1229 x123 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x124 -x1240
1800.02/1800.61	v x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257
1800.02/1800.61	v -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 x1266 -x1267 x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273
1800.02/1800.61	v -x1274 x1275 -x1276 -x1277 -x1278 x1279 -x128 -x1280 -x1281 -x1282 x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x129
1800.02/1800.61	v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305
1800.02/1800.61	v -x1306 -x1307 -x1308 x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321
1800.02/1800.61	v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 x1336 -x1337 -x1338
1800.02/1800.61	v -x1339 -x134 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 x1353 -x1354
1800.02/1800.61	v -x1355 -x1356 -x1357 x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370
1800.02/1800.61	v x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 x1387
1800.02/1800.61	v x1388 x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402
1800.02/1800.61	v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1800.02/1800.61	v -x1419 x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434
1800.02/1800.61	v -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x145 x1450
1800.02/1800.61	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467
1800.02/1800.61	v x1468 x1469 -x147 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483
1800.02/1800.61	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x15
1800.02/1800.61	v -x150 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1800.02/1800.61	v -x1516 -x1517 x1518 -x1519 x152 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 x1531
1800.02/1800.61	v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 x1543 -x1544 x1545 -x1546 -x1547 -x1548
1800.02/1800.61	v -x1549 -x155 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x156 -x1560 -x1561 -x1562 -x1563 -x1564
1800.02/1800.61	v -x1565 -x1566 -x1567 -x1568 -x1569 x157 -x1570 -x1571 -x1572 -x1573 x1574 x1575 x1576 -x1577 -x1578 -x1579 -x158 -x1580
1800.02/1800.61	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597
1800.02/1800.61	v -x1598 -x1599 -x16 -x160 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612
1800.02/1800.61	v -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x162 -x1620 x1621 -x1622 x1623 -x1624 x1625 -x1626 x1627 x1628 -x1629 x163
1800.02/1800.61	v -x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646
1800.02/1800.61	v -x1647 -x1648 -x1649 -x165 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662
1800.02/1800.61	v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679
1800.02/1800.61	v -x168 x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695
1800.02/1800.61	v -x1696 x1697 -x1698 x1699 -x17 -x170 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710
1800.02/1800.61	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 x1720 x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727
1800.02/1800.61	v -x1728 -x1729 -x173 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 x1743
1800.02/1800.61	v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759
1800.02/1800.61	v -x176 -x1760 x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1800.02/1800.61	v -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 x1790 -x1791
1800.02/1800.61	v -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x18 -x180 x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807
1800.02/1800.61	v -x1808 -x1809 x181 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 x1818 -x1819 -x182 -x1820 -x1821 -x1822 x1823
1800.02/1800.61	v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839
1800.02/1800.61	v -x184 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 x1850 x1851 x1852 -x1853 -x1854 -x1855
1800.02/1800.61	v -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 x1862 -x1863 x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x187 -x1870 -x1871
1800.02/1800.61	v -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888
1800.02/1800.61	v -x1889 -x189 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903
1800.02/1800.61	v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 x192
1800.02/1800.61	v x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936
1800.02/1800.61	v -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 x1952
1800.02/1800.61	v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
1800.02/1800.61	v x1969 -x197 -x1970 x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 x1979 -x198 x1980 -x1981 -x1982 -x1983 -x1984
1800.02/1800.61	v -x1985 -x1986 -x1987 -x1988 -x1989 -x199 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 x1999 -x2 -x20 -x200
1800.02/1800.61	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015
1800.02/1800.61	v -x2016 x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031
1800.02/1800.61	v -x2032 x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
1800.02/1800.61	v -x2049 -x205 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 x2062 -x2063 -x2064
1800.02/1800.61	v -x2065 -x2066 -x2067 x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080
1800.02/1800.61	v x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097
1800.02/1800.61	v -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112
1800.02/1800.61	v x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129
1800.02/1800.61	v -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 x2145
1800.02/1800.61	v x2146 x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161
1800.02/1800.61	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178
1800.02/1800.61	v -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194
1800.02/1800.61	v -x2195 -x2196 -x2197 -x2198 -x2199 x22 -x220 x2200 -x2201 -x2202 x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210
1800.02/1800.61	v -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227
1800.02/1800.61	v -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243
1800.02/1800.61	v -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226
1800.02/1800.61	v -x2260 -x2261 -x2262 -x2263 x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
1800.02/1800.61	v -x2277 -x2278 x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x229 -x2290 -x2291 -x2292
1800.02/1800.61	v -x2293 -x2294 x2295 -x2296 x2297 -x2298 -x2299 -x23 x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308
1800.02/1800.61	v -x2309 -x231 -x2310 -x2311 -x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324
1800.02/1800.61	v -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340
1800.02/1800.61	v -x2341 x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357
1800.02/1800.61	v -x2358 -x2359 x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 x2369 -x237 x2370 -x2371 -x2372 -x2373
1800.02/1800.61	v -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x238 -x2380 x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239
1800.02/1800.61	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 x2401 -x2402 -x2403 -x2404 -x2405
1800.02/1800.61	v -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x242 x2420 -x2421
1800.02/1800.61	v -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438
1800.02/1800.61	v -x2439 -x244 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x245 x2450 -x2451 -x2452 -x2453 -x2454
1800.02/1800.61	v -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259
1800.02/1800.61	v -x26 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279
1800.02/1800.61	v -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298
1800.02/1800.61	v -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1800.02/1800.61	v -x317 -x318 -x319 x32 -x320 x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.02/1800.61	v -x337 -x338 -x339 x34 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 x351 -x352 -x353 -x354 -x355 -x356
1800.02/1800.61	v -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375
1800.02/1800.61	v -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x39 -x390 -x391 x392 -x393 -x394
1800.02/1800.61	v -x395 -x396 -x397 -x398 x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413
1800.02/1800.61	v -x414 x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432
1800.02/1800.61	v -x433 x434 -x435 x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451
1800.02/1800.61	v -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 x468 -x469 -x47 -x470 x471
1800.02/1800.61	v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490
1800.02/1800.61	v -x491 -x492 -x493 -x494 x495 -x496 -x497 x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51
1800.02/1800.61	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x52 x520 x521 -x522 -x523 -x524 -x525 x526 x527 -x528 -x529 -x53
1800.02/1800.61	v -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549
1800.02/1800.61	v -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x56 -x560 -x561 -x562 -x563 -x564 x565 -x566 x567 -x568 -x569
1800.02/1800.61	v -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x58 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588
1800.02/1800.61	v -x589 -x59 -x590 x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1800.02/1800.61	v -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x62 x620 -x621 -x622 -x623 -x624 -x625 x626 -x627
1800.02/1800.61	v -x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646
1800.02/1800.61	v -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665
1800.02/1800.61	v x666 x667 -x668 -x669 -x67 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 x678 x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685
1800.02/1800.61	v -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 x703 -x704
1800.02/1800.61	v -x705 -x706 -x707 x708 -x709 -x71 -x710 x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x72 -x720 -x721 -x722 -x723 -x724
1800.02/1800.61	v -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743
1800.02/1800.61	v -x744 -x745 -x746 -x747 -x748 -x749 x75 x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 x762 -x763
1800.02/1800.61	v -x764 -x765 -x766 -x767 x768 x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782
1800.02/1800.61	v -x783 -x784 -x785 -x786 -x787 x788 -x789 -x79 x790 -x791 -x792 x793 -x794 x795 -x796 -x797 -x798 -x799 -x8 -x80 x800 x801 -x802
1800.02/1800.61	v -x803 -x804 -x805 x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 x820 x821 -x822
1800.02/1800.61	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 x838 -x839 x84 -x840 -x841 -x842
1800.02/1800.61	v -x843 -x844 -x845 -x846 -x847 x848 -x849 x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 x860 -x861 -x862
1800.02/1800.61	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 x873 x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881
1800.02/1800.61	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 x900
1800.02/1800.61	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 x914 x915 -x916 -x917 -x918 -x919 x92 -x920
1800.02/1800.61	v -x921 -x922 -x923 x924 x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 x933 -x934 -x935 x936 -x937 -x938 -x939 -x94 -x940
1800.02/1800.61	v -x941 x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x95 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960
1800.02/1800.61	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x97 -x970 x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980
1800.02/1800.61	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	282

Conversion Script Data (download as text)

/tmp/evaluation/458802-1178644013/instance-458802-1178644013.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node39/watcher-458802-1178644013 -o ROOT/results/node39/solver-458802-1178644013 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458802-1178644013/instance-458802-1178644013.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8361
/proc/meminfo: memFree=1459080/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=1688 CPUtime=0
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 312313371 1728512 195 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134531401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 422 195 84 219 0 199 0

[startup+0.00835194 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8361
/proc/meminfo: memFree=1459080/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=1688 CPUtime=0
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 229 0 0 0 0 0 0 0 18 0 1 0 312313371 1728512 211 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 422 211 84 219 0 199 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1688

[startup+0.101368 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8361
/proc/meminfo: memFree=1459080/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=1836 CPUtime=0.09
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 308 0 0 0 9 0 0 0 18 0 1 0 312313371 1880064 290 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530463 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 459 290 86 219 0 236 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1836

[startup+0.301401 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8361
/proc/meminfo: memFree=1459080/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=2224 CPUtime=0.29
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 372 0 0 0 29 0 0 0 20 0 1 0 312313371 2277376 354 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 556 354 101 219 0 333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2224

[startup+0.701469 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8361
/proc/meminfo: memFree=1459080/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=2224 CPUtime=0.69
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 372 0 0 0 67 2 0 0 24 0 1 0 312313371 2277376 354 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 556 354 101 219 0 333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2224

[startup+1.5016 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1458048/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=2224 CPUtime=1.49
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 372 0 0 0 142 7 0 0 25 0 1 0 312313371 2277376 354 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 556 354 101 219 0 333 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2224

[startup+3.10288 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1457920/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=2224 CPUtime=3.1
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 372 0 0 0 295 15 0 0 25 0 1 0 312313371 2277376 354 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 556 354 101 219 0 333 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 2224

[startup+6.30142 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1457728/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=2356 CPUtime=6.29
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 418 0 0 0 592 37 0 0 25 0 1 0 312313371 2412544 400 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 589 400 102 219 0 366 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2356

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1457280/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=2356 CPUtime=12.68
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 479 0 0 0 1227 41 0 0 25 0 1 0 312313371 2412544 461 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 589 461 102 219 0 366 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2356

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1457024/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=3012 CPUtime=25.49
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 571 0 0 0 2507 42 0 0 25 0 1 0 312313371 3084288 553 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 753 553 102 219 0 530 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3012

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1456256/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=4036 CPUtime=51.08
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 761 0 0 0 5066 42 0 0 25 0 1 0 312313371 4132864 743 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 1009 743 102 219 0 786 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4036

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1454528/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=6084 CPUtime=102.26
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 1194 0 0 0 10184 42 0 0 25 0 1 0 312313371 6230016 1176 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 1521 1176 102 219 0 1298 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 6084

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1452480/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=10340 CPUtime=162.24
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 1705 0 0 0 16182 42 0 0 25 0 1 0 312313371 10588160 1687 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 2585 1687 102 219 0 2362 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10340

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1450496/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=10340 CPUtime=222.22
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 2196 0 0 0 22179 43 0 0 25 0 1 0 312313371 10588160 2178 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 2585 2178 102 219 0 2362 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 10340

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1448448/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=18632 CPUtime=282.21
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 2709 0 0 0 28177 44 0 0 25 0 1 0 312313371 19079168 2691 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 4658 2691 102 219 0 4435 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 18632

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1446400/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=18632 CPUtime=342.19
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 3213 0 0 0 34174 45 0 0 25 0 1 0 312313371 19079168 3195 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 4658 3195 102 219 0 4435 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 18632

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1444416/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=18632 CPUtime=402.16
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 3705 0 0 0 40171 45 0 0 25 0 1 0 312313371 19079168 3687 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 4658 3687 102 219 0 4435 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 18632

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1442304/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=18632 CPUtime=462.14
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 4222 0 0 0 46168 46 0 0 25 0 1 0 312313371 19079168 4204 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 4658 4204 102 219 0 4435 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 18632

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1440320/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=35016 CPUtime=522.12
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 4726 0 0 0 52165 47 0 0 25 0 1 0 312313371 35856384 4708 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 8754 4708 102 219 0 8531 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 35016

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1437184/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=35428 CPUtime=582.1
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 5497 0 0 0 58159 51 0 0 25 0 1 0 312313371 36278272 5479 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 8857 5479 102 219 0 8634 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 35428

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1422976/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=37104 CPUtime=642.09
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 9081 0 0 0 64129 80 0 0 25 0 1 0 312313371 37994496 9014 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 9276 9014 102 219 0 9053 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 37104


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1421056/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=39752 CPUtime=822.02
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 9852 0 0 0 82098 104 0 0 25 0 1 0 312313371 40706048 9495 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 9938 9495 102 219 0 9715 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 39752

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1420608/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=40124 CPUtime=882.01
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 9957 0 0 0 88091 110 0 0 25 0 1 0 312313371 41086976 9600 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10031 9600 102 219 0 9808 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 40124

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1420288/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=40428 CPUtime=941.99
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 10052 0 0 0 94081 118 0 0 25 0 1 0 312313371 41398272 9695 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134597531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10107 9695 102 219 0 9884 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 40428

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1419840/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=40568 CPUtime=1001.97
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 10153 0 0 0 100072 125 0 0 25 0 1 0 312313371 41541632 9796 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10142 9796 102 219 0 9919 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 40568

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1419392/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=41004 CPUtime=1061.95
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 10271 0 0 0 106067 128 0 0 25 0 1 0 312313371 41988096 9914 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10251 9914 102 219 0 10028 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 41004

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1418880/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=42660 CPUtime=1121.93
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 10751 0 0 0 112061 132 0 0 25 0 1 0 312313371 43683840 10009 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10665 10009 102 219 0 10442 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 42660

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1418816/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=42904 CPUtime=1181.91
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 10819 0 0 0 118056 135 0 0 25 0 1 0 312313371 43933696 10077 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10726 10077 102 219 0 10503 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 42904

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1418432/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=43172 CPUtime=1241.89
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 10906 0 0 0 124049 140 0 0 25 0 1 0 312313371 44208128 10164 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10793 10164 102 219 0 10570 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 43172

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1418112/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=43316 CPUtime=1301.87
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 10990 0 0 0 130039 148 0 0 25 0 1 0 312313371 44355584 10248 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10829 10248 102 219 0 10606 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 43316

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1417664/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=43588 CPUtime=1361.86
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11094 0 0 0 136032 154 0 0 25 0 1 0 312313371 44634112 10352 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 10897 10352 102 219 0 10674 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 43588

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1416832/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=44236 CPUtime=1421.84
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11299 0 0 0 142022 162 0 0 25 0 1 0 312313371 45297664 10557 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 11059 10557 102 219 0 10836 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 44236

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1416640/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=44528 CPUtime=1481.81
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11351 0 0 0 148017 164 0 0 25 0 1 0 312313371 45596672 10609 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 11132 10609 102 219 0 10909 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 44528

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1416576/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=44528 CPUtime=1541.8
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11360 0 0 0 154015 165 0 0 25 0 1 0 312313371 45596672 10618 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 11132 10618 102 219 0 10909 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 44528

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1416448/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=44528 CPUtime=1601.78
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11387 0 0 0 160012 166 0 0 25 0 1 0 312313371 45596672 10645 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 11132 10645 102 219 0 10909 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 44528

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1416192/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=44660 CPUtime=1661.76
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11453 0 0 0 166008 168 0 0 25 0 1 0 312313371 45731840 10711 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 11165 10711 102 219 0 10942 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 44660

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1416064/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=44772 CPUtime=1721.73
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11476 0 0 0 172005 168 0 0 25 0 1 0 312313371 45846528 10734 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557436 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 11193 10734 102 219 0 10970 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 44772

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1415872/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=44944 CPUtime=1781.72
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11525 0 0 0 178002 170 0 0 25 0 1 0 312313371 46022656 10783 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 11236 10783 102 219 0 11013 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 44944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8362
/proc/meminfo: memFree=1415680/2055920 swapFree=4159344/4192956
[pid=8361] ppid=8359 vsize=45076 CPUtime=1800.02
/proc/8361/stat : 8361 (PBS4_SAT07v2) R 8359 8361 7664 0 -1 4194304 11570 0 0 0 179832 170 0 0 25 0 1 0 312313371 46157824 10828 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8361/statm: 11269 10828 102 219 0 11046 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 45076

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.04
CPU user time (s): 1798.32
CPU system time (s): 1.71674
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 45076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.32
system time used= 1.71674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 36846

runsolver used 1.39779 second user time and 4.07938 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue May  8 17:06:53 UTC 2007

IDJOB= 458802
IDBENCH= 2039
IDSOLVER= 200
FILE ID= node39/458802-1178644013

PBS_JOBID= 5218348

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458802-1178644013/instance-458802-1178644013.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-458802-1178644013 -o ROOT/results/node39/conversion-458802-1178644013 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458802-1178644013/instance-458802-1178644013.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-458802-1178644013 -o ROOT/results/node39/solver-458802-1178644013 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458802-1178644013/instance-458802-1178644013.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  f97e3571862917880e13c63c8ac169f9

RANDOM SEED= 624359758

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.256
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.256
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:       1459488 kB
Buffers:         40484 kB
Cached:         410704 kB
SwapCached:      12912 kB
Active:         412644 kB
Inactive:        99128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1459488 kB
SwapTotal:     4192956 kB
SwapFree:      4159344 kB
Dirty:            2744 kB
Writeback:           0 kB
Mapped:          67620 kB
Slab:            69860 kB
Committed_AS:  5247172 kB
PageTables:       2128 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node39 on Tue May  8 17:36:56 UTC 2007