Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| npSolver 1.0 | ? (TO) | 1800.43 | 1800.83 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi5.opb |
| MD5SUM | e569a703dfec131c012510753e8401ab |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1931 |
| Best CPU time to get the best result obtained on this benchmark | 1.10883 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1931 |
| Optimality of the best value was proved | YES |
| Number of variables | 3862 |
| Total number of constraints | 16399 |
| Number of constraints which are clauses | 16399 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8 |
| Number of terms in the objective function | 3862 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3862 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 3862 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.04 c run usual solver 1.28/1.30 c model valid 1.28/1.30 c current solution ok 1.28/1.32 o 1931 1.28/1.32 c current bound: 965 1.28/1.32 c fallback to adder encoding 981.11/981.37 c current bound: 1448 981.11/981.37 c fallback to adder encoding 1037.28/1037.52 c current bound: 1690 1037.28/1037.52 c fallback to adder encoding 1056.97/1057.26 c current bound: 1811 1056.97/1057.26 c fallback to adder encoding 1092.26/1092.53 c current bound: 1871 1092.26/1092.53 c fallback to adder encoding 1115.76/1116.03 c current bound: 1901 1115.76/1116.03 c fallback to adder encoding 1139.76/1140.09 c current bound: 1916 1139.76/1140.09 c fallback to adder encoding 1197.24/1197.55 c current bound: 1924 1197.24/1197.55 c fallback to adder encoding 1206.65/1206.90 c model valid 1206.65/1206.90 c current solution ok 1206.65/1206.91 o 1931 1206.65/1206.91 c current bound: 1924 1206.65/1206.91 c fallback to adder encoding 1215.85/1216.27 c model valid 1215.85/1216.27 c current solution ok 1215.85/1216.27 o 1931 1215.85/1216.27 c current bound: 1924 1215.85/1216.27 c fallback to adder encoding 1225.23/1225.64 c model valid 1225.23/1225.64 c current solution ok 1225.23/1225.65 o 1931 1225.23/1225.65 c current bound: 1924 1225.23/1225.65 c fallback to adder encoding 1234.75/1235.01 c model valid 1234.75/1235.01 c current solution ok 1234.75/1235.02 o 1931 1234.75/1235.02 c current bound: 1924 1234.75/1235.02 c fallback to adder encoding 1243.98/1244.39 c model valid 1243.98/1244.39 c current solution ok 1244.13/1244.40 o 1931 1244.13/1244.40 c current bound: 1924 1244.13/1244.40 c fallback to adder encoding 1253.39/1253.79 c model valid 1253.39/1253.79 c current solution ok 1253.54/1253.80 o 1931 1253.54/1253.80 c current bound: 1924 1253.54/1253.80 c fallback to adder encoding 1262.73/1263.15 c model valid 1262.73/1263.15 c current solution ok 1262.73/1263.15 o 1931 1262.73/1263.15 c current bound: 1924 1262.73/1263.15 c fallback to adder encoding 1272.10/1272.52 c model valid 1272.10/1272.52 c current solution ok 1272.10/1272.53 o 1931 1272.10/1272.53 c current bound: 1924 1272.10/1272.53 c fallback to adder encoding 1281.41/1281.84 c model valid 1281.41/1281.84 c current solution ok 1281.41/1281.84 o 1931 1281.41/1281.84 c current bound: 1924 1281.41/1281.84 c fallback to adder encoding 1290.56/1290.99 c model valid 1290.56/1290.99 c current solution ok 1290.56/1290.99 o 1931 1290.56/1290.99 c current bound: 1924 1290.56/1290.99 c fallback to adder encoding 1299.93/1300.21 c model valid 1299.93/1300.21 c current solution ok 1299.93/1300.22 o 1931 1299.93/1300.22 c current bound: 1924 1299.93/1300.22 c fallback to adder encoding 1309.05/1309.48 c model valid 1309.05/1309.48 c current solution ok 1309.05/1309.49 o 1931 1309.05/1309.49 c current bound: 1924 1309.05/1309.49 c fallback to adder encoding 1318.30/1318.74 c model valid 1318.30/1318.74 c current solution ok 1318.30/1318.74 o 1931 1318.30/1318.74 c current bound: 1924 1318.30/1318.74 c fallback to adder encoding 1327.57/1328.03 c model valid 1327.57/1328.03 c current solution ok 1327.57/1328.03 o 1931 1327.57/1328.03 c current bound: 1924 1327.57/1328.03 c fallback to adder encoding 1336.90/1337.35 c model valid 1336.90/1337.35 c current solution ok 1336.90/1337.36 o 1931 1336.90/1337.36 c current bound: 1924 1336.90/1337.36 c fallback to adder encoding 1346.39/1346.71 c model valid 1346.39/1346.71 c current solution ok 1346.39/1346.72 o 1931 1346.39/1346.72 c current bound: 1924 1346.39/1346.72 c fallback to adder encoding 1355.59/1356.05 c model valid 1355.59/1356.05 c current solution ok 1355.59/1356.06 o 1931 1355.59/1356.06 c current bound: 1924 1355.59/1356.06 c fallback to adder encoding 1364.92/1365.38 c model valid 1364.92/1365.38 c current solution ok 1364.92/1365.38 o 1931 1364.92/1365.38 c current bound: 1924 1364.92/1365.38 c fallback to adder encoding 1374.26/1374.72 c model valid 1374.26/1374.72 c current solution ok 1374.26/1374.73 o 1931 1374.26/1374.73 c current bound: 1924 1374.26/1374.73 c fallback to adder encoding 1383.80/1384.10 c model valid 1383.80/1384.10 c current solution ok 1383.80/1384.11 o 1931 1383.80/1384.11 c current bound: 1924 1383.80/1384.11 c fallback to adder encoding 1392.99/1393.45 c model valid 1392.99/1393.45 c current solution ok 1392.99/1393.46 o 1931 1392.99/1393.46 c current bound: 1924 1392.99/1393.46 c fallback to adder encoding 1402.33/1402.79 c model valid 1402.33/1402.79 c current solution ok 1402.49/1402.80 o 1931 1402.49/1402.80 c current bound: 1924 1402.49/1402.80 c fallback to adder encoding 1411.67/1412.13 c model valid 1411.67/1412.13 c current solution ok 1411.67/1412.14 o 1931 1411.67/1412.14 c current bound: 1924 1411.67/1412.14 c fallback to adder encoding 1421.06/1421.52 c model valid 1421.06/1421.52 c current solution ok 1421.06/1421.53 o 1931 1421.06/1421.53 c current bound: 1924 1421.06/1421.53 c fallback to adder encoding 1430.38/1430.85 c model valid 1430.38/1430.85 c current solution ok 1430.38/1430.85 o 1931 1430.38/1430.85 c current bound: 1924 1430.38/1430.85 c fallback to adder encoding 1439.80/1440.11 c model valid 1439.80/1440.11 c current solution ok 1439.80/1440.11 o 1931 1439.80/1440.11 c current bound: 1924 1439.80/1440.11 c fallback to adder encoding 1448.90/1449.36 c model valid 1448.90/1449.36 c current solution ok 1448.90/1449.37 o 1931 1448.90/1449.37 c current bound: 1924 1448.90/1449.37 c fallback to adder encoding 1458.19/1458.66 c model valid 1458.19/1458.66 c current solution ok 1458.19/1458.66 o 1931 1458.19/1458.66 c current bound: 1924 1458.19/1458.66 c fallback to adder encoding 1467.69/1468.00 c model valid 1467.69/1468.00 c current solution ok 1467.69/1468.01 o 1931 1467.69/1468.01 c current bound: 1924 1467.69/1468.01 c fallback to adder encoding 1477.08/1477.41 c model valid 1477.08/1477.41 c current solution ok 1477.08/1477.41 o 1931 1477.08/1477.41 c current bound: 1924 1477.08/1477.41 c fallback to adder encoding 1486.47/1486.81 c model valid 1486.47/1486.81 c current solution ok 1486.47/1486.82 o 1931 1486.47/1486.82 c current bound: 1924 1486.47/1486.82 c fallback to adder encoding 1495.68/1496.16 c model valid 1495.68/1496.16 c current solution ok 1495.68/1496.17 o 1931 1495.68/1496.17 c current bound: 1924 1495.68/1496.17 c fallback to adder encoding 1505.17/1505.50 c model valid 1505.17/1505.50 c current solution ok 1505.17/1505.50 o 1931 1505.17/1505.50 c current bound: 1924 1505.17/1505.50 c fallback to adder encoding 1514.37/1514.86 c model valid 1514.37/1514.86 c current solution ok 1514.37/1514.86 o 1931 1514.37/1514.86 c current bound: 1924 1514.37/1514.86 c fallback to adder encoding 1523.87/1524.20 c model valid 1523.87/1524.20 c current solution ok 1523.87/1524.21 o 1931 1523.87/1524.21 c current bound: 1924 1523.87/1524.21 c fallback to adder encoding 1533.05/1533.53 c model valid 1533.05/1533.53 c current solution ok 1533.05/1533.54 o 1931 1533.05/1533.54 c current bound: 1924 1533.05/1533.54 c fallback to adder encoding 1542.57/1542.91 c model valid 1542.57/1542.91 c current solution ok 1542.57/1542.91 o 1931 1542.57/1542.91 c current bound: 1924 1542.57/1542.91 c fallback to adder encoding 1551.74/1552.23 c model valid 1551.74/1552.23 c current solution ok 1551.74/1552.24 o 1931 1551.74/1552.24 c current bound: 1924 1551.74/1552.24 c fallback to adder encoding 1561.35/1561.84 c model valid 1561.35/1561.84 c current solution ok 1561.35/1561.84 o 1931 1561.35/1561.84 c current bound: 1924 1561.35/1561.84 c fallback to adder encoding 1570.54/1571.04 c model valid 1570.54/1571.04 c current solution ok 1570.54/1571.04 o 1931 1570.54/1571.04 c current bound: 1924 1570.54/1571.04 c fallback to adder encoding 1579.78/1580.27 c model valid 1579.78/1580.27 c current solution ok 1579.78/1580.27 o 1931 1579.78/1580.27 c current bound: 1924 1579.78/1580.27 c fallback to adder encoding 1589.16/1589.51 c model valid 1589.16/1589.51 c current solution ok 1589.16/1589.52 o 1931 1589.16/1589.52 c current bound: 1924 1589.16/1589.52 c fallback to adder encoding 1598.27/1598.78 c model valid 1598.27/1598.78 c current solution ok 1598.27/1598.78 o 1931 1598.27/1598.78 c current bound: 1924 1598.27/1598.78 c fallback to adder encoding 1607.56/1608.07 c model valid 1607.56/1608.07 c current solution ok 1607.56/1608.08 o 1931 1607.56/1608.08 c current bound: 1924 1607.56/1608.08 c fallback to adder encoding 1616.87/1617.39 c model valid 1616.87/1617.39 c current solution ok 1616.87/1617.40 o 1931 1616.87/1617.40 c current bound: 1924 1616.87/1617.40 c fallback to adder encoding 1626.22/1626.74 c model valid 1626.22/1626.74 c current solution ok 1626.22/1626.75 o 1931 1626.22/1626.75 c current bound: 1924 1626.22/1626.75 c fallback to adder encoding 1635.61/1636.14 c model valid 1635.61/1636.14 c current solution ok 1635.61/1636.15 o 1931 1635.61/1636.15 c current bound: 1924 1635.61/1636.15 c fallback to adder encoding 1645.03/1645.41 c model valid 1645.03/1645.41 c current solution ok 1645.03/1645.41 o 1931 1645.03/1645.41 c current bound: 1924 1645.03/1645.41 c fallback to adder encoding 1654.23/1654.76 c model valid 1654.23/1654.76 c current solution ok 1654.23/1654.77 o 1931 1654.23/1654.77 c current bound: 1924 1654.23/1654.77 c fallback to adder encoding 1663.60/1664.12 c model valid 1663.60/1664.12 c current solution ok 1663.60/1664.13 o 1931 1663.60/1664.13 c current bound: 1924 1663.60/1664.13 c fallback to adder encoding 1673.00/1673.53 c model valid 1673.00/1673.53 c current solution ok 1673.00/1673.53 o 1931 1673.00/1673.53 c current bound: 1924 1673.00/1673.53 c fallback to adder encoding 1682.35/1682.88 c model valid 1682.35/1682.88 c current solution ok 1682.35/1682.89 o 1931 1682.35/1682.89 c current bound: 1924 1682.35/1682.89 c fallback to adder encoding 1691.71/1692.24 c model valid 1691.71/1692.24 c current solution ok 1691.71/1692.25 o 1931 1691.71/1692.25 c current bound: 1924 1691.71/1692.25 c fallback to adder encoding 1701.03/1701.57 c model valid 1701.03/1701.57 c current solution ok 1701.03/1701.58 o 1931 1701.03/1701.58 c current bound: 1924 1701.03/1701.58 c fallback to adder encoding 1710.43/1710.97 c model valid 1710.43/1710.97 c current solution ok 1710.43/1710.98 o 1931 1710.43/1710.98 c current bound: 1924 1710.43/1710.98 c fallback to adder encoding 1719.90/1720.35 c model valid 1719.90/1720.35 c current solution ok 1719.90/1720.36 o 1931 1719.90/1720.36 c current bound: 1924 1719.90/1720.36 c fallback to adder encoding 1729.12/1729.65 c model valid 1729.12/1729.65 c current solution ok 1729.12/1729.66 o 1931 1729.12/1729.66 c current bound: 1924 1729.12/1729.66 c fallback to adder encoding 1738.38/1738.93 c model valid 1738.38/1738.93 c current solution ok 1738.38/1738.94 o 1931 1738.38/1738.94 c current bound: 1924 1738.38/1738.94 c fallback to adder encoding 1747.80/1748.20 c model valid 1747.80/1748.20 c current solution ok 1747.80/1748.20 o 1931 1747.80/1748.20 c current bound: 1924 1747.80/1748.20 c fallback to adder encoding 1756.97/1757.53 c model valid 1756.97/1757.53 c current solution ok 1756.97/1757.54 o 1931 1756.97/1757.54 c current bound: 1924 1756.97/1757.54 c fallback to adder encoding 1766.33/1766.89 c model valid 1766.33/1766.89 c current solution ok 1766.33/1766.89 o 1931 1766.33/1766.89 c current bound: 1924 1766.33/1766.89 c fallback to adder encoding 1775.67/1776.23 c model valid 1775.67/1776.23 c current solution ok 1775.67/1776.24 o 1931 1775.67/1776.24 c current bound: 1924 1775.67/1776.24 c fallback to adder encoding 1785.19/1785.61 c model valid 1785.19/1785.61 c current solution ok 1785.19/1785.62 o 1931 1785.19/1785.62 c current bound: 1924 1785.19/1785.62 c fallback to adder encoding 1794.40/1794.97 c model valid 1794.40/1794.97 c current solution ok 1794.40/1794.97 o 1931 1794.40/1794.97 c current bound: 1924 1794.40/1794.97 c fallback to adder encoding 1800.07/1800.82 ./satsolver.sh: line 5: 6630 Terminated ./glucose $1 > $2 2> /dev/null 1800.07/1800.97 c error: unexpected solver exit code 1800.07/1800.97 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3701133-1338058369/watcher-3701133-1338058369 -o /tmp/evaluation-result-3701133-1338058369/solver-3701133-1338058369 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701133-1338058369.opb 743998573 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 3/179 6060 /proc/meminfo: memFree=28270264/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [startup+0.0481799 s] /proc/loadavg: 2.00 2.01 2.00 3/179 6060 /proc/meminfo: memFree=28270264/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100253 s] /proc/loadavg: 2.00 2.01 2.00 3/179 6060 /proc/meminfo: memFree=28270264/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300294 s] /proc/loadavg: 2.00 2.01 2.00 3/179 6060 /proc/meminfo: memFree=28270264/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700241 s] /proc/loadavg: 2.00 2.01 2.00 3/179 6060 /proc/meminfo: memFree=28270264/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50034 s] /proc/loadavg: 2.00 2.01 2.00 3/183 6067 /proc/meminfo: memFree=28262652/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=21184 CPUtime=1.48 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) R 6060 6060 5140 0 -1 4202496 3181 7444 0 0 23 3 121 1 20 0 1 0 271965508 21692416 4026 33554432000 4194304 5992684 140736261976704 140736261970736 4525041 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 5296 4026 179 440 0 4852 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 30332 [startup+3.10044 s] /proc/loadavg: 2.00 2.01 2.00 3/183 6074 /proc/meminfo: memFree=28205220/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=21184 CPUtime=1.52 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 3633 7444 0 0 25 5 121 1 20 0 1 0 271965508 21692416 4027 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 5296 4027 180 440 0 4852 0 [pid=6073] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6073/stat : 6073 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271965662 9367552 267 33554432000 4194304 5064252 140735554103424 140735554102336 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6073/statm: 2287 267 226 213 0 72 0 [pid=6074] ppid=6073 vsize=38388 CPUtime=1.54 cores=1,3,5,7 /proc/6074/stat : 6074 (glucose) R 6073 6060 5140 0 -1 4202496 9377 0 0 0 152 2 0 0 20 0 1 0 271965662 39309312 8587 33554432000 4194304 5208918 140734360675824 140734360673656 4205672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6074/statm: 9597 8587 104 248 0 9346 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 77868 [startup+6.30035 s] /proc/loadavg: 2.00 2.01 2.00 3/183 6074 /proc/meminfo: memFree=28198916/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=21184 CPUtime=1.52 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 3633 7444 0 0 25 5 121 1 20 0 1 0 271965508 21692416 4027 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 5296 4027 180 440 0 4852 0 [pid=6073] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6073/stat : 6073 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271965662 9367552 267 33554432000 4194304 5064252 140735554103424 140735554102336 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6073/statm: 2287 267 226 213 0 72 0 [pid=6074] ppid=6073 vsize=42808 CPUtime=4.74 cores=1,3,5,7 /proc/6074/stat : 6074 (glucose) R 6073 6060 5140 0 -1 4202496 9487 0 0 0 472 2 0 0 20 0 1 0 271965662 43835392 8693 33554432000 4194304 5208918 140734360675824 140734360672200 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6074/statm: 10702 8693 105 248 0 10451 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 82288 [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.00 3/183 6074 /proc/meminfo: memFree=28189720/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=21184 CPUtime=1.52 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 3633 7444 0 0 25 5 121 1 20 0 1 0 271965508 21692416 4027 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 5296 4027 180 440 0 4852 0 [pid=6073] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6073/stat : 6073 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271965662 9367552 267 33554432000 4194304 5064252 140735554103424 140735554102336 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6073/statm: 2287 267 226 213 0 72 0 [pid=6074] ppid=6073 vsize=50360 CPUtime=11.15 cores=1,3,5,7 /proc/6074/stat : 6074 (glucose) R 6073 6060 5140 0 -1 4202496 10912 0 0 0 1112 3 0 0 20 0 1 0 271965662 51568640 11016 33554432000 4194304 5208918 140734360675824 140734360672136 4211162 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6074/statm: 12590 11016 105 248 0 12339 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 89840 [startup+25.5005 s] /proc/loadavg: 2.00 2.01 2.00 3/183 6074 /proc/meminfo: memFree=28172604/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=21184 CPUtime=1.52 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 3633 7444 0 0 25 5 121 1 20 0 1 0 271965508 21692416 4027 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 5296 4027 180 440 0 4852 0 [pid=6073] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6073/stat : 6073 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271965662 9367552 267 33554432000 4194304 5064252 140735554103424 140735554102336 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6073/statm: 2287 267 226 213 0 72 0 [pid=6074] ppid=6073 vsize=61852 CPUtime=23.94 cores=1,3,5,7 /proc/6074/stat : 6074 (glucose) R 6073 6060 5140 0 -1 4202496 12007 0 0 0 2391 3 0 0 20 0 1 0 271965662 63336448 14026 33554432000 4194304 5208918 140734360675824 140734360672200 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6074/statm: 15463 14026 105 248 0 15212 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 101332 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.00 3/183 6074 /proc/meminfo: memFree=28160488/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=21184 CPUtime=1.52 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 3633 7444 0 0 25 5 121 1 20 0 1 0 271965508 21692416 4027 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 5296 4027 180 440 0 4852 0 [pid=6073] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6073/stat : 6073 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271965662 9367552 267 33554432000 4194304 5064252 140735554103424 140735554102336 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6073/statm: 2287 267 226 213 0 72 0 [pid=6074] ppid=6073 vsize=69036 CPUtime=49.53 cores=1,3,5,7 /proc/6074/stat : 6074 (glucose) R 6073 6060 5140 0 -1 4202496 13556 0 0 0 4949 4 0 0 20 0 1 0 271965662 70692864 16347 33554432000 4194304 5208918 140734360675824 140734360672200 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6074/statm: 17259 16347 105 248 0 17008 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 108516 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/182 6074 /proc/meminfo: memFree=28129148/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=21184 CPUtime=1.52 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 3633 7444 0 0 25 5 121 1 20 0 1 0 271965508 21692416 4027 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 5296 4027 180 440 0 4852 0 [pid=6073] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6073/stat : 6073 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271965662 9367552 267 33554432000 4194304 5064252 140735554103424 140735554102336 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6073/statm: 2287 267 226 213 0 72 0 [pid=6074] ppid=6073 vsize=87892 CPUtime=100.72 cores=1,3,5,7 /proc/6074/stat : 6074 (glucose) R 6073 6060 5140 0 -1 4202496 14209 0 0 0 10067 5 0 0 20 0 1 0 271965662 90001408 21107 33554432000 4194304 5208918 140734360675824 140734360671512 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6074/statm: 21973 21107 105 248 0 21722 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 127372 [startup+162.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 6075 /proc/meminfo: memFree=28097368/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=21184 CPUtime=1.52 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 3633 7444 0 0 25 5 121 1 20 0 1 0 271965508 21692416 4027 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 5296 4027 180 440 0 4852 0 [pid=6073] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6073/stat : 6073 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271965662 9367552 267 33554432000 4194304 5064252 140735554103424 140735554102336 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6073/statm: 2287 267 226 213 0 72 0 [pid=6074] ppid=6073 vsize=118240 CPUtime=160.71 cores=1,3,5,7 /proc/6074/stat : 6074 (glucose) R 6073 6060 5140 0 -1 4202496 14461 0 0 0 16065 6 0 0 20 0 1 0 271965662 121077760 26466 33554432000 4194304 5208918 140734360675824 140734360672200 4229155 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6074/statm: 29560 26466 105 248 0 29309 0 Current children cumulated CPU time (s) 162.23 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/183 6339 /proc/meminfo: memFree=28127372/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1421.47 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 98157 481498 0 0 724 98 141031 294 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6338] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6338/stat : 6338 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272107685 9367552 267 33554432000 4194304 5064252 140735778596464 140735778595376 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6338/statm: 2287 267 226 213 0 72 0 [pid=6339] ppid=6338 vsize=40516 CPUtime=0.53 cores=1,3,5,7 /proc/6339/stat : 6339 (glucose) R 6338 6060 5140 0 -1 4202496 10188 0 0 0 50 3 0 0 20 0 1 0 272107685 41488384 9050 33554432000 4194304 5208918 140737077701360 140735778595400 4229827 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6339/statm: 10129 9050 104 248 0 9878 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 96252 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 6388 /proc/meminfo: memFree=28163996/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1477.34 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 116487 570093 0 0 863 115 146404 352 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6387] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6387/stat : 6387 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272113274 9367552 267 33554432000 4194304 5064252 140734397110048 140734397108960 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6387/statm: 2287 267 226 213 0 72 0 [pid=6388] ppid=6387 vsize=46200 CPUtime=4.63 cores=1,3,5,7 /proc/6388/stat : 6388 (glucose) R 6387 6060 5140 0 -1 4202496 11290 0 0 0 461 2 0 0 20 0 1 0 272113274 47308800 10075 33554432000 4194304 5208918 140733223586768 140733223584600 4210724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/6388/statm: 11550 10075 105 248 0 11299 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 101936 [startup+1542.3 s] /proc/loadavg: 1.94 1.98 1.99 3/183 6431 /proc/meminfo: memFree=28148728/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1533.45 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 134817 659878 0 0 1000 134 151803 408 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6430] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6430/stat : 6430 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272118886 9367552 267 33554432000 4194304 5064252 140733420644272 140733420643184 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6430/statm: 2287 267 226 213 0 72 0 [pid=6431] ppid=6430 vsize=46636 CPUtime=8.51 cores=1,3,5,7 /proc/6431/stat : 6431 (glucose) R 6430 6060 5140 0 -1 4202496 10477 0 0 0 849 2 0 0 20 0 1 0 272118886 47755264 10602 33554432000 4194304 5208918 140734510245728 140734510243560 4212757 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6431/statm: 11659 10602 105 248 0 11408 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 102372 [startup+1602.3 s] /proc/loadavg: 1.98 1.98 1.99 3/183 6480 /proc/meminfo: memFree=28137352/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1598.67 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 156202 763098 0 0 1161 155 158074 477 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6479] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6479/stat : 6479 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272125410 9367552 267 33554432000 4194304 5064252 140733375421760 140733375420672 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6479/statm: 2287 267 226 213 0 72 0 [pid=6480] ppid=6479 vsize=46200 CPUtime=3.27 cores=1,3,5,7 /proc/6480/stat : 6480 (glucose) R 6479 6060 5140 0 -1 4202496 10135 0 0 0 325 2 0 0 20 0 1 0 272125411 47308800 9783 33554432000 4194304 5208918 140736626511152 140736626508984 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6480/statm: 11550 9783 105 248 0 11299 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 101936 [startup+1662.3 s] /proc/loadavg: 1.99 1.98 1.99 3/184 6525 /proc/meminfo: memFree=28133056/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1654.64 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 174532 850040 0 0 1299 173 163456 536 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6524] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6524/stat : 6524 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272131009 9367552 266 33554432000 4194304 5064252 140733824577280 140733824576192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6524/statm: 2287 266 226 213 0 72 0 [pid=6525] ppid=6524 vsize=46628 CPUtime=7.28 cores=1,3,5,7 /proc/6525/stat : 6525 (glucose) R 6524 6060 5140 0 -1 4202496 10453 0 0 0 725 3 0 0 20 0 1 0 272131009 47747072 10590 33554432000 4194304 5208918 140735537749264 140735537747096 4211537 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6525/statm: 11657 10590 105 248 0 11406 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 102364 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.99 3/183 6574 /proc/meminfo: memFree=28133364/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1720.21 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 195917 953445 0 0 1461 193 169762 605 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6573] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6573/stat : 6573 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272137568 9367552 267 33554432000 4194304 5064252 140735098926272 140735098925184 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6573/statm: 2287 267 226 213 0 72 0 [pid=6574] ppid=6573 vsize=45864 CPUtime=1.69 cores=1,3,5,7 /proc/6574/stat : 6574 (glucose) R 6573 6060 5140 0 -1 4202496 11164 0 0 0 167 2 0 0 20 0 1 0 272137568 46964736 9939 33554432000 4194304 5208918 140736710277136 140736710274808 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6574/statm: 11466 9939 104 248 0 11215 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 101600 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.99 3/183 6616 /proc/meminfo: memFree=28105128/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1776.06 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 214247 1041696 0 0 1599 211 175135 661 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6615] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6615/stat : 6615 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272143156 9367552 267 33554432000 4194304 5064252 140733755079200 140733755078112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6615/statm: 2287 267 226 213 0 72 0 [pid=6616] ppid=6615 vsize=46632 CPUtime=5.8 cores=1,3,5,7 /proc/6616/stat : 6616 (glucose) R 6615 6060 5140 0 -1 4202496 10451 0 0 0 578 2 0 0 20 0 1 0 272143156 47751168 10497 33554432000 4194304 5208918 140736994331840 140736994329672 4211558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6616/statm: 11658 10497 105 248 0 11407 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 102368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.06 2.00 2.00 4/183 6682 /proc/meminfo: memFree=28068668/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1794.79 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 220357 1070786 0 0 1645 217 176936 681 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6629] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6629/stat : 6629 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272145029 9367552 267 33554432000 4194304 5064252 140734029743616 140734029742528 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6629/statm: 2287 267 226 213 0 72 0 [pid=6630] ppid=6629 vsize=46628 CPUtime=5.28 cores=1,3,5,7 /proc/6630/stat : 6630 (glucose) R 6629 6060 5140 0 -1 4202496 11059 0 0 0 525 3 0 0 20 0 1 0 272145030 47747072 10387 33554432000 4194304 5208918 140734611765552 140734611763384 4228975 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6630/statm: 11657 10387 105 248 0 11406 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 102364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.06 2.00 2.00 4/183 6682 /proc/meminfo: memFree=28068668/32873844 swapFree=7356/7356 [pid=6060] ppid=6058 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6060/stat : 6060 (npSolver-pbo.sh) S 6058 6060 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271965508 9367552 274 33554432000 4194304 5064252 140733202346224 140733202345136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/6060/statm: 2287 274 233 213 0 72 0 [pid=6061] ppid=6060 vsize=37440 CPUtime=1794.79 cores=1,3,5,7 /proc/6061/stat : 6061 (npSolver-pbo) S 6060 6060 5140 0 -1 4202496 220357 1070786 0 0 1645 217 176936 681 20 0 1 0 271965508 38338560 8403 33554432000 4194304 5992684 140736261976704 140736261969024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/6061/statm: 9360 8403 181 440 0 8916 0 [pid=6629] ppid=6061 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/6629/stat : 6629 (satsolver.sh) S 6061 6060 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272145029 9367552 267 33554432000 4194304 5064252 140734029743616 140734029742528 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/6629/statm: 2287 267 226 213 0 72 0 [pid=6630] ppid=6629 vsize=46628 CPUtime=5.28 cores=1,3,5,7 /proc/6630/stat : 6630 (glucose) R 6629 6060 5140 0 -1 4202496 11059 0 0 0 525 3 0 0 20 0 1 0 272145030 47747072 10387 33554432000 4194304 5208918 140734611765552 140734611763384 4228975 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6630/statm: 11657 10387 105 248 0 11406 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 102364 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.43 CPU user time (s): 1791.4 CPU system time (s): 9.02863 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 209280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.4 system time used= 9.02863 maximum resident set size= 185196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1303216 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2014752 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9267 involuntary context switches= 2658 runsolver used 4.91125 second user time and 10.6824 second system time The end
Begin job on node109 at 2012-05-26 20:52:49 IDJOB=3701133 IDBENCH=2095 IDSOLVER=2277 FILE ID=node109/3701133-1338058369 RUNJOBID= node109-1338052962-5157 PBS_JOBID= 14624414 Free space on /tmp= 71284 MiB SOLVER NAME= npSolver 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb COMMAND LINE= DIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3701133-1338058369/watcher-3701133-1338058369 -o /tmp/evaluation-result-3701133-1338058369/solver-3701133-1338058369 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701133-1338058369.opb 743998573 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e569a703dfec131c012510753e8401ab RANDOM SEED=743998573 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28270644 kB Buffers: 263392 kB Cached: 3533520 kB SwapCached: 0 kB Active: 844104 kB Inactive: 2977332 kB Active(anon): 26916 kB Inactive(anon): 0 kB Active(file): 817188 kB Inactive(file): 2977332 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17848 kB Writeback: 0 kB AnonPages: 33216 kB Mapped: 15564 kB Shmem: 200 kB Slab: 645464 kB SReclaimable: 86700 kB SUnreclaim: 558764 kB KernelStack: 1528 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 139576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71248 MiB End job on node109 at 2012-05-26 21:22:50