Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_timetabling_comp12.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/timetabling/comp12.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...pms_industrial/timetabling/comp12.wcnf
c Solving...
o 1463
o 1461
o 1460
o 1458
o 1456
o 1455
o 1454
o 1453
o 1452
o 1450
o 1448
o 1447
o 1445
o 1444
o 1442
o 1441
o 1440
o 1439
o 1437
o 1435
o 1433
o 1432
o 1431
o 1430
o 1426
o 1421
o 1420
o 1419
o 1416
o 1414
o 1411
o 1406
o 1402
o 1401
o 1396
o 1395
o 1394
o 1393
o 1392
o 1390
o 1389
o 1388
o 1386
o 1385
o 1384
o 1383
o 1374
o 1372
o 1371
o 1370
o 1365
o 1363
o 1361
o 1358
o 1357
o 1356
o 1353
o 1351
o 1350
o 1347
o 1346
o 1345
o 1343
o 1342
o 1341
o 1340
o 1335
o 1334
o 1330
o 1325
o 1324
o 1322
o 1320
o 1316
o 1315
o 1312
o 1300
o 1297
o 1295
o 1294
o 1293
o 1288
o 1287
o 1286
o 1285
o 1283
o 1279
o 1275
o 1270
o 1267
o 1265
o 1263
o 1262
o 1258
o 1256
o 1255
o 1253
o 1251
o 1248
o 1247
o 1215
o 1213
o 1211
o 1209
o 1206
o 1201
o 1196
o 1193
o 1191
o 1188
o 1187
o 1185
o 1184
o 1179
o 1178
o 1177
o 1176
o 1175
o 1174
o 1172
o 1169
o 1167