Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | Wrong Cert. | 1802.03 | 1802.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_1.opb |
MD5SUM | 08f3a00099e19d384504c40fc611777e |
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 | 63 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
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 | 23 |
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) | 6318 |
Sum of products size (including duplicates) | 12636 |
Number of different products | 6318 |
Sum of products size | 12636 |
1.04/1.53 o 93 1.42/1.92 o 92 2.24/2.50 o 88 2.25/2.95 o 86 3.25/3.50 o 82 3.27/4.05 o 81 4.22/4.51 o 79 4.27/5.17 o 75 1800.02/1800.91 c Somebody sent me a SIGTERM 1800.02/1800.91 s SATISFIABLE 1800.02/1800.91 v x6 x9 x14 x27 x31 x51 x59 x61 x62 x69 x73 x92 x98 x107 x111 x112 x115 x122 x132 x136 x141 x143 x145 x147 x157 x162 x168 x182 x193 1800.02/1800.91 v x202 x211 x216 x219 x229 x238 x239 x245 x256 x264 x265 x269 x281 x310 x312 x319 x333 x334 x343 x359 x360 x362 x366 x368 x373 x378 1800.02/1800.91 v x380 x386 x390 x398 x408 x411 x421 x436 x441 x447 x457 x460 x463 x465 x468 x471 x477 x491 x492 x494 x515 x517 x525 x537 x540 x543 1800.02/1800.91 v x550 x554 x556 x578 x579 x583 x602 x616 x618 x623 x666 x667 x669 x676 x682 x686 x690 x701 x711 x738 x743 x745 x755 x757 x759 x761 1800.02/1800.91 v x763 x764 x777 x779 x780 x791 x792 x794 x796 x797 x800 x812 x821 x823 x826 x829 x840 x842 x853 x854 x867 x872 x878 x879 x882 x883 1800.02/1800.91 v x886 x889 x893 x908 x930 x931 x935 x942 x960 x962 x965 x1010 x1012 x1013 x1018 x1020 x1022 x1026 x1032 x1033 x1034 x1036 x1046 1800.02/1800.91 v x1054 x1065 x1074 x1076 x1086 x1097 x1100 x1110 x1112 x1115 x1117 x1126 x1145 x1157 x1165 x1169 x1172 x1199 x1201 x1218 x1233 1800.02/1800.91 v x1238 x1246 x1256 x1267 x1268 x1272 x1283 x1321 x1325 x1330 x1334 x1348 x1351 x1360 x1370 x1374 x1384 x1386 x1391 x1410 x1427 1800.02/1800.91 v x1449 x1491 x1492 x1512 x1521 x1532 x1543 x1552 x1554 x1557 x1558 x1561 x1566 x1582 x1600 x1602 x1606 x1615 x1622 x1624 x1625 1800.02/1800.91 v x1632 x1644 x1670 x1681 x1682 x1685 x1698 x1703 x1705 x1706 x1710 x1717 x1727 x1731 x1733 x1737 x1740 x1747 x1749 x1758 x1767 1800.02/1800.91 v x1785 x1799 x1806 x1808 x1812 x1813 x1814 x1826 x1831 x1832 x1839 x1842 x1843 x1844 x1848 x1859 x1862 x1866 x1869 x1882 x1891 1800.02/1800.91 v x1896 x1905 x1914 x1915 x1939 x1949 x1964 x1971 x1975 x1981 x1984 x2003 x2024 x2030 x2038 x2043 x2044 x2046 x2053 x2059 x2073 1800.02/1800.91 v x2077 x2088 x2105 x2117 x2134 x2135 x2144 x2167 x2181 x2219 x2222 x2232 x2237 x2258 x2275 x2284 x2286 x2292 x2293 x2296 x2299 1800.02/1800.91 v x2301 x2312 x2323 x2325 x2327 x2329 x2332 x2334 x2350 x2357 x2362 x2363 x2375 x2378 x2380 x2382 x2388 x2390 x2394 x2396 x2400 1800.02/1800.91 v x2412 x2415 x2420 x2422 x2427 x2446 x2452 x2455 x2466 x2467 x2477 x2508 x2510 x2515 x2525 x2528 x2545 x2546 x2572 x2578 x2599 1800.02/1800.91 v x2603 x2614 x2619 x2638 x2671 x2697 x2727 x2728 x2731 x2743 x2754 x2769 x2772 x2775 x2782 x2789 x2803 x2809 x2813 x2818 x2823 1800.02/1800.91 v x2829 x2851 x2860 x2873 x2878 x2881 x2887 x2890 x2893 x2908 x2909 x2935 x2936 x2939 x2949 x2952 x2961 x2963 x2970 x2971 x2983 1800.02/1800.91 v x3012 x3017 x3027 x3031 x3048 x3054 x3059 x3060 x3070 x3085 x3101 x3105 x3114 x3122 x3128 x3131 x3137 x3141 x3143 x3144 x3164 1800.02/1800.91 v x3178 x3190 x3191 x3192 x3198 x3199 x3200 x3206 x3221 x3236 x3239 x3241 x3257 x3266 x3277 x3287 x3290 x3291 x3293 x3303 x3320 1800.02/1800.91 v x3333 x3336 x3340 x3343 x3354 x3357 x3374 x3387 x3405 x3417 x3440 x3446 x3460 x3470 x3477 x3495 x3509 x3518 x3535 x3561 x3571 1800.02/1800.91 v x3584 x3598 x3600 x3601 x3625 x3629 x3631 x3636 x3657 x3661 x3663 x3673 x3676 x3679 x3680 x3688 x3699 x3700 x3703 x3715 x3721 1800.02/1800.91 v x3737 x3745 x3748 x3753 x3757 x3781 x3790 x3798 x3813 x3820 x3821 x3828 x3838 x3843 x3858 x3859 x3866 x3870 x3873 x3906 x3919 1800.02/1800.91 v x3932 x3938 x3950 x3955 x3982 x3986 x4006 x4007 x4008 x4020 x4026 x4038 x4050 x4064 x4067 x4073 x4079 x4087 x4090 x4097 x4114 1800.02/1800.91 v x4123 x4126 x4128 x4129 x4133 x4138 x4140 x4141 x4148 x4155 x4160 x4167 x4169 x4180 x4190 x4194 x4232 x4236 x4238 x4239 x4255 1800.02/1800.91 v x4265 x4284 x4292 x4295 x4300 x4303 x4306 x4325 x4330 x4341 x4357 x4359 x4363 x4371 x4388 x4393 x4399 x4411 x4426 x4427 x4438 1800.02/1800.91 v x4442 x4444 x4445 x4453 x4456 x4462 x4467 x4474 x4476 x4478 x4480 x4482 x4488 x4489 x4502 x4508 x4511 x4518 x4523 x4527 x4536 1800.02/1800.91 v x4538 x4544 x4554 x4557 x4560 x4561 x4570 x4576 x4577 x4581 x4583 x4592 x4612 x4622 x4626 x4627 x4642 x4659 x4669 x4672 x4675 1800.02/1800.91 v x4683 x4687 x4691 x4701 x4704 x4705 x4709 x4717 x4722 x4735 x4741 x4743 x4748 x4775 x4799 x4807 x4809 x4810 x4812 x4813 x4814 1800.02/1800.91 v x4819 x4826 x4827 x4833 x4836 x4844 x4845 x4849 x4853 x4878 x4887 x4897 x4898 x4900 x4902 x4907 x4910 x4916 x4919 x4920 x4935 1800.02/1800.91 v x4936 x4940 x4948 x4952 x4961 x4967 x4974 x4977 x4978 x4980 x4985 x4986 x4988 x4991 x5000 x5016 x5020 x5051 x5057 x5074 x5079 1800.02/1800.91 v x5080 x5081 x5082 x5083 x5086 x5092 x5098 x5107 x5116 x5126 x5129 x5133 x5148 x5151 x5152 x5155 x5163 x5173 x5176 x5182 x5192 1800.02/1800.91 v x5193 x5210 x5212 x5217 x5218 x5221 x5225 x5232 x5240 x5251 x5254 x5256 x5259 x5261 x5262 x5263 x5275 x5286 x5290 x5294 x5295 1800.02/1800.91 v x5300 x5301 x5304 x5339 x5340 x5345 x5361 x5374 x5377 x5382 x5384 x5386 x5390 x5411 x5424 x5442 x5444 x5456 x5459 x5461 x5462 1800.02/1800.91 v x5464 x5467 x5481 x5484 x5491 x5496 x5501 x5506 x5507 x5513 x5514 x5517 x5523 x5539 x5566 x5579 x5580 x5591 x5596 x5606 x5612 1800.02/1800.91 v x5628 x5629 x5631 x5632 x5641 x5645 x5648 x5669 x5684 x5693 x5701 x5706 x5713 x5725 x5729 x5731 x5733 x5735 x5761 x5763 x5772 1800.02/1800.91 v x5773 x5776 x5777 x5785 x5795 x5800 x5809 x5810 x5813 x5814 x5831 x5838 x5841 x5850 x5865 x5871 x5879 x5894 x5895 x5903 x5908 1800.02/1800.91 v x5910 x5913 x5923 x5933 x5944 x5947 x5957 x5964 x5965 x5970 x5975 x5984 x6007 x6014 x6022 x6031 x6037 x6040 x6041 x6054 x6065 1800.02/1800.91 v x6066 x6069 x6076 x6089 x6092 x6097 x6110 x6115 x6131 x6146 x6159 x6162 x6175 x6178 x6180 x6186 x6197 x6210 x6211 x6221 x6224 1800.02/1800.91 v x6233 x6243 x6244 x6252 x6255 x6258 x6259 x6279 x6287 x6302 x6304 x6306 x6308 x6317 x6332 x6340 x6348 x6350 x6363 x6378 x6394 1800.02/1800.91 v x6413 x6414 x6425 x6440 x6459 x6476 x6492 x6497 x6504 x6521 x6536 x6537 x6546 x6554 x6555 x6556 x6571 x6590 x6594 x6600 x6602 1800.02/1800.91 v x6606 x6612 x6617 x6622 x6623 x6630 x6642 x6644 x6659 x6665 x6669 x6676 x6689 x6691 x6692 x6693 x6697 x6698 x6702 x6708 x6740 1800.02/1800.91 v x6745 x6765 x6767 x6772 x6773 x6775 x6778 x6790 x6792 x6796 x6802 x6810 1800.02/1800.92 pb2clasp1: no process killed 1800.02/1800.92 clasp-1.0: no process killed 6.90/1802.92 sh: line 1: 1055 Done cat /tmp/evaluation/453334-1178131722/temp/instance-453334-1178131722.opb.op 6.90/1802.92 1056 Killed | clasp-1.0 --trans=no >/tmp/evaluation/453334-1178131722/temp/instance-453334-1178131722.opb.clasp
FAILED ERROR: unsatisfied constraint on line 0 0>=1 Falsified constraint is: +1*~x1[=0]*x384[=0]+1*~x1[=0]*x387[=0]+1*~x1[=0]*x278[=0]+1*~x1[=0]*x416[=0]+1*~x1[=0]*x294[=0]+1*~x1[=0]*x336[=0]+1*~x1[=0]*x493[=0]+1*~x1[=0]*x150[=0]+1*~x1[=0]*x422[=0]+1*~x1[=0]*x363[=0]+1*~x1[=0]*x17[=0]+1*~x1[=0]*x44[=0]+1*~x1[=0]*x48[=0]+1*~x1[=0]*x90[=0]+1*~x1[=0]*x107[=1]+1*~x1[=0]*x192[=0]+1*~x1[=0]*x216[=1]+1*~x1[=0]*x224[=0]+1*~x1[=0]*x307[=0]+1*~x1[=0]*x352[=0]+1*~x1[=0]*x438[=0]+1*x1[=0] >= 1
Linearizing /tmp/evaluation/453334-1178131722/instance-453334-1178131722.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-453334-1178131722 -o ROOT/results/node2/solver-453334-1178131722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453334-1178131722.opb /tmp/evaluation/453334-1178131722/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 773 /proc/meminfo: memFree=1468792/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12268 CPUtime=0 /proc/773/stat : 773 (pbclasp) D 771 773 32514 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 289210066 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206381480549 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/773/statm: 3067 317 242 3 0 167 0 [startup+0.0726009 s] /proc/loadavg: 0.92 0.98 0.99 3/77 773 /proc/meminfo: memFree=1468792/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12664 CPUtime=0.01 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 569 0 0 0 1 0 0 0 16 0 1 0 289210066 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/773/statm: 3166 522 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.101602 s] /proc/loadavg: 0.92 0.98 0.99 3/77 773 /proc/meminfo: memFree=1468792/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12664 CPUtime=0.01 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 569 0 0 0 1 0 0 0 16 0 1 0 289210066 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/773/statm: 3166 522 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.301623 s] /proc/loadavg: 0.92 0.98 0.99 3/77 773 /proc/meminfo: memFree=1468792/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12664 CPUtime=0.01 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 569 0 0 0 1 0 0 0 16 0 1 0 289210066 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/773/statm: 3166 522 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.701665 s] /proc/loadavg: 0.92 0.98 0.99 3/77 773 /proc/meminfo: memFree=1468792/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12664 CPUtime=0.01 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 569 0 0 0 1 0 0 0 16 0 1 0 289210066 12967936 522 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/773/statm: 3166 522 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+1.50175 s] /proc/loadavg: 0.92 0.98 0.99 2/80 776 /proc/meminfo: memFree=1466720/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=1.04 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 676 1591 0 0 1 0 102 1 16 0 1 0 289210066 13103104 553 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/773/statm: 3199 553 343 3 0 299 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 12796 [startup+3.10191 s] /proc/loadavg: 0.93 0.98 0.99 2/81 799 /proc/meminfo: memFree=1464728/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=2.72 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1225 17695 0 2 4 1 254 13 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 Current children cumulated CPU time (s) 2.72 Current children cumulated vsize (KiB) 12796 [startup+6.30125 s] /proc/loadavg: 0.93 0.98 0.99 2/80 847 /proc/meminfo: memFree=1459096/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=11764 CPUtime=1.09 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 2669 0 0 0 109 0 0 0 25 0 1 0 289210585 12046336 2489 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714478 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 2941 2489 249 81 0 2315 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 29916 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/80 847 /proc/meminfo: memFree=1452696/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=16452 CPUtime=7.49 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 3832 0 0 0 748 1 0 0 25 0 1 0 289210585 16846848 3652 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 4113 3652 249 81 0 3487 0 Current children cumulated CPU time (s) 12.41 Current children cumulated vsize (KiB) 34604 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/80 847 /proc/meminfo: memFree=1448408/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=20024 CPUtime=20.28 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 4740 0 0 0 2026 2 0 0 25 0 1 0 289210585 20504576 4560 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 5006 4560 249 81 0 4380 0 Current children cumulated CPU time (s) 25.2 Current children cumulated vsize (KiB) 38176 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/80 847 /proc/meminfo: memFree=1446296/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=22404 CPUtime=45.88 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 5289 0 0 0 4585 3 0 0 25 0 1 0 289210585 22941696 5109 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 5601 5109 249 81 0 4975 0 Current children cumulated CPU time (s) 50.8 Current children cumulated vsize (KiB) 40556 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/80 847 /proc/meminfo: memFree=1443032/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=25560 CPUtime=97.07 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 6102 0 0 0 9703 4 0 0 25 0 1 0 289210585 26173440 5922 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134740921 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 6390 5922 249 81 0 5764 0 Current children cumulated CPU time (s) 101.99 Current children cumulated vsize (KiB) 43712 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/80 847 /proc/meminfo: memFree=1439384/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=29204 CPUtime=157.05 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 7008 0 0 0 15699 6 0 0 25 0 1 0 289210585 29904896 6828 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 7301 6828 249 81 0 6675 0 Current children cumulated CPU time (s) 161.97 Current children cumulated vsize (KiB) 47356 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/80 847 /proc/meminfo: memFree=1435928/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=32740 CPUtime=217.03 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 7890 0 0 0 21696 7 0 0 25 0 1 0 289210585 33525760 7674 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737260 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 8185 7674 249 81 0 7559 0 Current children cumulated CPU time (s) 221.95 Current children cumulated vsize (KiB) 50892 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/80 847 /proc/meminfo: memFree=1435160/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=33668 CPUtime=277.01 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 8088 0 0 0 27693 8 0 0 25 0 1 0 289210585 34476032 7872 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784800 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 8417 7872 249 81 0 7791 0 Current children cumulated CPU time (s) 281.93 Current children cumulated vsize (KiB) 51820 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/80 847 /proc/meminfo: memFree=1431896/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 ################ # More data... # ################ /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=57352 CPUtime=1656.53 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 16319 0 0 0 165627 26 0 0 25 0 1 0 289210585 58728448 13554 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 14338 13554 249 81 0 13712 0 Current children cumulated CPU time (s) 1661.45 Current children cumulated vsize (KiB) 75504 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 1045 /proc/meminfo: memFree=1412184/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=57568 CPUtime=1716.51 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 16357 0 0 0 171625 26 0 0 25 0 1 0 289210585 58949632 13592 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784520 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 14392 13592 249 81 0 13766 0 Current children cumulated CPU time (s) 1721.43 Current children cumulated vsize (KiB) 75720 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 1045 /proc/meminfo: memFree=1412184/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=57500 CPUtime=1776.5 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 16358 0 0 0 177623 27 0 0 25 0 1 0 289210585 58880000 13576 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 14375 13576 249 81 0 13749 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (KiB) 75652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/80 1045 /proc/meminfo: memFree=1412184/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=57500 CPUtime=1795.1 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 16358 0 0 0 179483 27 0 0 25 0 1 0 289210585 58880000 13576 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784595 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 14375 13576 249 81 0 13749 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 75652 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/80 1045 /proc/meminfo: memFree=1412184/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.92 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1812 33825 0 2 7 1 459 25 16 0 1 0 289210066 13103104 567 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 567 343 3 0 299 0 [pid=845] ppid=773 vsize=5356 CPUtime=0 /proc/845/stat : 845 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289210585 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/845/statm: 1339 225 188 169 0 50 0 [pid=847] ppid=845 vsize=57500 CPUtime=1795.1 /proc/847/stat : 847 (clasp-1.0) R 845 773 32514 0 -1 4194304 16358 0 0 0 179483 27 0 0 25 0 1 0 289210585 58880000 13576 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784595 0 0 4096 0 0 0 0 17 1 0 0 /proc/847/statm: 14375 13576 249 81 0 13749 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 75652 # WARNING: # current cumulated CPU time (4.95 s) is less than in the last sample (1800.02 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1795.07 s) to the 'lost time'. [startup+1801.02 s] /proc/loadavg: 1.00 1.00 1.00 2/80 1045 /proc/meminfo: memFree=1412184/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.95 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1984 35608 0 2 7 1 460 27 16 0 1 0 289210066 13103104 568 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 568 343 3 0 299 0 Current children cumulated CPU time (s) 4.95 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 1045 /proc/meminfo: memFree=1412184/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.95 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1984 35608 0 2 7 1 460 27 16 0 1 0 289210066 13103104 568 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 568 343 3 0 299 0 Current children cumulated CPU time (s) 4.95 Current children cumulated vsize (KiB) 12796 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/81 1056 /proc/meminfo: memFree=1456656/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.95 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1984 35608 0 2 7 1 460 27 16 0 1 0 289210066 13103104 568 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 568 343 3 0 299 0 [pid=1054] ppid=773 vsize=5356 CPUtime=0 /proc/1054/stat : 1054 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289390160 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/1054/statm: 1339 225 188 169 0 50 0 [pid=1056] ppid=1054 vsize=11764 CPUtime=1.24 /proc/1056/stat : 1056 (clasp-1.0) R 1054 773 32514 0 -1 4194304 2669 0 0 0 123 1 0 0 25 0 1 0 289390160 12046336 2489 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134715844 0 0 4096 0 0 0 0 17 1 0 0 /proc/1056/statm: 2941 2489 249 81 0 2315 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 29916 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/81 1056 /proc/meminfo: memFree=1456656/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.95 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1984 35608 0 2 7 1 460 27 16 0 1 0 289210066 13103104 568 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 568 343 3 0 299 0 [pid=1054] ppid=773 vsize=5356 CPUtime=0 /proc/1054/stat : 1054 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289390160 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/1054/statm: 1339 225 188 169 0 50 0 [pid=1056] ppid=1054 vsize=11764 CPUtime=1.64 /proc/1056/stat : 1056 (clasp-1.0) R 1054 773 32514 0 -1 4194304 2669 0 0 0 163 1 0 0 25 0 1 0 289390160 12046336 2489 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617547 0 0 4096 0 0 0 0 17 1 0 0 /proc/1056/statm: 2941 2489 249 81 0 2315 0 Current children cumulated CPU time (s) 6.59 Current children cumulated vsize (KiB) 29916 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 1.00 2/81 1056 /proc/meminfo: memFree=1456656/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.95 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1984 35608 0 2 7 1 460 27 16 0 1 0 289210066 13103104 568 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 568 343 3 0 299 0 [pid=1054] ppid=773 vsize=5356 CPUtime=0 /proc/1054/stat : 1054 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289390160 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/1054/statm: 1339 225 188 169 0 50 0 [pid=1056] ppid=1054 vsize=11764 CPUtime=1.85 /proc/1056/stat : 1056 (clasp-1.0) R 1054 773 32514 0 -1 4194304 2669 0 0 0 184 1 0 0 25 0 1 0 289390160 12046336 2489 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617491 0 0 4096 0 0 0 0 17 1 0 0 /proc/1056/statm: 2941 2489 249 81 0 2315 0 Current children cumulated CPU time (s) 6.8 Current children cumulated vsize (KiB) 29916 [startup+1802.91 s] /proc/loadavg: 1.00 1.00 1.00 2/81 1056 /proc/meminfo: memFree=1456656/2055920 swapFree=4148856/4192956 [pid=773] ppid=771 vsize=12796 CPUtime=4.95 /proc/773/stat : 773 (pbclasp) S 771 773 32514 0 -1 4194304 1984 35608 0 2 7 1 460 27 16 0 1 0 289210066 13103104 568 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/773/statm: 3199 568 343 3 0 299 0 [pid=1054] ppid=773 vsize=5356 CPUtime=0 /proc/1054/stat : 1054 (sh) S 773 773 32514 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 289390160 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/1054/statm: 1339 225 188 169 0 50 0 [pid=1056] ppid=1054 vsize=11764 CPUtime=1.95 /proc/1056/stat : 1056 (clasp-1.0) R 1054 773 32514 0 -1 4194304 2669 0 0 0 194 1 0 0 25 0 1 0 289390160 12046336 2489 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737650 0 0 4096 0 0 0 0 17 1 0 0 /proc/1056/statm: 2941 2489 249 81 0 2315 0 Current children cumulated CPU time (s) 6.9 Current children cumulated vsize (KiB) 29916 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): 1795.07 # lost CPU user time (s): 1794.82 # lost CPU system time (s): 0.25 Real time (s): 1802.93 CPU time (s): 1802.03 CPU user time (s): 1801.46 CPU system time (s): 0.571951 CPU usage (%): 99.9502 Max. virtual memory (cumulated for all children) (KiB): 75720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.63699 system time used= 0.321951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40850 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2074 involuntary context switches= 1308 runsolver used 1.64775 second user time and 4.92225 second system time The end
Begin job on node2 on Wed May 2 18:48:42 UTC 2007 IDJOB= 453334 IDBENCH= 48123 IDSOLVER= 167 FILE ID= node2/453334-1178131722 PBS_JOBID= 4751040 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_1.opb COMMAND LINE= pbclasp instance-453334-1178131722.opb /tmp/evaluation/453334-1178131722/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-453334-1178131722 -o ROOT/results/node2/conversion-453334-1178131722 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453334-1178131722/instance-453334-1178131722.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-453334-1178131722 -o ROOT/results/node2/solver-453334-1178131722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453334-1178131722.opb /tmp/evaluation/453334-1178131722/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 08f3a00099e19d384504c40fc611777e RANDOM SEED= 303601974 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: 1469200 kB Buffers: 209132 kB Cached: 228772 kB SwapCached: 12392 kB Active: 177768 kB Inactive: 289308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1469200 kB SwapTotal: 4192956 kB SwapFree: 4148856 kB Dirty: 976 kB Writeback: 0 kB Mapped: 35488 kB Slab: 104980 kB Committed_AS: 11438264 kB PageTables: 1872 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 Wed May 2 19:18:46 UTC 2007