Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | OPTIMUM | 827.478 | 828.096 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo |
| MD5SUM | 9ccb130e1efb7ba02e23bcfacb5f0a47 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 276 |
| Best CPU time to get the best result obtained on this benchmark | 0.06199 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 1000 |
| Number of soft constraints | 900 |
| Number of constraints which are clauses | 900 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 444855 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 444854 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.02 c run usual solver 0.00/0.05 o 2756 0.00/0.05 c fallback to adder encoding 3.74/3.83 o 2748 3.74/3.83 c fallback to adder encoding 10.54/10.63 o 2747 10.54/10.63 c fallback to adder encoding 17.73/17.83 o 2746 17.73/17.83 c fallback to adder encoding 24.85/24.95 o 2739 24.85/24.95 c fallback to adder encoding 28.24/28.33 o 2734 28.24/28.33 c fallback to adder encoding 35.23/35.32 o 2698 35.23/35.32 c fallback to adder encoding 46.66/46.79 o 2697 46.66/46.79 c fallback to adder encoding 49.22/49.32 o 2696 49.22/49.32 c fallback to adder encoding 53.07/53.17 o 2670 53.07/53.17 c fallback to adder encoding 57.72/57.82 o 2661 57.72/57.82 c fallback to adder encoding 62.26/62.36 o 2659 62.26/62.36 c fallback to adder encoding 64.55/64.68 o 2658 64.55/64.68 c fallback to adder encoding 69.70/69.80 o 2657 69.70/69.80 c fallback to adder encoding 74.67/74.80 o 2656 74.67/74.80 c fallback to adder encoding 78.87/78.97 o 2616 78.87/78.97 c fallback to adder encoding 87.99/88.01 o 2556 87.99/88.01 c fallback to adder encoding 96.07/96.17 o 2539 96.07/96.17 c fallback to adder encoding 103.92/104.02 o 2528 103.92/104.02 c fallback to adder encoding 106.57/106.60 o 2518 106.57/106.60 c fallback to adder encoding 110.15/110.28 o 2501 110.15/110.28 c fallback to adder encoding 114.75/114.88 o 2489 114.75/114.88 c fallback to adder encoding 122.28/122.40 o 2482 122.28/122.40 c fallback to adder encoding 125.53/125.69 o 2464 125.53/125.69 c fallback to adder encoding 131.82/131.91 o 2455 131.82/131.91 c fallback to adder encoding 134.77/134.92 o 2451 134.77/134.92 c fallback to adder encoding 138.53/138.69 o 2446 138.53/138.69 c fallback to adder encoding 153.83/153.95 o 2441 153.83/153.95 c fallback to adder encoding 161.60/161.76 o 2431 161.60/161.76 c fallback to adder encoding 173.67/173.82 o 2400 173.67/173.82 c fallback to adder encoding 181.51/181.66 o 2399 181.51/181.66 c fallback to adder encoding 189.71/189.89 o 2394 189.71/189.89 c fallback to adder encoding 197.32/197.49 o 2387 197.32/197.49 c fallback to adder encoding 205.68/205.83 o 2381 205.68/205.83 c fallback to adder encoding 214.11/214.29 o 2370 214.11/214.29 c fallback to adder encoding 228.31/228.48 o 2327 228.31/228.48 c fallback to adder encoding 232.74/232.90 o 2319 232.74/232.90 c fallback to adder encoding 236.52/236.69 o 2318 236.52/236.69 c fallback to adder encoding 240.78/240.95 o 2312 240.78/240.95 c fallback to adder encoding 245.71/245.87 o 2244 245.71/245.87 c fallback to adder encoding 252.46/252.63 o 2242 252.46/252.63 c fallback to adder encoding 255.28/255.45 o 2241 255.28/255.45 c fallback to adder encoding 261.04/261.21 o 2240 261.04/261.21 c fallback to adder encoding 268.21/268.34 o 2236 268.21/268.34 c fallback to adder encoding 284.17/284.35 o 2219 284.17/284.35 c fallback to adder encoding 290.58/290.76 o 2213 290.58/290.76 c fallback to adder encoding 296.11/296.20 o 2189 296.11/296.20 c fallback to adder encoding 312.07/312.25 o 2188 312.07/312.25 c fallback to adder encoding 323.24/323.43 o 2178 323.24/323.43 c fallback to adder encoding 328.57/328.76 o 2166 328.57/328.76 c fallback to adder encoding 332.16/332.35 o 2165 332.16/332.35 c fallback to adder encoding 340.57/340.77 o 2158 340.57/340.77 c fallback to adder encoding 347.37/347.53 o 2156 347.37/347.53 c fallback to adder encoding 357.06/357.29 o 2151 357.06/357.29 c fallback to adder encoding 360.47/360.67 o 2069 360.47/360.67 c fallback to adder encoding 364.58/364.78 o 2061 364.58/364.78 c fallback to adder encoding 372.06/372.26 o 2056 372.06/372.26 c fallback to adder encoding 377.34/377.56 o 2048 377.34/377.56 c fallback to adder encoding 379.73/379.98 o 2046 379.73/379.98 c fallback to adder encoding 386.79/387.01 o 2045 386.79/387.01 c fallback to adder encoding 390.94/391.18 o 2013 390.94/391.18 c fallback to adder encoding 395.46/395.60 o 2003 395.46/395.60 c fallback to adder encoding 397.63/397.84 o 1996 397.63/397.84 c fallback to adder encoding 400.71/400.94 o 1979 400.71/400.94 c fallback to adder encoding 401.87/402.10 o 1975 401.87/402.10 c fallback to adder encoding 406.63/406.87 o 1970 406.63/406.87 c fallback to adder encoding 410.21/410.46 o 1969 410.21/410.46 c fallback to adder encoding 416.47/416.72 o 1968 416.47/416.72 c fallback to adder encoding 420.89/421.13 o 1965 420.89/421.13 c fallback to adder encoding 424.40/424.66 o 1964 424.40/424.66 c fallback to adder encoding 430.61/430.89 o 1881 430.61/430.89 c fallback to adder encoding 434.32/434.59 o 1880 434.32/434.59 c fallback to adder encoding 437.67/437.93 o 1871 437.67/437.93 c fallback to adder encoding 439.20/439.47 o 1797 439.20/439.47 c fallback to adder encoding 443.49/443.74 o 1758 443.49/443.74 c fallback to adder encoding 447.98/448.24 o 1757 447.98/448.24 c fallback to adder encoding 449.80/450.09 o 1747 449.80/450.09 c fallback to adder encoding 453.39/453.64 o 1737 453.39/453.64 c fallback to adder encoding 460.75/461.01 o 1734 460.75/461.01 c fallback to adder encoding 463.14/463.40 o 1636 463.14/463.40 c fallback to adder encoding 468.37/468.62 o 1628 468.37/468.62 c fallback to adder encoding 472.36/472.62 o 1627 472.36/472.62 c fallback to adder encoding 478.45/478.72 o 1623 478.45/478.72 c fallback to adder encoding 482.66/482.93 o 1619 482.66/482.93 c fallback to adder encoding 484.87/485.14 o 1613 484.87/485.14 c fallback to adder encoding 488.98/489.24 o 1557 488.98/489.24 c fallback to adder encoding 492.08/492.35 o 1493 492.08/492.35 c fallback to adder encoding 494.71/494.97 o 1492 494.71/494.97 c fallback to adder encoding 500.88/501.16 o 1465 500.88/501.16 c fallback to adder encoding 506.29/506.56 o 1456 506.29/506.56 c fallback to adder encoding 511.96/512.22 o 1455 511.96/512.22 c fallback to adder encoding 515.15/515.43 o 1454 515.15/515.43 c fallback to adder encoding 517.06/517.35 o 1426 517.06/517.35 c fallback to adder encoding 523.07/523.30 o 1424 523.07/523.30 c fallback to adder encoding 527.14/527.44 o 1423 527.14/527.44 c fallback to adder encoding 533.77/534.08 o 1419 533.77/534.08 c fallback to adder encoding 540.72/541.04 o 1411 540.72/541.04 c fallback to adder encoding 548.16/548.49 o 1409 548.16/548.49 c fallback to adder encoding 551.24/551.55 o 1364 551.24/551.55 c fallback to adder encoding 555.66/555.98 o 1307 555.66/555.98 c fallback to adder encoding 559.86/560.20 o 1299 559.86/560.20 c fallback to adder encoding 562.63/562.94 o 1296 562.63/562.94 c fallback to adder encoding 568.35/568.63 o 1286 568.35/568.63 c fallback to adder encoding 578.85/579.16 o 1280 578.85/579.16 c fallback to adder encoding 581.81/582.12 o 1276 581.81/582.12 c fallback to adder encoding 586.15/586.46 o 1275 586.15/586.46 c fallback to adder encoding 591.03/591.34 o 1272 591.03/591.34 c fallback to adder encoding 594.75/595.04 o 1271 594.75/595.04 c fallback to adder encoding 598.05/598.38 o 1270 598.05/598.38 c fallback to adder encoding 602.65/602.94 o 1265 602.65/602.94 c fallback to adder encoding 604.98/605.34 o 1258 604.98/605.34 c fallback to adder encoding 606.94/607.31 o 1209 606.94/607.31 c fallback to adder encoding 609.88/610.25 o 1201 609.88/610.25 c fallback to adder encoding 615.85/616.22 o 1191 615.85/616.22 c fallback to adder encoding 618.88/619.21 o 1188 618.88/619.21 c fallback to adder encoding 624.11/624.50 o 1185 624.11/624.50 c fallback to adder encoding 626.95/627.34 o 1184 626.95/627.34 c fallback to adder encoding 633.18/633.55 o 1171 633.18/633.55 c fallback to adder encoding 638.76/639.15 o 1169 638.76/639.15 c fallback to adder encoding 641.32/641.71 o 1165 641.32/641.71 c fallback to adder encoding 650.95/651.35 o 1163 650.95/651.35 c fallback to adder encoding 654.23/654.63 o 1113 654.23/654.63 c fallback to adder encoding 657.37/657.75 o 1112 657.37/657.75 c fallback to adder encoding 661.47/661.89 o 1085 661.47/661.89 c fallback to adder encoding 670.07/670.48 o 1065 670.07/670.48 c fallback to adder encoding 672.61/673.00 o 1045 672.61/673.00 c fallback to adder encoding 682.83/683.23 o 1044 682.83/683.23 c fallback to adder encoding 690.61/691.00 o 1036 690.61/691.00 c fallback to adder encoding 692.93/693.32 o 1028 692.93/693.32 c fallback to adder encoding 696.14/696.54 o 1008 696.14/696.54 c fallback to adder encoding 700.75/701.14 o 998 700.75/701.14 c fallback to adder encoding 702.02/702.42 o 959 702.02/702.42 c fallback to adder encoding 705.89/706.32 o 956 705.89/706.32 c fallback to adder encoding 711.26/711.78 o 955 711.26/711.78 c fallback to adder encoding 717.22/717.73 o 941 717.22/717.73 c fallback to adder encoding 719.71/720.23 o 934 719.71/720.23 c fallback to adder encoding 721.28/721.80 o 891 721.28/721.80 c fallback to adder encoding 722.79/723.31 o 856 722.79/723.31 c fallback to adder encoding 726.10/726.62 o 855 726.10/726.62 c fallback to adder encoding 728.21/728.70 o 854 728.21/728.70 c fallback to adder encoding 731.67/732.21 o 848 731.67/732.21 c fallback to adder encoding 734.78/735.31 o 844 734.78/735.31 c fallback to adder encoding 739.51/740.07 o 843 739.51/740.07 c fallback to adder encoding 744.29/744.83 o 842 744.29/744.83 c fallback to adder encoding 747.28/747.88 o 835 747.28/747.88 c fallback to adder encoding 749.78/750.32 o 812 749.78/750.32 c fallback to adder encoding 751.59/752.13 o 791 751.59/752.13 c fallback to adder encoding 753.31/753.87 o 783 753.31/753.87 c fallback to adder encoding 760.50/761.09 o 779 760.50/761.09 c fallback to adder encoding 763.16/763.70 o 778 763.16/763.70 c fallback to adder encoding 770.50/771.05 o 775 770.50/771.05 c fallback to adder encoding 773.69/774.29 o 773 773.69/774.29 c fallback to adder encoding 775.87/776.41 o 771 775.87/776.41 c fallback to adder encoding 778.31/778.89 o 770 778.31/778.89 c fallback to adder encoding 779.79/780.36 o 766 779.79/780.36 c fallback to adder encoding 781.17/781.71 o 753 781.17/781.71 c fallback to adder encoding 782.39/782.95 o 752 782.39/782.95 c fallback to adder encoding 783.99/784.55 o 751 783.99/784.55 c fallback to adder encoding 785.18/785.78 o 727 785.18/785.78 c fallback to adder encoding 786.68/787.24 o 668 786.68/787.24 c fallback to adder encoding 790.47/791.06 o 665 790.47/791.06 c fallback to adder encoding 791.77/792.35 o 654 791.77/792.35 c fallback to adder encoding 792.78/793.38 o 637 792.78/793.38 c fallback to adder encoding 793.77/794.37 o 615 793.77/794.37 c fallback to adder encoding 794.95/795.50 o 614 794.95/795.50 c fallback to adder encoding 795.05/796.28 o 612 795.05/796.28 c fallback to adder encoding 797.32/797.92 o 611 797.32/797.92 c fallback to adder encoding 799.25/799.89 o 610 799.25/799.89 c fallback to adder encoding 802.14/802.79 o 609 802.14/802.79 c fallback to adder encoding 803.65/804.27 o 608 803.65/804.27 c fallback to adder encoding 804.56/805.16 o 607 804.56/805.16 c fallback to adder encoding 804.67/806.09 o 590 804.67/806.09 c fallback to adder encoding 806.34/806.93 o 569 806.34/806.93 c fallback to adder encoding 807.93/808.53 o 568 807.93/808.53 c fallback to adder encoding 810.25/810.83 o 567 810.25/810.83 c fallback to adder encoding 811.44/812.06 o 566 811.44/812.06 c fallback to adder encoding 811.58/812.77 o 565 811.58/812.77 c fallback to adder encoding 815.23/815.81 o 507 815.23/815.81 c fallback to adder encoding 816.04/816.62 o 506 816.04/816.62 c fallback to adder encoding 816.74/817.39 o 428 816.74/817.39 c fallback to adder encoding 816.88/817.93 o 427 816.88/817.93 c fallback to adder encoding 817.73/818.39 o 424 817.73/818.39 c fallback to adder encoding 817.89/819.25 o 423 817.89/819.25 c fallback to adder encoding 819.13/819.79 o 419 819.13/819.79 c fallback to adder encoding 819.95/820.56 o 415 819.95/820.56 c fallback to adder encoding 820.00/821.26 o 414 820.00/821.26 c fallback to adder encoding 820.98/821.66 o 409 820.98/821.66 c fallback to adder encoding 821.10/822.15 o 391 821.10/822.15 c fallback to adder encoding 821.59/822.46 o 384 821.59/822.46 c fallback to adder encoding 822.19/822.87 o 371 822.19/822.87 c fallback to adder encoding 822.30/823.15 o 369 822.30/823.15 c fallback to adder encoding 823.10/823.73 o 368 823.10/823.73 c fallback to adder encoding 823.39/824.02 o 365 823.39/824.02 c fallback to adder encoding 823.45/824.33 o 364 823.45/824.33 c fallback to adder encoding 823.89/824.52 o 352 823.89/824.52 c fallback to adder encoding 823.96/824.79 o 351 823.96/824.79 c fallback to adder encoding 824.30/824.99 o 340 824.30/824.99 c fallback to adder encoding 824.41/825.33 o 339 824.41/825.33 c fallback to adder encoding 824.76/825.57 o 337 824.76/825.57 c fallback to adder encoding 824.97/825.88 o 336 824.97/825.88 c fallback to adder encoding 825.35/826.07 o 334 825.35/826.07 c fallback to adder encoding 825.47/826.45 o 333 825.47/826.45 c fallback to adder encoding 825.85/826.75 o 327 825.85/826.75 c fallback to adder encoding 826.14/827.06 o 326 826.14/827.06 c fallback to adder encoding 826.65/827.33 o 306 826.65/827.33 c fallback to adder encoding 826.87/827.50 o 284 826.87/827.50 c fallback to adder encoding 826.89/827.69 o 279 826.89/827.69 c fallback to adder encoding 827.26/827.90 o 276 827.26/827.90 c fallback to adder encoding 827.28/828.09 c display solution 827.28/828.09 s OPTIMUM FOUND 827.28/828.09 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 x48 x49 -x50 -x51 x52 -x53 x54 -x55 x56 x57 -x58 x59 -x60 -x61 x62 -x63 x64 x65 -x66 x67 -x68 -x69 x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 -x83 x84 -x85 x86 x87 -x88 -x89 x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 x119 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 -x141 x142 -x143 x144 x145 -x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200
OK 276
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-3753827-1339201133/watcher-3753827-1339201133 -o /tmp/evaluation-result-3753827-1339201133/solver-3753827-1339201133 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753827-1339201133.wbo 1731893799 HOME HOME running on 4 cores: 0,2,4,6 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.02 2.01 2.00 3/179 12472 /proc/meminfo: memFree=28872812/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [startup+0.0452451 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12472 /proc/meminfo: memFree=28872812/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100234 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12472 /proc/meminfo: memFree=28872812/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300292 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12472 /proc/meminfo: memFree=28872812/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700255 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12472 /proc/meminfo: memFree=28872812/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5004 s] /proc/loadavg: 2.02 2.01 2.00 3/183 12486 /proc/meminfo: memFree=28827148/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=0.16 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 3934 4921 0 0 12 2 1 1 20 0 1 0 386241885 20570112 4307 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12473/statm: 5022 4307 179 443 0 4575 0 [pid=12485] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12485/stat : 12485 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386241902 9367552 266 33554432000 4194304 5064252 140736795992608 140736795991520 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12485/statm: 2287 266 226 213 0 72 0 [pid=12486] ppid=12485 vsize=26824 CPUtime=1.31 cores=0,2,4,6 /proc/12486/stat : 12486 (glucose) R 12485 12472 6657 0 -1 4202496 5428 0 0 0 130 1 0 0 20 0 1 0 386241903 27467776 5753 33554432000 4194304 5208918 140735432842480 140735432840328 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12486/statm: 6706 5753 104 248 0 6455 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 65208 [startup+3.10039 s] /proc/loadavg: 2.02 2.01 2.00 3/183 12486 /proc/meminfo: memFree=28826396/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=0.16 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 3934 4921 0 0 12 2 1 1 20 0 1 0 386241885 20570112 4307 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12473/statm: 5022 4307 179 443 0 4575 0 [pid=12485] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12485/stat : 12485 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386241902 9367552 266 33554432000 4194304 5064252 140736795992608 140736795991520 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12485/statm: 2287 266 226 213 0 72 0 [pid=12486] ppid=12485 vsize=27132 CPUtime=2.91 cores=0,2,4,6 /proc/12486/stat : 12486 (glucose) R 12485 12472 6657 0 -1 4202496 5491 0 0 0 290 1 0 0 20 0 1 0 386241903 27783168 5816 33554432000 4194304 5208918 140735432842480 140735432840440 4213228 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12486/statm: 6783 5816 104 248 0 6532 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 65516 [startup+6.30044 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12493 /proc/meminfo: memFree=28824968/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=3.93 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 5923 13671 0 0 23 3 361 6 20 0 1 0 386241885 20570112 4307 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12473/statm: 5022 4307 179 443 0 4575 0 [pid=12492] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12492/stat : 12492 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386242280 9367552 267 33554432000 4194304 5064252 140735907264896 140735907263808 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12492/statm: 2287 267 226 213 0 72 0 [pid=12493] ppid=12492 vsize=27220 CPUtime=2.33 cores=0,2,4,6 /proc/12493/stat : 12493 (glucose) R 12492 12472 6657 0 -1 4202496 5618 0 0 0 232 1 0 0 20 0 1 0 386242281 27873280 5935 33554432000 4194304 5208918 140733692596816 140733692594568 4211623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12493/statm: 6805 5935 104 248 0 6554 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 65604 [startup+12.7004 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12500 /proc/meminfo: memFree=28825976/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=10.74 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 7912 22980 0 0 35 4 1022 13 20 0 1 0 386241885 20570112 4307 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12473/statm: 5022 4307 179 443 0 4575 0 [pid=12499] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12499/stat : 12499 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386242960 9367552 267 33554432000 4194304 5064252 140734557714736 140734557713648 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12499/statm: 2287 267 226 213 0 72 0 [pid=12500] ppid=12499 vsize=26708 CPUtime=1.93 cores=0,2,4,6 /proc/12500/stat : 12500 (glucose) R 12499 12472 6657 0 -1 4202496 5428 0 0 0 192 1 0 0 20 0 1 0 386242961 27348992 5575 33554432000 4194304 5208918 140735198738160 140735198735832 4211147 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12500/statm: 6677 5575 103 248 0 6426 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 65092 [startup+25.5005 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12514 /proc/meminfo: memFree=28826732/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=25.05 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 11890 41868 0 0 58 6 2419 22 20 0 1 0 386241885 20570112 4307 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12473/statm: 5022 4307 179 443 0 4575 0 [pid=12513] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12513/stat : 12513 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386244392 9367552 267 33554432000 4194304 5064252 140735344066496 140735344065408 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12513/statm: 2287 267 226 213 0 72 0 [pid=12514] ppid=12513 vsize=26436 CPUtime=0.41 cores=0,2,4,6 /proc/12514/stat : 12514 (glucose) R 12513 12472 6657 0 -1 4202496 5330 0 0 0 40 1 0 0 20 0 1 0 386244392 27070464 5493 33554432000 4194304 5208918 140735299722416 140735344065432 4210737 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12514/statm: 6609 5493 103 248 0 6358 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 64820 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12542 /proc/meminfo: memFree=28825608/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=49.43 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 19846 79898 0 0 104 10 4784 45 20 0 1 0 386241885 20570112 4307 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12473/statm: 5022 4307 179 443 0 4575 0 [pid=12541] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12541/stat : 12541 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386246829 9367552 266 33554432000 4194304 5064252 140734683757456 140734683756368 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12541/statm: 2287 266 226 213 0 72 0 [pid=12542] ppid=12541 vsize=26976 CPUtime=1.64 cores=0,2,4,6 /proc/12542/stat : 12542 (glucose) R 12541 12472 6657 0 -1 4202496 5391 0 0 0 163 1 0 0 20 0 1 0 386246830 27623424 5600 33554432000 4194304 5208918 140736442290304 140736442288152 4211160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12542/statm: 6744 5600 104 248 0 6493 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 65360 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/184 12608 /proc/meminfo: memFree=28822996/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=96.26 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 37747 165397 0 0 206 20 9308 92 20 0 1 0 386241885 20570112 4307 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/12473/statm: 5022 4307 179 443 0 4575 0 [pid=12607] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12607/stat : 12607 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386251514 9367552 267 33554432000 4194304 5064252 140737399305616 140737399304528 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/12607/statm: 2287 267 226 213 0 72 0 [pid=12608] ppid=12607 vsize=27332 CPUtime=6 cores=0,2,4,6 /proc/12608/stat : 12608 (glucose) R 12607 12472 6657 0 -1 4202496 6548 0 0 0 599 1 0 0 20 0 1 0 386251514 27987968 6049 33554432000 4194304 5208918 140737016645392 140737016643144 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12608/statm: 6833 6049 104 248 0 6582 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 65716 [startup+162.3 s] /proc/loadavg: 2.08 2.02 2.01 3/183 12678 /proc/meminfo: memFree=28816548/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=161.81 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 59626 272761 0 0 328 32 15667 154 20 0 1 0 386241885 20570112 4307 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/12473/statm: 5022 4307 179 443 0 4575 0 Current children cumulated CPU time (s) 161.81 ################ # More data... # ################ /proc/13042/statm: 2287 267 226 213 0 72 0 [pid=13043] ppid=13042 vsize=24112 CPUtime=1.16 cores=0,2,4,6 /proc/13043/stat : 13043 (glucose) R 13042 12472 6657 0 -1 4202496 5350 0 0 0 116 0 0 0 20 0 1 0 386287997 24690688 4959 33554432000 4194304 5208918 140733680618880 140733680616840 4228992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13043/statm: 6028 4959 104 248 0 5777 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 62496 [startup+522.3 s] /proc/loadavg: 2.01 2.00 2.00 3/183 13141 /proc/meminfo: memFree=28816668/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=517.23 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 183898 890722 0 0 974 96 50153 500 20 0 1 0 386241885 20570112 4308 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/12473/statm: 5022 4308 179 443 0 4575 0 [pid=13140] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13140/stat : 13140 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386293630 9367552 267 33554432000 4194304 5064252 140736333683312 140736333682224 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13140/statm: 2287 267 226 213 0 72 0 [pid=13141] ppid=13140 vsize=24764 CPUtime=4.82 cores=0,2,4,6 /proc/13141/stat : 13141 (glucose) R 13140 12472 6657 0 -1 4202496 6060 0 0 0 482 0 0 0 20 0 1 0 386293631 25358336 5217 33554432000 4194304 5208918 140734731461104 140734731458856 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13141/statm: 6191 5217 105 248 0 5940 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 63148 [startup+582.3 s] /proc/loadavg: 2.07 2.02 2.00 3/183 13226 /proc/meminfo: memFree=28834544/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=581.99 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 206758 1003152 0 0 1091 108 56434 566 20 0 1 0 386241885 20570112 4308 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/12473/statm: 5022 4308 179 443 0 4575 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 29236 [startup+642.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13525 /proc/meminfo: memFree=29200352/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=641.51 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 235333 1146503 0 0 1237 123 62144 647 20 0 1 0 386241885 20570112 4308 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/12473/statm: 5022 4308 179 443 0 4575 0 [pid=13524] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13524/stat : 13524 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386306066 9367552 267 33554432000 4194304 5064252 140736390451472 140736390450384 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13524/statm: 2287 267 226 213 0 72 0 [pid=13525] ppid=13524 vsize=21328 CPUtime=0.47 cores=0,2,4,6 /proc/13525/stat : 13525 (glucose) R 13524 12472 6657 0 -1 4202496 5508 0 0 0 47 0 0 0 20 0 1 0 386306067 21839872 4874 33554432000 4194304 5208918 140734223645664 140734222595096 4205761 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13525/statm: 5332 4874 104 248 0 5081 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 59712 [startup+702.3 s] /proc/loadavg: 1.93 1.99 1.99 3/184 13830 /proc/meminfo: memFree=29170708/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=700.91 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 256288 1253264 0 0 1342 134 67910 705 20 0 1 0 386241885 20570112 4308 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/12473/statm: 5022 4308 179 443 0 4575 0 [pid=13829] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13829/stat : 13829 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386312008 9367552 266 33554432000 4194304 5064252 140734427075008 140734427073920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13829/statm: 2287 266 226 213 0 72 0 [pid=13830] ppid=13829 vsize=19896 CPUtime=1.05 cores=0,2,4,6 /proc/13830/stat : 13830 (glucose) R 13829 12472 6657 0 -1 4202496 5102 0 0 0 105 0 0 0 20 0 1 0 386312008 20373504 4603 33554432000 4194304 5208918 140737207897040 140737207894872 4211176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13830/statm: 4974 4603 104 248 0 4723 0 Current children cumulated CPU time (s) 701.96 Current children cumulated vsize (KiB) 58280 [startup+762.307 s] /proc/loadavg: 2.09 2.02 2.00 3/183 13970 /proc/meminfo: memFree=29174936/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=760.68 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 290574 1398272 0 0 1481 148 73656 783 20 0 1 0 386241885 20570112 4321 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/12473/statm: 5022 4321 179 443 0 4575 0 [pid=13969] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13969/stat : 13969 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386318001 9367552 267 33554432000 4194304 5064252 140735307872800 140735307871712 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13969/statm: 2287 267 226 213 0 72 0 [pid=13970] ppid=13969 vsize=18972 CPUtime=1.12 cores=0,2,4,6 /proc/13970/stat : 13970 (glucose) R 13969 12472 6657 0 -1 4202496 4117 0 0 0 112 0 0 0 20 0 1 0 386318001 19427328 3931 33554432000 4194304 5208918 140736005953408 140736005951240 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13970/statm: 4743 3931 104 248 0 4492 0 Current children cumulated CPU time (s) 761.8 Current children cumulated vsize (KiB) 57356 [startup+822.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 14236 /proc/meminfo: memFree=29161808/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=821.59 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 352115 1660346 0 0 1685 170 79388 916 20 0 1 0 386241885 20570112 4324 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/12473/statm: 5022 4324 179 443 0 4575 0 Current children cumulated CPU time (s) 821.59 Current children cumulated vsize (KiB) 29236 Solver just ended. Dumping a history of the last processes samples [startup+825.5 s] /proc/loadavg: 2.03 2.01 2.00 3/183 14306 /proc/meminfo: memFree=29162536/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=824.76 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 363066 1713954 0 0 1713 174 79651 938 20 0 1 0 386241885 20570112 4324 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/12473/statm: 5022 4324 179 443 0 4575 0 Current children cumulated CPU time (s) 824.76 Current children cumulated vsize (KiB) 29236 [startup+827.1 s] /proc/loadavg: 2.03 2.01 2.00 3/183 14362 /proc/meminfo: memFree=29168008/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=826.46 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 369368 1745672 0 0 1729 175 79792 950 20 0 1 0 386241885 20570112 4324 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12473/statm: 5022 4324 179 443 0 4575 0 [pid=14361] ppid=12473 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/14361/stat : 14361 (satsolver.sh) S 12473 12472 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386324594 9367552 266 33554432000 4194304 5064252 140735471165248 140735471164160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/14361/statm: 2287 266 226 213 0 72 0 [pid=14362] ppid=14361 vsize=7848 CPUtime=0 cores=0,2,4,6 /proc/14362/stat : 14362 (glucose) R 14361 12472 6657 0 -1 4202496 833 0 0 0 0 0 0 0 20 0 1 0 386324594 8036352 747 33554432000 4194304 5208918 140733668435168 140733667384600 4237133 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/14362/statm: 1962 747 69 248 0 1711 0 Current children cumulated CPU time (s) 826.46 Current children cumulated vsize (KiB) 46232 [startup+827.5 s] /proc/loadavg: 2.03 2.01 2.00 3/183 14362 /proc/meminfo: memFree=29168008/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=826.87 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 370435 1755687 0 0 1731 176 79826 954 20 0 1 0 386241885 20570112 4324 33554432000 4194304 6006132 140734889765536 140734889757504 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12473/statm: 5022 4324 179 443 0 4575 0 Current children cumulated CPU time (s) 826.87 Current children cumulated vsize (KiB) 29236 [startup+827.9 s] /proc/loadavg: 2.03 2.01 2.00 3/183 14362 /proc/meminfo: memFree=29168008/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=827.26 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 372352 1765430 0 0 1735 176 79858 957 20 0 1 0 386241885 20570112 4324 33554432000 4194304 6006132 140734889765536 140734889757504 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12473/statm: 5022 4324 179 443 0 4575 0 Current children cumulated CPU time (s) 827.26 Current children cumulated vsize (KiB) 29236 [startup+828 s] /proc/loadavg: 2.03 2.01 2.00 3/183 14362 /proc/meminfo: memFree=29168008/32873844 swapFree=8660/8660 [pid=12472] ppid=12470 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/12472/stat : 12472 (npSolver-wbo-It) S 12470 12472 6657 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386241884 9367552 275 33554432000 4194304 5064252 140737354393632 140737354392544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12472/statm: 2287 275 233 213 0 72 0 [pid=12473] ppid=12472 vsize=20088 CPUtime=827.28 cores=0,2,4,6 /proc/12473/stat : 12473 (npSolver-wbo) S 12472 12472 6657 0 -1 4202496 373251 1765944 0 0 1737 176 79858 957 20 0 1 0 386241885 20570112 4324 33554432000 4194304 6006132 140734889765536 140734889756928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/12473/statm: 5022 4324 179 443 0 4575 0 Current children cumulated CPU time (s) 827.28 Current children cumulated vsize (KiB) 29236 Child status: 0 Real time (s): 828.096 CPU time (s): 827.478 CPU user time (s): 816.117 CPU system time (s): 11.3613 CPU usage (%): 99.9253 Max. virtual memory (cumulated for all children) (KiB): 84492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 816.117 system time used= 11.3613 maximum resident set size= 42848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2145181 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2248520 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11646 involuntary context switches= 3218 runsolver used 1.72074 second user time and 4.69629 second system time The end
Begin job on node107 at 2012-06-09 02:18:53 IDJOB=3753827 IDBENCH=79405 IDSOLVER=2337 FILE ID=node107/3753827-1339201133 RUNJOBID= node107-1339183706-7876 PBS_JOBID= 14643843 Free space on /tmp= 70472 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh309_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753827-1339201133/watcher-3753827-1339201133 -o /tmp/evaluation-result-3753827-1339201133/solver-3753827-1339201133 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753827-1339201133.wbo 1731893799 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9ccb130e1efb7ba02e23bcfacb5f0a47 RANDOM SEED=1731893799 node107.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 : 2666.760 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 : 5333.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 : 2666.760 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 : 2666.760 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.92 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 : 2666.760 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 : 2666.760 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 : 2666.760 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 : 2666.760 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.86 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 : 2666.760 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28873704 kB Buffers: 1026140 kB Cached: 1681116 kB SwapCached: 120 kB Active: 2798452 kB Inactive: 236324 kB Active(anon): 316008 kB Inactive(anon): 11108 kB Active(file): 2482444 kB Inactive(file): 225216 kB Unevictable: 8660 kB Mlocked: 8660 kB SwapTotal: 67108856 kB SwapFree: 67108664 kB Dirty: 8180 kB Writeback: 0 kB AnonPages: 332832 kB Mapped: 11848 kB Shmem: 176 kB Slab: 822772 kB SReclaimable: 264584 kB SUnreclaim: 558188 kB KernelStack: 1520 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 510984 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 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= 70544 MiB End job on node107 at 2012-06-09 02:32:42