Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | Wrong Cert. | 1802.01 | 1802.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb |
MD5SUM | 3feaf3974ec1ffdea6d6674c11d1a071 |
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 | 36 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 36 |
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 | 26 |
Maximum length of a constraint | 50 |
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) | 15754 |
Sum of products size (including duplicates) | 31508 |
Number of different products | 15754 |
Sum of products size | 31508 |
3.35/3.49 o 55 4.36/4.46 o 54 5.32/5.44 o 53 5.40/6.42 o 52 7.33/7.40 o 51 8.41/8.56 o 49 9.59/9.73 o 48 10.99/11.13 o 44 13.12/13.21 o 43 1800.08/1800.81 c Somebody sent me a SIGTERM 1800.08/1800.81 s SATISFIABLE 1800.08/1800.81 v x10 x37 x62 x86 x137 x141 x147 x156 x173 x176 x206 x209 x229 x249 x255 x281 x287 x289 x295 x300 x318 x342 x343 x361 x362 x373 x378 1800.08/1800.81 v x379 x382 x386 x401 x405 x428 x433 x439 x446 x448 x449 x458 x461 x474 x478 x489 x509 x531 x547 x551 x557 x584 x586 x587 x590 x591 1800.08/1800.81 v x593 x611 x625 x629 x631 x641 x643 x646 x660 x673 x705 x717 x729 x756 x759 x781 x782 x814 x824 x828 x830 x833 x851 x852 x856 x861 1800.08/1800.81 v x863 x911 x920 x921 x924 x929 x948 x972 x996 x1039 x1041 x1049 x1058 x1061 x1101 x1106 x1118 x1121 x1127 x1131 x1138 x1143 1800.08/1800.81 v x1160 x1185 x1212 x1215 x1255 x1260 x1289 x1295 x1299 x1302 x1312 x1324 x1342 x1362 x1381 x1382 x1386 x1406 x1420 x1425 x1443 1800.08/1800.81 v x1457 x1458 x1471 x1484 x1516 x1538 x1547 x1549 x1555 x1584 x1610 x1636 x1648 x1686 x1702 x1718 x1723 x1728 x1730 x1749 x1761 1800.08/1800.81 v x1784 x1789 x1830 x1841 x1851 x1880 x1889 x1913 x1926 x1927 x1977 x2038 x2040 x2066 x2075 x2095 x2096 x2120 x2174 x2195 x2241 1800.08/1800.81 v x2251 x2258 x2272 x2273 x2290 x2334 x2350 x2363 x2371 x2373 x2374 x2377 x2384 x2393 x2405 x2411 x2426 x2433 x2441 x2446 x2461 1800.08/1800.81 v x2467 x2489 x2505 x2514 x2516 x2537 x2550 x2557 x2566 x2580 x2587 x2590 x2595 x2604 x2607 x2613 x2635 x2660 x2661 x2672 x2714 1800.08/1800.81 v x2736 x2737 x2738 x2755 x2762 x2811 x2829 x2832 x2844 x2862 x2913 x2946 x2949 x2950 x2996 x3002 x3041 x3042 x3054 x3059 x3096 1800.08/1800.81 v x3104 x3110 x3129 x3134 x3148 x3153 x3176 x3187 x3188 x3199 x3257 x3292 x3295 x3300 x3317 x3325 x3328 x3336 x3345 x3346 x3355 1800.08/1800.81 v x3372 x3382 x3388 x3400 x3409 x3410 x3411 x3425 x3436 x3440 x3464 x3482 x3496 x3504 x3510 x3511 x3514 x3522 x3529 x3535 x3544 1800.08/1800.81 v x3567 x3581 x3606 x3607 x3612 x3619 x3630 x3649 x3650 x3654 x3656 x3690 x3704 x3724 x3733 x3736 x3741 x3742 x3749 x3760 x3815 1800.08/1800.81 v x3827 x3832 x3859 x3861 x3879 x3899 x3910 x3918 x3935 x3978 x3999 x4003 x4012 x4014 x4016 x4019 x4031 x4033 x4043 x4049 x4078 1800.08/1800.81 v x4079 x4089 x4102 x4129 x4130 x4132 x4137 x4140 x4142 x4147 x4158 x4162 x4163 x4168 x4179 x4211 x4221 x4229 x4244 x4248 x4251 1800.08/1800.81 v x4256 x4279 x4285 x4309 x4343 x4348 x4355 x4376 x4399 x4403 x4409 x4424 x4430 x4440 x4443 x4450 x4453 x4492 x4525 x4551 x4562 1800.08/1800.81 v x4567 x4569 x4576 x4608 x4610 x4627 x4661 x4669 x4688 x4696 x4700 x4709 x4714 x4716 x4745 x4758 x4782 x4809 x4813 x4824 x4857 1800.08/1800.81 v x4880 x4882 x4892 x4898 x4899 x4913 x4952 x4961 x4969 x4986 x5016 x5020 x5036 x5047 x5067 x5097 x5125 x5156 x5157 x5162 x5174 1800.08/1800.81 v x5177 x5187 x5190 x5191 x5212 x5223 x5234 x5235 x5243 x5249 x5262 x5274 x5293 x5304 x5311 x5328 x5331 x5347 x5355 x5375 x5385 1800.08/1800.81 v x5411 x5420 x5424 x5436 x5438 x5460 x5491 x5492 x5494 x5515 x5523 x5533 x5544 x5584 x5601 x5672 x5691 x5704 x5707 x5709 x5715 1800.08/1800.81 v x5744 x5807 x5818 x5827 x5848 x5854 x5855 x5862 x5869 x5871 x5881 x5883 x5888 x5909 x5918 x5920 x5933 x5954 x6014 x6064 x6069 1800.08/1800.81 v x6083 x6094 x6101 x6104 x6112 x6117 x6135 x6147 x6185 x6192 x6195 x6220 x6237 x6252 x6253 x6313 x6337 x6351 x6353 x6366 x6374 1800.08/1800.81 v x6378 x6423 x6448 x6460 x6488 x6493 x6510 x6519 x6526 x6530 x6561 x6588 x6600 x6621 x6638 x6656 x6657 x6677 x6690 x6707 x6719 1800.08/1800.81 v x6736 x6741 x6755 x6760 x6773 x6782 x6800 x6844 x6880 x6891 x6915 x6918 x6919 x6927 x6933 x6935 x6992 x6993 x7009 x7024 x7030 1800.08/1800.81 v x7042 x7054 x7062 x7063 x7084 x7093 x7100 x7108 x7113 x7137 x7158 x7159 x7165 x7169 x7195 x7215 x7220 x7221 x7238 x7242 x7269 1800.08/1800.81 v x7308 x7333 x7340 x7350 x7369 x7383 x7386 x7387 x7388 x7401 x7415 x7429 x7434 x7435 x7458 x7470 x7471 x7472 x7490 x7508 x7509 1800.08/1800.81 v x7516 x7530 x7536 x7554 x7561 x7564 x7572 x7583 x7588 x7595 x7602 x7603 x7623 x7625 x7632 x7650 x7652 x7658 x7676 x7682 x7693 1800.08/1800.81 v x7703 x7724 x7726 x7736 x7751 x7761 x7762 x7793 x7796 x7799 x7818 x7828 x7836 x7849 x7857 x7882 x7896 x7911 x7913 x7919 x7924 1800.08/1800.81 v x7930 x7974 x7976 x7997 x7999 x8013 x8024 x8083 x8103 x8107 x8125 x8141 x8157 x8160 x8183 x8196 x8213 x8215 x8218 x8253 x8262 1800.08/1800.81 v x8298 x8312 x8315 x8316 x8337 x8364 x8367 x8381 x8393 x8396 x8397 x8412 x8433 x8447 x8459 x8467 x8481 x8499 x8508 x8541 x8569 1800.08/1800.81 v x8584 x8588 x8595 x8596 x8639 x8648 x8649 x8658 x8663 x8711 x8717 x8726 x8759 x8763 x8772 x8776 x8781 x8793 x8802 x8805 x8806 1800.08/1800.81 v x8811 x8818 x8820 x8857 x8865 x8868 x8888 x8911 x8912 x8920 x8922 x8938 x8957 x8960 x8984 x9001 x9003 x9011 x9026 x9027 x9029 1800.08/1800.81 v x9039 x9061 x9075 x9080 x9085 x9110 x9117 x9120 x9123 x9126 x9150 x9158 x9164 x9180 x9184 x9200 x9206 x9213 x9224 x9230 x9250 1800.08/1800.81 v x9270 x9275 x9279 x9307 x9309 x9314 x9326 x9359 x9371 x9373 x9374 x9379 x9386 x9387 x9392 x9437 x9439 x9463 x9469 x9488 x9491 1800.08/1800.81 v x9494 x9506 x9552 x9557 x9567 x9584 x9614 x9638 x9650 x9655 x9677 x9679 x9680 x9697 x9701 x9704 x9708 x9711 x9713 x9715 x9737 1800.08/1800.81 v x9741 x9763 x9766 x9769 x9770 x9776 x9779 x9791 x9797 x9798 x9814 x9833 x9840 x9851 x9859 x9865 x9878 x9902 x9906 x9940 x9951 1800.08/1800.81 v x9953 x9959 x9961 x9963 x9975 x10000 x10028 x10036 x10059 x10076 x10089 x10090 x10092 x10094 x10111 x10114 x10116 x10120 1800.08/1800.81 v x10143 x10181 x10211 x10240 x10277 x10323 x10326 x10330 x10347 x10365 x10391 x10399 x10426 x10429 x10445 x10454 x10458 1800.08/1800.81 v x10518 x10548 x10559 x10568 x10569 x10571 x10573 x10587 x10590 x10594 x10596 x10597 x10608 x10618 x10630 x10660 x10681 1800.08/1800.81 v x10682 x10694 x10739 x10773 x10783 x10785 x10813 x10842 x10892 x10923 x10924 x10928 x10949 x10974 x11000 x11001 x11042 1800.08/1800.81 v x11069 x11082 x11095 x11097 x11114 x11117 x11142 x11155 x11162 x11174 x11182 x11184 x11200 x11213 x11221 x11234 x11238 1800.08/1800.81 v x11245 x11263 x11299 x11315 x11325 x11326 x11327 x11349 x11351 x11352 x11353 x11354 x11399 x11401 x11403 x11437 x11446 1800.08/1800.81 v x11451 x11468 x11477 x11484 x11491 x11495 x11522 x11529 x11554 x11556 x11560 x11564 x11597 x11627 x11631 x11642 x11649 1800.08/1800.81 v x11654 x11664 x11695 x11702 x11724 x11731 x11734 x11736 x11740 x11749 x11759 x11764 x11766 x11772 x11801 x11826 x11843 1800.08/1800.81 v x11851 x11872 x11873 x11880 x11889 x11908 x11909 x11915 x11925 x11940 x11955 x11959 x11985 x11987 x11990 x11993 x12002 1800.08/1800.81 v x12012 x12018 x12019 x12023 x12048 x12114 x12140 x12144 x12152 x12153 x12156 x12157 x12160 x12171 x12184 x12189 x12192 1800.08/1800.81 v x12196 x12207 x12221 x12222 x12225 x12238 x12265 x12282 x12293 x12305 x12329 x12336 x12379 x12385 x12395 x12419 x12430 1800.08/1800.81 v x12433 x12434 x12437 x12445 x12449 x12458 x12474 x12521 x12525 x12531 x12570 x12571 x12572 x12580 x12644 x12674 x12680 1800.08/1800.81 v x12685 x12689 x12711 x12745 x12746 x12770 x12793 x12799 x12829 x12852 x12856 x12860 x12887 x12888 x12902 x12908 x12914 1800.08/1800.81 v x12915 x12952 x12959 x12960 x12971 x12992 x13001 x13005 x13019 x13022 x13049 x13123 x13146 x13154 x13155 x13202 x13206 1800.08/1800.81 v x13207 x13223 x13224 x13247 x13307 x13317 x13321 x13337 x13338 x13341 x13343 x13350 x13361 x13363 x13371 x13383 x13399 1800.08/1800.81 v x13434 x13439 x13446 x13450 x13475 x13485 x13494 x13495 x13498 x13501 x13502 x13527 x13540 x13546 x13552 x13553 x13565 1800.08/1800.81 v x13573 x13580 x13593 x13602 x13616 x13629 x13644 x13654 x13710 x13714 x13721 x13723 x13728 x13765 x13768 x13810 x13832 1800.08/1800.81 v x13844 x13853 x13860 x13900 x13901 x13903 x13918 x13922 x13929 x13943 x13945 x13979 x13981 x14006 x14022 x14037 x14047 1800.08/1800.81 v x14052 x14056 x14061 x14081 x14082 x14093 x14094 x14104 x14114 x14115 x14119 x14128 x14152 x14179 x14193 x14238 x14241 1800.08/1800.81 v x14260 x14262 x14284 x14286 x14314 x14316 x14320 x14325 x14334 x14342 x14359 x14368 x14375 x14424 x14429 x14435 x14450 1800.08/1800.81 v x14471 x14491 x14506 x14557 x14574 x14597 x14609 x14621 x14634 x14637 x14654 x14657 x14660 x14718 x14719 x14734 x14745 1800.08/1800.81 v x14750 x14754 x14792 x14808 x14837 x14877 x14897 x14977 x14999 x15000 x15001 x15016 x15019 x15027 x15046 x15052 x15071 1800.08/1800.81 v x15072 x15096 x15122 x15140 x15147 x15152 x15155 x15185 x15214 x15220 x15228 x15229 x15280 x15282 x15287 x15308 x15340 1800.08/1800.81 v x15354 x15367 x15377 x15380 x15385 x15392 x15402 x15410 x15422 x15430 x15440 x15448 x15455 x15476 x15506 x15507 x15517 1800.08/1800.81 v x15519 x15533 x15536 x15541 x15546 x15563 x15566 x15567 x15619 x15626 x15645 x15674 x15704 x15711 x15718 x15729 x15768 1800.08/1800.81 v x15777 x15800 x15807 x15827 x15851 x15863 x15868 x15874 x15878 x15879 x15885 x15899 x15915 x15918 x15919 x15923 x15927 1800.08/1800.81 v x15939 x15949 x15995 x16025 x16043 x16054 x16065 x16077 x16097 x16098 x16114 x16124 x16133 x16143 x16148 x16152 x16154 1800.08/1800.81 v x16171 x16198 x16201 x16207 x16229 x16253 1800.08/1800.82 pb2clasp1: no process killed 15.06/1802.82 sh: line 1: 11708 Done cat /tmp/evaluation/453784-1178156933/temp/instance-453784-1178156933.opb.op 15.06/1802.82 11709 Killed | clasp-1.0 --trans=no >/tmp/evaluation/453784-1178156933/temp/instance-453784-1178156933.opb.clasp
FAILED ERROR: unsatisfied constraint on line 0 0>=1 Falsified constraint is: +1*~x1[=0]*x302[=0]+1*~x1[=0]*x84[=0]+1*~x1[=0]*x275[=0]+1*~x1[=0]*x327[=0]+1*~x1[=0]*x364[=0]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x26[=0]+1*~x1[=0]*x29[=0]+1*~x1[=0]*x386[=1]+1*~x1[=0]*x45[=0]+1*~x1[=0]*x455[=0]+1*~x1[=0]*x215[=0]+1*~x1[=0]*x465[=0]+1*~x1[=0]*x404[=0]+1*~x1[=0]*x415[=0]+1*~x1[=0]*x403[=0]+1*~x1[=0]*x442[=0]+1*~x1[=0]*x402[=0]+1*~x1[=0]*x150[=0]+1*~x1[=0]*x218[=0]+1*~x1[=0]*x105[=0]+1*~x1[=0]*x469[=0]+1*~x1[=0]*x280[=0]+1*~x1[=0]*x74[=0]+1*~x1[=0]*x219[=0]+1*~x1[=0]*x4[=0]+1*~x1[=0]*x16[=0]+1*~x1[=0]*x21[=0]+1*~x1[=0]*x103[=0]+1*~x1[=0]*x142[=0]+1*~x1[=0]*x156[=1]+1*~x1[=0]*x256[=0]+1*~x1[=0]*x283[=0]+1*~x1[=0]*x311[=0]+1*~x1[=0]*x355[=0]+1*~x1[=0]*x397[=0]+1*~x1[=0]*x399[=0]+1*~x1[=0]*x456[=0]+1*~x1[=0]*x473[=0]+1*~x1[=0]*x475[=0]+1*x1[=0] >= 1
Linearizing /tmp/evaluation/453784-1178156933/instance-453784-1178156933.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-453784-1178156933 -o ROOT/results/node12/solver-453784-1178156933 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453784-1178156933.opb /tmp/evaluation/453784-1178156933/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.93 0.97 0.98 3/77 10930 /proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=12268 CPUtime=0 /proc/10930/stat : 10930 (pbclasp) R 10928 10930 10269 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 291730729 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252429695589 0 0 4224 0 0 0 0 17 1 0 0 /proc/10930/statm: 3067 317 242 3 0 167 0 [startup+0.058389 s] /proc/loadavg: 0.93 0.97 0.98 3/77 10930 /proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=0.01 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/10930/statm: 3265 595 324 3 0 365 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13060 [startup+0.101391 s] /proc/loadavg: 0.93 0.97 0.98 3/77 10930 /proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=0.01 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/10930/statm: 3265 595 324 3 0 365 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13060 [startup+0.301411 s] /proc/loadavg: 0.93 0.97 0.98 3/77 10930 /proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=0.01 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/10930/statm: 3265 595 324 3 0 365 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13060 [startup+0.701451 s] /proc/loadavg: 0.93 0.97 0.98 3/77 10930 /proc/meminfo: memFree=1755888/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=0.01 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/10930/statm: 3265 595 324 3 0 365 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13060 [startup+1.50253 s] /proc/loadavg: 0.93 0.97 0.98 2/80 10933 /proc/meminfo: memFree=1753304/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=0.01 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 641 0 0 0 1 0 0 0 16 0 1 0 291730729 13373440 595 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/10930/statm: 3265 595 324 3 0 365 0 [pid=10932] ppid=10930 vsize=5356 CPUtime=0 /proc/10932/stat : 10932 (sh) S 10930 10930 10269 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 291730732 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10932/statm: 1339 231 193 169 0 50 0 [pid=10933] ppid=10932 vsize=12400 CPUtime=1.46 /proc/10933/stat : 10933 (pb2clasp1) R 10932 10930 10269 0 -1 4194304 501 0 0 0 146 0 0 0 25 0 1 0 291730732 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 252449525363 0 0 4224 0 0 0 0 17 1 0 0 /proc/10933/statm: 3100 463 340 3 0 200 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 30816 [startup+3.10169 s] /proc/loadavg: 0.93 0.97 0.98 2/80 10933 /proc/meminfo: memFree=1752728/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=2.52 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 746 1593 0 0 1 0 249 2 16 0 1 0 291730729 13373440 626 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 626 343 3 0 365 0 Current children cumulated CPU time (s) 2.52 Current children cumulated vsize (KiB) 13060 [startup+6.30201 s] /proc/loadavg: 0.94 0.97 0.98 2/80 10956 /proc/meminfo: memFree=1730136/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=5.4 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1134 23767 0 0 6 1 515 18 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 Current children cumulated CPU time (s) 5.4 Current children cumulated vsize (KiB) 13060 [startup+12.7017 s] /proc/loadavg: 0.94 0.97 0.98 2/80 11004 /proc/meminfo: memFree=1729928/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=11.06 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1810 60761 0 0 12 1 1046 47 17 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11002] ppid=10930 vsize=5356 CPUtime=0 /proc/11002/stat : 11002 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 291731845 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11002/statm: 1339 225 188 169 0 50 0 [pid=11004] ppid=11002 vsize=23488 CPUtime=1.53 /proc/11004/stat : 11004 (clasp-1.0) R 11002 10930 10269 0 -1 4194304 6033 0 0 0 151 2 0 0 25 0 1 0 291731845 24051712 5435 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0 /proc/11004/statm: 5872 5435 249 81 0 5246 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 41904 [startup+25.5019 s] /proc/loadavg: 0.96 0.97 0.98 2/80 11012 /proc/meminfo: memFree=1728272/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=25288 CPUtime=12.25 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 6468 0 0 0 1224 1 0 0 25 0 1 0 291732053 25894912 5870 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714769 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 6322 5870 249 81 0 5696 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 43704 [startup+51.1015 s] /proc/loadavg: 0.97 0.97 0.98 2/80 11012 /proc/meminfo: memFree=1716688/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=37044 CPUtime=37.85 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 9427 0 0 0 3780 5 0 0 25 0 1 0 291732053 37933056 8788 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 9261 8788 249 81 0 8635 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 55460 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/80 11012 /proc/meminfo: memFree=1699280/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=54488 CPUtime=89.03 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 13946 0 0 0 8895 8 0 0 25 0 1 0 291732053 55795712 13136 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 13622 13136 249 81 0 12996 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 72904 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/80 11012 /proc/meminfo: memFree=1691920/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=61744 CPUtime=149.02 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 15765 0 0 0 14891 11 0 0 25 0 1 0 291732053 63225856 14955 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 15436 14955 249 81 0 14810 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 80160 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/80 11012 /proc/meminfo: memFree=1678032/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=75772 CPUtime=209 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 20524 0 0 0 20885 15 0 0 25 0 1 0 291732053 77590528 18417 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 18943 18417 249 81 0 18317 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 94188 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/80 11012 /proc/meminfo: memFree=1671440/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=82296 CPUtime=268.98 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 22159 0 0 0 26882 16 0 0 25 0 1 0 291732053 84271104 20052 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 20574 20052 249 81 0 19948 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 100712 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/80 11012 /proc/meminfo: memFree=1671504/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 ################ # More data... # ################ /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=124120 CPUtime=1588.49 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 158811 38 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 31030 30300 249 81 0 30404 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 142536 [startup+1662.3 s] /proc/loadavg: 1.02 1.02 1.00 3/80 11698 /proc/meminfo: memFree=1579984/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=124120 CPUtime=1648.48 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 164809 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 31030 30300 249 81 0 30404 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 142536 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/80 11698 /proc/meminfo: memFree=1579984/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=124120 CPUtime=1708.46 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 170807 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737530 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 31030 30300 249 81 0 30404 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 142536 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/80 11698 /proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=124120 CPUtime=1768.45 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 176806 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 10129558 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 31030 30300 249 81 0 30404 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 142536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.01 1.00 2/80 11698 /proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=124120 CPUtime=1786.94 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 178655 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 31030 30300 249 81 0 30404 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 142536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.8 s] /proc/loadavg: 1.00 1.01 1.00 2/80 11698 /proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13060 CPUtime=13.14 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 1957 68160 0 0 14 1 1247 52 16 0 1 0 291730729 13373440 643 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3265 643 343 3 0 365 0 [pid=11010] ppid=10930 vsize=5356 CPUtime=0 /proc/11010/stat : 11010 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291732052 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11010/statm: 1339 225 188 169 0 50 0 [pid=11012] ppid=11010 vsize=124120 CPUtime=1786.94 /proc/11012/stat : 11012 (clasp-1.0) R 11010 10930 10269 0 -1 4194304 33207 0 0 0 178655 39 0 0 25 0 1 0 291732053 127098880 30300 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11012/statm: 31030 30300 249 81 0 30404 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 142536 # WARNING: # current cumulated CPU time (13.18 s) is less than in the last sample (1800.08 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1786.9 s) to the 'lost time'. [startup+1800.92 s] /proc/loadavg: 1.00 1.01 1.00 2/80 11698 /proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13196 CPUtime=13.18 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2115 69540 0 0 14 2 1247 55 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/10930/statm: 3299 645 343 3 0 399 0 Current children cumulated CPU time (s) 13.18 Current children cumulated vsize (KiB) 13196 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.01 1.00 2/80 11698 /proc/meminfo: memFree=1579920/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13196 CPUtime=13.19 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2126 69942 0 0 14 2 1247 56 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3299 645 343 3 0 399 0 Current children cumulated CPU time (s) 13.19 Current children cumulated vsize (KiB) 13196 [startup+1802.2 s] /proc/loadavg: 1.00 1.01 1.00 2/81 11709 /proc/meminfo: memFree=1679424/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13196 CPUtime=13.19 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2126 69942 0 0 14 2 1247 56 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3299 645 343 3 0 399 0 [pid=11707] ppid=10930 vsize=5356 CPUtime=0 /proc/11707/stat : 11707 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291910822 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11707/statm: 1339 225 188 169 0 50 0 [pid=11709] ppid=11707 vsize=23488 CPUtime=1.26 /proc/11709/stat : 11709 (clasp-1.0) R 11707 10930 10269 0 -1 4194304 6033 0 0 0 123 3 0 0 25 0 1 0 291910822 24051712 5435 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0 /proc/11709/statm: 5872 5435 249 81 0 5246 0 Current children cumulated CPU time (s) 14.45 Current children cumulated vsize (KiB) 42040 [startup+1802.6 s] /proc/loadavg: 1.00 1.01 1.00 2/81 11709 /proc/meminfo: memFree=1679424/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13196 CPUtime=13.19 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2126 69942 0 0 14 2 1247 56 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3299 645 343 3 0 399 0 [pid=11707] ppid=10930 vsize=5356 CPUtime=0 /proc/11707/stat : 11707 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291910822 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11707/statm: 1339 225 188 169 0 50 0 [pid=11709] ppid=11707 vsize=23488 CPUtime=1.66 /proc/11709/stat : 11709 (clasp-1.0) R 11707 10930 10269 0 -1 4194304 6033 0 0 0 163 3 0 0 25 0 1 0 291910822 24051712 5435 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714110 0 0 4096 0 0 0 0 17 1 0 0 /proc/11709/statm: 5872 5435 249 81 0 5246 0 Current children cumulated CPU time (s) 14.85 Current children cumulated vsize (KiB) 42040 [startup+1802.8 s] /proc/loadavg: 1.00 1.01 1.00 2/81 11709 /proc/meminfo: memFree=1679360/2055920 swapFree=4160052/4192956 [pid=10930] ppid=10928 vsize=13196 CPUtime=13.19 /proc/10930/stat : 10930 (pbclasp) S 10928 10930 10269 0 -1 4194304 2126 69942 0 0 14 2 1247 56 16 0 1 0 291730729 13512704 645 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10930/statm: 3299 645 343 3 0 399 0 [pid=11707] ppid=10930 vsize=5356 CPUtime=0 /proc/11707/stat : 11707 (sh) S 10930 10930 10269 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 291910822 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11707/statm: 1339 225 188 169 0 50 0 [pid=11709] ppid=11707 vsize=23488 CPUtime=1.87 /proc/11709/stat : 11709 (clasp-1.0) R 11707 10930 10269 0 -1 4194304 6033 0 0 0 184 3 0 0 25 0 1 0 291910822 24051712 5435 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0 /proc/11709/statm: 5872 5435 249 81 0 5246 0 Current children cumulated CPU time (s) 15.06 Current children cumulated vsize (KiB) 42040 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): 1786.9 # lost CPU user time (s): 1786.55 # lost CPU system time (s): 0.35 Real time (s): 1802.83 CPU time (s): 1802.01 CPU user time (s): 1801.03 CPU system time (s): 0.977904 CPU usage (%): 99.9544 Max. virtual memory (cumulated for all children) (KiB): 142536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.4788 system time used= 0.627904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78766 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= 4725 involuntary context switches= 2058 runsolver used 1.68374 second user time and 4.88726 second system time The end
Begin job on node12 on Thu May 3 01:48:53 UTC 2007 IDJOB= 453784 IDBENCH= 48153 IDSOLVER= 167 FILE ID= node12/453784-1178156933 PBS_JOBID= 4751094 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_25_4.opb COMMAND LINE= pbclasp instance-453784-1178156933.opb /tmp/evaluation/453784-1178156933/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-453784-1178156933 -o ROOT/results/node12/conversion-453784-1178156933 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453784-1178156933/instance-453784-1178156933.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-453784-1178156933 -o ROOT/results/node12/solver-453784-1178156933 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453784-1178156933.opb /tmp/evaluation/453784-1178156933/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071 RANDOM SEED= 647337657 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1756296 kB Buffers: 101284 kB Cached: 105216 kB SwapCached: 11848 kB Active: 119708 kB Inactive: 110328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1756296 kB SwapTotal: 4192956 kB SwapFree: 4160052 kB Dirty: 1720 kB Writeback: 0 kB Mapped: 30192 kB Slab: 55168 kB Committed_AS: 10620768 kB PageTables: 1792 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= 66560 MiB End job on node12 on Thu May 3 02:18:57 UTC 2007