Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | Wrong Cert. | 1802.1 | 1803.33 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_2.opb |
MD5SUM | faa00895e2f6f80e77634e2be522df62 |
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.09 |
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 | 45 |
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) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 6220 |
Sum of products size | 12440 |
1.66/1.80 o 196 2.55/2.65 o 195 3.46/3.52 o 194 4.26/4.39 o 193 4.38/5.27 o 192 6.05/6.14 o 191 6.94/7.01 o 190 7.74/7.89 o 189 8.64/8.78 o 188 8.75/9.67 o 187 10.41/10.57 o 186 11.30/11.47 o 185 12.21/12.37 o 184 13.12/13.26 o 183 13.20/14.16 o 182 14.91/15.06 o 181 15.81/15.96 o 180 16.71/16.87 o 179 17.60/17.77 o 178 18.51/18.68 o 177 18.61/19.60 o 176 20.41/20.51 o 175 21.30/21.43 o 174 22.20/22.35 o 173 23.09/23.28 o 172 24.10/24.21 o 171 24.14/25.15 o 170 25.89/26.09 o 169 26.89/27.03 o 168 27.80/27.98 o 167 28.78/28.93 o 166 29.69/29.88 o 165 30.70/30.83 o 164 30.75/31.76 o 163 32.58/32.72 o 162 33.47/33.68 o 161 34.48/34.63 o 160 35.38/35.56 o 159 36.37/36.52 o 158 37.28/37.48 o 157 38.28/38.45 o 156 38.35/39.42 o 155 40.16/40.38 o 154 41.16/41.35 o 153 42.16/42.32 o 152 43.05/43.29 o 151 44.05/44.27 o 150 45.05/45.26 o 149 46.05/46.24 o 148 47.06/47.23 o 147 47.10/48.21 o 146 49.07/49.20 o 145 49.94/50.19 o 144 50.95/51.18 o 143 51.93/52.18 o 142 52.94/53.13 o 141 53.94/54.11 o 140 54.94/55.10 o 139 55.85/56.09 o 138 55.96/57.08 o 137 57.83/58.08 o 136 58.84/59.07 o 135 59.82/60.07 o 134 60.83/61.06 o 133 61.83/62.06 o 132 62.83/63.06 o 131 63.83/64.07 o 130 64.82/65.08 o 129 65.83/66.09 o 128 66.83/67.10 o 127 67.94/68.11 o 126 67.97/69.18 o 125 69.85/70.19 o 124 70.97/71.20 o 123 71.96/72.22 o 122 72.95/73.23 o 121 73.94/74.24 o 120 74.96/75.25 o 119 75.97/76.26 o 118 76.95/77.27 o 117 77.94/78.28 o 116 78.96/79.29 o 115 79.97/80.30 o 114 81.07/81.31 o 113 81.08/82.32 o 112 83.03/83.33 o 111 84.01/84.39 o 110 85.13/85.41 o 109 86.11/86.43 o 108 87.11/87.45 o 107 88.10/88.47 o 106 89.11/89.49 o 105 90.23/90.51 o 104 91.20/91.53 o 103 92.21/92.55 o 102 93.20/93.57 o 101 94.21/94.58 o 100 94.30/95.59 o 99 96.30/96.60 o 98 97.30/97.61 o 97 98.28/98.62 o 96 99.28/99.63 o 95 100.27/100.64 o 94 101.27/101.65 o 93 102.28/102.67 o 92 103.26/103.68 o 91 104.38/104.70 o 90 105.38/105.71 o 89 106.36/106.73 o 88 107.36/107.74 o 87 107.42/108.76 o 86 109.35/109.80 o 85 110.43/110.81 o 84 111.42/111.82 o 83 112.42/112.83 o 82 113.42/113.83 o 81 114.41/114.83 o 80 115.39/115.82 o 79 116.41/116.82 o 78 117.41/117.82 o 77 118.42/118.81 o 76 119.35/119.85 o 75 119.45/120.84 o 74 121.36/121.83 o 73 122.35/122.83 o 72 123.36/123.83 o 71 124.36/124.82 o 70 125.36/125.81 o 69 126.36/126.81 o 68 127.36/127.80 o 67 128.24/128.79 o 66 129.26/129.77 o 65 129.35/130.76 o 64 131.23/131.75 o 63 132.23/132.73 o 62 133.25/133.70 o 61 134.13/134.68 o 60 135.13/135.64 o 59 136.14/136.61 o 58 137.03/137.58 o 57 138.03/138.54 o 56 139.02/139.50 o 55 139.90/140.46 o 54 140.90/141.41 o 53 141.81/142.37 o 52 142.81/143.32 o 51 143.72/144.28 o 50 144.71/145.25 o 49 145.67/146.23 o 48 145.74/147.18 o 47 147.56/148.13 o 46 148.46/149.08 o 45 149.45/150.03 o 44 150.35/150.97 o 43 151.36/151.91 o 42 152.26/152.85 o 41 152.33/153.78 o 40 154.17/154.70 o 39 155.04/155.63 o 38 155.94/156.55 o 37 156.83/157.47 o 36 157.76/158.38 o 35 158.76/159.30 o 34 159.63/160.21 o 33 160.47/161.19 o 32 161.47/162.10 o 16 162.56/163.27 o 15 163.86/164.58 o 14 170.17/170.84 o 13 1800.09/1801.31 c Somebody sent me a SIGTERM 1800.09/1801.31 s SATISFIABLE 1800.09/1801.31 v x2 x3 x12 x18 x20 x23 x24 x26 x31 x40 x67 x101 x125 x221 x228 x319 x330 x331 x356 x363 x368 x396 x418 x422 x423 x454 x481 x482 x505 1800.09/1801.31 v x517 x564 x565 x566 x578 x595 x621 x690 x710 x711 x721 x728 x737 x751 x786 x794 x806 x815 x822 x832 x843 x854 x900 x921 x966 x969 1800.09/1801.31 v x1001 x1017 x1023 x1109 x1126 x1134 x1142 x1188 x1190 x1227 x1252 x1282 x1295 x1310 x1387 x1389 x1407 x1413 x1421 x1444 x1447 1800.09/1801.31 v x1451 x1460 x1485 x1510 x1513 x1515 x1520 x1540 x1555 x1558 x1594 x1599 x1605 x1618 x1627 x1698 x1701 x1703 x1726 x1731 x1735 1800.09/1801.31 v x1737 x1770 x1777 x1806 x1839 x1843 x1872 x1877 x1878 x1900 x1907 x1917 x1934 x1971 x1976 x2002 x2012 x2015 x2018 x2023 x2026 1800.09/1801.31 v x2053 x2055 x2056 x2077 x2086 x2087 x2117 x2121 x2122 x2126 x2134 x2135 x2161 x2186 x2194 x2221 x2228 x2230 x2234 x2266 x2292 1800.09/1801.31 v x2298 x2299 x2301 x2333 x2334 x2336 x2365 x2370 x2387 x2402 x2406 x2410 x2444 x2445 x2474 x2476 x2478 x2499 x2505 x2508 x2522 1800.09/1801.31 v x2536 x2537 x2567 x2571 x2591 x2632 x2653 x2670 x2690 x2713 x2735 x2771 x2787 x2812 x2817 x2838 x2849 x2872 x2877 x2880 x2883 1800.09/1801.31 v x2916 x2924 x2949 x2951 x2953 x2955 x2975 x2992 x3016 x3017 x3022 x3045 x3060 x3075 x3082 x3106 x3151 x3165 x3172 x3204 x3229 1800.09/1801.31 v x3234 x3236 x3268 x3273 x3294 x3295 x3296 x3314 x3326 x3355 x3358 x3380 x3399 x3428 x3431 x3463 x3492 x3493 x3520 x3522 x3524 1800.09/1801.31 v x3527 x3542 x3548 x3551 x3586 x3616 x3644 x3653 x3715 x3718 x3749 x3773 x3776 x3790 x3809 x3811 x3812 x3814 x3817 x3819 x3823 1800.09/1801.31 v x3831 x3841 x3843 x3868 x3873 x3898 x3899 x3935 x3956 x3960 x3962 x3985 x4012 x4016 x4047 x4055 x4080 x4102 x4116 x4141 x4167 1800.09/1801.31 v x4172 x4173 x4175 x4196 x4197 x4201 x4204 x4211 x4226 x4256 x4259 x4262 x4281 x4283 x4284 x4297 x4306 x4308 x4310 x4321 x4340 1800.09/1801.31 v x4342 x4362 x4369 x4418 x4428 x4447 x4448 x4472 x4475 x4502 x4505 x4512 x4531 x4533 x4538 x4574 x4588 x4614 x4645 x4648 x4649 1800.09/1801.31 v x4653 x4662 x4675 x4678 x4703 x4704 x4710 x4727 x4728 x4767 x4792 x4794 x4795 x4823 x4840 x4847 x4852 x4879 x4905 x4906 x4920 1800.09/1801.31 v x4926 x4930 x4966 x4985 x4987 x4999 x5011 x5035 x5039 x5061 x5064 x5066 x5076 x5097 x5098 x5105 x5121 x5123 x5151 x5153 x5176 1800.09/1801.31 v x5177 x5186 x5206 x5207 x5208 x5232 x5257 x5261 x5262 x5271 x5281 x5287 x5288 x5307 x5308 x5310 x5311 x5312 x5314 x5315 x5326 1800.09/1801.31 v x5348 x5361 x5385 x5397 x5401 x5411 x5413 x5417 x5429 x5438 x5466 x5494 x5497 x5518 x5523 x5525 x5543 x5546 x5553 x5559 x5571 1800.09/1801.31 v x5574 x5583 x5596 x5597 x5602 x5628 x5648 x5650 x5653 x5679 x5708 x5733 x5756 x5758 x5773 x5782 x5785 x5810 x5831 x5834 x5835 1800.09/1801.31 v x5859 x5883 x5884 x5911 x5912 x5936 x5959 x5961 x5963 x5969 x5984 x6028 x6047 x6061 x6062 x6092 x6094 x6103 x6106 x6118 x6126 1800.09/1801.31 v x6130 x6145 x6146 x6166 x6195 x6211 x6222 x6246 x6251 x6268 x6272 x6294 x6298 x6311 x6319 x6344 x6346 x6347 x6348 x6378 x6396 1800.09/1801.32 pb2clasp1: no process killed 172.21/1803.32 sh: line 1: 24381 Done cat /tmp/evaluation/453655-1178146409/temp/instance-453655-1178146409.opb.op 172.21/1803.32 24382 Killed | clasp >/tmp/evaluation/453655-1178146409/temp/instance-453655-1178146409.opb.clasp
FAILED ERROR: unsatisfied constraint on line 0 0>=1 Falsified constraint is: +1*~x1[=0]*x91[=0]+1*~x1[=0]*x120[=0]+1*~x1[=0]*x189[=0]+1*~x1[=0]*x176[=0]+1*~x1[=0]*x62[=0]+1*~x1[=0]*x99[=0]+1*~x1[=0]*x65[=0]+1*~x1[=0]*x78[=0]+1*~x1[=0]*x146[=0]+1*~x1[=0]*x28[=0]+1*~x1[=0]*x143[=0]+1*~x1[=0]*x180[=0]+1*~x1[=0]*x150[=0]+1*~x1[=0]*x94[=0]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x50[=0]+1*~x1[=0]*x55[=0]+1*~x1[=0]*x174[=0]+1*~x1[=0]*x168[=0]+1*~x1[=0]*x131[=0]+1*~x1[=0]*x3[=1]+1*~x1[=0]*x173[=0]+1*~x1[=0]*x170[=0]+1*~x1[=0]*x116[=0]+1*~x1[=0]*x192[=0]+1*~x1[=0]*x8[=0]+1*~x1[=0]*x9[=0]+1*~x1[=0]*x23[=1]+1*~x1[=0]*x77[=0]+1*~x1[=0]*x83[=0]+1*~x1[=0]*x92[=0]+1*~x1[=0]*x127[=0]+1*~x1[=0]*x137[=0]+1*~x1[=0]*x139[=0]+1*~x1[=0]*x156[=0]+1*~x1[=0]*x159[=0]+1*~x1[=0]*x160[=0]+1*~x1[=0]*x182[=0]+1*~x1[=0]*x186[=0]+1*~x1[=0]*x199[=0]+1*x1[=0] >= 1
Linearizing /tmp/evaluation/453655-1178146409/instance-453655-1178146409.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-453655-1178146409 -o ROOT/results/node6/solver-453655-1178146409 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453655-1178146409.opb /tmp/evaluation/453655-1178146409/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.99 0.97 0.94 3/77 22811 /proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12268 CPUtime=0 /proc/22811/stat : 22811 (pbclasp) D 22809 22811 20935 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 290678559 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268583008869 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/22811/statm: 3067 317 242 3 0 167 0 [startup+0.066312 s] /proc/loadavg: 0.99 0.97 0.94 3/77 22811 /proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=0 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 290678559 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591738978 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/22811/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.101312 s] /proc/loadavg: 0.99 0.97 0.94 3/77 22811 /proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=0 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 290678559 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591738978 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/22811/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.301336 s] /proc/loadavg: 0.99 0.97 0.94 3/77 22811 /proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=0 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 290678559 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591738978 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/22811/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.701384 s] /proc/loadavg: 0.99 0.97 0.94 3/77 22811 /proc/meminfo: memFree=1807728/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=0 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 290678559 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591738978 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/22811/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+1.50148 s] /proc/loadavg: 0.99 0.97 0.94 2/81 22821 /proc/meminfo: memFree=1805072/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=0.94 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 640 1593 0 0 1 0 92 1 16 0 1 0 290678559 12967936 528 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/22811/statm: 3166 528 343 3 0 266 0 [pid=22819] ppid=22811 vsize=5356 CPUtime=0 /proc/22819/stat : 22819 (sh) S 22811 22811 20935 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 290678657 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22819/statm: 1339 225 188 169 0 50 0 [pid=22820] ppid=22819 vsize=2520 CPUtime=0 /proc/22820/stat : 22820 (cat) S 22819 22811 20935 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 290678657 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 268583010530 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/22820/statm: 630 87 71 4 0 42 0 [pid=22821] ppid=22819 vsize=11540 CPUtime=0.51 /proc/22821/stat : 22821 (clasp) R 22819 22811 20935 0 -1 4194304 2553 0 0 0 51 0 0 0 25 0 1 0 290678657 11816960 2515 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134664799 0 0 4096 0 0 0 0 17 1 0 0 /proc/22821/statm: 2885 2515 181 154 0 2355 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 32080 [startup+3.10166 s] /proc/loadavg: 0.99 0.97 0.94 2/81 22829 /proc/meminfo: memFree=1799760/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=2.64 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 887 12631 0 0 1 0 254 9 16 0 1 0 290678559 12967936 533 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/22811/statm: 3166 533 343 3 0 266 0 Current children cumulated CPU time (s) 2.64 Current children cumulated vsize (KiB) 12664 [startup+6.30204 s] /proc/loadavg: 0.99 0.97 0.94 2/81 22861 /proc/meminfo: memFree=1803280/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=6.13 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 1355 35771 0 0 2 0 587 24 16 0 1 0 290678559 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/22811/statm: 3166 535 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.99 0.97 0.94 2/81 22917 /proc/meminfo: memFree=1795664/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=12.32 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 2182 77748 0 0 4 2 1175 51 16 0 1 0 290678559 12967936 537 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3166 537 343 3 0 266 0 Current children cumulated CPU time (s) 12.32 Current children cumulated vsize (KiB) 12664 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.94 2/81 23037 /proc/meminfo: memFree=1804368/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12664 CPUtime=25.07 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 3908 166959 0 0 11 3 2385 108 16 0 1 0 290678559 12967936 543 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3166 543 343 3 0 266 0 [pid=23035] ppid=22811 vsize=5356 CPUtime=0 /proc/23035/stat : 23035 (sh) S 22811 22811 20935 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 290681077 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23035/statm: 1339 225 188 169 0 50 0 [pid=23036] ppid=23035 vsize=2520 CPUtime=0 /proc/23036/stat : 23036 (cat) S 23035 22811 20935 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 290681077 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 268583010530 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/23036/statm: 630 87 71 4 0 42 0 [pid=23037] ppid=23035 vsize=8384 CPUtime=0.32 /proc/23037/stat : 23037 (clasp) R 23035 22811 20935 0 -1 4194304 1761 0 0 0 31 1 0 0 20 0 1 0 290681077 8585216 1723 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 2652985 0 0 4096 0 0 0 0 17 1 0 0 /proc/23037/statm: 2096 1723 173 154 0 1566 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 28924 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.94 2/81 23245 /proc/meminfo: memFree=1799056/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=50.07 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 7215 355055 0 0 36 7 4733 231 16 0 1 0 290678559 13103104 548 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 548 343 3 0 299 0 [pid=23243] ppid=22811 vsize=5356 CPUtime=0 /proc/23243/stat : 23243 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 290683580 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23243/statm: 1339 225 188 169 0 50 0 [pid=23245] ppid=23243 vsize=24764 CPUtime=0.88 /proc/23245/stat : 23245 (clasp) R 23243 22811 20935 0 -1 4194304 6274 0 0 0 85 3 0 0 25 0 1 0 290683581 25358336 5661 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134747238 0 0 4096 0 0 0 0 17 1 0 0 /proc/23245/statm: 6191 5661 195 154 0 5661 0 Current children cumulated CPU time (s) 50.95 Current children cumulated vsize (KiB) 42916 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.94 2/81 23653 /proc/meminfo: memFree=1793552/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=101.36 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 13943 772181 0 0 124 14 9513 485 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=23651] ppid=22811 vsize=5356 CPUtime=0 /proc/23651/stat : 23651 (sh) S 22811 22811 20935 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 290688726 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23651/statm: 1339 225 188 169 0 50 0 [pid=23652] ppid=23651 vsize=2520 CPUtime=0 /proc/23652/stat : 23652 (cat) S 23651 22811 20935 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 290688726 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 268583010530 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/23652/statm: 630 87 71 4 0 42 0 [pid=23653] ppid=23651 vsize=16920 CPUtime=0.62 /proc/23653/stat : 23653 (clasp) R 23651 22811 20935 0 -1 4194304 3897 0 0 0 61 1 0 0 25 0 1 0 290688727 17326080 3859 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0 /proc/23653/statm: 4230 3859 184 154 0 3700 0 Current children cumulated CPU time (s) 101.98 Current children cumulated vsize (KiB) 37592 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.94 2/81 24141 /proc/meminfo: memFree=1795856/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=161.5 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22001 1254686 0 0 222 24 15117 787 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 Current children cumulated CPU time (s) 161.5 Current children cumulated vsize (KiB) 12796 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24173 /proc/meminfo: memFree=1770008/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.23 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24171] ppid=22811 vsize=5356 CPUtime=0 /proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24171/statm: 1339 225 188 169 0 50 0 [pid=24173] ppid=24171 vsize=36412 CPUtime=51.4 /proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 8874 0 0 0 5134 6 0 0 25 0 1 0 290695646 37285888 8656 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741364 0 0 4096 0 0 0 0 17 1 0 0 /proc/24173/statm: 9103 8656 196 154 0 8573 0 Current children cumulated CPU time (s) 221.63 Current children cumulated vsize (KiB) 54564 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24173 /proc/meminfo: memFree=1747992/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.23 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24171] ppid=22811 vsize=5356 CPUtime=0 /proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24171/statm: 1339 225 188 169 0 50 0 [pid=24173] ppid=24171 vsize=58504 CPUtime=111.39 /proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 14422 0 0 0 11127 12 0 0 25 0 1 0 290695646 59908096 14163 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0 /proc/24173/statm: 14626 14163 196 154 0 14096 0 Current children cumulated CPU time (s) 281.62 Current children cumulated vsize (KiB) 76656 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24173 /proc/meminfo: memFree=1730392/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.23 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24171] ppid=22811 vsize=5356 CPUtime=0 /proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24171/statm: 1339 225 188 169 0 50 0 ################ # More data... # ################ /proc/24171/statm: 1339 225 188 169 0 50 0 [pid=24173] ppid=24171 vsize=163632 CPUtime=1490.9 /proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 40335 0 0 0 149042 48 0 0 25 0 1 0 290695646 167559168 39924 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134753610 0 0 4096 0 0 0 0 17 1 0 0 /proc/24173/statm: 40908 39924 196 154 0 40378 0 Current children cumulated CPU time (s) 1661.13 Current children cumulated vsize (KiB) 181784 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24371 /proc/meminfo: memFree=1640472/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.23 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24171] ppid=22811 vsize=5356 CPUtime=0 /proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24171/statm: 1339 225 188 169 0 50 0 [pid=24173] ppid=24171 vsize=167536 CPUtime=1550.88 /proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 41294 0 0 0 155039 49 0 0 25 0 1 0 290695646 171556864 40883 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0 /proc/24173/statm: 41884 40883 196 154 0 41354 0 Current children cumulated CPU time (s) 1721.11 Current children cumulated vsize (KiB) 185688 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24371 /proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.23 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24171] ppid=22811 vsize=5356 CPUtime=0 /proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24171/statm: 1339 225 188 169 0 50 0 [pid=24173] ppid=24171 vsize=170800 CPUtime=1610.86 /proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 42116 0 0 0 161036 50 0 0 25 0 1 0 290695646 174899200 41705 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134746407 0 0 4096 0 0 0 0 17 1 0 0 /proc/24173/statm: 42700 41705 196 154 0 42170 0 Current children cumulated CPU time (s) 1781.09 Current children cumulated vsize (KiB) 188952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.3 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24371 /proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.23 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24171] ppid=22811 vsize=5356 CPUtime=0 /proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24171/statm: 1339 225 188 169 0 50 0 [pid=24173] ppid=24171 vsize=170800 CPUtime=1629.86 /proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 42116 0 0 0 162936 50 0 0 25 0 1 0 290695646 174899200 41705 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0 /proc/24173/statm: 42700 41705 196 154 0 42170 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 188952 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1801.3 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24371 /proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.23 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22374 1272978 0 0 223 24 15976 800 16 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24171] ppid=22811 vsize=5356 CPUtime=0 /proc/24171/stat : 24171 (sh) S 22811 22811 20935 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290695646 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24171/statm: 1339 225 188 169 0 50 0 [pid=24173] ppid=24171 vsize=170800 CPUtime=1629.86 /proc/24173/stat : 24173 (clasp) R 24171 22811 20935 0 -1 4194304 42116 0 0 0 162936 50 0 0 25 0 1 0 290695646 174899200 41705 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0 /proc/24173/statm: 42700 41705 196 154 0 42170 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 188952 # WARNING: # current cumulated CPU time (170.26 s) is less than in the last sample (1800.09 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1629.83 s) to the 'lost time'. [startup+1801.42 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24371 /proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.26 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 Current children cumulated CPU time (s) 170.26 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+1801.42 s] /proc/loadavg: 0.99 0.97 0.94 2/80 24371 /proc/meminfo: memFree=1636888/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.26 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 Current children cumulated CPU time (s) 170.26 Current children cumulated vsize (KiB) 12796 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.94 2/82 24382 /proc/meminfo: memFree=1796296/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.26 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24380] ppid=22811 vsize=5356 CPUtime=0 /proc/24380/stat : 24380 (sh) S 22811 22811 20935 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 290858694 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24380/statm: 1339 225 188 169 0 50 0 [pid=24382] ppid=24380 vsize=19576 CPUtime=0.84 /proc/24382/stat : 24382 (clasp) R 24380 22811 20935 0 -1 4194304 4707 0 0 0 82 2 0 0 24 0 1 0 290858694 20045824 4489 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134746407 0 0 4096 0 0 0 0 17 1 0 0 /proc/24382/statm: 4894 4489 196 154 0 4364 0 Current children cumulated CPU time (s) 171.1 Current children cumulated vsize (KiB) 37728 [startup+1803 s] /proc/loadavg: 0.99 0.97 0.94 2/81 24382 /proc/meminfo: memFree=1786000/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.26 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24380] ppid=22811 vsize=5356 CPUtime=0 /proc/24380/stat : 24380 (sh) S 22811 22811 20935 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 290858694 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24380/statm: 1339 225 188 169 0 50 0 [pid=24382] ppid=24380 vsize=19576 CPUtime=1.65 /proc/24382/stat : 24382 (clasp) R 24380 22811 20935 0 -1 4194304 4725 0 0 0 163 2 0 0 25 0 1 0 290858694 20045824 4507 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740640 0 0 4096 0 0 0 0 17 1 0 0 /proc/24382/statm: 4894 4507 196 154 0 4364 0 Current children cumulated CPU time (s) 171.91 Current children cumulated vsize (KiB) 37728 [startup+1803.2 s] /proc/loadavg: 0.99 0.97 0.94 2/81 24382 /proc/meminfo: memFree=1786000/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.26 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24380] ppid=22811 vsize=5356 CPUtime=0 /proc/24380/stat : 24380 (sh) S 22811 22811 20935 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 290858694 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24380/statm: 1339 225 188 169 0 50 0 [pid=24382] ppid=24380 vsize=19576 CPUtime=1.85 /proc/24382/stat : 24382 (clasp) R 24380 22811 20935 0 -1 4194304 4726 0 0 0 183 2 0 0 25 0 1 0 290858694 20045824 4508 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0 /proc/24382/statm: 4894 4508 196 154 0 4364 0 Current children cumulated CPU time (s) 172.11 Current children cumulated vsize (KiB) 37728 [startup+1803.3 s] /proc/loadavg: 0.99 0.97 0.94 2/81 24382 /proc/meminfo: memFree=1786000/2055924 swapFree=4146580/4192956 [pid=22811] ppid=22809 vsize=12796 CPUtime=170.26 /proc/22811/stat : 22811 (pbclasp) S 22809 22811 20935 0 -1 4194304 22543 1274761 0 0 223 24 15977 802 18 0 1 0 290678559 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22811/statm: 3199 553 343 3 0 299 0 [pid=24380] ppid=22811 vsize=5356 CPUtime=0 /proc/24380/stat : 24380 (sh) S 22811 22811 20935 0 -1 4194304 289 122 0 0 0 0 0 0 15 0 1 0 290858694 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24380/statm: 1339 225 188 169 0 50 0 [pid=24382] ppid=24380 vsize=19576 CPUtime=1.95 /proc/24382/stat : 24382 (clasp) R 24380 22811 20935 0 -1 4194304 4727 0 0 0 193 2 0 0 25 0 1 0 290858694 20045824 4509 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741375 0 0 4096 0 0 0 0 17 1 0 0 /proc/24382/statm: 4894 4509 196 154 0 4364 0 Current children cumulated CPU time (s) 172.21 Current children cumulated vsize (KiB) 37728 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): 1629.83 # lost CPU user time (s): 1629.35 # lost CPU system time (s): 0.48 Real time (s): 1803.33 CPU time (s): 1802.1 CPU user time (s): 1793.31 CPU system time (s): 8.78774 CPU usage (%): 99.9318 Max. virtual memory (cumulated for all children) (KiB): 188952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 163.96 system time used= 8.30774 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1302595 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= 32224 involuntary context switches= 25656 runsolver used 1.58976 second user time and 4.99224 second system time The end
Begin job on node6 on Wed May 2 22:53:29 UTC 2007 IDJOB= 453655 IDBENCH= 48145 IDSOLVER= 158 FILE ID= node6/453655-1178146409 PBS_JOBID= 4751071 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_2.opb COMMAND LINE= pbclasp instance-453655-1178146409.opb /tmp/evaluation/453655-1178146409/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-453655-1178146409 -o ROOT/results/node6/conversion-453655-1178146409 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453655-1178146409/instance-453655-1178146409.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-453655-1178146409 -o ROOT/results/node6/solver-453655-1178146409 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453655-1178146409.opb /tmp/evaluation/453655-1178146409/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62 RANDOM SEED= 492792854 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1808136 kB Buffers: 83240 kB Cached: 76772 kB SwapCached: 14272 kB Active: 99280 kB Inactive: 84688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1808136 kB SwapTotal: 4192956 kB SwapFree: 4146580 kB Dirty: 1520 kB Writeback: 0 kB Mapped: 30284 kB Slab: 49428 kB Committed_AS: 12391736 kB PageTables: 1788 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 node6 on Wed May 2 23:23:32 UTC 2007