Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | Wrong Cert. | 1802.07 | 1803.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_3.opb |
MD5SUM | 0e507441d4bf529adaad354902c51a54 |
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.12 |
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 | 46 |
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) | 6216 |
Sum of products size (including duplicates) | 12432 |
Number of different products | 6216 |
Sum of products size | 12432 |
1.00/1.84 o 197 2.56/2.70 o 196 3.47/3.55 o 195 4.36/4.41 o 194 4.41/5.27 o 193 6.05/6.14 o 192 6.96/7.01 o 191 7.75/7.88 o 190 8.65/8.76 o 189 8.74/9.64 o 188 10.46/10.53 o 187 11.34/11.42 o 186 12.23/12.32 o 185 13.14/13.21 o 184 13.19/14.11 o 183 14.92/15.02 o 182 15.85/15.92 o 181 16.70/16.87 o 180 17.61/17.78 o 179 18.50/18.64 o 178 18.58/19.55 o 177 20.29/20.46 o 176 21.20/21.38 o 175 22.21/22.30 o 174 23.09/23.22 o 173 23.99/24.14 o 172 24.06/25.07 o 171 25.79/26.00 o 170 26.79/26.93 o 169 27.67/27.86 o 168 28.70/28.80 o 167 29.58/29.78 o 166 30.56/30.72 o 165 30.61/31.68 o 164 32.46/32.63 o 163 33.34/33.59 o 162 34.33/34.52 o 161 35.24/35.48 o 160 36.23/36.44 o 159 37.24/37.41 o 158 37.29/38.38 o 157 39.15/39.34 o 156 40.03/40.30 o 155 41.03/41.26 o 154 42.03/42.23 o 153 43.04/43.20 o 152 43.92/44.17 o 151 44.93/45.33 o 150 45.84/46.27 o 149 46.83/47.24 o 148 46.90/48.22 o 147 48.84/49.20 o 146 49.71/50.19 o 145 50.73/51.18 o 144 51.73/52.17 o 143 52.71/53.17 o 142 53.72/54.16 o 141 54.73/55.16 o 140 55.71/56.19 o 139 56.69/57.18 o 138 56.80/58.18 o 137 57.79/59.18 o 136 59.67/60.18 o 135 60.68/61.17 o 134 61.67/62.17 o 133 62.66/63.17 o 132 63.67/64.16 o 131 64.66/65.16 o 130 65.65/66.12 o 129 66.66/67.12 o 128 67.66/68.12 o 127 67.70/69.17 o 126 69.60/70.19 o 125 70.71/71.20 o 124 71.69/72.29 o 123 72.73/73.31 o 122 73.73/74.32 o 121 74.71/75.33 o 120 75.71/76.35 o 119 76.71/77.37 o 118 77.71/78.38 o 117 78.71/79.48 o 116 79.73/80.49 o 115 80.83/81.50 o 114 81.83/82.51 o 113 82.81/83.53 o 112 82.87/84.53 o 111 84.81/85.54 o 110 85.82/86.55 o 109 86.82/87.56 o 108 87.82/88.57 o 107 88.80/89.59 o 106 89.92/90.61 o 105 90.90/91.63 o 104 91.91/92.65 o 103 92.90/93.67 o 102 93.91/94.69 o 101 95.02/95.71 o 100 96.01/96.74 o 99 96.07/97.76 o 98 98.00/98.78 o 97 99.00/99.79 o 96 99.99/100.79 o 95 101.10/101.80 o 94 102.10/102.81 o 93 103.08/103.82 o 92 104.10/104.82 o 91 105.08/105.83 o 90 106.08/106.83 o 89 107.08/107.84 o 88 108.08/108.84 o 87 108.16/109.85 o 86 110.08/110.86 o 85 111.08/111.87 o 84 112.08/112.88 o 83 113.08/113.89 o 82 114.07/114.89 o 81 115.19/115.90 o 80 116.19/116.90 o 79 117.19/117.90 o 78 118.20/118.90 o 77 119.07/119.89 o 76 119.20/120.89 o 75 120.20/121.88 o 74 122.06/122.86 o 73 123.06/123.85 o 72 124.06/124.84 o 71 125.06/125.82 o 70 126.08/126.80 o 69 126.97/127.79 o 68 127.96/128.77 o 67 128.97/129.76 o 66 129.05/130.74 o 65 130.03/131.77 o 64 131.91/132.75 o 63 132.89/133.73 o 62 133.92/134.71 o 61 134.80/135.69 o 60 135.79/136.66 o 59 136.70/137.58 o 58 137.69/138.56 o 57 137.78/139.52 o 56 139.60/140.48 o 55 140.59/141.44 o 54 141.50/142.39 o 53 142.50/143.44 o 52 143.38/144.39 o 51 144.39/145.34 o 50 145.30/146.29 o 49 145.41/147.23 o 48 147.19/148.18 o 47 148.20/149.12 o 46 149.09/150.07 o 45 150.09/151.01 o 44 150.99/151.95 o 43 151.90/152.89 o 42 152.02/153.83 o 41 153.79/154.76 o 40 154.81/155.70 o 39 155.69/156.63 o 38 156.58/157.56 o 37 157.49/158.48 o 36 158.50/159.40 o 35 158.52/160.31 o 34 160.29/161.23 o 33 161.18/162.11 o 32 162.08/163.01 o 31 162.99/163.91 o 30 163.01/164.81 o 29 164.77/165.70 o 28 165.69/166.60 o 27 166.59/167.50 o 16 167.37/168.38 o 15 167.47/169.26 o 14 169.17/170.16 o 13 362.50/363.50 o 12 507.38/508.48 o 11 1800.05/1801.51 c Somebody sent me a SIGTERM 1800.05/1801.51 s SATISFIABLE 1800.05/1801.51 v x4 x5 x7 x8 x12 x15 x17 x20 x28 x34 x116 x219 x226 x245 x248 x250 x268 x298 x300 x387 x395 x401 x507 x545 x570 x583 x584 x610 x685 1800.05/1801.51 v x687 x703 x779 x781 x782 x804 x805 x806 x852 x874 x889 x912 x963 x997 x998 x1000 x1035 x1038 x1059 x1065 x1076 x1080 x1081 x1082 1800.05/1801.51 v x1100 x1105 x1110 x1114 x1148 x1170 x1182 x1183 x1244 x1246 x1271 x1274 x1275 x1302 x1307 x1332 x1344 x1347 x1362 x1369 x1382 1800.05/1801.51 v x1385 x1445 x1447 x1482 x1483 x1486 x1517 x1556 x1562 x1587 x1620 x1622 x1652 x1654 x1655 x1689 x1691 x1725 x1726 x1731 x1753 1800.05/1801.51 v x1754 x1755 x1756 x1758 x1790 x1804 x1826 x1856 x1858 x1859 x1892 x1926 x1928 x1931 x1963 x2005 x2045 x2078 x2080 x2109 x2145 1800.05/1801.51 v x2175 x2176 x2177 x2178 x2181 x2217 x2218 x2219 x2220 x2221 x2251 x2252 x2254 x2283 x2289 x2335 x2350 x2351 x2384 x2413 x2418 1800.05/1801.51 v x2447 x2448 x2449 x2477 x2505 x2511 x2513 x2547 x2548 x2551 x2582 x2587 x2617 x2618 x2621 x2648 x2649 x2651 x2679 x2680 x2682 1800.05/1801.51 v x2713 x2714 x2717 x2728 x2748 x2754 x2778 x2783 x2811 x2812 x2815 x2816 x2820 x2842 x2844 x2846 x2875 x2905 x2906 x2909 x2937 1800.05/1801.51 v x2939 x2967 x2996 x2997 x3001 x3022 x3028 x3060 x3091 x3121 x3155 x3157 x3188 x3191 x3192 x3224 x3251 x3252 x3255 x3305 x3311 1800.05/1801.51 v x3346 x3375 x3378 x3407 x3437 x3470 x3496 x3497 x3529 x3532 x3545 x3561 x3563 x3564 x3566 x3591 x3592 x3623 x3625 x3628 x3655 1800.05/1801.51 v x3679 x3689 x3690 x3691 x3693 x3705 x3718 x3719 x3722 x3725 x3750 x3751 x3781 x3783 x3809 x3810 x3813 x3843 x3871 x3873 x3900 1800.05/1801.51 v x3902 x3906 x3927 x3932 x3961 x3992 x4022 x4023 x4028 x4048 x4056 x4057 x4060 x4118 x4119 x4120 x4149 x4180 x4212 x4217 x4244 1800.05/1801.51 v x4247 x4248 x4276 x4278 x4302 x4304 x4332 x4333 x4334 x4379 x4390 x4424 x4456 x4457 x4465 x4483 x4484 x4485 x4513 x4536 x4538 1800.05/1801.51 v x4551 x4564 x4566 x4590 x4591 x4623 x4647 x4648 x4698 x4707 x4732 x4733 x4760 x4761 x4790 x4794 x4796 x4820 x4821 x4846 x4847 1800.05/1801.51 v x4848 x4850 x4852 x4879 x4903 x4905 x4929 x4930 x4932 x4958 x4991 x4992 x4993 x5009 x5016 x5017 x5019 x5020 x5047 x5049 x5073 1800.05/1801.51 v x5103 x5105 x5134 x5135 x5152 x5163 x5188 x5216 x5248 x5274 x5276 x5300 x5330 x5333 x5358 x5383 x5409 x5413 x5433 x5436 x5437 1800.05/1801.51 v x5438 x5461 x5487 x5490 x5517 x5542 x5568 x5581 x5597 x5621 x5648 x5673 x5674 x5676 x5717 x5726 x5727 x5753 x5755 x5779 x5781 1800.05/1801.51 v x5807 x5835 x5847 x5858 x5859 x5882 x5887 x5908 x5910 x5934 x5936 x5966 x5984 x6010 x6013 x6037 x6062 x6063 x6077 x6088 x6103 1800.05/1801.51 v x6112 x6132 x6139 x6164 x6167 x6189 x6206 x6216 x6217 x6218 x6219 x6241 x6243 x6267 x6268 x6269 x6310 x6320 x6342 x6343 x6368 1800.05/1801.51 v x6369 x6394 1800.05/1801.52 pb2clasp1: no process killed 509.44/1803.52 sh: line 1: 8498 Done cat /tmp/evaluation/453850-1178160581/temp/instance-453850-1178160581.opb.op 509.44/1803.52 8499 Killed | clasp >/tmp/evaluation/453850-1178160581/temp/instance-453850-1178160581.opb.clasp
FAILED ERROR: unsatisfied constraint on line 0 0>=1 Falsified constraint is: +1*~x1[=0]*x147[=0]+1*~x1[=0]*x186[=0]+1*~x1[=0]*x169[=0]+1*~x1[=0]*x41[=0]+1*~x1[=0]*x26[=0]+1*~x1[=0]*x141[=0]+1*~x1[=0]*x73[=0]+1*~x1[=0]*x177[=0]+1*~x1[=0]*x2[=0]+1*~x1[=0]*x65[=0]+1*~x1[=0]*x59[=0]+1*~x1[=0]*x125[=0]+1*~x1[=0]*x194[=0]+1*~x1[=0]*x140[=0]+1*~x1[=0]*x3[=0]+1*~x1[=0]*x42[=0]+1*~x1[=0]*x176[=0]+1*~x1[=0]*x96[=0]+1*~x1[=0]*x116[=1]+1*~x1[=0]*x143[=0]+1*~x1[=0]*x39[=0]+1*~x1[=0]*x74[=0]+1*~x1[=0]*x48[=0]+1*~x1[=0]*x86[=0]+1*~x1[=0]*x138[=0]+1*~x1[=0]*x20[=1]+1*~x1[=0]*x21[=0]+1*~x1[=0]*x61[=0]+1*~x1[=0]*x82[=0]+1*~x1[=0]*x94[=0]+1*~x1[=0]*x103[=0]+1*~x1[=0]*x119[=0]+1*~x1[=0]*x121[=0]+1*~x1[=0]*x132[=0]+1*~x1[=0]*x137[=0]+1*~x1[=0]*x149[=0]+1*~x1[=0]*x153[=0]+1*~x1[=0]*x157[=0]+1*~x1[=0]*x193[=0]+1*~x1[=0]*x196[=0]+1*x1[=0] >= 1
Linearizing /tmp/evaluation/453850-1178160581/instance-453850-1178160581.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-453850-1178160581 -o ROOT/results/node2/solver-453850-1178160581 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453850-1178160581.opb /tmp/evaluation/453850-1178160581/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.91 0.97 0.99 3/77 6864 /proc/meminfo: memFree=1462200/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12268 CPUtime=0 /proc/6864/stat : 6864 (pbclasp) R 6862 6864 5241 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 292095882 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206381480549 0 0 4224 0 0 0 0 17 1 0 0 /proc/6864/statm: 3067 317 242 3 0 167 0 [startup+0.0384391 s] /proc/loadavg: 0.91 0.97 0.99 3/77 6864 /proc/meminfo: memFree=1462200/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=0 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 292095882 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6864/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.101442 s] /proc/loadavg: 0.91 0.97 0.99 3/77 6864 /proc/meminfo: memFree=1462200/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=0 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 292095882 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6864/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.301463 s] /proc/loadavg: 0.91 0.97 0.99 3/77 6864 /proc/meminfo: memFree=1462200/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=0 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 292095882 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6864/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.701505 s] /proc/loadavg: 0.91 0.97 0.99 3/77 6864 /proc/meminfo: memFree=1462200/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=0 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 292095882 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6864/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+1.50159 s] /proc/loadavg: 0.91 0.97 0.99 2/80 6867 /proc/meminfo: memFree=1460000/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=1 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 640 1592 0 0 1 0 98 1 16 0 1 0 292095882 12967936 528 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3166 528 343 3 0 266 0 Current children cumulated CPU time (s) 1 Current children cumulated vsize (KiB) 12664 [startup+3.10175 s] /proc/loadavg: 0.91 0.97 0.99 2/81 6882 /proc/meminfo: memFree=1455304/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=2.7 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 886 12601 0 0 1 1 260 8 16 0 1 0 292095882 12967936 533 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3166 533 343 3 0 266 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 12664 [startup+6.30109 s] /proc/loadavg: 0.92 0.97 0.99 2/81 6914 /proc/meminfo: memFree=1457792/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=6.13 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 1355 35506 0 0 2 1 588 22 16 0 1 0 292095882 12967936 534 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3166 534 343 3 0 266 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 12664 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.99 2/81 6970 /proc/meminfo: memFree=1447920/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=12.29 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 2181 77249 0 0 4 2 1175 48 16 0 1 0 292095882 12967936 536 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3166 536 343 3 0 266 0 Current children cumulated CPU time (s) 12.29 Current children cumulated vsize (KiB) 12664 [startup+25.5011 s] /proc/loadavg: 0.94 0.97 0.99 2/81 7090 /proc/meminfo: memFree=1457432/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12664 CPUtime=24.99 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 3905 165855 0 0 10 5 2377 107 16 0 1 0 292095882 12967936 540 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3166 540 343 3 0 266 0 [pid=7088] ppid=6864 vsize=5356 CPUtime=0 /proc/7088/stat : 7088 (sh) S 6864 6864 5241 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 292098391 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7088/statm: 1339 225 188 169 0 50 0 [pid=7089] ppid=7088 vsize=2520 CPUtime=0 /proc/7089/stat : 7089 (cat) S 7088 6864 5241 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 292098391 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/7089/statm: 630 87 71 4 0 42 0 [pid=7090] ppid=7088 vsize=10244 CPUtime=0.4 /proc/7090/stat : 7090 (clasp) R 7088 6864 5241 0 -1 4194304 2231 0 0 0 40 0 0 0 21 0 1 0 292098391 10489856 2193 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 11002833 0 0 4096 0 0 0 0 17 1 0 0 /proc/7090/statm: 2561 2193 173 154 0 2031 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 30784 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.99 2/81 7298 /proc/meminfo: memFree=1453464/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=49.85 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 7236 353013 0 0 35 8 4710 232 16 0 1 0 292095882 13103104 546 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 546 343 3 0 299 0 [pid=7296] ppid=6864 vsize=5356 CPUtime=0 /proc/7296/stat : 7296 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 292100903 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7296/statm: 1339 225 188 169 0 50 0 [pid=7298] ppid=7296 vsize=24996 CPUtime=0.88 /proc/7298/stat : 7298 (clasp) R 7296 6864 5241 0 -1 4194304 6252 0 0 0 85 3 0 0 25 0 1 0 292100904 25595904 5709 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0 /proc/7298/statm: 6249 5709 196 154 0 5719 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 43148 [startup+102.305 s] /proc/loadavg: 1.03 0.99 0.99 2/81 7706 /proc/meminfo: memFree=1451160/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=101.13 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 14003 769292 0 0 121 14 9487 491 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=7704] ppid=6864 vsize=5356 CPUtime=0 /proc/7704/stat : 7704 (sh) S 6864 6864 5241 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 292106065 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7704/statm: 1339 225 188 169 0 50 0 [pid=7705] ppid=7704 vsize=2520 CPUtime=0 /proc/7705/stat : 7705 (cat) S 7704 6864 5241 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 292106065 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/7705/statm: 630 87 71 4 0 42 0 [pid=7706] ppid=7704 vsize=11104 CPUtime=0.47 /proc/7706/stat : 7706 (clasp) R 7704 6864 5241 0 -1 4194304 2432 0 0 0 46 1 0 0 21 0 1 0 292106065 11370496 2394 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135088773 0 0 4096 0 0 0 0 17 1 0 0 /proc/7706/statm: 2776 2394 176 154 0 2246 0 Current children cumulated CPU time (s) 101.6 Current children cumulated vsize (KiB) 31776 [startup+162.301 s] /proc/loadavg: 1.04 1.00 1.00 2/81 8194 /proc/meminfo: memFree=1450712/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=161.22 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 22182 1252741 0 0 215 24 15083 800 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 Current children cumulated CPU time (s) 161.22 Current children cumulated vsize (KiB) 12796 [startup+222.302 s] /proc/loadavg: 1.01 1.00 1.00 2/80 8274 /proc/meminfo: memFree=1424736/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=169.24 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23322 1310453 0 0 220 25 15843 836 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8272] ppid=6864 vsize=5356 CPUtime=0 /proc/8272/stat : 8272 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 292112900 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8272/statm: 1339 225 188 169 0 50 0 [pid=8274] ppid=8272 vsize=36156 CPUtime=52.1 /proc/8274/stat : 8274 (clasp) R 8272 6864 5241 0 -1 4194304 8888 0 0 0 5204 6 0 0 25 0 1 0 292112900 37023744 8670 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134798221 0 0 4096 0 0 0 0 17 1 0 0 /proc/8274/statm: 9039 8670 196 154 0 8509 0 Current children cumulated CPU time (s) 221.34 Current children cumulated vsize (KiB) 54308 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8274 /proc/meminfo: memFree=1402720/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=169.24 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23322 1310453 0 0 220 25 15843 836 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8272] ppid=6864 vsize=5356 CPUtime=0 /proc/8272/stat : 8272 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 292112900 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8272/statm: 1339 225 188 169 0 50 0 [pid=8274] ppid=8272 vsize=58112 CPUtime=112.09 /proc/8274/stat : 8274 (clasp) R 8272 6864 5241 0 -1 4194304 14376 0 0 0 11198 11 0 0 25 0 1 0 292112900 59506688 14117 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740807 0 0 4096 0 0 0 0 17 1 0 0 /proc/8274/statm: 14528 14117 196 154 0 13998 0 Current children cumulated CPU time (s) 281.33 Current children cumulated vsize (KiB) 76264 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8274 /proc/meminfo: memFree=1384160/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=169.24 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23322 1310453 0 0 220 25 15843 836 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8272] ppid=6864 vsize=5356 CPUtime=0 /proc/8272/stat : 8272 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 292112900 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8272/statm: 1339 225 188 169 0 50 0 [pid=8274] ppid=8272 vsize=76676 CPUtime=172.06 /proc/8274/stat : 8274 (clasp) R 8272 6864 5241 0 -1 4194304 19070 0 0 0 17191 15 0 0 25 0 1 0 292112900 78516224 18750 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741375 0 0 4096 0 0 0 0 17 1 0 0 /proc/8274/statm: 19169 18750 196 154 0 18639 0 Current children cumulated CPU time (s) 341.3 Current children cumulated vsize (KiB) 94828 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8282 /proc/meminfo: memFree=1421728/2055920 swapFree=4148856/4192956 ################ # More data... # ################ /proc/8290/statm: 36739 36014 196 154 0 36209 0 Current children cumulated CPU time (s) 1660.88 Current children cumulated vsize (KiB) 165108 [startup+1722.3 s] /proc/loadavg: 1.02 1.06 1.01 2/80 8488 /proc/meminfo: memFree=1313440/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.49 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23570 1352850 0 0 220 26 49626 877 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8288] ppid=6864 vsize=5356 CPUtime=0 /proc/8288/stat : 8288 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 292146733 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8288/statm: 1339 225 188 169 0 50 0 [pid=8290] ppid=8288 vsize=148300 CPUtime=1213.36 /proc/8290/stat : 8290 (clasp) R 8288 6864 5241 0 -1 4194304 36631 0 0 0 121294 42 0 0 25 0 1 0 292146733 151859200 36311 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769329 0 0 4096 0 0 0 0 17 1 0 0 /proc/8290/statm: 37075 36311 196 154 0 36545 0 Current children cumulated CPU time (s) 1720.85 Current children cumulated vsize (KiB) 166452 [startup+1782.3 s] /proc/loadavg: 1.01 1.05 1.01 2/80 8488 /proc/meminfo: memFree=1312032/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.49 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23570 1352850 0 0 220 26 49626 877 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8288] ppid=6864 vsize=5356 CPUtime=0 /proc/8288/stat : 8288 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 292146733 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8288/statm: 1339 225 188 169 0 50 0 [pid=8290] ppid=8288 vsize=149832 CPUtime=1273.35 /proc/8290/stat : 8290 (clasp) R 8288 6864 5241 0 -1 4194304 37038 0 0 0 127292 43 0 0 25 0 1 0 292146733 153427968 36682 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134753620 0 0 4096 0 0 0 0 17 1 0 0 /proc/8290/statm: 37458 36682 196 154 0 36928 0 Current children cumulated CPU time (s) 1780.84 Current children cumulated vsize (KiB) 167984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.5 s] /proc/loadavg: 1.00 1.04 1.01 2/80 8488 /proc/meminfo: memFree=1311200/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.49 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23570 1352850 0 0 220 26 49626 877 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8288] ppid=6864 vsize=5356 CPUtime=0 /proc/8288/stat : 8288 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 292146733 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8288/statm: 1339 225 188 169 0 50 0 [pid=8290] ppid=8288 vsize=150760 CPUtime=1292.56 /proc/8290/stat : 8290 (clasp) R 8288 6864 5241 0 -1 4194304 37328 0 0 0 129212 44 0 0 25 0 1 0 292146733 154378240 36874 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769205 0 0 4096 0 0 0 0 17 1 0 0 /proc/8290/statm: 37690 36874 196 154 0 37160 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 168912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1801.5 s] /proc/loadavg: 1.00 1.04 1.01 2/80 8488 /proc/meminfo: memFree=1311200/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.49 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23570 1352850 0 0 220 26 49626 877 16 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8288] ppid=6864 vsize=5356 CPUtime=0 /proc/8288/stat : 8288 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 292146733 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8288/statm: 1339 225 188 169 0 50 0 [pid=8290] ppid=8288 vsize=150760 CPUtime=1292.56 /proc/8290/stat : 8290 (clasp) R 8288 6864 5241 0 -1 4194304 37328 0 0 0 129212 44 0 0 25 0 1 0 292146733 154378240 36874 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769205 0 0 4096 0 0 0 0 17 1 0 0 /proc/8290/statm: 37690 36874 196 154 0 37160 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 168912 # WARNING: # current cumulated CPU time (507.5 s) is less than in the last sample (1800.05 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1292.55 s) to the 'lost time'. [startup+1801.62 s] /proc/loadavg: 1.00 1.04 1.01 2/80 8488 /proc/meminfo: memFree=1311200/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.5 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23742 1354518 0 0 220 26 49626 878 19 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 Current children cumulated CPU time (s) 507.5 Current children cumulated vsize (KiB) 12796 Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1802.2 s] /proc/loadavg: 1.00 1.04 1.01 2/83 8499 /proc/meminfo: memFree=1455560/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.5 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23742 1354518 0 0 220 26 49626 878 19 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8489] ppid=6864 vsize=0 CPUtime=0 /proc/8489/stat : 8489 (rm) Z 6864 6864 5241 0 -1 4194316 115 0 0 0 0 0 0 0 17 0 1 0 292276034 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0 /proc/8489/statm: 0 0 0 0 0 0 0 [pid=8497] ppid=6864 vsize=5356 CPUtime=0 /proc/8497/stat : 8497 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 292276037 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8497/statm: 1339 225 188 169 0 50 0 [pid=8499] ppid=8497 vsize=13172 CPUtime=0.64 /proc/8499/stat : 8499 (clasp) R 8497 6864 5241 0 -1 4194304 2983 0 0 0 63 1 0 0 22 0 1 0 292276037 13488128 2926 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134676178 0 0 4096 0 0 0 0 17 1 0 0 /proc/8499/statm: 3293 2926 188 154 0 2763 0 Current children cumulated CPU time (s) 508.14 Current children cumulated vsize (KiB) 31324 [startup+1803 s] /proc/loadavg: 1.00 1.04 1.01 2/82 8499 /proc/meminfo: memFree=1441808/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.5 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23742 1354518 0 0 220 26 49626 878 19 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8489] ppid=6864 vsize=0 CPUtime=0 /proc/8489/stat : 8489 (rm) Z 6864 6864 5241 0 -1 4194316 115 0 0 0 0 0 0 0 17 0 1 0 292276034 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0 /proc/8489/statm: 0 0 0 0 0 0 0 [pid=8497] ppid=6864 vsize=5356 CPUtime=0 /proc/8497/stat : 8497 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 292276037 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8497/statm: 1339 225 188 169 0 50 0 [pid=8499] ppid=8497 vsize=18780 CPUtime=1.44 /proc/8499/stat : 8499 (clasp) R 8497 6864 5241 0 -1 4194304 4523 0 0 0 142 2 0 0 25 0 1 0 292276037 19230720 4305 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0 /proc/8499/statm: 4695 4305 196 154 0 4165 0 Current children cumulated CPU time (s) 508.94 Current children cumulated vsize (KiB) 36932 [startup+1803.4 s] /proc/loadavg: 1.00 1.04 1.01 2/82 8499 /proc/meminfo: memFree=1441808/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.5 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23742 1354518 0 0 220 26 49626 878 19 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8489] ppid=6864 vsize=0 CPUtime=0 /proc/8489/stat : 8489 (rm) Z 6864 6864 5241 0 -1 4194316 115 0 0 0 0 0 0 0 17 0 1 0 292276034 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0 /proc/8489/statm: 0 0 0 0 0 0 0 [pid=8497] ppid=6864 vsize=5356 CPUtime=0 /proc/8497/stat : 8497 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 292276037 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8497/statm: 1339 225 188 169 0 50 0 [pid=8499] ppid=8497 vsize=18780 CPUtime=1.84 /proc/8499/stat : 8499 (clasp) R 8497 6864 5241 0 -1 4194304 4523 0 0 0 182 2 0 0 25 0 1 0 292276037 19230720 4305 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740536 0 0 4096 0 0 0 0 17 1 0 0 /proc/8499/statm: 4695 4305 196 154 0 4165 0 Current children cumulated CPU time (s) 509.34 Current children cumulated vsize (KiB) 36932 [startup+1803.5 s] /proc/loadavg: 1.00 1.04 1.01 2/82 8499 /proc/meminfo: memFree=1441808/2055920 swapFree=4148856/4192956 [pid=6864] ppid=6862 vsize=12796 CPUtime=507.5 /proc/6864/stat : 6864 (pbclasp) S 6862 6864 5241 0 -1 4194304 23742 1354518 0 0 220 26 49626 878 19 0 1 0 292095882 13103104 551 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6864/statm: 3199 551 343 3 0 299 0 [pid=8489] ppid=6864 vsize=0 CPUtime=0 /proc/8489/stat : 8489 (rm) Z 6864 6864 5241 0 -1 4194316 115 0 0 0 0 0 0 0 17 0 1 0 292276034 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0 /proc/8489/statm: 0 0 0 0 0 0 0 [pid=8497] ppid=6864 vsize=5356 CPUtime=0 /proc/8497/stat : 8497 (sh) S 6864 6864 5241 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 292276037 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8497/statm: 1339 225 188 169 0 50 0 [pid=8499] ppid=8497 vsize=18780 CPUtime=1.94 /proc/8499/stat : 8499 (clasp) R 8497 6864 5241 0 -1 4194304 4523 0 0 0 192 2 0 0 25 0 1 0 292276037 19230720 4305 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134746409 0 0 4096 0 0 0 0 17 1 0 0 /proc/8499/statm: 4695 4305 196 154 0 4165 0 Current children cumulated CPU time (s) 509.44 Current children cumulated vsize (KiB) 36932 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): 1292.55 # lost CPU user time (s): 1292.12 # lost CPU system time (s): 0.429999 Real time (s): 1803.53 CPU time (s): 1802.07 CPU user time (s): 1792.54 CPU system time (s): 9.52162 CPU usage (%): 99.9189 Max. virtual memory (cumulated for all children) (KiB): 168912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 500.424 system time used= 9.09162 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1383347 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= 33749 involuntary context switches= 24232 runsolver used 1.64175 second user time and 4.94525 second system time The end
Begin job on node2 on Thu May 3 02:49:41 UTC 2007 IDJOB= 453850 IDBENCH= 48158 IDSOLVER= 158 FILE ID= node2/453850-1178160581 PBS_JOBID= 4751075 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_3.opb COMMAND LINE= pbclasp instance-453850-1178160581.opb /tmp/evaluation/453850-1178160581/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-453850-1178160581 -o ROOT/results/node2/conversion-453850-1178160581 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453850-1178160581/instance-453850-1178160581.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-453850-1178160581 -o ROOT/results/node2/solver-453850-1178160581 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453850-1178160581.opb /tmp/evaluation/453850-1178160581/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 0e507441d4bf529adaad354902c51a54 RANDOM SEED= 328900835 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1462544 kB Buffers: 213256 kB Cached: 231584 kB SwapCached: 12392 kB Active: 217964 kB Inactive: 255648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1462544 kB SwapTotal: 4192956 kB SwapFree: 4148856 kB Dirty: 1592 kB Writeback: 0 kB Mapped: 34988 kB Slab: 105148 kB Committed_AS: 11452808 kB PageTables: 1876 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 node2 on Thu May 3 03:19:45 UTC 2007