Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 256 | 1802.01 | 1802.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb |
MD5SUM | 1be7a0a5556e21a359d6f31cb8a3ccd8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 256 |
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 | 17600 |
Total number of constraints | 632 |
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 | 632 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 10400 |
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 | 533864 |
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 | 533864 |
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 |
37.85/37.95 o 256 1800.02/1800.81 c Somebody sent me a SIGTERM 1800.02/1800.81 s SATISFIABLE 1800.02/1800.81 v x2 x3 x4 x5 x6 x8 x9 x14 x15 x16 x31 x32 x33 x44 x46 x136 x9361 x9362 x9363 x9364 x9365 x9366 x9367 x9368 x9369 x9370 x9371 x9372 1800.02/1800.81 v x9373 x9376 x9377 x9396 x9397 x9398 x9399 x9400 x9401 x9402 x9434 x9464 x9467 x9494 x9495 x9497 x9524 x9525 x9554 x9557 x9583 1800.02/1800.81 v x9584 x9585 x9586 x9617 x9643 x9644 x9645 x9646 x9674 x9677 x9704 x9707 x9735 x9737 x9767 x9797 x9824 x9827 x9853 x9855 x9856 1800.02/1800.81 v x9884 x9887 x9913 x9914 x9915 x9916 x9943 x9945 x9946 x9973 x9975 x9977 x10003 x10004 x10005 x10006 x10037 x10065 x10067 1800.02/1800.81 v x10093 x10094 x10095 x10124 x10125 x10156 x10186 x10216 x10244 x10245 x10276 x10304 x10305 x10334 x10335 x10364 x10365 1800.02/1800.81 v x10394 x10395 x10424 x10425 x10456 x10484 x10485 x10514 x10515 x10546 x10574 x10575 x10603 x10606 x10636 x10666 x10694 1800.02/1800.81 v x10695 x10724 x10725 x10754 x10755 x10786 x10815 x10816 x10845 x10846 x10875 x10876 x10905 x10906 x10934 x10936 x10964 1800.02/1800.81 v x10966 x10995 x10996 x11025 x11026 x11055 x11056 x11085 x11086 x11114 x11116 x11145 x11146 x11175 x11176 x11204 x11206 1800.02/1800.81 v x11235 x11236 x11265 x11266 x11294 x11296 x11324 x11326 x11355 x11356 x11384 x11386 x11413 x11416 x11444 x11446 x11475 1800.02/1800.81 v x11476 x11504 x11506 x11536 x11537 x11565 x11566 x11567 x11593 x11596 x11597 x11623 x11626 x11627 x11654 x11655 x11657 1800.02/1800.81 v x11685 x11686 x11687 x11713 x11716 x11717 x11746 x11747 x11774 x11776 x11777 x11803 x11806 x11807 x11833 x11836 x11837 1800.02/1800.81 v x11863 x11864 x11865 x11866 x11867 x11893 x11895 x11897 x11926 x11927 x11955 x11957 x11983 x11985 x11987 x12013 x12015 1800.02/1800.81 v x12016 x12017 x12046 x12047 x12075 x12076 x12077 x12103 x12105 x12107 x12135 x12137 x12163 x12166 x12167 x12193 x12196 1800.02/1800.81 v x12197 x12224 x12225 x12227 x12259 x12284 x12285 x12287 x12314 x12316 x12344 x12346 x12347 x12374 x12375 x12376 x12377 1800.02/1800.81 v x12405 x12406 x12434 x12436 x12437 x12466 x12467 x12494 x12495 x12497 x12526 x12527 x12556 x12557 x12586 x12587 x12618 1800.02/1800.81 v x12644 x12645 x12647 x12674 x12675 x12677 x12704 x12706 x12707 x12734 x12735 x12737 x12768 x12794 x12796 x12797 x12826 1800.02/1800.81 v x12827 x12858 x12886 x12887 x12914 x12915 x12917 x12948 x12976 x12977 x13005 x13007 x13034 x13035 x13037 x13064 x13065 1800.02/1800.81 v x13067 x13095 x13097 x13124 x13127 x13154 x13155 x13157 x13185 x13187 x13215 x13217 x13245 x13247 x13274 x13277 x13305 1800.02/1800.81 v x13307 x13334 x13335 x13337 x13364 x13367 x13395 x13397 x13424 x13425 x13427 x13454 x13457 x13484 x13485 x13487 x13514 1800.02/1800.81 v x13515 x13517 x13545 x13547 x13574 x13577 x13604 x13607 x13635 x13637 x13665 x13667 x13696 x13698 x13725 x13726 x13728 1800.02/1800.81 v x13754 x13756 x13758 x13784 x13786 x13788 x13815 x13818 x13844 x13846 x13848 x13874 x13876 x13878 x13906 x13908 x13934 1800.02/1800.81 v x13936 x13938 x13964 x13966 x13968 x13996 x13998 x14024 x14027 x14028 x14054 x14055 x14058 x14084 x14085 x14088 x14115 1800.02/1800.81 v x14118 x14144 x14145 x14148 x14175 x14176 x14178 x14204 x14205 x14208 x14235 x14236 x14238 x14265 x14268 x14294 x14295 1800.02/1800.81 v x14296 x14297 x14326 x14328 x14354 x14356 x14358 x14385 x14388 x14419 x14446 x14447 x14474 x14476 x14504 x14506 x14507 1800.02/1800.81 v x14534 x14535 x14536 x14537 x14565 x14566 x14594 x14596 x14597 x14626 x14627 x14656 x14657 x14686 x14687 x14716 x14717 1800.02/1800.81 v x14746 x14747 x14778 x14806 x14807 x14836 x14837 x14864 x14866 x14867 x14896 x14897 x14928 x14954 x14956 x14957 x14986 1800.02/1800.81 v x14987 x15018 x15046 x15047 x15076 x15077 x15108 x15136 x15137 x15139 x15165 x15166 x15168 x15195 x15198 x15225 x15227 1800.02/1800.81 v x15228 x15254 x15255 x15257 x15258 x15284 x15285 x15286 x15287 x15315 x15317 x15318 x15347 x15348 x15375 x15376 x15378 1800.02/1800.81 v x15407 x15408 x15435 x15436 x15438 x15467 x15468 x15494 x15495 x15497 x15498 x15524 x15526 x15528 x15555 x15556 x15558 1800.02/1800.81 v x15585 x15587 x15588 x15614 x15616 x15618 x15644 x15645 x15647 x15648 x15675 x15677 x15678 x15707 x15708 x15734 x15737 1800.02/1800.81 v x15738 x15765 x15766 x15768 x15795 x15796 x15798 x15825 x15827 x15828 x15855 x15859 x15885 x15889 x15915 x15919 x15945 1800.02/1800.81 v x15949 x15976 x15977 x15978 x16009 x16035 x16039 x16069 x16094 x16095 x16096 x16097 x16098 x16124 x16125 x16126 x16127 1800.02/1800.81 v x16128 x16154 x16156 x16157 x16158 x16186 x16189 x16219 x16246 x16247 x16248 x16276 x16277 x16278 x16309 x16334 x16335 1800.02/1800.81 v x16336 x16337 x16338 x16369 x16394 x16395 x16399 x16426 x16427 x16428 x16455 x16457 x16458 x16484 x16486 x16487 x16488 1800.02/1800.81 v x16514 x16515 x16516 x16517 x16518 x16546 x16547 x16548 x16561 x16562 x16563 x16564 x16565 x16566 x16567 x16568 x16569 1800.02/1800.81 v x16570 x16571 x16572 x16573 x16574 x16575 x16576 x16577 x16578 x16579 x16580 x16581 x16582 x16583 x16584 x16585 x16586 1800.02/1800.81 v x16587 x16588 x16589 x16590 x16591 x16592 x16593 x16594 x16595 x16596 x16597 x16598 x16599 x16600 x16601 x16602 x16603 1800.02/1800.81 v x16604 x16605 x16606 x16607 x16608 x16609 x16610 x16611 x16612 x16613 x16614 x16615 x16616 x16617 x16618 x16619 x16620 1800.02/1800.81 v x16621 x16622 x16623 x16624 x16625 x16626 x16627 x16628 x16629 x16630 x16631 x16632 x16633 x16634 x16635 x16636 x16637 1800.02/1800.81 v x16638 x16639 x16640 x16641 x16642 x16643 x16644 x16645 x16646 x16647 x16648 x16649 x16650 x16651 x16652 x16653 x16654 1800.02/1800.81 v x16655 x16656 x16657 x16658 x16659 x16660 x16661 x16662 x16663 x16664 x16665 x16666 x16667 x16668 x16669 x16670 x16671 1800.02/1800.81 v x16672 x16673 x16674 x16675 x16676 x16677 x16678 x16679 x16680 x16691 x16702 x16713 x16724 x16735 x16746 x16757 x16768 1800.02/1800.81 v x16779 x16790 x16801 x16812 x16823 x16834 x16845 x16856 x16867 x16878 x16889 x16900 x16911 x16922 x16933 x16944 x16955 1800.02/1800.81 v x16966 x16977 x16988 x16999 x17010 x17021 x17032 x17043 x17054 x17065 x17076 x17087 x17098 x17109 x17120 x17131 x17142 1800.02/1800.81 v x17153 x17164 x17175 x17186 x17197 x17208 x17219 x17230 x17241 x17252 x17263 x17274 x17285 x17296 x17307 x17318 x17329 1800.02/1800.81 v x17340 x17351 x17362 x17373 x17384 x17395 x17406 x17417 x17428 x17439 x17450 x17461 x17472 x17483 x17494 x17505 x17516 1800.02/1800.81 v x17527 x17538 x17549 x17560 x17561 x17562 x17563 x17564 x17565 x17566 x17567 x17568 x17569 x17570 x17571 x17572 x17573 1800.02/1800.81 v x17574 x17575 x17576 x17577 x17578 x17579 x17580 x17581 x17582 x17583 x17584 x17585 x17586 x17587 x17588 x17589 x17590 1800.02/1800.81 v x17591 x17592 x17593 x17594 x17595 x17596 x17597 x17598 x17599 x17600 1800.02/1800.82 pb2clasp1: no process killed 1800.02/1800.82 clasp-1.0: no process killed 39.92/1802.82 sh: line 1: 8122 Done cat /tmp/evaluation/350749-1176546151/temp/instance-350749-1176546151.opb.op 39.92/1802.82 8123 Killed | clasp-1.0 --trans=no >/tmp/evaluation/350749-1176546151/temp/instance-350749-1176546151.opb.clasp
OK 256
/tmp/evaluation/350749-1176546151/instance-350749-1176546151.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-350749-1176546151 -o ROOT/results/node10/solver-350749-1176546151 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350749-1176546151.opb /tmp/evaluation/350749-1176546151/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 1.00 0.99 3/77 8092 /proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=12268 CPUtime=0 /proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 130652599 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214920034917 0 0 4224 0 0 0 0 17 1 0 0 /proc/8092/statm: 3067 317 242 3 0 167 0 [startup+0.00839097 s] /proc/loadavg: 0.92 1.00 0.99 3/77 8092 /proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=12400 CPUtime=0 /proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 433 0 0 0 0 0 0 0 18 0 1 0 130652599 12697600 399 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214919713505 0 0 4224 0 0 0 0 17 1 0 0 /proc/8092/statm: 3100 400 286 3 0 200 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12400 [startup+0.101411 s] /proc/loadavg: 0.92 1.00 0.99 3/77 8092 /proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=13824 CPUtime=0.09 /proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 818 0 0 0 9 0 0 0 18 0 1 0 130652599 14155776 784 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214919747130 0 0 4224 16384 0 0 0 17 1 0 0 /proc/8092/statm: 3456 784 320 3 0 556 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13824 [startup+0.301454 s] /proc/loadavg: 0.92 1.00 0.99 3/77 8092 /proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=13956 CPUtime=0.29 /proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 862 0 0 0 29 0 0 0 19 0 1 0 130652599 14290944 828 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214938095368 0 0 4224 16384 0 0 0 17 1 0 0 /proc/8092/statm: 3489 828 320 3 0 589 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13956 [startup+0.701539 s] /proc/loadavg: 0.92 1.00 0.99 3/77 8092 /proc/meminfo: memFree=1800832/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=14532 CPUtime=0.69 /proc/8092/stat : 8092 (pbclasp) R 8090 8092 6975 0 -1 4194304 989 0 0 0 69 0 0 0 22 0 1 0 130652599 14880768 955 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214938095368 0 0 4224 16384 0 0 0 17 1 0 0 /proc/8092/statm: 3633 955 320 3 0 733 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14532 [startup+1.50171 s] /proc/loadavg: 0.92 1.00 0.99 2/78 8093 /proc/meminfo: memFree=1797688/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=15588 CPUtime=1.13 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1278 0 0 0 113 0 0 0 16 0 1 0 130652599 15962112 1231 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928765026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/8092/statm: 3897 1231 324 3 0 997 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 15588 [startup+3.10106 s] /proc/loadavg: 0.92 1.00 0.99 3/80 8102 /proc/meminfo: memFree=1789416/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=1.77 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1842 1622 0 0 115 1 60 1 16 0 1 0 130652599 16908288 1480 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1480 343 3 0 1228 0 [pid=8100] ppid=8092 vsize=5352 CPUtime=0 /proc/8100/stat : 8100 (sh) S 8092 8092 6975 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130652779 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8100/statm: 1338 224 188 169 0 49 0 [pid=8102] ppid=8100 vsize=10904 CPUtime=1.29 /proc/8102/stat : 8102 (clasp-1.0) R 8100 8092 6975 0 -1 4194304 2493 0 0 0 128 1 0 0 25 0 1 0 130652779 11165696 2300 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8102/statm: 2726 2300 249 81 0 2100 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 32768 [startup+6.30275 s] /proc/loadavg: 0.93 1.00 0.99 2/80 8102 /proc/meminfo: memFree=1784744/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=1.77 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1842 1622 0 0 115 1 60 1 16 0 1 0 130652599 16908288 1480 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1480 343 3 0 1228 0 [pid=8100] ppid=8092 vsize=5352 CPUtime=0 /proc/8100/stat : 8100 (sh) S 8092 8092 6975 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130652779 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8100/statm: 1338 224 188 169 0 49 0 [pid=8102] ppid=8100 vsize=10904 CPUtime=4.49 /proc/8102/stat : 8102 (clasp-1.0) R 8100 8092 6975 0 -1 4194304 2501 0 0 0 448 1 0 0 25 0 1 0 130652779 11165696 2308 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617331 0 0 4096 0 0 0 0 17 1 0 0 /proc/8102/statm: 2726 2308 249 81 0 2100 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 32768 [startup+12.7011 s] /proc/loadavg: 0.93 1.00 0.99 2/80 8102 /proc/meminfo: memFree=1782704/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=1.77 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1842 1622 0 0 115 1 60 1 16 0 1 0 130652599 16908288 1480 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1480 343 3 0 1228 0 [pid=8100] ppid=8092 vsize=5352 CPUtime=0 /proc/8100/stat : 8100 (sh) S 8092 8092 6975 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130652779 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8100/statm: 1338 224 188 169 0 49 0 [pid=8102] ppid=8100 vsize=13160 CPUtime=10.89 /proc/8102/stat : 8102 (clasp-1.0) R 8100 8092 6975 0 -1 4194304 3042 0 0 0 1088 1 0 0 25 0 1 0 130652779 13475840 2849 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/8102/statm: 3290 2849 249 81 0 2664 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 35024 [startup+25.5019 s] /proc/loadavg: 0.95 1.00 0.99 2/80 8102 /proc/meminfo: memFree=1781232/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=1.77 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 1842 1622 0 0 115 1 60 1 16 0 1 0 130652599 16908288 1480 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1480 343 3 0 1228 0 [pid=8100] ppid=8092 vsize=5352 CPUtime=0 /proc/8100/stat : 8100 (sh) S 8092 8092 6975 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 130652779 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8100/statm: 1338 224 188 169 0 49 0 [pid=8102] ppid=8100 vsize=14772 CPUtime=23.68 /proc/8102/stat : 8102 (clasp-1.0) R 8100 8092 6975 0 -1 4194304 3463 0 0 0 2367 1 0 0 25 0 1 0 130652779 15126528 3270 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/8102/statm: 3693 3270 249 81 0 3067 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 36636 [startup+51.1014 s] /proc/loadavg: 0.96 1.00 0.99 2/80 8110 /proc/meminfo: memFree=1782320/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=13712 CPUtime=13.01 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 3186 0 0 0 1300 1 0 0 25 0 1 0 130656407 14041088 2993 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784798 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 3428 2993 249 81 0 2802 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 35576 [startup+102.306 s] /proc/loadavg: 0.98 1.00 0.99 2/80 8110 /proc/meminfo: memFree=1775920/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=20076 CPUtime=64.19 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 4780 0 0 0 6417 2 0 0 25 0 1 0 130656407 20557824 4587 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 5019 4587 249 81 0 4393 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 41940 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/80 8110 /proc/meminfo: memFree=1772912/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=23208 CPUtime=124.16 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 5561 0 0 0 12412 4 0 0 25 0 1 0 130656407 23764992 5368 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 5802 5368 249 81 0 5176 0 Current children cumulated CPU time (s) 162.11 Current children cumulated vsize (KiB) 45072 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/80 8110 /proc/meminfo: memFree=1772528/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=23496 CPUtime=184.14 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 5617 0 0 0 18410 4 0 0 25 0 1 0 130656407 24059904 5424 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713707 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 5874 5424 249 81 0 5248 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 45360 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/80 8110 /proc/meminfo: memFree=1771504/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=24792 CPUtime=244.12 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 5974 0 0 0 24407 5 0 0 25 0 1 0 130656407 25387008 5673 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 6198 5673 249 81 0 5572 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 46656 ################ # More data... # ################ /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=46752 CPUtime=1563.63 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11331 0 0 0 156344 19 0 0 25 0 1 0 130656407 47874048 10830 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784608 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 11688 10830 249 81 0 11062 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 68616 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8112 /proc/meminfo: memFree=1750000/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=47164 CPUtime=1623.62 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11402 0 0 0 162342 20 0 0 25 0 1 0 130656407 48295936 10901 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 11791 10901 249 81 0 11165 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 69028 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8112 /proc/meminfo: memFree=1748976/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=48284 CPUtime=1683.59 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11642 0 0 0 168339 20 0 0 25 0 1 0 130656407 49442816 11141 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 12071 11141 249 81 0 11445 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 70148 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8112 /proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=48500 CPUtime=1743.57 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11683 0 0 0 174336 21 0 0 25 0 1 0 130656407 49664000 11182 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 12125 11182 249 81 0 11499 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 70364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8112 /proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=48500 CPUtime=1762.07 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11684 0 0 0 176186 21 0 0 25 0 1 0 130656407 49664000 11183 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616620 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 12125 11183 249 81 0 11499 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 70364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8112 /proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.95 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2008 6800 0 0 117 1 3671 6 16 0 1 0 130652599 16908288 1491 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1491 343 3 0 1228 0 [pid=8108] ppid=8092 vsize=5352 CPUtime=0 /proc/8108/stat : 8108 (sh) S 8092 8092 6975 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 130656407 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8108/statm: 1338 224 188 169 0 49 0 [pid=8110] ppid=8108 vsize=48500 CPUtime=1762.07 /proc/8110/stat : 8110 (clasp-1.0) R 8108 8092 6975 0 -1 4194304 11684 0 0 0 176186 21 0 0 25 0 1 0 130656407 49664000 11183 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616620 0 0 4096 0 0 0 0 17 1 0 0 /proc/8110/statm: 12125 11183 249 81 0 11499 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 70364 # WARNING: # current cumulated CPU time (37.99 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 (1762.03 s) to the 'lost time'. [startup+1800.92 s] /proc/loadavg: 1.00 1.00 1.00 2/80 8112 /proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.99 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1492 343 3 0 1228 0 Current children cumulated CPU time (s) 37.99 Current children cumulated vsize (KiB) 16512 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 8112 /proc/meminfo: memFree=1748720/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.99 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1492 343 3 0 1228 0 Current children cumulated CPU time (s) 37.99 Current children cumulated vsize (KiB) 16512 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/81 8123 /proc/meminfo: memFree=1783904/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.99 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1492 343 3 0 1228 0 [pid=8121] ppid=8092 vsize=5352 CPUtime=0 /proc/8121/stat : 8121 (sh) S 8092 8092 6975 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130832684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8121/statm: 1338 224 188 169 0 49 0 [pid=8123] ppid=8121 vsize=11308 CPUtime=1.32 /proc/8123/stat : 8123 (clasp-1.0) R 8121 8092 6975 0 -1 4194304 2580 0 0 0 132 0 0 0 25 0 1 0 130832685 11579392 2387 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617498 0 0 4096 0 0 0 0 17 1 0 0 /proc/8123/statm: 2827 2387 249 81 0 2201 0 Current children cumulated CPU time (s) 39.31 Current children cumulated vsize (KiB) 33172 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/81 8123 /proc/meminfo: memFree=1783904/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.99 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1492 343 3 0 1228 0 [pid=8121] ppid=8092 vsize=5352 CPUtime=0 /proc/8121/stat : 8121 (sh) S 8092 8092 6975 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130832684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8121/statm: 1338 224 188 169 0 49 0 [pid=8123] ppid=8121 vsize=11308 CPUtime=1.72 /proc/8123/stat : 8123 (clasp-1.0) R 8121 8092 6975 0 -1 4194304 2588 0 0 0 172 0 0 0 25 0 1 0 130832685 11579392 2395 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/8123/statm: 2827 2395 249 81 0 2201 0 Current children cumulated CPU time (s) 39.71 Current children cumulated vsize (KiB) 33172 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 1.00 2/81 8123 /proc/meminfo: memFree=1783840/2055920 swapFree=4166016/4192956 [pid=8092] ppid=8090 vsize=16512 CPUtime=37.99 /proc/8092/stat : 8092 (pbclasp) S 8090 8092 6975 0 -1 4194304 2177 8585 0 0 118 1 3672 8 16 0 1 0 130652599 16908288 1492 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 214928768916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8092/statm: 4128 1492 343 3 0 1228 0 [pid=8121] ppid=8092 vsize=5352 CPUtime=0 /proc/8121/stat : 8121 (sh) S 8092 8092 6975 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 130832684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8121/statm: 1338 224 188 169 0 49 0 [pid=8123] ppid=8121 vsize=11308 CPUtime=1.93 /proc/8123/stat : 8123 (clasp-1.0) R 8121 8092 6975 0 -1 4194304 2589 0 0 0 193 0 0 0 25 0 1 0 130832685 11579392 2396 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617515 0 0 4096 0 0 0 0 17 1 0 0 /proc/8123/statm: 2827 2396 249 81 0 2201 0 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (KiB) 33172 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): 1762.03 # lost CPU user time (s): 1761.84 # lost CPU system time (s): 0.19 Real time (s): 1802.83 CPU time (s): 1802.01 CPU user time (s): 1801.7 CPU system time (s): 0.312981 CPU usage (%): 99.9546 Max. virtual memory (cumulated for all children) (KiB): 70364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 39.8589 system time used= 0.122981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14699 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= 1107 involuntary context switches= 495 runsolver used 1.75473 second user time and 4.81427 second system time The end
Begin job on node10 on Sat Apr 14 10:22:31 UTC 2007 IDJOB= 350749 IDBENCH= 1584 IDSOLVER= 167 FILE ID= node10/350749-1176546151 PBS_JOBID= 4556743 Free space on /tmp= 66560 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-neos15.opb COMMAND LINE= pbclasp instance-350749-1176546151.opb /tmp/evaluation/350749-1176546151/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-350749-1176546151 -o ROOT/results/node10/conversion-350749-1176546151 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350749-1176546151/instance-350749-1176546151.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-350749-1176546151 -o ROOT/results/node10/solver-350749-1176546151 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350749-1176546151.opb /tmp/evaluation/350749-1176546151/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 1be7a0a5556e21a359d6f31cb8a3ccd8 RANDOM SEED= 80664326 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1801240 kB Buffers: 26788 kB Cached: 141776 kB SwapCached: 2864 kB Active: 58256 kB Inactive: 146364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801240 kB SwapTotal: 4192956 kB SwapFree: 4166016 kB Dirty: 1168 kB Writeback: 0 kB Mapped: 43860 kB Slab: 35664 kB Committed_AS: 2207160 kB PageTables: 1724 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= 66557 MiB End job on node10 on Sat Apr 14 10:52:34 UTC 2007