Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | Wrong Cert. | 1802.09 | 1802.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_4.opb |
MD5SUM | 7603a459a5769ea7e43f52c522eb87aa |
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 | 68 |
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 | 68 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6326 |
Sum of products size (including duplicates) | 12652 |
Number of different products | 6326 |
Sum of products size | 12652 |
1.03/1.45 o 95 1.41/1.83 o 94 2.13/2.22 o 93 2.17/2.68 o 85 2.63/3.13 o 84 3.62/3.72 o 83 3.68/4.29 o 82 4.22/5.05 o 81 5.38/5.51 o 80 5.43/6.07 o 79 6.60/6.79 o 78 1800.10/1800.72 c Somebody sent me a SIGTERM 1800.10/1800.72 s SATISFIABLE 1800.10/1800.72 v x12 x15 x33 x48 x50 x64 x68 x71 x76 x79 x84 x89 x92 x99 x134 x138 x148 x150 x153 x159 x163 x168 x170 x173 x174 x183 x186 x192 x193 1800.10/1800.72 v x197 x198 x200 x203 x212 x223 x226 x238 x244 x249 x251 x257 x258 x261 x266 x269 x276 x278 x281 x294 x300 x303 x307 x312 x317 x321 1800.10/1800.72 v x325 x329 x351 x364 x365 x378 x388 x389 x401 x403 x404 x416 x427 x430 x433 x434 x442 x444 x456 x472 x478 x491 x498 x502 x505 x520 1800.10/1800.72 v x522 x523 x525 x529 x531 x542 x550 x551 x571 x580 x583 x590 x596 x601 x607 x625 x626 x629 x630 x632 x642 x646 x647 x649 x651 x660 1800.10/1800.72 v x664 x688 x692 x694 x697 x700 x701 x704 x712 x715 x720 x747 x750 x751 x767 x780 x783 x787 x789 x800 x802 x803 x816 x819 x821 x822 1800.10/1800.72 v x828 x837 x843 x850 x856 x859 x862 x872 x878 x884 x885 x890 x894 x911 x916 x924 x928 x933 x941 x948 x953 x961 x962 x963 x971 x991 1800.10/1800.72 v x997 x1000 x1007 x1039 x1043 x1055 x1063 x1067 x1073 x1077 x1081 x1084 x1090 x1100 x1105 x1107 x1110 x1112 x1124 x1131 x1135 1800.10/1800.72 v x1136 x1145 x1146 x1154 x1165 x1176 x1183 x1202 x1205 x1226 x1233 x1266 x1267 x1304 x1318 x1320 x1328 x1346 x1353 x1355 x1365 1800.10/1800.72 v x1373 x1390 x1396 x1403 x1411 x1419 x1429 x1431 x1436 x1437 x1444 x1461 x1466 x1469 x1494 x1513 x1514 x1535 x1558 x1581 x1595 1800.10/1800.72 v x1599 x1606 x1621 x1632 x1638 x1649 x1681 x1687 x1695 x1698 x1722 x1729 x1737 x1747 x1757 x1759 x1761 x1767 x1788 x1790 x1795 1800.10/1800.72 v x1798 x1803 x1812 x1816 x1817 x1824 x1836 x1873 x1879 x1885 x1914 x1915 x1917 x1924 x1928 x1941 x1943 x1960 x1977 x1984 x1986 1800.10/1800.72 v x1992 x2015 x2016 x2020 x2023 x2030 x2035 x2039 x2051 x2056 x2058 x2073 x2077 x2080 x2084 x2096 x2099 x2100 x2112 x2132 x2139 1800.10/1800.72 v x2144 x2151 x2153 x2174 x2178 x2181 x2189 x2198 x2209 x2230 x2234 x2239 x2240 x2242 x2255 x2259 x2260 x2278 x2282 x2295 x2297 1800.10/1800.72 v x2302 x2304 x2315 x2322 x2328 x2330 x2333 x2334 x2339 x2353 x2359 x2369 x2373 x2374 x2376 x2380 x2394 x2402 x2405 x2422 x2428 1800.10/1800.72 v x2431 x2438 x2444 x2450 x2452 x2456 x2457 x2461 x2464 x2470 x2473 x2482 x2494 x2499 x2501 x2502 x2522 x2525 x2528 x2536 x2538 1800.10/1800.72 v x2547 x2553 x2586 x2597 x2601 x2610 x2614 x2622 x2625 x2636 x2648 x2653 x2671 x2673 x2674 x2681 x2691 x2722 x2725 x2728 x2751 1800.10/1800.72 v x2753 x2760 x2784 x2793 x2795 x2798 x2808 x2809 x2810 x2813 x2816 x2818 x2820 x2824 x2825 x2836 x2837 x2839 x2854 x2859 x2872 1800.10/1800.72 v x2875 x2881 x2885 x2903 x2907 x2909 x2916 x2917 x2937 x2938 x2939 x2941 x2954 x2965 x2974 x3005 x3021 x3024 x3030 x3034 x3036 1800.10/1800.72 v x3079 x3086 x3107 x3109 x3117 x3123 x3132 x3138 x3141 x3149 x3154 x3156 x3162 x3175 x3193 x3204 x3207 x3211 x3229 x3232 x3249 1800.10/1800.72 v x3265 x3274 x3276 x3280 x3281 x3284 x3285 x3287 x3322 x3340 x3355 x3391 x3392 x3394 x3417 x3420 x3429 x3453 x3454 x3460 x3463 1800.10/1800.72 v x3473 x3474 x3475 x3479 x3483 x3491 x3501 x3504 x3506 x3514 x3519 x3534 x3545 x3571 x3573 x3583 x3585 x3587 x3589 x3591 x3593 1800.10/1800.72 v x3602 x3603 x3607 x3609 x3619 x3641 x3643 x3644 x3646 x3652 x3655 x3660 x3661 x3665 x3667 x3674 x3688 x3689 x3715 x3718 x3721 1800.10/1800.72 v x3732 x3759 x3761 x3773 x3778 x3783 x3786 x3787 x3789 x3803 x3807 x3820 x3830 x3831 x3834 x3837 x3843 x3847 x3849 x3862 x3864 1800.10/1800.72 v x3867 x3900 x3909 x3924 x3935 x3937 x3940 x3943 x3944 x3951 x3977 x3983 x3985 x3994 x3997 x4008 x4030 x4031 x4034 x4037 x4038 1800.10/1800.72 v x4040 x4067 x4070 x4075 x4079 x4083 x4090 x4101 x4105 x4106 x4110 x4147 x4156 x4181 x4182 x4185 x4190 x4201 x4213 x4232 x4233 1800.10/1800.72 v x4235 x4238 x4242 x4253 x4254 x4255 x4257 x4278 x4285 x4286 x4290 x4293 x4294 x4301 x4303 x4304 x4306 x4307 x4318 x4322 x4336 1800.10/1800.72 v x4337 x4344 x4369 x4392 x4393 x4400 x4401 x4403 x4407 x4410 x4427 x4439 x4457 x4467 x4470 x4479 x4484 x4494 x4501 x4507 x4510 1800.10/1800.72 v x4513 x4514 x4522 x4526 x4529 x4530 x4545 x4546 x4553 x4561 x4564 x4567 x4584 x4588 x4589 x4602 x4606 x4611 x4617 x4628 x4657 1800.10/1800.72 v x4667 x4670 x4673 x4693 x4697 x4699 x4700 x4706 x4715 x4717 x4731 x4732 x4744 x4750 x4751 x4752 x4761 x4763 x4774 x4776 x4792 1800.10/1800.72 v x4795 x4799 x4802 x4808 x4813 x4831 x4838 x4854 x4855 x4864 x4880 x4909 x4923 x4933 x4961 x4967 x4975 x4977 x4979 x4982 x4996 1800.10/1800.72 v x5007 x5012 x5014 x5020 x5023 x5024 x5028 x5029 x5034 x5048 x5053 x5058 x5064 x5071 x5080 x5087 x5096 x5097 x5110 x5123 x5124 1800.10/1800.72 v x5133 x5135 x5144 x5147 x5164 x5168 x5173 x5179 x5195 x5196 x5197 x5198 x5208 x5212 x5214 x5216 x5217 x5220 x5224 x5228 x5245 1800.10/1800.72 v x5255 x5257 x5269 x5283 x5289 x5293 x5295 x5296 x5307 x5313 x5315 x5326 x5336 x5340 x5350 x5353 x5356 x5357 x5362 x5364 x5365 1800.10/1800.72 v x5368 x5407 x5421 x5425 x5427 x5434 x5437 x5439 x5452 x5453 x5456 x5457 x5468 x5479 x5485 x5488 x5496 x5504 x5513 x5515 x5518 1800.10/1800.72 v x5519 x5526 x5529 x5531 x5545 x5552 x5561 x5568 x5574 x5576 x5585 x5595 x5603 x5608 x5615 x5626 x5641 x5667 x5668 x5670 x5674 1800.10/1800.72 v x5679 x5684 x5689 x5700 x5703 x5711 x5713 x5719 x5721 x5722 x5725 x5729 x5733 x5740 x5742 x5755 x5758 x5766 x5770 x5782 x5797 1800.10/1800.72 v x5834 x5842 x5843 x5845 x5846 x5858 x5860 x5864 x5869 x5870 x5881 x5883 x5887 x5892 x5904 x5908 x5914 x5917 x5931 x5943 x5957 1800.10/1800.72 v x5960 x5964 x5972 x5983 x5990 x5992 x5994 x6001 x6010 x6013 x6015 x6016 x6019 x6020 x6026 x6027 x6033 x6037 x6048 x6053 x6075 1800.10/1800.72 v x6084 x6104 x6106 x6108 x6109 x6112 x6113 x6116 x6121 x6150 x6164 x6175 x6182 x6191 x6199 x6206 x6207 x6208 x6212 x6231 x6253 1800.10/1800.72 v x6260 x6264 x6266 x6270 x6280 x6286 x6298 x6311 x6315 x6318 x6322 x6323 x6331 x6340 x6346 x6347 x6363 x6388 x6390 x6406 x6411 1800.10/1800.72 v x6423 x6434 x6439 x6449 x6456 x6457 x6460 x6469 x6470 x6476 x6485 x6493 x6505 x6506 x6507 x6515 x6517 x6527 x6548 x6550 x6558 1800.10/1800.72 v x6570 x6576 x6579 x6582 x6588 x6589 x6591 x6605 x6610 x6613 x6621 x6627 x6637 x6643 x6647 x6653 x6661 x6667 x6668 x6678 x6681 1800.10/1800.72 v x6682 x6699 x6704 x6721 x6740 x6745 x6761 x6765 x6767 x6770 x6773 x6779 x6795 x6810 x6811 x6816 x6821 x6824 1800.10/1800.72 pb2clasp1: no process killed 1800.10/1800.73 clasp-1.0: no process killed 8.68/1802.72 sh: line 1: 25103 Done cat /tmp/evaluation/453259-1178126564/temp/instance-453259-1178126564.opb.op 8.68/1802.72 25104 Killed | clasp-1.0 --trans=no >/tmp/evaluation/453259-1178126564/temp/instance-453259-1178126564.opb.clasp
FAILED ERROR: unsatisfied constraint on line 0 0>=1 Falsified constraint is: +1*~x1[=0]*x302[=0]+1*~x1[=0]*x84[=1]+1*~x1[=0]*x275[=0]+1*~x1[=0]*x327[=0]+1*~x1[=0]*x364[=1]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x26[=0]+1*~x1[=0]*x29[=0]+1*~x1[=0]*x386[=0]+1*~x1[=0]*x45[=0]+1*~x1[=0]*x10[=0]+1*~x1[=0]*x41[=0]+1*~x1[=0]*x55[=0]+1*~x1[=0]*x123[=0]+1*~x1[=0]*x311[=0]+1*~x1[=0]*x482[=0]+1*x1[=0] >= 1
Linearizing /tmp/evaluation/453259-1178126564/instance-453259-1178126564.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-453259-1178126564 -o ROOT/results/node9/solver-453259-1178126564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453259-1178126564.opb /tmp/evaluation/453259-1178126564/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.92 0.98 0.99 3/77 24993 /proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12268 CPUtime=0 /proc/24993/stat : 24993 (pbclasp) D 24991 24993 23670 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 288693992 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215419157093 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/24993/statm: 3067 317 242 3 0 167 0 [startup+0.0821479 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24993 /proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12664 CPUtime=0.01 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 288693992 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/24993/statm: 3166 522 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.101148 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24993 /proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12664 CPUtime=0.01 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 288693992 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/24993/statm: 3166 522 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.301169 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24993 /proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12664 CPUtime=0.01 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 288693992 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/24993/statm: 3166 522 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.701214 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24993 /proc/meminfo: memFree=1796824/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12664 CPUtime=0.01 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 567 0 0 0 1 0 0 0 16 0 1 0 288693992 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/24993/statm: 3166 522 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+1.50131 s] /proc/loadavg: 0.92 0.98 0.99 2/80 24996 /proc/meminfo: memFree=1794688/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=1.41 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 814 5540 0 0 2 0 135 4 16 0 1 0 288693992 13103104 565 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 565 343 3 0 299 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 12796 [startup+3.10148 s] /proc/loadavg: 0.92 0.98 0.99 2/80 25019 /proc/meminfo: memFree=1785152/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=2.63 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 1199 17626 0 0 4 1 245 13 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 12796 [startup+6.30184 s] /proc/loadavg: 0.93 0.98 0.99 2/80 25067 /proc/meminfo: memFree=1784944/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=5.99 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2039 41795 0 0 9 2 555 33 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 Current children cumulated CPU time (s) 5.99 Current children cumulated vsize (KiB) 12796 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/80 25091 /proc/meminfo: memFree=1782120/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=14804 CPUtime=5.88 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 3461 0 0 0 587 1 0 0 25 0 1 0 288694673 15159296 3292 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 4160570752 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 3701 3292 249 81 0 3075 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 32956 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/80 25091 /proc/meminfo: memFree=1776248/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=20220 CPUtime=18.68 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 4807 0 0 0 1865 3 0 0 25 0 1 0 288694673 20705280 4638 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 5055 4638 249 81 0 4429 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 38372 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/80 25091 /proc/meminfo: memFree=1773624/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=22912 CPUtime=44.26 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 5467 0 0 0 4423 3 0 0 25 0 1 0 288694673 23461888 5298 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 5728 5298 249 81 0 5102 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 41064 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/80 25091 /proc/meminfo: memFree=1769208/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=27492 CPUtime=95.45 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 6568 0 0 0 9541 4 0 0 25 0 1 0 288694673 28151808 6399 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784800 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 6873 6399 249 81 0 6247 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 45644 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/80 25091 /proc/meminfo: memFree=1765176/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=31408 CPUtime=155.43 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 7563 0 0 0 15538 5 0 0 25 0 1 0 288694673 32161792 7394 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 7852 7394 249 81 0 7226 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 49560 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/80 25091 /proc/meminfo: memFree=1763128/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=33380 CPUtime=215.41 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 8061 0 0 0 21535 6 0 0 25 0 1 0 288694673 34181120 7892 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 8345 7892 249 81 0 7719 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 51532 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/80 25091 /proc/meminfo: memFree=1763448/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=33136 CPUtime=275.4 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 8135 0 0 0 27533 7 0 0 25 0 1 0 288694673 33931264 7817 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616726 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 8284 7817 249 81 0 7658 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 51288 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/80 25091 /proc/meminfo: memFree=1761400/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=35208 CPUtime=335.37 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 8679 0 0 0 33530 7 0 0 25 0 1 0 288694673 36052992 8332 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 8802 8332 249 81 0 8176 0 ################ # More data... # ################ /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=53916 CPUtime=1595.04 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13739 0 0 0 159485 19 0 0 25 0 1 0 288694673 55209984 12833 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 13479 12833 249 81 0 12853 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 72068 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 25093 /proc/meminfo: memFree=1743288/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=53916 CPUtime=1655.02 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13739 0 0 0 165483 19 0 0 25 0 1 0 288694673 55209984 12833 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 13479 12833 249 81 0 12853 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 72068 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 25093 /proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=53672 CPUtime=1715.01 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13739 0 0 0 171481 20 0 0 25 0 1 0 288694673 54960128 12787 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784714 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 13418 12787 249 81 0 12792 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 71824 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 25093 /proc/meminfo: memFree=1743480/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=53672 CPUtime=1774.99 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13748 0 0 0 177479 20 0 0 25 0 1 0 288694673 54960128 12796 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 13418 12796 249 81 0 12792 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 71824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/80 25093 /proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=53672 CPUtime=1793.39 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13748 0 0 0 179319 20 0 0 25 0 1 0 288694673 54960128 12796 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 13418 12796 249 81 0 12792 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 71824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/80 25093 /proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.71 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2173 45822 0 0 10 2 624 35 16 0 1 0 288693992 13103104 566 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 566 343 3 0 299 0 [pid=25089] ppid=24993 vsize=5356 CPUtime=0 /proc/25089/stat : 25089 (sh) S 24993 24993 23670 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 288694673 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25089/statm: 1339 225 188 169 0 50 0 [pid=25091] ppid=25089 vsize=53672 CPUtime=1793.39 /proc/25091/stat : 25091 (clasp-1.0) R 25089 24993 23670 0 -1 4194304 13748 0 0 0 179319 20 0 0 25 0 1 0 288694673 54960128 12796 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0 /proc/25091/statm: 13418 12796 249 81 0 12792 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 71824 # WARNING: # current cumulated CPU time (6.74 s) is less than in the last sample (1800.1 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1793.36 s) to the 'lost time'. [startup+1800.82 s] /proc/loadavg: 1.00 1.00 1.00 2/80 25093 /proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.74 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 567 343 3 0 299 0 Current children cumulated CPU time (s) 6.74 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.4 s] /proc/loadavg: 1.00 1.00 1.00 2/80 25093 /proc/meminfo: memFree=1743544/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.74 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 567 343 3 0 299 0 Current children cumulated CPU time (s) 6.74 Current children cumulated vsize (KiB) 12796 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/81 25104 /proc/meminfo: memFree=1784816/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.74 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 567 343 3 0 299 0 [pid=25102] ppid=24993 vsize=5356 CPUtime=0 /proc/25102/stat : 25102 (sh) S 24993 24993 23670 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 288874066 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25102/statm: 1339 225 188 169 0 50 0 [pid=25104] ppid=25102 vsize=11648 CPUtime=1.44 /proc/25104/stat : 25104 (clasp-1.0) R 25102 24993 23670 0 -1 4194304 2663 0 0 0 143 1 0 0 25 0 1 0 288874067 11927552 2494 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714478 0 0 4096 0 0 0 0 17 1 0 0 /proc/25104/statm: 2912 2494 249 81 0 2286 0 Current children cumulated CPU time (s) 8.18 Current children cumulated vsize (KiB) 29800 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/81 25104 /proc/meminfo: memFree=1784816/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.74 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 567 343 3 0 299 0 [pid=25102] ppid=24993 vsize=5356 CPUtime=0 /proc/25102/stat : 25102 (sh) S 24993 24993 23670 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 288874066 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25102/statm: 1339 225 188 169 0 50 0 [pid=25104] ppid=25102 vsize=11648 CPUtime=1.84 /proc/25104/stat : 25104 (clasp-1.0) R 25102 24993 23670 0 -1 4194304 2663 0 0 0 183 1 0 0 25 0 1 0 288874067 11927552 2494 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134713707 0 0 4096 0 0 0 0 17 1 0 0 /proc/25104/statm: 2912 2494 249 81 0 2286 0 Current children cumulated CPU time (s) 8.58 Current children cumulated vsize (KiB) 29800 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/81 25104 /proc/meminfo: memFree=1784816/2055920 swapFree=4145492/4192956 [pid=24993] ppid=24991 vsize=12796 CPUtime=6.74 /proc/24993/stat : 24993 (pbclasp) S 24991 24993 23670 0 -1 4194304 2341 47607 0 0 10 2 625 37 16 0 1 0 288693992 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/24993/statm: 3199 567 343 3 0 299 0 [pid=25102] ppid=24993 vsize=5356 CPUtime=0 /proc/25102/stat : 25102 (sh) S 24993 24993 23670 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 288874066 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25102/statm: 1339 225 188 169 0 50 0 [pid=25104] ppid=25102 vsize=11648 CPUtime=1.94 /proc/25104/stat : 25104 (clasp-1.0) R 25102 24993 23670 0 -1 4194304 2663 0 0 0 193 1 0 0 25 0 1 0 288874067 11927552 2494 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737644 0 0 4096 0 0 0 0 17 1 0 0 /proc/25104/statm: 2912 2494 249 81 0 2286 0 Current children cumulated CPU time (s) 8.68 Current children cumulated vsize (KiB) 29800 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): 1793.36 # lost CPU user time (s): 1793.18 # lost CPU system time (s): 0.18 Real time (s): 1802.73 CPU time (s): 1802.09 CPU user time (s): 1801.49 CPU system time (s): 0.600936 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 72312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.31174 system time used= 0.420936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53201 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= 2672 involuntary context switches= 1888 runsolver used 1.64075 second user time and 4.92725 second system time The end
Begin job on node9 on Wed May 2 17:22:44 UTC 2007 IDJOB= 453259 IDBENCH= 48118 IDSOLVER= 167 FILE ID= node9/453259-1178126564 PBS_JOBID= 4751038 Free space on /tmp= 66564 MiB SOLVER NAME= PB-clasp 2007-04-10 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_4.opb COMMAND LINE= pbclasp instance-453259-1178126564.opb /tmp/evaluation/453259-1178126564/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-453259-1178126564 -o ROOT/results/node9/conversion-453259-1178126564 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453259-1178126564/instance-453259-1178126564.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-453259-1178126564 -o ROOT/results/node9/solver-453259-1178126564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453259-1178126564.opb /tmp/evaluation/453259-1178126564/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa RANDOM SEED= 829793783 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1797296 kB Buffers: 67688 kB Cached: 100716 kB SwapCached: 15400 kB Active: 134340 kB Inactive: 57916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797296 kB SwapTotal: 4192956 kB SwapFree: 4145492 kB Dirty: 972 kB Writeback: 0 kB Mapped: 30412 kB Slab: 51964 kB Committed_AS: 8628760 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 node9 on Wed May 2 17:52:47 UTC 2007