Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 87587 | 1802.01 | 1802.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb |
MD5SUM | 908b859aa6cb5be1c335ba1e4149146b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 87587 |
Best CPU time to get the best result obtained on this benchmark | 1802.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 240 |
Optimality of the best value was proved | NO |
Number of variables | 17840 |
Total number of constraints | 656 |
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 | 656 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 10640 |
Biggest coefficient in the objective function | 3638 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 534104 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 534104 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
7.23/7.36 o 87587 1800.01/1800.72 c Somebody sent me a SIGTERM 1800.01/1800.72 s SATISFIABLE 1800.01/1800.72 v x17 x18 x19 x51 x81 x111 x137 x138 x139 x140 x171 x201 x231 x261 x291 x321 x351 x381 x411 x441 x471 x497 x498 x499 x500 x531 x561 1800.01/1800.72 v x587 x588 x589 x590 x621 x651 x681 x711 x7230 x7260 x7290 x7320 x7350 x7380 x7410 x7440 x7470 x7500 x7530 x7560 x7590 x7620 1800.01/1800.72 v x7650 x7680 x7710 x7740 x7770 x7800 x7830 x7860 x7890 x7920 x9380 x9403 x9404 x9405 x9406 x9407 x9410 x9423 x9424 x9425 x9426 1800.01/1800.72 v x9427 x9428 x9429 x9430 x9431 x9432 x9433 x9434 x9453 x9454 x9455 x9456 x9457 x9458 x9459 x9460 x9461 x9462 x9463 x9464 x9492 1800.01/1800.72 v x9525 x9526 x9527 x9543 x9544 x9545 x9546 x9547 x9548 x9549 x9550 x9551 x9552 x9553 x9554 x9572 x9573 x9574 x9575 x9576 x9577 1800.01/1800.72 v x9578 x9579 x9580 x9581 x9582 x9583 x9602 x9603 x9604 x9605 x9606 x9607 x9608 x9609 x9610 x9611 x9612 x9632 x9633 x9634 x9635 1800.01/1800.72 v x9636 x9637 x9638 x9639 x9640 x9641 x9642 x9643 x9663 x9664 x9665 x9666 x9667 x9668 x9669 x9670 x9671 x9672 x9673 x9674 x9693 1800.01/1800.72 v x9694 x9695 x9696 x9697 x9698 x9699 x9700 x9701 x9702 x9703 x9704 x9722 x9723 x9724 x9725 x9726 x9727 x9728 x9729 x9730 x9731 1800.01/1800.72 v x9732 x9733 x9734 x9752 x9753 x9754 x9755 x9756 x9757 x9758 x9759 x9760 x9761 x9762 x9782 x9783 x9784 x9785 x9786 x9787 x9788 1800.01/1800.72 v x9789 x9790 x9791 x9792 x9813 x9814 x9815 x9816 x9817 x9818 x9819 x9820 x9821 x9822 x9823 x9824 x9852 x9888 x9902 x9903 x9904 1800.01/1800.72 v x9905 x9906 x9907 x9908 x9909 x9910 x9911 x9912 x9913 x9942 x9974 x9978 x9992 x9993 x9994 x9995 x9996 x9997 x9998 x9999 x10000 1800.01/1800.72 v x10001 x10002 x10003 x10022 x10023 x10024 x10025 x10026 x10027 x10028 x10029 x10030 x10031 x10032 x10052 x10053 x10054 1800.01/1800.72 v x10055 x10056 x10057 x10058 x10059 x10060 x10061 x10062 x10063 x10064 x10093 x10094 x10095 x10124 x10125 x10156 x10186 1800.01/1800.72 v x10216 x10244 x10245 x10276 x10304 x10305 x10334 x10335 x10364 x10365 x10394 x10395 x10424 x10425 x10456 x10484 x10485 1800.01/1800.72 v x10514 x10515 x10546 x10574 x10575 x10603 x10606 x10636 x10666 x10694 x10695 x10724 x10725 x10754 x10755 x10786 x10815 1800.01/1800.72 v x10816 x10845 x10846 x10875 x10876 x10905 x10906 x10934 x10936 x10964 x10966 x10995 x10996 x11025 x11026 x11055 x11056 1800.01/1800.72 v x11085 x11086 x11114 x11116 x11145 x11146 x11175 x11176 x11204 x11206 x11235 x11236 x11265 x11266 x11294 x11296 x11324 1800.01/1800.72 v x11326 x11355 x11356 x11384 x11386 x11413 x11416 x11444 x11446 x11475 x11476 x11504 x11506 x11536 x11537 x11565 x11566 1800.01/1800.72 v x11567 x11593 x11596 x11597 x11623 x11626 x11627 x11654 x11655 x11657 x11685 x11686 x11687 x11713 x11716 x11717 x11746 1800.01/1800.72 v x11747 x11774 x11776 x11777 x11803 x11806 x11807 x11833 x11836 x11837 x11863 x11868 x11893 x11895 x11897 x11926 x11927 1800.01/1800.72 v x11955 x11957 x11983 x11985 x11987 x12013 x12015 x12016 x12017 x12046 x12047 x12075 x12076 x12077 x12103 x12105 x12107 1800.01/1800.72 v x12135 x12137 x12163 x12166 x12167 x12193 x12196 x12197 x12224 x12225 x12227 x12252 x12256 x12260 x12284 x12286 x12288 1800.01/1800.72 v x12290 x12314 x12315 x12318 x12344 x12345 x12348 x12374 x12376 x12404 x12405 x12408 x12434 x12435 x12438 x12465 x12468 1800.01/1800.72 v x12494 x12495 x12496 x12497 x12525 x12528 x12555 x12558 x12585 x12588 x12616 x12618 x12644 x12645 x12646 x12647 x12674 1800.01/1800.72 v x12675 x12676 x12677 x12704 x12705 x12708 x12736 x12764 x12766 x12768 x12794 x12795 x12798 x12824 x12826 x12856 x12858 1800.01/1800.72 v x12885 x12888 x12914 x12915 x12916 x12917 x12946 x12948 x12976 x12977 x13005 x13007 x13034 x13035 x13037 x13064 x13065 1800.01/1800.72 v x13067 x13095 x13097 x13124 x13127 x13154 x13155 x13157 x13185 x13187 x13215 x13217 x13245 x13247 x13274 x13277 x13305 1800.01/1800.72 v x13307 x13334 x13335 x13337 x13364 x13367 x13395 x13397 x13424 x13425 x13427 x13454 x13457 x13484 x13485 x13487 x13514 1800.01/1800.72 v x13515 x13517 x13545 x13547 x13574 x13577 x13604 x13607 x13635 x13637 x13665 x13667 x13696 x13698 x13725 x13726 x13728 1800.01/1800.72 v x13754 x13756 x13758 x13784 x13786 x13788 x13815 x13818 x13844 x13846 x13848 x13874 x13876 x13878 x13906 x13908 x13934 1800.01/1800.72 v x13936 x13938 x13964 x13966 x13968 x13996 x13998 x14027 x14028 x14054 x14055 x14058 x14084 x14085 x14088 x14115 x14118 1800.01/1800.72 v x14144 x14145 x14148 x14175 x14176 x14178 x14204 x14205 x14208 x14235 x14236 x14238 x14265 x14268 x14294 x14295 x14296 1800.01/1800.72 v x14297 x14326 x14328 x14354 x14356 x14358 x14385 x14388 x14413 x14416 x14420 x14444 x14446 x14448 x14450 x14476 x14478 1800.01/1800.72 v x14506 x14508 x14534 x14536 x14566 x14568 x14596 x14598 x14625 x14628 x14654 x14655 x14656 x14657 x14685 x14688 x14715 1800.01/1800.72 v x14718 x14745 x14748 x14776 x14778 x14804 x14805 x14806 x14807 x14834 x14835 x14836 x14837 x14866 x14868 x14896 x14924 1800.01/1800.72 v x14926 x14928 x14956 x14958 x14984 x14986 x15016 x15018 x15045 x15048 x15074 x15075 x15076 x15077 x15106 x15108 x15135 1800.01/1800.72 v x15138 x15140 x15164 x15165 x15166 x15167 x15168 x15170 x15199 x15229 x15254 x15255 x15256 x15257 x15286 x15287 x15288 1800.01/1800.72 v x15319 x15346 x15347 x15348 x15374 x15375 x15377 x15378 x15406 x15407 x15408 x15434 x15435 x15437 x15438 x15466 x15467 1800.01/1800.72 v x15468 x15494 x15495 x15496 x15497 x15498 x15525 x15527 x15528 x15554 x15555 x15557 x15558 x15589 x15614 x15616 x15617 1800.01/1800.72 v x15645 x15649 x15679 x15704 x15705 x15706 x15707 x15734 x15736 x15737 x15738 x15764 x15765 x15767 x15768 x15794 x15795 1800.01/1800.72 v x15797 x15798 x15829 x15855 x15859 x15885 x15889 x15915 x15919 x15945 x15949 x15976 x15977 x15978 x16009 x16035 x16039 1800.01/1800.72 v x16069 x16094 x16095 x16096 x16097 x16098 x16124 x16125 x16126 x16127 x16128 x16154 x16156 x16157 x16158 x16184 x16185 1800.01/1800.72 v x16189 x16219 x16246 x16247 x16248 x16276 x16277 x16278 x16309 x16334 x16335 x16336 x16337 x16338 x16369 x16394 x16395 1800.01/1800.72 v x16399 x16426 x16427 x16428 x16455 x16457 x16458 x16484 x16486 x16487 x16488 x16514 x16515 x16516 x16517 x16518 x16546 1800.01/1800.72 v x16547 x16548 x16561 x16562 x16563 x16564 x16565 x16566 x16567 x16568 x16569 x16570 x16571 x16572 x16573 x16574 x16575 1800.01/1800.72 v x16576 x16577 x16578 x16579 x16580 x16581 x16582 x16583 x16584 x16585 x16586 x16587 x16588 x16589 x16590 x16591 x16592 1800.01/1800.72 v x16593 x16594 x16595 x16596 x16597 x16598 x16599 x16600 x16601 x16602 x16603 x16604 x16605 x16606 x16607 x16608 x16609 1800.01/1800.72 v x16610 x16611 x16612 x16613 x16614 x16615 x16616 x16617 x16618 x16619 x16620 x16621 x16622 x16623 x16624 x16625 x16626 1800.01/1800.72 v x16627 x16628 x16629 x16630 x16631 x16632 x16633 x16634 x16635 x16636 x16637 x16638 x16639 x16640 x16641 x16642 x16643 1800.01/1800.72 v x16644 x16645 x16646 x16647 x16648 x16649 x16650 x16651 x16652 x16653 x16654 x16655 x16656 x16667 x16678 x16689 x16700 1800.01/1800.72 v x16711 x16722 x16733 x16744 x16755 x16766 x16777 x16788 x16799 x16810 x16821 x16832 x16843 x16854 x16865 x16876 x16887 1800.01/1800.72 v x16898 x16909 x16920 x16931 x16942 x16953 x16964 x16975 x16986 x16997 x17008 x17019 x17030 x17041 x17052 x17063 x17074 1800.01/1800.72 v x17085 x17096 x17107 x17118 x17129 x17140 x17151 x17162 x17173 x17184 x17195 x17206 x17217 x17228 x17239 x17250 x17261 1800.01/1800.72 v x17272 x17283 x17294 x17305 x17316 x17327 x17338 x17349 x17360 x17371 x17382 x17393 x17404 x17415 x17426 x17437 x17448 1800.01/1800.72 v x17459 x17470 x17481 x17492 x17503 x17514 x17525 x17536 x17547 x17558 x17569 x17580 x17591 x17602 x17613 x17624 x17635 1800.01/1800.72 v x17646 x17657 x17668 x17679 x17690 x17701 x17712 x17723 x17734 x17745 x17756 x17767 x17778 x17789 x17800 x17801 x17802 1800.01/1800.72 v x17803 x17804 x17805 x17806 x17807 x17808 x17809 x17810 x17811 x17812 x17813 x17814 x17815 x17816 x17817 x17818 x17819 1800.01/1800.72 v x17820 x17821 x17822 x17823 x17824 x17825 x17826 x17827 x17828 x17829 x17830 x17831 x17832 x17833 x17834 x17835 x17836 1800.01/1800.72 v x17837 x17838 x17839 x17840 1800.01/1800.72 pb2clasp1: no process killed 1800.01/1800.73 clasp-1.0: no process killed 9.29/1802.72 sh: line 1: 17222 Done cat /tmp/evaluation/350697-1176540344/temp/instance-350697-1176540344.opb.op 9.29/1802.72 17223 Killed | clasp-1.0 --trans=no >/tmp/evaluation/350697-1176540344/temp/instance-350697-1176540344.opb.clasp
OK 87587
/tmp/evaluation/350697-1176540344/instance-350697-1176540344.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-350697-1176540344 -o ROOT/results/node12/solver-350697-1176540344 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350697-1176540344.opb /tmp/evaluation/350697-1176540344/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: 1.00 1.00 1.00 3/77 16996 /proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=124 CPUtime=0 /proc/16996/stat : 16996 (pbclasp) D 16994 16996 16177 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 130071753 126976 23 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252426909065 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/16996/statm: 31 23 17 3 0 3 0 [startup+0.101482 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16996 /proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=13704 CPUtime=0.05 /proc/16996/stat : 16996 (pbclasp) R 16994 16996 16177 0 -1 4194304 814 0 0 0 5 0 0 0 18 0 1 0 130071753 14032896 780 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252449853198 0 0 4224 16384 0 0 0 17 1 0 0 /proc/16996/statm: 3426 780 320 3 0 526 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13704 [startup+0.201492 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16996 /proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=13836 CPUtime=0.15 /proc/16996/stat : 16996 (pbclasp) R 16994 16996 16177 0 -1 4194304 836 0 0 0 15 0 0 0 18 0 1 0 130071753 14168064 802 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252449853186 0 0 4224 16384 0 0 0 17 1 0 0 /proc/16996/statm: 3459 802 320 3 0 559 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 13836 [startup+0.301502 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16996 /proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=13968 CPUtime=0.25 /proc/16996/stat : 16996 (pbclasp) R 16994 16996 16177 0 -1 4194304 859 0 0 0 25 0 0 0 19 0 1 0 130071753 14303232 825 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252429374177 0 0 4224 16384 0 0 0 17 1 0 0 /proc/16996/statm: 3492 825 320 3 0 592 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 13968 [startup+0.701542 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16996 /proc/meminfo: memFree=1763016/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=14364 CPUtime=0.65 /proc/16996/stat : 16996 (pbclasp) R 16994 16996 16177 0 -1 4194304 949 0 0 0 65 0 0 0 22 0 1 0 130071753 14708736 915 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252449853192 0 0 4224 16384 0 0 0 17 1 0 0 /proc/16996/statm: 3591 915 320 3 0 691 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 14364 [startup+1.50162 s] /proc/loadavg: 1.00 1.00 1.00 3/78 16997 /proc/meminfo: memFree=1759808/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=15604 CPUtime=1.17 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 1292 0 0 0 117 0 0 0 16 0 1 0 130071753 15978496 1245 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/16996/statm: 3901 1245 324 3 0 1001 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 15604 [startup+3.10278 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17006 /proc/meminfo: memFree=1751208/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16528 CPUtime=1.83 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 1887 1622 0 0 120 1 60 2 17 0 1 0 130071753 16924672 1499 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4132 1499 343 3 0 1232 0 [pid=17004] ppid=16996 vsize=5352 CPUtime=0 /proc/17004/stat : 17004 (sh) S 16996 16996 16177 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130071942 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17004/statm: 1338 224 188 169 0 49 0 [pid=17006] ppid=17004 vsize=10896 CPUtime=1.2 /proc/17006/stat : 17006 (clasp-1.0) R 17004 16996 16177 0 -1 4194304 2515 0 0 0 119 1 0 0 25 0 1 0 130071943 11157504 2322 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617557 0 0 4096 0 0 0 0 17 1 0 0 /proc/17006/statm: 2724 2322 249 81 0 2098 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 32776 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17006 /proc/meminfo: memFree=1746792/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16528 CPUtime=1.83 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 1887 1622 0 0 120 1 60 2 17 0 1 0 130071753 16924672 1499 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4132 1499 343 3 0 1232 0 [pid=17004] ppid=16996 vsize=5352 CPUtime=0 /proc/17004/stat : 17004 (sh) S 16996 16996 16177 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130071942 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17004/statm: 1338 224 188 169 0 49 0 [pid=17006] ppid=17004 vsize=10896 CPUtime=4.4 /proc/17006/stat : 17006 (clasp-1.0) R 17004 16996 16177 0 -1 4194304 2515 0 0 0 439 1 0 0 25 0 1 0 130071943 11157504 2322 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0 /proc/17006/statm: 2724 2322 249 81 0 2098 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 32776 [startup+12.7017 s] /proc/loadavg: 1.08 1.02 1.01 2/80 17014 /proc/meminfo: memFree=1746536/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=11344 CPUtime=5.29 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 2566 0 0 0 528 1 0 0 25 0 1 0 130072493 11616256 2373 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617547 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 2836 2373 249 81 0 2210 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 33356 [startup+25.502 s] /proc/loadavg: 1.07 1.02 1.00 2/80 17014 /proc/meminfo: memFree=1745456/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=12532 CPUtime=18.09 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 2867 0 0 0 1807 2 0 0 25 0 1 0 130072493 12832768 2674 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 3133 2674 249 81 0 2507 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 34544 [startup+51.1016 s] /proc/loadavg: 1.04 1.02 1.00 2/80 17014 /proc/meminfo: memFree=1739888/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=18028 CPUtime=43.67 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 4254 0 0 0 4364 3 0 0 25 0 1 0 130072493 18460672 4061 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784496 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 4507 4061 249 81 0 3881 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 40040 [startup+102.302 s] /proc/loadavg: 1.02 1.01 1.00 2/80 17014 /proc/meminfo: memFree=1736816/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=21168 CPUtime=94.87 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 5008 0 0 0 9482 5 0 0 25 0 1 0 130072493 21676032 4815 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784595 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 5292 4815 249 81 0 4666 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 43180 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/80 17014 /proc/meminfo: memFree=1729072/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=29020 CPUtime=154.84 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 6956 0 0 0 15477 7 0 0 25 0 1 0 130072493 29716480 6763 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 7255 6763 249 81 0 6629 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 51032 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17014 /proc/meminfo: memFree=1726768/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=31132 CPUtime=214.83 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 7477 0 0 0 21475 8 0 0 25 0 1 0 130072493 31879168 7284 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 7783 7284 249 81 0 7157 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 53144 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17014 /proc/meminfo: memFree=1726704/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=31132 CPUtime=274.8 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 7477 0 0 0 27472 8 0 0 25 0 1 0 130072493 31879168 7284 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134789697 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 7783 7284 249 81 0 7157 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 53144 ################ # More data... # ################ /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=51408 CPUtime=1534.36 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 12639 0 0 0 153415 21 0 0 25 0 1 0 130072493 52641792 11756 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784622 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 12852 11756 249 81 0 12226 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 73420 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17212 /proc/meminfo: memFree=1706480/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=52628 CPUtime=1594.34 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 12948 0 0 0 159412 22 0 0 25 0 1 0 130072493 53891072 12029 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 13157 12029 249 81 0 12531 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 74640 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17212 /proc/meminfo: memFree=1705968/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=52988 CPUtime=1654.32 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13053 0 0 0 165410 22 0 0 25 0 1 0 130072493 54259712 12134 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 13247 12134 249 81 0 12621 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 75000 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17212 /proc/meminfo: memFree=1705520/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=53492 CPUtime=1714.31 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13194 0 0 0 171408 23 0 0 25 0 1 0 130072493 54775808 12239 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 13373 12239 249 81 0 12747 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 75504 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17212 /proc/meminfo: memFree=1705200/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=53780 CPUtime=1774.28 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13303 0 0 0 177405 23 0 0 25 0 1 0 130072493 55070720 12312 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 13445 12312 249 81 0 12819 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 75792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17212 /proc/meminfo: memFree=1705136/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=53852 CPUtime=1792.68 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13352 0 0 0 179245 23 0 0 25 0 1 0 130072493 55144448 12325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784657 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 13463 12325 249 81 0 12837 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 75864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17212 /proc/meminfo: memFree=1705136/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.33 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2117 5496 0 0 122 1 605 5 16 0 1 0 130071753 17059840 1512 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1512 343 3 0 1265 0 [pid=17012] ppid=16996 vsize=5352 CPUtime=0 /proc/17012/stat : 17012 (sh) S 16996 16996 16177 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130072493 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17012/statm: 1338 224 188 169 0 49 0 [pid=17014] ppid=17012 vsize=53852 CPUtime=1792.68 /proc/17014/stat : 17014 (clasp-1.0) R 17012 16996 16177 0 -1 4194304 13352 0 0 0 179245 23 0 0 25 0 1 0 130072493 55144448 12325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784657 0 0 4096 0 0 0 0 17 1 0 0 /proc/17014/statm: 13463 12325 249 81 0 12837 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 75864 # WARNING: # current cumulated CPU time (7.37 s) is less than in the last sample (1800.01 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1792.64 s) to the 'lost time'. [startup+1800.82 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17212 /proc/meminfo: memFree=1705136/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.37 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2287 7278 0 0 123 1 605 8 17 0 1 0 130071753 17059840 1514 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1514 343 3 0 1265 0 Current children cumulated CPU time (s) 7.37 Current children cumulated vsize (KiB) 16660 Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17212 /proc/meminfo: memFree=1705136/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.37 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2287 7278 0 0 123 1 605 8 17 0 1 0 130071753 17059840 1514 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1514 343 3 0 1265 0 Current children cumulated CPU time (s) 7.37 Current children cumulated vsize (KiB) 16660 [startup+1802.3 s] /proc/loadavg: 1.00 1.00 1.00 2/81 17223 /proc/meminfo: memFree=1744600/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.37 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2287 7278 0 0 123 1 605 8 17 0 1 0 130071753 17059840 1514 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1514 343 3 0 1265 0 [pid=17221] ppid=16996 vsize=5352 CPUtime=0 /proc/17221/stat : 17221 (sh) S 16996 16996 16177 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130251829 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17221/statm: 1338 224 188 169 0 49 0 [pid=17223] ppid=17221 vsize=11344 CPUtime=1.52 /proc/17223/stat : 17223 (clasp-1.0) R 17221 16996 16177 0 -1 4194304 2553 0 0 0 151 1 0 0 25 0 1 0 130251830 11616256 2360 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0 /proc/17223/statm: 2836 2360 249 81 0 2210 0 Current children cumulated CPU time (s) 8.89 Current children cumulated vsize (KiB) 33356 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/81 17223 /proc/meminfo: memFree=1744600/2055920 swapFree=4191880/4192956 [pid=16996] ppid=16994 vsize=16660 CPUtime=7.37 /proc/16996/stat : 16996 (pbclasp) S 16994 16996 16177 0 -1 4194304 2287 7278 0 0 123 1 605 8 17 0 1 0 130071753 17059840 1514 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438429588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16996/statm: 4165 1514 343 3 0 1265 0 [pid=17221] ppid=16996 vsize=5352 CPUtime=0 /proc/17221/stat : 17221 (sh) S 16996 16996 16177 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130251829 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17221/statm: 1338 224 188 169 0 49 0 [pid=17223] ppid=17221 vsize=11344 CPUtime=1.92 /proc/17223/stat : 17223 (clasp-1.0) R 17221 16996 16177 0 -1 4194304 2561 0 0 0 191 1 0 0 25 0 1 0 130251830 11616256 2368 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/17223/statm: 2836 2368 249 81 0 2210 0 Current children cumulated CPU time (s) 9.29 Current children cumulated vsize (KiB) 33356 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): 1792.64 # lost CPU user time (s): 1792.44 # lost CPU system time (s): 0.2 Real time (s): 1802.74 CPU time (s): 1802.01 CPU user time (s): 1801.68 CPU system time (s): 0.32798 CPU usage (%): 99.9598 Max. virtual memory (cumulated for all children) (KiB): 75864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.24259 system time used= 0.12798 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13492 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= 1137 involuntary context switches= 86 runsolver used 1.83072 second user time and 4.73428 second system time The end
Begin job on node12 on Sat Apr 14 08:45:44 UTC 2007 IDJOB= 350697 IDBENCH= 1578 IDSOLVER= 167 FILE ID= node12/350697-1176540344 PBS_JOBID= 4556736 Free space on /tmp= 66433 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb COMMAND LINE= pbclasp instance-350697-1176540344.opb /tmp/evaluation/350697-1176540344/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-350697-1176540344 -o ROOT/results/node12/conversion-350697-1176540344 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350697-1176540344/instance-350697-1176540344.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-350697-1176540344 -o ROOT/results/node12/solver-350697-1176540344 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350697-1176540344.opb /tmp/evaluation/350697-1176540344/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 908b859aa6cb5be1c335ba1e4149146b RANDOM SEED= 81195935 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: 1763424 kB Buffers: 14740 kB Cached: 181032 kB SwapCached: 408 kB Active: 92500 kB Inactive: 150080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763424 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 1244 kB Writeback: 0 kB Mapped: 63864 kB Slab: 35464 kB Committed_AS: 4007692 kB PageTables: 1804 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= 66430 MiB End job on node12 on Sat Apr 14 09:15:47 UTC 2007