Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | Wrong Cert. | 1801.94 | 1803.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb |
MD5SUM | e3f554c192a1ee7b261cc2808827870e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6226 |
Sum of products size (including duplicates) | 12452 |
Number of different products | 6226 |
Sum of products size | 12452 |
1.01/1.85 o 197 2.67/2.71 o 196 3.47/3.57 o 195 4.36/4.43 o 194 4.43/5.30 o 193 6.06/6.18 o 192 6.97/7.05 o 191 7.87/7.93 o 190 8.77/8.81 o 189 8.80/9.70 o 188 10.45/10.60 o 187 11.35/11.49 o 186 12.26/12.40 o 185 13.25/13.30 o 184 14.16/14.21 o 183 14.19/15.19 o 182 15.98/16.10 o 181 16.88/17.02 o 180 17.77/17.94 o 179 18.67/18.86 o 178 19.58/19.78 o 177 19.68/20.70 o 176 21.46/21.62 o 175 22.37/22.54 o 174 23.26/23.47 o 173 24.17/24.39 o 172 25.16/25.33 o 171 25.22/26.26 o 170 27.06/27.20 o 169 27.95/28.14 o 168 28.86/29.08 o 167 29.85/30.03 o 166 30.76/30.99 o 165 31.76/31.95 o 164 32.74/32.91 o 163 32.78/33.87 o 162 34.64/34.85 o 161 35.63/35.82 o 160 36.53/36.79 o 159 37.52/37.76 o 158 38.52/38.73 o 157 39.52/39.70 o 156 40.43/40.67 o 155 40.53/41.64 o 154 42.43/42.61 o 153 43.31/43.59 o 152 44.31/44.56 o 151 45.30/45.54 o 150 46.32/46.52 o 149 47.32/47.51 o 148 48.22/48.49 o 147 49.20/49.48 o 146 49.31/50.47 o 145 51.20/51.47 o 144 52.19/52.47 o 143 53.18/53.46 o 142 54.19/54.46 o 141 55.19/55.47 o 140 56.19/56.47 o 139 57.18/57.47 o 138 58.18/58.48 o 137 59.19/59.48 o 136 60.20/60.48 o 135 61.29/61.51 o 134 62.28/62.51 o 133 63.27/63.51 o 132 64.26/64.51 o 131 65.26/65.52 o 130 66.26/66.53 o 129 67.26/67.53 o 128 68.25/68.54 o 127 69.25/69.55 o 126 70.26/70.57 o 125 71.25/71.59 o 124 72.37/72.61 o 123 73.34/73.63 o 122 73.41/74.66 o 121 75.34/75.68 o 120 76.45/76.70 o 119 77.44/77.73 o 118 78.44/78.75 o 117 79.43/79.77 o 116 80.44/80.79 o 115 81.55/81.80 o 114 82.53/82.82 o 113 83.53/83.84 o 112 84.53/84.86 o 111 85.53/85.87 o 110 86.53/86.89 o 109 87.63/87.91 o 108 87.67/88.93 o 107 89.62/89.96 o 106 90.60/90.99 o 105 91.72/92.01 o 104 92.71/93.04 o 103 93.71/94.06 o 102 94.71/95.09 o 101 95.83/96.11 o 100 96.80/97.14 o 99 97.80/98.16 o 98 98.80/99.19 o 97 99.91/100.20 o 96 100.93/101.22 o 95 101.95/102.40 o 94 102.95/103.41 o 93 103.93/104.43 o 92 103.98/105.44 o 91 105.95/106.52 o 90 106.94/107.53 o 89 107.94/108.55 o 88 108.93/109.56 o 87 109.93/110.58 o 86 111.05/111.60 o 85 112.03/112.62 o 84 113.03/113.63 o 83 114.07/114.71 o 82 115.06/115.73 o 81 116.05/116.74 o 80 117.06/117.75 o 79 118.11/118.81 o 78 119.11/119.82 o 77 119.15/120.81 o 76 121.10/121.81 o 75 122.11/122.81 o 74 123.10/123.80 o 73 123.97/124.79 o 72 124.98/125.78 o 71 125.99/126.78 o 70 126.94/127.79 o 69 127.95/128.78 o 68 128.95/129.77 o 67 129.04/130.76 o 66 130.94/131.75 o 65 131.94/132.74 o 64 132.93/133.73 o 63 133.94/134.71 o 62 134.95/135.70 o 61 135.84/136.68 o 60 136.83/137.66 o 59 137.83/138.64 o 58 138.85/139.61 o 57 138.87/140.58 o 56 140.72/141.54 o 55 141.73/142.50 o 54 142.62/143.46 o 53 143.61/144.42 o 52 144.53/145.38 o 51 145.51/146.33 o 50 145.57/147.28 o 49 147.40/148.23 o 48 148.32/149.18 o 47 149.32/150.14 o 46 150.21/151.09 o 45 151.20/152.04 o 44 152.10/152.94 o 43 152.16/153.88 o 42 153.99/154.83 o 41 154.88/155.77 o 40 155.91/156.71 o 39 156.78/157.64 o 38 157.68/158.53 o 37 158.60/159.53 o 36 158.67/160.45 o 35 160.41/161.36 o 34 161.32/162.28 o 33 162.21/163.19 o 32 163.21/164.10 o 31 164.11/165.01 o 30 164.14/165.91 o 29 165.89/166.82 o 28 166.78/167.72 o 27 167.69/168.62 o 26 168.58/169.51 o 25 169.50/170.41 o 24 169.54/171.39 o 23 171.30/172.30 o 22 172.08/173.19 o 21 173.05/174.10 o 20 173.86/174.98 o 19 173.96/175.86 o 18 175.63/176.74 o 17 176.54/177.63 o 13 362.07/363.26 o 12 831.75/833.19 o 11 1800.00/1801.62 c Somebody sent me a SIGTERM 1800.00/1801.62 s SATISFIABLE 1800.00/1801.62 v x1 x2 x7 x10 x14 x23 x25 x28 x52 x69 x78 x292 x299 x319 x338 x341 x350 x365 x380 x385 x400 x423 x425 x429 x474 x475 x476 x528 x538 1800.00/1801.62 v x582 x583 x605 x615 x643 x685 x738 x768 x772 x773 x775 x777 x797 x815 x816 x849 x900 x924 x926 x943 x949 x958 x992 x1016 x1064 1800.00/1801.62 v x1070 x1136 x1139 x1141 x1173 x1177 x1198 x1240 x1274 x1277 x1279 x1339 x1361 x1381 x1420 x1448 x1483 x1486 x1517 x1537 x1552 1800.00/1801.62 v x1553 x1555 x1558 x1561 x1587 x1591 x1595 x1596 x1627 x1628 x1663 x1670 x1696 x1720 x1735 x1758 x1761 x1765 x1767 x1770 x1773 1800.00/1801.62 v x1783 x1792 x1808 x1829 x1833 x1866 x1868 x1870 x1904 x1905 x1917 x1938 x1939 x1971 x1975 x1997 x2002 x2004 x2008 x2077 x2113 1800.00/1801.62 v x2145 x2150 x2152 x2170 x2177 x2205 x2239 x2261 x2279 x2285 x2307 x2313 x2344 x2346 x2348 x2379 x2402 x2413 x2423 x2451 x2462 1800.00/1801.62 v x2485 x2491 x2525 x2528 x2557 x2558 x2560 x2592 x2668 x2698 x2710 x2715 x2735 x2736 x2768 x2773 x2800 x2811 x2859 x2870 x2902 1800.00/1801.62 v x2903 x2905 x2971 x3001 x3011 x3031 x3034 x3046 x3062 x3063 x3077 x3092 x3096 x3124 x3155 x3156 x3157 x3189 x3191 x3195 x3199 1800.00/1801.62 v x3218 x3225 x3249 x3261 x3286 x3290 x3318 x3351 x3359 x3361 x3384 x3414 x3444 x3456 x3478 x3481 x3482 x3491 x3507 x3518 x3538 1800.00/1801.62 v x3540 x3567 x3571 x3581 x3600 x3601 x3630 x3631 x3658 x3662 x3666 x3685 x3697 x3713 x3741 x3744 x3748 x3749 x3753 x3770 x3801 1800.00/1801.62 v x3828 x3829 x3830 x3833 x3860 x3862 x3863 x3871 x3893 x3895 x3896 x3924 x3956 x3988 x3997 x4023 x4053 x4058 x4064 x4086 x4088 1800.00/1801.62 v x4122 x4144 x4170 x4173 x4180 x4205 x4230 x4260 x4270 x4295 x4302 x4325 x4329 x4336 x4353 x4385 x4388 x4392 x4396 x4413 x4419 1800.00/1801.62 v x4420 x4439 x4442 x4446 x4469 x4471 x4472 x4495 x4496 x4499 x4526 x4533 x4557 x4560 x4581 x4585 x4606 x4609 x4636 x4643 x4663 1800.00/1801.62 v x4666 x4667 x4700 x4726 x4733 x4740 x4763 x4788 x4790 x4791 x4795 x4812 x4817 x4825 x4838 x4841 x4847 x4866 x4867 x4869 x4875 1800.00/1801.62 v x4891 x4900 x4902 x4922 x4924 x4956 x4973 x5003 x5004 x5014 x5035 x5061 x5065 x5074 x5075 x5087 x5114 x5116 x5121 x5140 x5153 1800.00/1801.62 v x5172 x5179 x5183 x5198 x5200 x5210 x5224 x5254 x5292 x5307 x5331 x5335 x5345 x5367 x5385 x5411 x5437 x5468 x5469 x5477 x5490 1800.00/1801.62 v x5499 x5517 x5518 x5519 x5522 x5531 x5545 x5546 x5553 x5571 x5574 x5598 x5601 x5604 x5613 x5627 x5656 x5661 x5687 x5689 x5705 1800.00/1801.62 v x5729 x5730 x5733 x5736 x5759 x5787 x5810 x5834 x5836 x5837 x5865 x5871 x5891 x5899 x5918 x5922 x5929 x5943 x5969 x5981 x5995 1800.00/1801.62 v x5996 x6023 x6047 x6072 x6075 x6077 x6106 x6124 x6155 x6176 x6177 x6182 x6188 x6190 x6206 x6215 x6228 x6233 x6235 x6253 x6261 1800.00/1801.62 v x6279 x6304 x6334 x6352 x6360 x6377 x6381 x6402 1800.00/1801.62 pb2clasp1: no process killed 1800.00/1801.63 clasp: no process killed 833.83/1803.62 sh: line 1: 15169 Done cat /tmp/evaluation/453700-1178149965/temp/instance-453700-1178149965.opb.op 833.83/1803.62 15170 Killed | clasp >/tmp/evaluation/453700-1178149965/temp/instance-453700-1178149965.opb.clasp
FAILED ERROR: unsatisfied constraint on line 0 0>=1 Falsified constraint is: +1*~x3[=0]*x28[=1]+1*~x3[=0]*x190[=0]+1*~x3[=0]*x43[=0]+1*~x3[=0]*x174[=0]+1*~x3[=0]*x117[=0]+1*~x3[=0]*x128[=0]+1*~x3[=0]*x34[=0]+1*~x3[=0]*x69[=1]+1*~x3[=0]*x89[=0]+1*~x3[=0]*x140[=0]+1*~x3[=0]*x51[=0]+1*~x3[=0]*x91[=0]+1*~x3[=0]*x145[=0]+1*~x3[=0]*x88[=0]+1*~x3[=0]*x104[=0]+1*~x3[=0]*x162[=0]+1*~x3[=0]*x75[=0]+1*~x3[=0]*x79[=0]+1*~x3[=0]*x199[=0]+1*~x3[=0]*x80[=0]+1*~x3[=0]*x64[=0]+1*~x3[=0]*x95[=0]+1*~x3[=0]*x87[=0]+1*~x3[=0]*x53[=0]+1*~x3[=0]*x35[=0]+1*~x3[=0]*x13[=0]+1*~x3[=0]*x20[=0]+1*~x3[=0]*x23[=1]+1*~x3[=0]*x100[=0]+1*~x3[=0]*x137[=0]+1*~x3[=0]*x175[=0]+1*~x3[=0]*x181[=0]+1*~x3[=0]*x195[=0]+1*x3[=0] >= 1
Linearizing /tmp/evaluation/453700-1178149965/instance-453700-1178149965.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-453700-1178149965 -o ROOT/results/node19/solver-453700-1178149965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453700-1178149965.opb /tmp/evaluation/453700-1178149965/temp 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.95 0.95 3/77 13479 /proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12268 CPUtime=0 /proc/13479/stat : 13479 (pbclasp) R 13477 13479 13392 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 262913932 12562432 364 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255236412129 0 0 4224 0 0 0 0 17 1 0 0 /proc/13479/statm: 3067 365 276 3 0 167 0 [startup+0.016365 s] /proc/loadavg: 0.78 0.95 0.95 3/77 13479 /proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=0.01 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 262913932 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13479/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.10225 s] /proc/loadavg: 0.78 0.95 0.95 3/77 13479 /proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=0.01 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 262913932 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13479/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.30127 s] /proc/loadavg: 0.78 0.95 0.95 3/77 13479 /proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=0.01 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 262913932 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13479/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.701314 s] /proc/loadavg: 0.78 0.95 0.95 3/77 13479 /proc/meminfo: memFree=1796784/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=0.01 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 262913932 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245463650 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13479/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+1.5024 s] /proc/loadavg: 0.78 0.95 0.95 2/80 13482 /proc/meminfo: memFree=1794648/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=1.01 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 638 1593 0 0 1 0 98 2 16 0 1 0 262913932 12967936 528 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3166 528 343 3 0 266 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 12664 [startup+3.10157 s] /proc/loadavg: 0.78 0.95 0.95 2/81 13497 /proc/meminfo: memFree=1790096/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=2.71 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 880 12599 0 0 1 0 260 10 16 0 1 0 262913932 12967936 532 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3166 532 343 3 0 266 0 Current children cumulated CPU time (s) 2.71 Current children cumulated vsize (KiB) 12664 [startup+6.30192 s] /proc/loadavg: 0.80 0.95 0.95 2/81 13529 /proc/meminfo: memFree=1793152/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=6.18 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 1342 35542 0 0 2 1 590 25 16 0 1 0 262913932 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3166 535 343 3 0 266 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 12664 [startup+12.7016 s] /proc/loadavg: 0.81 0.95 0.95 2/81 13585 /proc/meminfo: memFree=1784872/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=12.38 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 2165 77244 0 0 4 2 1179 53 16 0 1 0 262913932 12967936 536 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3166 536 343 3 0 266 0 Current children cumulated CPU time (s) 12.38 Current children cumulated vsize (KiB) 12664 [startup+25.502 s] /proc/loadavg: 0.85 0.95 0.95 2/80 13697 /proc/meminfo: memFree=1775336/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12664 CPUtime=25.22 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 3884 165974 0 0 11 4 2397 110 16 0 1 0 262913932 12967936 541 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3166 541 343 3 0 266 0 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (KiB) 12664 [startup+51.1028 s] /proc/loadavg: 0.90 0.96 0.95 2/81 13913 /proc/meminfo: memFree=1793312/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=50.31 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 7171 353874 0 0 33 8 4758 232 16 0 1 0 262913932 13103104 549 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 549 343 3 0 299 0 [pid=13911] ppid=13479 vsize=5356 CPUtime=0 /proc/13911/stat : 13911 (sh) S 13479 13479 13392 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 262918981 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13911/statm: 1339 225 188 169 0 50 0 [pid=13912] ppid=13911 vsize=2520 CPUtime=0 /proc/13912/stat : 13912 (cat) S 13911 13479 13392 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 262918982 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 255236735202 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/13912/statm: 630 87 71 4 0 42 0 [pid=13913] ppid=13911 vsize=16212 CPUtime=0.6 /proc/13913/stat : 13913 (clasp) R 13911 13479 13392 0 -1 4194304 3685 0 0 0 58 2 0 0 25 0 1 0 262918982 16601088 3647 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134710598 0 0 4096 0 0 0 0 17 1 0 0 /proc/13913/statm: 4053 3647 184 154 0 3523 0 Current children cumulated CPU time (s) 50.91 Current children cumulated vsize (KiB) 36884 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.95 2/80 14313 /proc/meminfo: memFree=1771304/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=100.95 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 13725 762439 0 0 114 15 9480 486 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=14311] ppid=13479 vsize=5356 CPUtime=0 /proc/14311/stat : 14311 (sh) S 13479 13479 13392 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262924073 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14311/statm: 1339 225 188 169 0 50 0 [pid=14313] ppid=14311 vsize=25864 CPUtime=0.89 /proc/14313/stat : 14313 (clasp) R 14311 13479 13392 0 -1 4194304 6679 0 0 0 87 2 0 0 25 0 1 0 262924073 26484736 5917 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134676044 0 0 4096 0 0 0 0 17 1 0 0 /proc/14313/statm: 6466 5917 194 154 0 5936 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 44016 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.95 2/81 14801 /proc/meminfo: memFree=1788896/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=161.42 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 21858 1248082 0 0 207 23 15133 779 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 Current children cumulated CPU time (s) 161.42 Current children cumulated vsize (KiB) 12796 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/80 14945 /proc/meminfo: memFree=1762128/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=176.59 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24024 1357106 0 0 216 25 16570 848 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=14943] ppid=13479 vsize=5356 CPUtime=0 /proc/14943/stat : 14943 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262931697 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14943/statm: 1339 225 188 169 0 50 0 [pid=14945] ppid=14943 vsize=33164 CPUtime=44.62 /proc/14945/stat : 14945 (clasp) R 14943 13479 13392 0 -1 4194304 8123 0 0 0 4457 5 0 0 25 0 1 0 262931698 33959936 7905 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0 /proc/14945/statm: 8291 7905 196 154 0 7761 0 Current children cumulated CPU time (s) 221.21 Current children cumulated vsize (KiB) 51316 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.95 2/80 14945 /proc/meminfo: memFree=1742352/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=176.59 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24024 1357106 0 0 216 25 16570 848 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=14943] ppid=13479 vsize=5356 CPUtime=0 /proc/14943/stat : 14943 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262931697 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14943/statm: 1339 225 188 169 0 50 0 [pid=14945] ppid=14943 vsize=53324 CPUtime=104.61 /proc/14945/stat : 14945 (clasp) R 14943 13479 13392 0 -1 4194304 13156 0 0 0 10450 11 0 0 25 0 1 0 262931698 54603776 12938 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0 /proc/14945/statm: 13331 12938 196 154 0 12801 0 Current children cumulated CPU time (s) 281.2 Current children cumulated vsize (KiB) 71476 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/80 14945 /proc/meminfo: memFree=1716440/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=176.59 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24024 1357106 0 0 216 25 16570 848 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=14943] ppid=13479 vsize=5356 CPUtime=0 /proc/14943/stat : 14943 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 262931697 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14943/statm: 1339 225 188 169 0 50 0 [pid=14945] ppid=14943 vsize=78960 CPUtime=164.59 /proc/14945/stat : 14945 (clasp) R 14943 13479 13392 0 -1 4194304 19648 0 0 0 16441 18 0 0 25 0 1 0 262931698 80855040 19328 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134714546 0 0 4096 0 0 0 0 17 1 0 0 /proc/14945/statm: 19740 19328 196 154 0 19210 0 Current children cumulated CPU time (s) 341.18 Current children cumulated vsize (KiB) 97112 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.95 2/80 14953 /proc/meminfo: memFree=1766488/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=362.18 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24148 1378142 0 0 216 26 35106 870 18 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=14951] ppid=13479 vsize=5356 CPUtime=0 /proc/14951/stat : 14951 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262950260 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14951/statm: 1339 225 188 169 0 50 0 [pid=14953] ppid=14951 vsize=29048 CPUtime=39 /proc/14953/stat : 14953 (clasp) R 14951 13479 13392 0 -1 4194304 7076 0 0 0 3896 4 0 0 25 0 1 0 262950260 29745152 6858 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0 /proc/14953/statm: 7262 6858 196 154 0 6732 0 ################ # More data... # ################ /proc/15157/statm: 1339 225 188 169 0 50 0 [pid=15159] ppid=15157 vsize=121044 CPUtime=768.88 /proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 30114 0 0 0 76858 30 0 0 25 0 1 0 262997253 123949056 29794 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0 /proc/15159/statm: 30261 29794 196 154 0 29731 0 Current children cumulated CPU time (s) 1600.75 Current children cumulated vsize (KiB) 139196 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/80 15159 /proc/meminfo: memFree=1661976/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.87 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15157] ppid=13479 vsize=5356 CPUtime=0 /proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15157/statm: 1339 225 188 169 0 50 0 [pid=15159] ppid=15157 vsize=133252 CPUtime=828.86 /proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33161 0 0 0 82853 33 0 0 25 0 1 0 262997253 136450048 32841 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769205 0 0 4096 0 0 0 0 17 1 0 0 /proc/15159/statm: 33313 32841 196 154 0 32783 0 Current children cumulated CPU time (s) 1660.73 Current children cumulated vsize (KiB) 151404 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/80 15159 /proc/meminfo: memFree=1659992/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.87 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15157] ppid=13479 vsize=5356 CPUtime=0 /proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15157/statm: 1339 225 188 169 0 50 0 [pid=15159] ppid=15157 vsize=135144 CPUtime=888.85 /proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33630 0 0 0 88851 34 0 0 25 0 1 0 262997253 138387456 33310 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769198 0 0 4096 0 0 0 0 17 1 0 0 /proc/15159/statm: 33786 33310 196 154 0 33256 0 Current children cumulated CPU time (s) 1720.72 Current children cumulated vsize (KiB) 153296 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/80 15159 /proc/meminfo: memFree=1659992/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.87 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15157] ppid=13479 vsize=5356 CPUtime=0 /proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15157/statm: 1339 225 188 169 0 50 0 [pid=15159] ppid=15157 vsize=135144 CPUtime=948.83 /proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33634 0 0 0 94848 35 0 0 25 0 1 0 262997253 138387456 33314 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769196 0 0 4096 0 0 0 0 17 1 0 0 /proc/15159/statm: 33786 33314 196 154 0 33256 0 Current children cumulated CPU time (s) 1780.7 Current children cumulated vsize (KiB) 153296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.6 s] /proc/loadavg: 0.99 0.97 0.95 2/80 15159 /proc/meminfo: memFree=1659992/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.87 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15157] ppid=13479 vsize=5356 CPUtime=0 /proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15157/statm: 1339 225 188 169 0 50 0 [pid=15159] ppid=15157 vsize=135144 CPUtime=968.13 /proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33635 0 0 0 96778 35 0 0 25 0 1 0 262997253 138387456 33315 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769183 0 0 4096 0 0 0 0 17 1 0 0 /proc/15159/statm: 33786 33315 196 154 0 33256 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 153296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1801.6 s] /proc/loadavg: 0.99 0.97 0.95 2/80 15159 /proc/meminfo: memFree=1659992/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.87 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24274 1408305 0 0 217 26 82043 901 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15157] ppid=13479 vsize=5356 CPUtime=0 /proc/15157/stat : 15157 (sh) S 13479 13479 13392 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 262997253 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15157/statm: 1339 225 188 169 0 50 0 [pid=15159] ppid=15157 vsize=135144 CPUtime=968.13 /proc/15159/stat : 15159 (clasp) R 15157 13479 13392 0 -1 4194304 33635 0 0 0 96778 35 0 0 25 0 1 0 262997253 138387456 33315 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769183 0 0 4096 0 0 0 0 17 1 0 0 /proc/15159/statm: 33786 33315 196 154 0 33256 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 153296 # WARNING: # current cumulated CPU time (831.96 s) is less than in the last sample (1800 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (968.04 s) to the 'lost time'. [startup+1801.72 s] /proc/loadavg: 0.99 0.97 0.95 2/82 15170 /proc/meminfo: memFree=1791880/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.9 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24443 1410091 0 0 217 26 82044 903 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15168] ppid=13479 vsize=5356 CPUtime=0 /proc/15168/stat : 15168 (sh) S 13479 13479 13392 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 263094097 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15168/statm: 1339 225 188 169 0 50 0 [pid=15169] ppid=15168 vsize=2520 CPUtime=0 /proc/15169/stat : 15169 (cat) S 15168 13479 13392 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 263094097 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 255236735202 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/15169/statm: 630 87 71 4 0 42 0 [pid=15170] ppid=15168 vsize=2964 CPUtime=0.06 /proc/15170/stat : 15170 (clasp) R 15168 13479 13392 0 -1 4194304 406 0 0 0 6 0 0 0 18 0 1 0 263094097 3035136 368 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 1 0 0 /proc/15170/statm: 741 368 173 154 0 211 0 Current children cumulated CPU time (s) 831.96 Current children cumulated vsize (KiB) 23636 Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1803 s] /proc/loadavg: 0.99 0.97 0.95 2/81 15170 /proc/meminfo: memFree=1776016/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.9 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24443 1410091 0 0 217 26 82044 903 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15168] ppid=13479 vsize=5356 CPUtime=0 /proc/15168/stat : 15168 (sh) S 13479 13479 13392 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 263094097 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15168/statm: 1339 225 188 169 0 50 0 [pid=15170] ppid=15168 vsize=18900 CPUtime=1.33 /proc/15170/stat : 15170 (clasp) R 15168 13479 13392 0 -1 4194304 4574 0 0 0 132 1 0 0 25 0 1 0 263094097 19353600 4356 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740923 0 0 4096 0 0 0 0 17 1 0 0 /proc/15170/statm: 4725 4356 196 154 0 4195 0 Current children cumulated CPU time (s) 833.23 Current children cumulated vsize (KiB) 37052 [startup+1803.4 s] /proc/loadavg: 0.99 0.97 0.95 2/81 15170 /proc/meminfo: memFree=1776016/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.9 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24443 1410091 0 0 217 26 82044 903 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15168] ppid=13479 vsize=5356 CPUtime=0 /proc/15168/stat : 15168 (sh) S 13479 13479 13392 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 263094097 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15168/statm: 1339 225 188 169 0 50 0 [pid=15170] ppid=15168 vsize=18900 CPUtime=1.73 /proc/15170/stat : 15170 (clasp) R 15168 13479 13392 0 -1 4194304 4574 0 0 0 172 1 0 0 25 0 1 0 263094097 19353600 4356 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0 /proc/15170/statm: 4725 4356 196 154 0 4195 0 Current children cumulated CPU time (s) 833.63 Current children cumulated vsize (KiB) 37052 [startup+1803.6 s] /proc/loadavg: 0.99 0.97 0.95 2/81 15170 /proc/meminfo: memFree=1776016/2055920 swapFree=4153644/4192956 [pid=13479] ppid=13477 vsize=12796 CPUtime=831.9 /proc/13479/stat : 13479 (pbclasp) S 13477 13479 13392 0 -1 4194304 24443 1410091 0 0 217 26 82044 903 16 0 1 0 262913932 13103104 554 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13479/statm: 3199 554 343 3 0 299 0 [pid=15168] ppid=13479 vsize=5356 CPUtime=0 /proc/15168/stat : 15168 (sh) S 13479 13479 13392 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 263094097 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15168/statm: 1339 225 188 169 0 50 0 [pid=15170] ppid=15168 vsize=18900 CPUtime=1.93 /proc/15170/stat : 15170 (clasp) R 15168 13479 13392 0 -1 4194304 4574 0 0 0 192 1 0 0 25 0 1 0 263094097 19353600 4356 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0 /proc/15170/statm: 4725 4356 196 154 0 4195 0 Current children cumulated CPU time (s) 833.83 Current children cumulated vsize (KiB) 37052 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 968.04 # lost CPU user time (s): 967.71 # lost CPU system time (s): 0.330001 Real time (s): 1803.63 CPU time (s): 1801.94 CPU user time (s): 1792.27 CPU system time (s): 9.66558 CPU usage (%): 99.9062 Max. virtual memory (cumulated for all children) (KiB): 153296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 824.56 system time used= 9.33558 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1439670 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 35114 involuntary context switches= 31239 runsolver used 1.55376 second user time and 5.03423 second system time The end
Begin job on node19 on Wed May 2 23:52:45 UTC 2007 IDJOB= 453700 IDBENCH= 48148 IDSOLVER= 158 FILE ID= node19/453700-1178149965 PBS_JOBID= 4751077 Free space on /tmp= 66563 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb COMMAND LINE= pbclasp instance-453700-1178149965.opb /tmp/evaluation/453700-1178149965/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-453700-1178149965 -o ROOT/results/node19/conversion-453700-1178149965 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453700-1178149965/instance-453700-1178149965.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-453700-1178149965 -o ROOT/results/node19/solver-453700-1178149965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453700-1178149965.opb /tmp/evaluation/453700-1178149965/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e RANDOM SEED= 754944475 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1797256 kB Buffers: 95040 kB Cached: 76980 kB SwapCached: 8384 kB Active: 105836 kB Inactive: 97448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797256 kB SwapTotal: 4192956 kB SwapFree: 4153644 kB Dirty: 1716 kB Writeback: 0 kB Mapped: 29644 kB Slab: 40924 kB Committed_AS: 8861588 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node19 on Thu May 3 00:22:49 UTC 2007