Trace number 4464451

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-30SAT 365.44 366.772

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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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 = 30601216, getVmSize() = 30601216, SCIPgetMemUsed() = 6738963, SCIPgetMemTotal() = 8898395, SCIPgetMemExternEstim() = 3020685
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.13	c ** Estimated virtualMemUsedAtSolver = 29706922, getVmSize() = 58519552, SCIPgetMemUsed() = 21922185, SCIPgetMemTotal() = 35674953, SCIPgetMemExternEstim() = 3020685
0.10/0.13	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.13	c Original Problem   :
0.10/0.13	c   Problem name     : instance-4464451-1722382202
0.10/0.13	c   Variables        : 1737 (1737 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.13	c   Constraints      : 1041
0.10/0.13	c   Objective sense  : minimize
0.10/0.13	c Presolved Problem  :
0.10/0.13	c   Variables        : 1692 (1692 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.13	c   Constraints      : 996
0.10/0.13	c Constraints        : Number
0.10/0.13	c   knapsack         : 144 
0.10/0.13	c   setppc           : 765 
0.10/0.13	c   linear           : 87 
0.10/0.13	c ** Instance transfer method used: 0
0.10/0.14	c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.15	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.15	c                                Nodes    Active                                            
0.10/0.15	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
6.35/6.46	c         6              2           1         1                -           0.0000          -
11.53/11.65	c        12             26          25         1                -           0.0000          -
17.81/17.94	c        18             36          35         1                -           0.0000          -
23.59/23.78	c        24             50          49         1                -           0.0000          -
29.37/29.51	c        30             74          73         1                -           0.0000          -
34.55/34.79	c        35            120         119         1                -           0.0000          -
39.73/39.94	c        40            276         153         1                -           0.0000          -
45.32/45.53	c        46            843         176         1                -           0.0000          -
50.39/50.61	c        51           1421         181         1                -           0.0000          -
55.57/55.84	c        56           1815         178         1                -           0.0000          -
60.65/60.94	c        61           2168         169         1                -           0.0000          -
65.74/66.01	c        66           2800         172         1                -           0.0000          -
70.82/71.11	c        71           3213         177         1                -           0.0000          -
75.90/76.26	c        76           3593         182         1                -           0.0000          -
80.97/81.31	c        81           4107         186         1                -           0.0000          -
85.95/86.37	c        86           4660         189         1                -           0.0000          -
91.04/91.43	c        91           5285         181         1                -           0.0000          -
96.12/96.50	c        97           5869         181         1                -           0.0000          -
101.10/101.59	c       102           6311         185         1                -           0.0000          -
106.29/106.74	c       107           6700         182         1                -           0.0000          -
111.37/111.80	c       112           7096         186         1                -           0.0000          -
116.46/117.00	c       117           7423         191         1                -           0.0000          -
121.55/122.07	c       122           8064         189         1                -           0.0000          -
126.63/127.19	c       127           8582         189         1                -           0.0000          -
131.70/132.25	c       132           9123         186         1                -           0.0000          -
136.78/137.37	c       137           9642         183         1                -           0.0000          -
141.86/142.45	c       142          10092         183         1                -           0.0000          -
146.95/147.54	c       148          10484         186         1                -           0.0000          -
151.93/152.59	c       153          11062         190         1                -           0.0000          -
157.01/157.66	c       158          11466         186         1                -           0.0000          -
162.10/162.79	c       163          11945         190         1                -           0.0000          -
167.28/168.01	c       168          12404         195         1                -           0.0000          -
172.36/173.10	c       173          12863         196         1                -           0.0000          -
177.53/178.23	c       178          13305         195         1                -           0.0000          -
182.61/183.33	c       183          13658         191         1                -           0.0000          -
187.70/188.45	c       188          14063         194         1                -           0.0000          -
192.78/193.55	c       194          14377         193         1                -           0.0000          -
197.86/198.60	c       199          14823         192         1                -           0.0000          -
202.95/203.77	c       204          15176         192         1                -           0.0000          -
208.03/208.82	c       209          15520         188         1                -           0.0000          -
213.11/213.92	c       214          15912         189         1                -           0.0000          -
218.20/219.02	c       219          16335         188         1                -           0.0000          -
223.29/224.13	c       224          16724         186         1                -           0.0000          -
228.35/229.20	c       229          17162         186         1                -           0.0000          -
233.44/234.37	c       234          17538         185         1                -           0.0000          -
238.52/239.42	c       239          17972         191         1                -           0.0000          -
243.60/244.53	c       245          18448         182         1                -           0.0000          -
248.68/249.62	c       250          18798         182         1                -           0.0000          -
253.67/254.68	c       255          19219         192         1                -           0.0000          -
258.75/259.72	c       260          19586         188         1                -           0.0000          -
263.73/264.79	c       265          19953         189         1                -           0.0000          -
268.91/269.96	c       270          20275         191         1                -           0.0000          -
273.99/275.03	c       275          20641         187         1                -           0.0000          -
279.08/280.16	c       280          21008         204         1                -           0.0000          -
284.14/285.29	c       285          21428         202         1                -           0.0000          -
289.32/290.40	c       290          21860         203         1                -           0.0000          -
294.30/295.48	c       295          22278         202         1                -           0.0000          -
299.39/300.55	c       301          22677         196         1                -           0.0000          -
304.47/305.61	c       306          23076         205         1                -           0.0000          -
309.55/310.71	c       311          23399         199         1                -           0.0000          -
314.53/315.76	c       316          23908         200         1                -           0.0000          -
319.62/320.82	c       321          24364         196         1                -           0.0000          -
324.60/325.88	c       326          24788         205         1                -           0.0000          -
329.68/330.99	c       331          25198         208         1                -           0.0000          -
334.77/336.07	c       336          25660         207         1                -           0.0000          -
339.94/341.22	c       341          26012         209         1                -           0.0000          -
345.03/346.31	c       346          26346         205         1                -           0.0000          -
350.01/351.39	c       351          26699         210         1                -           0.0000          -
355.09/356.45	c       356          27031         205         1                -           0.0000          -
360.17/361.57	c       362          27449         207         1                -           0.0000          -
365.25/366.68	c       367          27821         203         1                -           0.0000          -
365.35/366.73	c *     367          27821         203         1           0.0000           0.0000      0.00%
365.35/366.73	c       367          27828           0         0           0.0000           0.0000      0.00%
365.35/366.76	c       367          27828           0         0           0.0000           0.0000          -
365.35/366.76	c SCIP Status        : c problem is solved
365.35/366.76	c Total Time         : 366.7600
365.35/366.76	c   solving          : 366.7600
365.35/366.76	c   presolving       : 0.1170 (included in solving)
365.35/366.76	c B&B Tree           :
365.35/366.76	c   nodes (total)    : 27828
365.35/366.76	c Solution           :
365.35/366.76	c   Solutions found  : 1
365.35/366.76	c   Primal Bound     : +0.00000000000000e+00
365.35/366.76	c   Dual Bound       : +0.00000000000000e+00
365.35/366.76	c Gap                : 0.00000 %
365.35/366.76	s SATISFIABLE
365.35/366.76	v -x1737 -x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 x1729 x1728 -x1727 -x1726 -x1725 -x1724 x1723 x1722 -x1721 -x1720 -x1719 
365.35/366.76	v x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 x1710 x1709 -x1708 -x1707 -x1706 x1705 -x1704 x1703 x1702 x1701 -x1700 
365.35/366.76	v -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 
365.35/366.76	v x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 x1671 -x1670 -x1669 x1668 -x1667 -x1666 -x1665 -x1664 -x1663 
365.35/366.76	v -x1662 x1661 x1660 -x1659 -x1658 x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 -x1646 -x1645 
365.35/366.76	v -x1644 -x1643 x1642 -x1641 -x1640 x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 x1632 x1631 -x1630 -x1629 x1628 -x1627 -x1626 
365.35/366.76	v x1625 -x1624 x1623 -x1622 -x1621 -x1620 -x1619 x1618 -x1617 -x1616 -x1615 x1614 x1613 -x1612 -x1611 -x1610 -x1609 -x1608 
365.35/366.76	v -x1607 -x1606 x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 x1594 -x1593 x1592 x1591 -x1590 -x1589 
365.35/366.76	v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 x1578 -x1577 -x1576 -x1575 x1574 x1573 -x1572 x1571 -x1570 
365.35/366.76	v -x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 x1558 x1557 x1556 -x1555 -x1554 -x1553 x1552 
365.35/366.76	v x1551 -x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 
365.35/366.76	v -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 
365.35/366.76	v -x1515 -x1514 x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 
365.35/366.76	v -x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 
365.35/366.76	v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 
365.35/366.76	v x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 
365.35/366.76	v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 
365.35/366.76	v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 
365.35/366.76	v -x1407 -x1406 -x1405 -x1404 x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 
365.35/366.76	v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 
365.35/366.76	v -x1371 -x1370 x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
365.35/366.76	v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
365.35/366.76	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 
365.35/366.76	v -x1317 -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 
365.35/366.76	v -x1299 x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 
365.35/366.76	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 
365.35/366.76	v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 
365.35/366.76	v -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 -x1228 
365.35/366.76	v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 
365.35/366.76	v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 
365.35/366.76	v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 
365.35/366.76	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 
365.35/366.76	v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 
365.35/366.76	v -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 
365.35/366.76	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 
365.35/366.76	v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 
365.35/366.76	v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 
365.35/366.76	v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 
365.35/366.76	v -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 
365.35/366.76	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 
365.35/366.76	v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 
365.35/366.76	v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 
365.35/366.76	v -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 
365.35/366.76	v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 
365.35/366.76	v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 
365.35/366.76	v -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 
365.35/366.76	v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 
365.35/366.76	v -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 
365.35/366.76	v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 
365.35/366.76	v -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 x808 -x807 -x806 -x805 -x804 
365.35/366.76	v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 
365.35/366.76	v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762 
365.35/366.76	v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 
365.35/366.76	v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 
365.35/366.76	v x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 
365.35/366.76	v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 
365.35/366.76	v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 
365.35/366.76	v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 
365.35/366.76	v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
365.35/366.76	v -x614 -x613 -x612 -x611 x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
365.35/366.76	v -x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 
365.35/366.76	v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
365.35/366.76	v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 
365.35/366.76	v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 
365.35/366.76	v -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 
365.35/366.76	v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 
365.35/366.76	v -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 
365.35/366.76	v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 
365.35/366.76	v -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 
365.35/366.76	v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 
365.35/366.76	v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 
365.35/366.76	v -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 
365.35/366.76	v -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 
365.35/366.76	v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 
365.35/366.76	v x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 
365.35/366.76	v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 
365.35/366.76	v -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 
365.35/366.76	v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 
365.35/366.76	v -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 
365.35/366.76	v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 
365.35/366.76	v -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 
365.35/366.76	v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 
365.35/366.76	v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 
365.35/366.76	v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 
365.35/366.76	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 
365.35/366.76	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 
365.35/366.76	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 
365.35/366.76	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: 64096 MiB (62005 MiB free)
  memory of node 1: 64473 MiB (57332 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linuxing watchdog thread
rd l 4.18.0-301.1.el8.x86_64
Linuxing watchdog thread
rd l 4.18.0-301.1.el8.x86_64Current StackSize limit: 8192 KiB

solver pid=29746, runsolver pid=29743

[startup+0.100095 s]*
/proc/loadavg: 4.20 4.16 4.10 5/252 29747
/proc/meminfo: memFree=122176268/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=46052 memory=32280 CPUtime=0.1 cores=0,2
/proc/29746/stat : 29746 (fscip) R 29743 29746 27283 0 -1 4194304 5779 0 0 0 10 0 0 0 20 0 1 0 4590302 47157248 8070 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 11513 8070 2774 3035 0 7909 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46052 KiB
Current children cumulated memory: 32280 KiB

[startup+0.2135 s]*
/proc/loadavg: 4.20 4.16 4.10 5/254 29749
/proc/meminfo: memFree=122139336/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=145024 memory=57944 CPUtime=0.2 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 12225 0 0 0 18 2 0 0 20 0 3 0 4590302 148504576 14486 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 36256 14486 2790 3035 0 19455 0
[pid=29746/tid=29748] ppid=29743 vsize=145024 memory=8505393642823811203 CPUtime=0.06 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 3338 0 0 0 5 1 0 0 20 0 3 0 4590315 148504576 14486 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=145024 memory=56007 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590317 148504576 14486 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 145024 KiB
Current children cumulated memory: 57944 KiB

[startup+0.325513 s]*
/proc/loadavg: 4.20 4.16 4.10 5/254 29749
/proc/meminfo: memFree=122129536/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=148928 memory=65752 CPUtime=0.31 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 14176 0 0 0 28 3 0 0 20 0 3 0 4590302 152502272 16438 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 37232 16438 2806 3035 0 21557 0
[pid=29746/tid=29748] ppid=29743 vsize=148928 memory=-5155632396793769093 CPUtime=0.16 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 5290 0 0 0 15 1 0 0 20 0 3 0 4590315 152502272 16438 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=148928 memory=0 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590317 152502272 16438 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 148928 KiB
Current children cumulated memory: 65752 KiB

[startup+0.700323 s]
/proc/loadavg: 4.20 4.16 4.10 5/254 29749
/proc/meminfo: memFree=122114752/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=148928 memory=71464 CPUtime=0.67 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 15499 0 0 0 64 3 0 0 20 0 3 0 4590302 152502272 17866 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 37232 17866 2934 3035 0 22949 0
[pid=29746/tid=29748] ppid=29743 vsize=148928 memory=0 CPUtime=0.53 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 6612 0 0 0 51 2 0 0 20 0 3 0 4590315 152502272 17866 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=148928 memory=0 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590317 152502272 17866 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 148928 KiB
Current children cumulated memory: 71464 KiB

[startup+1.50031 s]
/proc/loadavg: 4.20 4.16 4.10 5/254 29749
/proc/meminfo: memFree=122089824/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=148928 memory=71720 CPUtime=1.47 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 16118 0 0 0 144 3 0 0 20 0 3 0 4590302 152502272 17930 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 37232 17930 2934 3035 0 23022 0
[pid=29746/tid=29748] ppid=29743 vsize=148928 memory=0 CPUtime=1.33 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 7231 0 0 0 131 2 0 0 20 0 3 0 4590315 152502272 17930 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=148928 memory=0 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4590317 152502272 17930 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 148928 KiB
Current children cumulated memory: 71720 KiB

[startup+3.11265 s]
/proc/loadavg: 4.19 4.15 4.10 5/254 29749
/proc/meminfo: memFree=122072376/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=149548 memory=84712 CPUtime=3.08 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 23728 0 0 0 304 4 0 0 20 0 3 0 4590302 153137152 21178 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 37387 21178 2966 3035 0 26968 0
[pid=29746/tid=29748] ppid=29743 vsize=149548 memory=0 CPUtime=2.93 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 14838 0 0 0 291 2 0 0 20 0 3 0 4590315 153137152 21178 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=149548 memory=2209 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4590317 153137152 21178 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 84712 KiB

[startup+6.30034 s]
/proc/loadavg: 4.19 4.15 4.10 5/252 29797
/proc/meminfo: memFree=121740708/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=149548 memory=89764 CPUtime=6.25 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 30571 0 0 0 621 4 0 0 20 0 3 0 4590302 153137152 22441 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 37387 22441 2982 3035 0 27592 0
[pid=29746/tid=29748] ppid=29743 vsize=149548 memory=0 CPUtime=6.11 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 21679 0 0 0 608 3 0 0 20 0 3 0 4590315 153137152 22441 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=149548 memory=11424 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4590317 153137152 22441 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 89764 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.15 4.09 5/252 29797
/proc/meminfo: memFree=121730240/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=149548 memory=92288 CPUtime=12.63 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 37693 0 0 0 1258 5 0 0 20 0 3 0 4590302 153137152 23072 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 37387 23072 3030 3035 0 28590 0
[pid=29746/tid=29748] ppid=29743 vsize=149548 memory=84864 CPUtime=12.48 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 28737 0 0 0 1245 3 0 0 20 0 3 0 4590315 153137152 23072 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=149548 memory=0 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4590317 153137152 23072 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 92288 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.14 4.09 5/254 29802
/proc/meminfo: memFree=120677676/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=149548 memory=95588 CPUtime=25.38 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 57972 0 0 0 2532 6 0 0 20 0 3 0 4590302 153137152 23897 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 37387 23897 3030 3035 0 29401 0
[pid=29746/tid=29748] ppid=29743 vsize=149548 memory=89764 CPUtime=25.25 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 48941 0 0 0 2520 5 0 0 20 0 3 0 4590315 153137152 23897 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=149548 memory=11424 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4590317 153137152 23897 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 95588 KiB

[startup+51.1125 s]
/proc/loadavg: 4.15 4.15 4.09 5/252 29862
/proc/meminfo: memFree=120602236/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=149548 memory=102664 CPUtime=50.9 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 93578 0 0 0 5081 9 0 0 20 0 3 0 4590302 153137152 25666 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 37387 25666 3030 3035 0 30595 0
[pid=29746/tid=29748] ppid=29743 vsize=149548 memory=306 CPUtime=50.76 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 84450 0 0 0 5068 8 0 0 20 0 3 0 4590315 153137152 25666 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=149548 memory=101484 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4590317 153137152 25666 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 149548 KiB
Current children cumulated memory: 102664 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/252 29871
/proc/meminfo: memFree=120449580/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=119844 CPUtime=101.9 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 131183 0 0 0 10177 13 0 0 20 0 3 0 4590302 220246016 29961 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 29961 3030 3035 0 34881 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=11424 CPUtime=101.75 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 121942 0 0 0 10163 12 0 0 20 0 3 0 4590315 220246016 29961 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=119356 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 29961 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 119844 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/252 29881
/proc/meminfo: memFree=120415080/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=119844 CPUtime=161.7 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 152194 0 0 0 16153 17 0 0 20 0 3 0 4590302 220246016 29961 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 29961 3030 3035 0 34881 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=119844 CPUtime=161.54 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 142891 0 0 0 16139 15 0 0 20 0 3 0 4590315 220246016 29961 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=12736 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 29961 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 119844 KiB

[startup+222.3 s]

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

/proc/29746/statm: 53771 30154 3030 3035 0 35071 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=11424 CPUtime=221.32 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 164580 0 0 0 22114 18 0 0 20 0 3 0 4590315 220246016 30154 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=12736 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 30154 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 120616 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/250 29904
/proc/meminfo: memFree=120091832/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=144948 CPUtime=281.25 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 189907 0 0 0 28102 23 0 0 20 0 3 0 4590302 220246016 36237 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 36237 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=11424 CPUtime=281.09 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 180513 0 0 0 28088 21 0 0 20 0 3 0 4590315 220246016 36237 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=12700 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 36237 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 144948 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/249 29915
/proc/meminfo: memFree=120048480/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151280 CPUtime=341.04 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 192387 0 0 0 34080 24 0 0 20 0 3 0 4590302 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37820 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=151280 CPUtime=340.87 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 182974 0 0 0 34065 22 0 0 20 0 3 0 4590315 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=151280 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151280 KiB

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

# cumulated CPU time of all completed processes:  user=365.186 s, system=0.253939 s

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

[startup+345.6 s]
/proc/loadavg: 4.16 4.15 4.09 5/249 29917
/proc/meminfo: memFree=120046044/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151280 CPUtime=344.33 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 192388 0 0 0 34409 24 0 0 20 0 3 0 4590302 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37820 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=151280 CPUtime=344.16 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 182975 0 0 0 34394 22 0 0 20 0 3 0 4590315 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=5488 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 344.33 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151280 KiB

[startup+358.4 s]
/proc/loadavg: 4.13 4.14 4.09 5/249 29918
/proc/meminfo: memFree=120034784/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151280 CPUtime=357.08 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 193602 0 0 0 35684 24 0 0 20 0 3 0 4590302 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37820 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=11424 CPUtime=356.91 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 184172 0 0 0 35669 22 0 0 20 0 3 0 4590315 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=151280 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 357.08 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151280 KiB

[startup+361.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/249 29918
/proc/meminfo: memFree=120033804/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151280 CPUtime=360.27 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 193620 0 0 0 36003 24 0 0 20 0 3 0 4590302 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37820 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=5488 CPUtime=360.1 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 184190 0 0 0 35988 22 0 0 20 0 3 0 4590315 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=151280 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37820 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 360.27 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151280 KiB

[startup+364.8 s]
/proc/loadavg: 4.12 4.14 4.09 5/249 29918
/proc/meminfo: memFree=120033784/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151284 CPUtime=363.46 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 193688 0 0 0 36322 24 0 0 20 0 3 0 4590302 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37821 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=151280 CPUtime=363.29 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 184258 0 0 0 36307 22 0 0 20 0 3 0 4590315 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=151280 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 363.46 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151284 KiB

[startup+365.6 s]
/proc/loadavg: 4.12 4.14 4.09 5/249 29921
/proc/meminfo: memFree=120033576/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151284 CPUtime=364.26 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 193689 0 0 0 36402 24 0 0 20 0 3 0 4590302 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37821 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=11424 CPUtime=364.08 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 184259 0 0 0 36386 22 0 0 20 0 3 0 4590315 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=12700 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 364.26 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151284 KiB

[startup+366.4 s]
/proc/loadavg: 4.12 4.14 4.09 5/249 29921
/proc/meminfo: memFree=120033528/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151284 CPUtime=365.05 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 193690 0 0 0 36481 24 0 0 20 0 3 0 4590302 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37821 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=12700 CPUtime=364.88 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 184260 0 0 0 36466 22 0 0 20 0 3 0 4590315 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=12736 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 365.05 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151284 KiB

[startup+366.6 s]
/proc/loadavg: 4.12 4.14 4.09 5/249 29921
/proc/meminfo: memFree=120033528/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151284 CPUtime=365.25 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 193690 0 0 0 36501 24 0 0 20 0 3 0 4590302 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37821 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=151284 CPUtime=365.08 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 184260 0 0 0 36486 22 0 0 20 0 3 0 4590315 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=2244 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 365.25 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151284 KiB

[startup+366.7 s]
/proc/loadavg: 4.12 4.14 4.09 5/249 29921
/proc/meminfo: memFree=120033528/131655788 swapFree=131071472/131071996
[pid=29746] ppid=29743 vsize=215084 memory=151284 CPUtime=365.35 cores=0,2
/proc/29746/stat : 29746 (fscip) S 29743 29746 27283 0 -1 1077936128 193690 0 0 0 36511 24 0 0 20 0 3 0 4590302 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
/proc/29746/statm: 53771 37821 3030 3035 0 40317 0
[pid=29746/tid=29748] ppid=29743 vsize=215084 memory=151280 CPUtime=365.18 cores=0,2
/proc/29746/task/29748/stat : 29748 (fscip) R 29743 29746 27283 0 -1 4194368 184260 0 0 0 36496 22 0 0 20 0 3 0 4590315 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
[pid=29746/tid=29749] ppid=29743 vsize=215084 memory=1944 CPUtime=0 cores=0,2
/proc/29746/task/29749/stat : 29749 (fscip) S 29743 29746 27283 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4590317 220246016 37821 134679101440 4194304 16623229 140732012999216 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 27607040 140732013003798 140732013003914 140732013003914 140732013010928 0
Current children cumulated CPU time: 365.35 s
Current children cumulated vsize: 215084 KiB
Current children cumulated memory: 151284 KiB

Child status: 0

Real time (s): 366.772
CPU time (s): 365.44
CPU user time (s): 365.186
CPU system time (s): 0.253939
CPU usage (%): 99.6369
Max. virtual memory (cumulated for all children) (KiB): 215084
Max. memory (cumulated for all children) (KiB): 151284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.186
system time used= 0.253939
maximum resident set size= 151284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194574
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= 1137
involuntary context switches= 2227


# summary of solver processes directly reported to runsolver:
#   pid: 29746
#   total CPU time (s): 365.44
#   total CPU user time (s): 365.186
#   total CPU system time (s): 0.253939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.01545 second user time and 3.41835 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-31 01:30:02
IDJOB=4464451
IDBENCH=155407
IDSOLVER=3092
FILE ID=nodeC012/4464451-1722382202
RUNJOBID= nodeC012-1722378594-27293
SLURM_JOB_ID= 8249842
Free space on /tmp= 723700 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4464451-1722382202/watcher-4464451-1722382202 -o /tmp/evaluation-result-4464451-1722382202/solver-4464451-1722382202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27293 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464451-1722382202.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 99577d0b2060d1d3afdf18d9c444f818
RANDOM SEED=292526229

nodeC012.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	: 0xb00001f
cpu MHz		: 3491.881
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.70
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	: 0xb00001f
cpu MHz		: 3670.144
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.70
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	: 0xb00001f
cpu MHz		: 1197.368
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3668.824
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.70
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	: 0xb00001f
cpu MHz		: 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.394
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.70
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	: 0xb00001f
cpu MHz		: 1197.337
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122201632 kB
MemAvailable:   129728260 kB
Buffers:           91164 kB
Cached:          8237596 kB
SwapCached:           48 kB
Active:           248348 kB
Inactive:        8705168 kB
Active(anon):       1432 kB
Inactive(anon):   644616 kB
Active(file):     246916 kB
Inactive(file):  8060552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            113736 kB
Writeback:             0 kB
AnonPages:        624512 kB
Mapped:           123112 kB
Shmem:             21248 kB
KReclaimable:     118720 kB
Slab:             201632 kB
SReclaimable:     118720 kB
SUnreclaim:        82912 kB
KernelStack:        4032 kB
PageTables:        10052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     899232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      199496 kB
DirectMap2M:    13336576 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC012 at 2024-07-31 01:36:09