Trace number 4445960

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02SAT 374.948 376.098

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
MD5SUM99577d0b2060d1d3afdf18d9c444f818
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.21994
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1737
Total number of constraints1041
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)954
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint9
Maximum length of a constraint32
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 30584832, getVmSize() = 30584832, SCIPgetMemUsed() = 6738883, SCIPgetMemTotal() = 8898395, SCIPgetMemExternEstim() = 3020685
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.09	c ** Estimated virtualMemUsedAtSolver = 29694634, getVmSize() = 58499072, SCIPgetMemUsed() = 21922105, SCIPgetMemTotal() = 35674953, SCIPgetMemExternEstim() = 3020685
0.00/0.09	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.09	c Original Problem   :
0.00/0.09	c   Problem name     : instance-4445960-1721323995
0.00/0.09	c   Variables        : 1737 (1737 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.09	c   Constraints      : 1041
0.00/0.09	c   Objective sense  : minimize
0.00/0.09	c Presolved Problem  :
0.00/0.09	c   Variables        : 1692 (1692 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.09	c   Constraints      : 996
0.00/0.09	c Constraints        : Number
0.00/0.09	c   knapsack         : 144 
0.00/0.09	c   setppc           : 765 
0.00/0.09	c   linear           : 87 
0.00/0.09	c ** Instance transfer method used: 0
0.00/0.09	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.10	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.10	c                                Nodes    Active                                            
0.00/0.10	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
5.61/5.73	c         6              2           1         1                -           0.0000          -
10.86/11.03	c        11             26          25         1                -           0.0000          -
15.83/16.04	c        16             33          32         1                -           0.0000          -
22.01/22.22	c        22             46          45         1                -           0.0000          -
27.29/27.52	c        28             66          65         1                -           0.0000          -
32.98/33.27	c        33            119         118         1                -           0.0000          -
39.46/39.72	c        40            276         153         1                -           0.0000          -
45.05/45.35	c        45            820         176         1                -           0.0000          -
50.13/50.43	c        50           1399         179         1                -           0.0000          -
55.11/55.49	c        56           1793         176         1                -           0.0000          -
60.21/60.56	c        61           2119         169         1                -           0.0000          -
65.29/65.62	c        66           2691         176         1                -           0.0000          -
70.38/70.78	c        71           3160         176         1                -           0.0000          -
75.46/75.89	c        76           3532         177         1                -           0.0000          -
80.65/81.00	c        81           3997         189         1                -           0.0000          -
85.64/86.06	c        86           4500         186         1                -           0.0000          -
90.72/91.11	c        91           5147         184         1                -           0.0000          -
95.71/96.18	c        96           5696         184         1                -           0.0000          -
100.89/101.34	c       101           6122         182         1                -           0.0000          -
105.98/106.40	c       106           6586         185         1                -           0.0000          -
111.06/111.52	c       112           6929         182         1                -           0.0000          -
116.25/116.71	c       117           7240         191         1                -           0.0000          -
121.23/121.77	c       122           7775         188         1                -           0.0000          -
126.32/126.85	c       127           8339         190         1                -           0.0000          -
131.41/131.93	c       132           8845         186         1                -           0.0000          -
136.39/136.99	c       137           9387         184         1                -           0.0000          -
141.58/142.12	c       142           9855         185         1                -           0.0000          -
146.56/147.19	c       147          10295         186         1                -           0.0000          -
151.74/152.30	c       152          10674         196         1                -           0.0000          -
156.73/157.35	c       157          11224         194         1                -           0.0000          -
161.82/162.45	c       162          11591         185         1                -           0.0000          -
166.90/167.53	c       168          12123         190         1                -           0.0000          -
171.89/172.59	c       173          12515         198         1                -           0.0000          -
177.08/177.70	c       178          12986         199         1                -           0.0000          -
182.16/182.84	c       183          13392         190         1                -           0.0000          -
187.24/187.99	c       188          13733         192         1                -           0.0000          -
192.34/193.04	c       193          14111         194         1                -           0.0000          -
197.52/198.26	c       198          14452         192         1                -           0.0000          -
202.60/203.36	c       203          14884         190         1                -           0.0000          -
207.79/208.51	c       209          15231         193         1                -           0.0000          -
212.88/213.66	c       214          15581         187         1                -           0.0000          -
217.96/218.79	c       219          15974         191         1                -           0.0000          -
223.05/223.85	c       224          16377         194         1                -           0.0000          -
228.13/228.92	c       229          16754         188         1                -           0.0000          -
233.11/233.99	c       234          17178         188         1                -           0.0000          -
238.21/239.07	c       239          17538         185         1                -           0.0000          -
243.29/244.14	c       244          17958         189         1                -           0.0000          -
248.37/249.22	c       249          18433         183         1                -           0.0000          -
253.46/254.32	c       254          18772         182         1                -           0.0000          -
258.44/259.36	c       259          19170         194         1                -           0.0000          -
263.53/264.47	c       264          19556         189         1                -           0.0000          -
268.62/269.54	c       270          19902         190         1                -           0.0000          -
273.71/274.68	c       275          20219         189         1                -           0.0000          -
278.79/279.77	c       280          20578         189         1                -           0.0000          -
283.88/284.84	c       285          20944         188         1                -           0.0000          -
288.96/289.90	c       290          21336         203         1                -           0.0000          -
293.96/294.98	c       295          21743         202         1                -           0.0000          -
299.05/300.05	c       300          22105         198         1                -           0.0000          -
304.13/305.12	c       305          22528         202         1                -           0.0000          -
309.21/310.24	c       310          22930         203         1                -           0.0000          -
314.29/315.32	c       315          23237         199         1                -           0.0000          -
319.28/320.38	c       320          23640         198         1                -           0.0000          -
324.37/325.44	c       325          24158         202         1                -           0.0000          -
329.46/330.51	c       331          24490         206         1                -           0.0000          -
334.44/335.59	c       336          24970         207         1                -           0.0000          -
339.53/340.68	c       341          25383         211         1                -           0.0000          -
344.71/345.81	c       346          25765         208         1                -           0.0000          -
349.91/351.08	c       351          26111         210         1                -           0.0000          -
355.00/356.19	c       356          26427         208         1                -           0.0000          -
360.07/361.26	c       361          26789         206         1                -           0.0000          -
365.16/366.38	c       366          27104         202         1                -           0.0000          -
370.25/371.47	c       371          27510         204         1                -           0.0000          -
374.85/376.05	c *     376          27795         202         1           0.0000           0.0000      0.00%
374.85/376.05	c       376          27828           0         0           0.0000           0.0000      0.00%
374.85/376.09	c       376          27828           0         0           0.0000           0.0000          -
374.85/376.09	c SCIP Status        : c problem is solved
374.85/376.09	c Total Time         : 376.0900
374.85/376.09	c   solving          : 376.0900
374.85/376.09	c   presolving       : 0.0805 (included in solving)
374.85/376.09	c B&B Tree           :
374.85/376.09	c   nodes (total)    : 27828
374.85/376.09	c Solution           :
374.85/376.09	c   Solutions found  : 1
374.85/376.09	c   Primal Bound     : +0.00000000000000e+00
374.85/376.09	c   Dual Bound       : +0.00000000000000e+00
374.85/376.09	c Gap                : 0.00000 %
374.85/376.09	s SATISFIABLE
374.85/376.09	v -x1737 -x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 x1729 x1728 -x1727 -x1726 -x1725 -x1724 x1723 x1722 -x1721 -x1720 -x1719 
374.85/376.09	v x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 x1710 x1709 -x1708 -x1707 -x1706 x1705 -x1704 x1703 x1702 x1701 -x1700 
374.85/376.09	v -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 
374.85/376.09	v x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 x1671 -x1670 -x1669 x1668 -x1667 -x1666 -x1665 -x1664 -x1663 
374.85/376.09	v -x1662 x1661 x1660 -x1659 -x1658 x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 -x1646 -x1645 
374.85/376.09	v -x1644 -x1643 x1642 -x1641 -x1640 x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 x1632 x1631 -x1630 -x1629 x1628 -x1627 -x1626 
374.85/376.09	v x1625 -x1624 x1623 -x1622 -x1621 -x1620 -x1619 x1618 -x1617 -x1616 -x1615 x1614 x1613 -x1612 -x1611 -x1610 -x1609 -x1608 
374.85/376.09	v -x1607 -x1606 x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 x1594 -x1593 x1592 x1591 -x1590 -x1589 
374.85/376.09	v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 x1578 -x1577 -x1576 -x1575 x1574 x1573 -x1572 x1571 -x1570 
374.85/376.09	v -x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 x1558 x1557 x1556 -x1555 -x1554 -x1553 x1552 
374.85/376.09	v x1551 -x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 
374.85/376.09	v -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 
374.85/376.09	v -x1515 -x1514 x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 
374.85/376.09	v -x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 
374.85/376.09	v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 
374.85/376.09	v x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 
374.85/376.09	v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 
374.85/376.09	v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 
374.85/376.09	v -x1407 -x1406 -x1405 -x1404 x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 
374.85/376.09	v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 
374.85/376.09	v -x1371 -x1370 x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
374.85/376.09	v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
374.85/376.09	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 
374.85/376.09	v -x1317 -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 
374.85/376.09	v -x1299 x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 
374.85/376.09	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 
374.85/376.09	v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 
374.85/376.09	v -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 -x1228 
374.85/376.09	v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 
374.85/376.09	v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 
374.85/376.09	v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 
374.85/376.09	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 
374.85/376.09	v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 
374.85/376.09	v -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 
374.85/376.09	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 
374.85/376.09	v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 
374.85/376.09	v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 
374.85/376.09	v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 
374.85/376.09	v -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 
374.85/376.09	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 
374.85/376.09	v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 
374.85/376.09	v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 
374.85/376.09	v -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 
374.85/376.09	v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 
374.85/376.09	v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 
374.85/376.09	v -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 
374.85/376.09	v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 
374.85/376.09	v -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 
374.85/376.09	v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 
374.85/376.09	v -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 x808 -x807 -x806 -x805 -x804 
374.85/376.09	v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 
374.85/376.09	v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762 
374.85/376.09	v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 
374.85/376.09	v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 
374.85/376.09	v x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 
374.85/376.09	v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 
374.85/376.09	v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 
374.85/376.09	v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 
374.85/376.09	v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
374.85/376.09	v -x614 -x613 -x612 -x611 x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
374.85/376.09	v -x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 
374.85/376.09	v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
374.85/376.09	v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 
374.85/376.09	v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 
374.85/376.09	v -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 
374.85/376.09	v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 
374.85/376.09	v -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 
374.85/376.09	v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 
374.85/376.09	v -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 
374.85/376.09	v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 
374.85/376.09	v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 
374.85/376.09	v -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 
374.85/376.09	v -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 
374.85/376.09	v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 
374.85/376.09	v x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 
374.85/376.09	v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 
374.85/376.09	v -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 
374.85/376.09	v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 
374.85/376.09	v -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 
374.85/376.09	v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 
374.85/376.09	v -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 
374.85/376.09	v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 
374.85/376.09	v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 
374.85/376.09	v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 
374.85/376.09	v -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 
374.85/376.09	v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 
374.85/376.09	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 
374.85/376.09	v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60297 MiB free)
  memory of node 1: 64510 MiB (61772 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445960-1721323995/watcher-4445960-1721323995 -o /tmp/evaluation-result-4445960-1721323995/solver-4445960-1721323995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968466 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445960-1721323995.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=973733, runsolver pid=973730
Current StackSize limit: 8192 KiB


[startup+0.104615 s]*
/proc/loadavg: 4.15 4.14 4.15 7/268 973736
/proc/meminfo: memFree=124961744/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=143128 memory=48608 CPUtime=0.09 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 9912 0 0 0 8 1 0 0 20 0 3 0 184558604 146563072 12152 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 35782 12152 2766 3032 0 16841 0
[pid=973733/tid=973735] ppid=973730 vsize=143128 memory=4026561586 CPUtime=0 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 1077936192 1025 0 0 0 0 0 0 0 20 0 3 0 184558613 146563072 12152 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=143128 memory=237146210664 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) R 973730 973733 968454 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 3 0 184558614 146563072 12152 134679101440 4194304 16613245 140726357230640 0 0 0 2147221247 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 143128 KiB
Current children cumulated memory: 48608 KiB

[startup+0.206129 s]*
/proc/loadavg: 4.15 4.14 4.15 5/268 973736
/proc/meminfo: memFree=124940240/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=148912 memory=70276 CPUtime=0.19 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 15331 0 0 0 17 2 0 0 20 0 3 0 184558604 152485888 17569 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37228 17569 2830 3032 0 22771 0
[pid=973733/tid=973735] ppid=973730 vsize=148912 memory=4782652875487838339 CPUtime=0.09 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 6444 0 0 0 9 0 0 0 20 0 3 0 184558613 152485888 17569 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=148912 memory=1285800 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184558614 152485888 17569 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 148912 KiB
Current children cumulated memory: 70276 KiB

[startup+0.306128 s]*
/proc/loadavg: 4.15 4.14 4.15 5/268 973736
/proc/meminfo: memFree=124939232/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=148912 memory=71308 CPUtime=0.29 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 15507 0 0 0 27 2 0 0 20 0 3 0 184558604 152485888 17827 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37228 17827 2894 3032 0 22961 0
[pid=973733/tid=973735] ppid=973730 vsize=148912 memory=-6513165378630368108 CPUtime=0.18 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 6620 0 0 0 18 0 0 0 20 0 3 0 184558613 152485888 17827 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=148912 memory=0 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184558614 152485888 17827 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148912 KiB
Current children cumulated memory: 71308 KiB

[startup+0.701143 s]
/proc/loadavg: 4.15 4.14 4.15 5/268 973736
/proc/meminfo: memFree=124939232/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=148912 memory=71572 CPUtime=0.66 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 15572 0 0 0 64 2 0 0 20 0 3 0 184558604 152485888 17893 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37228 17893 2894 3032 0 23043 0
[pid=973733/tid=973735] ppid=973730 vsize=148912 memory=0 CPUtime=0.56 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 6685 0 0 0 56 0 0 0 20 0 3 0 184558613 152485888 17893 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=148912 memory=0 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184558614 152485888 17893 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 148912 KiB
Current children cumulated memory: 71572 KiB

[startup+1.50114 s]
/proc/loadavg: 4.15 4.14 4.15 5/268 973736
/proc/meminfo: memFree=124938680/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=149532 memory=72576 CPUtime=1.45 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 17078 0 0 0 143 2 0 0 20 0 3 0 184558604 153120768 18144 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37383 18144 2910 3032 0 23294 0
[pid=973733/tid=973735] ppid=973730 vsize=149532 memory=0 CPUtime=1.35 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 8191 0 0 0 135 0 0 0 20 0 3 0 184558613 153120768 18144 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=149532 memory=0 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184558614 153120768 18144 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 149532 KiB
Current children cumulated memory: 72576 KiB

[startup+3.10613 s]
/proc/loadavg: 4.15 4.14 4.15 5/268 973736
/proc/meminfo: memFree=124924160/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=149532 memory=86020 CPUtime=3.04 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 23523 0 0 0 301 3 0 0 20 0 3 0 184558604 153120768 21505 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37383 21505 2926 3032 0 26968 0
[pid=973733/tid=973735] ppid=973730 vsize=149532 memory=2273 CPUtime=2.94 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 14634 0 0 0 293 1 0 0 20 0 3 0 184558613 153120768 21505 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=149532 memory=0 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184558614 153120768 21505 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 149532 KiB
Current children cumulated memory: 86020 KiB

[startup+6.30113 s]
/proc/loadavg: 4.22 4.16 4.16 5/268 973736
/proc/meminfo: memFree=124917132/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=149532 memory=92100 CPUtime=6.2 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 32241 0 0 0 617 3 0 0 20 0 3 0 184558604 153120768 23025 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37383 23025 2990 3032 0 28588 0
[pid=973733/tid=973735] ppid=973730 vsize=149532 memory=-6513165378630368108 CPUtime=6.1 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 23316 0 0 0 608 2 0 0 20 0 3 0 184558613 153120768 23025 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=149532 memory=89504 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184558614 153120768 23025 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 149532 KiB
Current children cumulated memory: 92100 KiB

[startup+12.7011 s]
/proc/loadavg: 4.28 4.17 4.16 5/266 973738
/proc/meminfo: memFree=124915216/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=149532 memory=92104 CPUtime=12.54 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 39419 0 0 0 1250 4 0 0 20 0 3 0 184558604 153120768 23026 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37383 23026 2990 3032 0 28588 0
[pid=973733/tid=973735] ppid=973730 vsize=149532 memory=86020 CPUtime=12.44 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 30463 0 0 0 1242 2 0 0 20 0 3 0 184558613 153120768 23026 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=149532 memory=0 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 184558614 153120768 23026 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 149532 KiB
Current children cumulated memory: 92104 KiB

[startup+25.5003 s]
/proc/loadavg: 4.44 4.21 4.18 5/266 973739
/proc/meminfo: memFree=124905332/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=149532 memory=95388 CPUtime=25.3 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 57405 0 0 0 2525 5 0 0 20 0 3 0 184558604 153120768 23847 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37383 23847 2990 3032 0 29398 0
[pid=973733/tid=973735] ppid=973730 vsize=149532 memory=92100 CPUtime=25.2 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 48376 0 0 0 2516 4 0 0 20 0 3 0 184558613 153120768 23847 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=149532 memory=7676 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 184558614 153120768 23847 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 149532 KiB
Current children cumulated memory: 95388 KiB

[startup+51.1057 s]
/proc/loadavg: 4.35 4.21 4.18 5/266 973746
/proc/meminfo: memFree=124878036/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=149532 memory=102160 CPUtime=50.83 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 87941 0 0 0 5075 8 0 0 20 0 3 0 184558604 153120768 25540 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 37383 25540 2990 3032 0 30572 0
[pid=973733/tid=973735] ppid=973730 vsize=149532 memory=101324 CPUtime=50.73 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 78827 0 0 0 5066 7 0 0 20 0 3 0 184558613 153120768 25540 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=149532 memory=101320 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 184558614 153120768 25540 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 149532 KiB
Current children cumulated memory: 102160 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.19 4.17 5/265 973754
/proc/meminfo: memFree=124816984/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=118564 CPUtime=101.89 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 128527 0 0 0 10176 13 0 0 20 0 3 0 184558604 220229632 29641 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 29641 2990 3032 0 34881 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=118564 CPUtime=101.77 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 119338 0 0 0 10166 11 0 0 20 0 3 0 184558613 220229632 29641 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=118564 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 29641 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 118564 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.19 4.17 5/263 973764
/proc/meminfo: memFree=124794740/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=118564 CPUtime=161.72 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 151597 0 0 0 16156 16 0 0 20 0 3 0 184558604 220229632 29641 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 29641 2990 3032 0 34881 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=118564 CPUtime=161.6 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 142331 0 0 0 16146 14 0 0 20 0 3 0 184558613 220229632 29641 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=7676 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 29641 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 118564 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.18 4.17 5/263 973774
/proc/meminfo: memFree=124765820/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=120332 CPUtime=221.55 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 164140 0 0 0 22136 19 0 0 20 0 3 0 184558604 220229632 30083 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 30083 2990 3032 0 35071 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=7676 CPUtime=221.43 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 154848 0 0 0 22126 17 0 0 20 0 3 0 184558613 220229632 30083 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=144 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 30083 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 120332 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/263 973786
/proc/meminfo: memFree=124713580/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=139760 CPUtime=281.38 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 180038 0 0 0 28116 22 0 0 20 0 3 0 184558604 220229632 34940 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 34940 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=118564 CPUtime=281.26 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 170720 0 0 0 28106 20 0 0 20 0 3 0 184558613 220229632 34940 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=6720659943952957804 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 34940 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 139760 KiB

[startup+342.3 s]
/proc/loadavg: 4.39 4.26 4.20 5/263 973796
/proc/meminfo: memFree=124682500/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=141196 CPUtime=341.23 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 195995 0 0 0 34097 26 0 0 20 0 3 0 184558604 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 35299 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=118564 CPUtime=341.1 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 186652 0 0 0 34086 24 0 0 20 0 3 0 184558613 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=7676 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 141196 KiB

[startup+376.098 s]
# the end of solver process 973733 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=374.648 s, system=0.300066 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+358.4 s]
/proc/loadavg: 4.30 4.25 4.20 5/263 973799
/proc/meminfo: memFree=124675208/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=141196 CPUtime=357.28 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 206349 0 0 0 35701 27 0 0 20 0 3 0 184558604 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 35299 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=7676 CPUtime=357.16 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 196980 0 0 0 35691 25 0 0 20 0 3 0 184558613 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=141196 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 357.28 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 141196 KiB

[startup+364.8 s]
/proc/loadavg: 4.25 4.24 4.20 5/263 973800
/proc/meminfo: memFree=124673276/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=141196 CPUtime=363.67 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 207129 0 0 0 36339 28 0 0 20 0 3 0 184558604 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 35299 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=141196 CPUtime=363.54 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 197760 0 0 0 36328 26 0 0 20 0 3 0 184558613 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=27460 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 35299 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 363.67 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 141196 KiB

[startup+371.2 s]
/proc/loadavg: 4.23 4.23 4.19 5/263 973802
/proc/meminfo: memFree=124671752/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=141268 CPUtime=370.05 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 207601 0 0 0 36977 28 0 0 20 0 3 0 184558604 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 35317 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=4892 CPUtime=369.92 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 198232 0 0 0 36966 26 0 0 20 0 3 0 184558613 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=27460 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 370.05 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 141268 KiB

[startup+374.4 s]
/proc/loadavg: 4.29 4.25 4.20 5/263 973802
/proc/meminfo: memFree=124668504/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=141268 CPUtime=373.25 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 207693 0 0 0 37296 29 0 0 20 0 3 0 184558604 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 35317 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=27460 CPUtime=373.11 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 198324 0 0 0 37285 26 0 0 20 0 3 0 184558613 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=7676 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 373.25 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 141268 KiB

[startup+375.2 s]
/proc/loadavg: 4.29 4.25 4.20 5/263 973802
/proc/meminfo: memFree=124667500/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=141268 CPUtime=374.05 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 207718 0 0 0 37376 29 0 0 20 0 3 0 184558604 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 35317 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=141268 CPUtime=373.91 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 198349 0 0 0 37365 26 0 0 20 0 3 0 184558613 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=16256 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 374.05 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 141268 KiB

[startup+375.6 s]
/proc/loadavg: 4.29 4.25 4.20 5/263 973802
/proc/meminfo: memFree=124667500/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=141268 CPUtime=374.44 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 207722 0 0 0 37415 29 0 0 20 0 3 0 184558604 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 35317 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=6720659943952957804 CPUtime=374.31 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 198353 0 0 0 37405 26 0 0 20 0 3 0 184558613 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=1200 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 374.44 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 141268 KiB

[startup+376 s]*
/proc/loadavg: 4.29 4.25 4.20 5/263 973802
/proc/meminfo: memFree=124665056/131524600 swapFree=130799128/131071996
[pid=973733] ppid=973730 vsize=215068 memory=141268 CPUtime=374.85 cores=1,3
/proc/973733/stat : 973733 (fscip) S 973730 973733 968454 0 -1 1077936128 207724 0 0 0 37456 29 0 0 20 0 3 0 184558604 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
/proc/973733/statm: 53767 35317 2990 3032 0 40317 0
[pid=973733/tid=973735] ppid=973730 vsize=215068 memory=27460 CPUtime=374.72 cores=1,3
/proc/973733/task/973735/stat : 973735 (fscip) R 973730 973733 968454 0 -1 4194368 198355 0 0 0 37446 26 0 0 20 0 3 0 184558613 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
[pid=973733/tid=973736] ppid=973730 vsize=215068 memory=4892 CPUtime=0 cores=1,3
/proc/973733/task/973736/stat : 973736 (fscip) S 973730 973733 968454 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 184558614 220229632 35317 134679101440 4194304 16613245 140726357230640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53641216 140726357238804 140726357238920 140726357238920 140726357245936 0
Current children cumulated CPU time: 374.85 s
Current children cumulated vsize: 215068 KiB
Current children cumulated memory: 141268 KiB

Child status: 0

Real time (s): 376.098
CPU time (s): 374.948
CPU user time (s): 374.648
CPU system time (s): 0.300066
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 215068
Max. memory (cumulated for all children) (KiB): 141268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 374.648
system time used= 0.300066
maximum resident set size= 141272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214896
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= 1121
involuntary context switches= 395


# summary of solver processes directly reported to runsolver:
#   pid: 973733
#   total CPU time (s): 374.948
#   total CPU user time (s): 374.648
#   total CPU system time (s): 0.300066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.758741 second user time and 1.90666 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 19:33:27
IDJOB=4445960
IDBENCH=155407
IDSOLVER=3064
FILE ID=nodeC014/4445960-1721323995
RUNJOBID= nodeC014-1721318012-968466
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-849702.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445960-1721323995/watcher-4445960-1721323995 -o /tmp/evaluation-result-4445960-1721323995/solver-4445960-1721323995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968466 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4445960-1721323995.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 99577d0b2060d1d3afdf18d9c444f818
RANDOM SEED=1646734693

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.471
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.037
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.847
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.827
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.532
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.367
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.779
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.918
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125000472 kB
MemAvailable:   128230224 kB
Buffers:          451424 kB
Cached:          3581888 kB
SwapCached:        12916 kB
Active:          1380452 kB
Inactive:        4554312 kB
Active(anon):       9300 kB
Inactive(anon):  1912708 kB
Active(file):    1371152 kB
Inactive(file):  2641604 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799128 kB
Dirty:             28684 kB
Writeback:             0 kB
AnonPages:       1890288 kB
Mapped:            85172 kB
Shmem:             20520 kB
KReclaimable:     113288 kB
Slab:             211116 kB
SReclaimable:     113288 kB
SUnreclaim:        97828 kB
KernelStack:        4304 kB
PageTables:        13540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1911864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:    921600 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC014 at 2024-07-18 19:39:43