Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 954 | 1802.06 | 1802.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb |
MD5SUM | eb3ec27dc8137302430c8b48ccd8a471 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 909 |
Best CPU time to get the best result obtained on this benchmark | 1801.4 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 907 |
Optimality of the best value was proved | NO |
Number of variables | 21705 |
Total number of constraints | 4285 |
Number of constraints which are clauses | 4284 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15760 |
Number of terms in the objective function | 21705 |
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 | 21705 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 9256 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 25016 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
21.89/21.91 o 1077 34.87/34.97 o 956 92.33/92.40 o 955 1190.09/1190.20 o 954 1800.08/1800.21 c Somebody sent me a SIGTERM 1800.08/1800.21 s SATISFIABLE 1800.08/1800.21 v x23 x40 x192 x228 x343 x407 x426 x461 x489 x515 x548 x563 x664 x820 x846 x880 x917 x1014 x1070 x1200 x1272 x1287 x1299 x1313 1800.08/1800.21 v x1371 x1387 x1418 x1430 x1461 x1539 x1561 x1601 x1667 x1737 x1865 x1879 x1912 x1931 x1949 x1955 x1979 x2005 x2007 x2036 x2038 1800.08/1800.21 v x2050 x2070 x2079 x2080 x2095 x2113 x2144 x2154 x2176 x2201 x2228 x2306 x2309 x2488 x2564 x2606 x2609 x2641 x2688 x2713 x2734 1800.08/1800.21 v x2769 x2821 x2840 x2860 x2882 x2897 x2956 x2963 x2993 x3013 x3022 x3052 x3074 x3095 x3113 x3136 x3139 x3142 x3215 x3230 x3241 1800.08/1800.21 v x3275 x3288 x3302 x3378 x3485 x3512 x3544 x3567 x3571 x3588 x3600 x3614 x3624 x3642 x3648 x3685 x3700 x3720 x3748 x3780 x3802 1800.08/1800.21 v x3813 x3821 x3838 x3855 x3882 x3907 x3951 x3971 x4012 x4023 x4062 x4065 x4072 x4090 x4106 x4128 x4169 x4177 x4190 x4199 x4248 1800.08/1800.21 v x4258 x4261 x4283 x4316 x4331 x4336 x4361 x4366 x4392 x4408 x4431 x4438 x4455 x4474 x4484 x4489 x4504 x4519 x4555 x4571 x4586 1800.08/1800.21 v x4663 x4678 x4700 x4724 x4796 x4979 x5011 x5017 x5127 x5161 x5174 x5186 x5198 x5207 x5253 x5273 x5301 x5383 x5408 x5437 x5455 1800.08/1800.21 v x5480 x5506 x5517 x5544 x5569 x5655 x5701 x5808 x5865 x5895 x5916 x5949 x5996 x6021 x6061 x6207 x6288 x6379 x6399 x6573 x6613 1800.08/1800.21 v x6623 x6705 x6774 x6781 x6800 x6810 x6832 x6875 x6954 x7100 x7193 x7524 x7569 x7616 x7620 x7661 x7735 x7765 x7825 x7841 x7948 1800.08/1800.21 v x7950 x8173 x8226 x8328 x8404 x8475 x8535 x8620 x8643 x8705 x8732 x8868 x8872 x8911 x8918 x8939 x8985 x9022 x9036 x9091 x9115 1800.08/1800.21 v x9184 x9303 x9327 x9351 x9425 x9586 x9591 x9627 x9708 x9725 x9873 x9874 x9934 x9954 x9974 x9979 x10006 x10035 x10066 x10134 1800.08/1800.21 v x10147 x10170 x10355 x10381 x10383 x10401 x10411 x10717 x10728 x10924 x11009 x11011 x11077 x11144 x11174 x11177 x11311 1800.08/1800.21 v x11315 x11334 x11361 x11389 x11425 x11455 x11499 x11575 x11596 x11639 x11696 x11718 x11730 x11856 x11864 x11904 x11911 1800.08/1800.21 v x11962 x11967 x11986 x12052 x12058 x12086 x12098 x12148 x12166 x12169 x12200 x12313 x12423 x12429 x12433 x12438 x12451 1800.08/1800.21 v x12478 x12494 x12505 x12598 x12625 x12679 x12687 x12735 x12738 x12744 x12745 x12760 x12769 x12814 x12828 x12843 x12847 1800.08/1800.21 v x12947 x13060 x13063 x13082 x13095 x13157 x13182 x13190 x13210 x13226 x13227 x13249 x13276 x13303 x13331 x13332 x13364 1800.08/1800.21 v x13394 x13397 x13416 x13427 x13480 x13526 x13566 x13575 x13604 x13608 x13612 x13618 x13646 x13711 x13730 x13819 x13826 1800.08/1800.21 v x13837 x13958 x14036 x14075 x14087 x14092 x14116 x14124 x14134 x14160 x14172 x14220 x14225 x14236 x14246 x14258 x14268 1800.08/1800.21 v x14335 x14356 x14425 x14427 x14536 x14551 x14600 x14707 x14711 x14760 x14763 x14810 x14813 x14852 x14860 x14952 x14955 1800.08/1800.21 v x14976 x14999 x15009 x15021 x15103 x15114 x15116 x15134 x15178 x15204 x15266 x15272 x15276 x15283 x15284 x15288 x15306 1800.08/1800.21 v x15329 x15367 x15369 x15376 x15383 x15387 x15388 x15435 x15457 x15472 x15486 x15502 x15528 x15553 x15567 x15657 x15663 1800.08/1800.21 v x15664 x15693 x15732 x15735 x15739 x15765 x15783 x15784 x15813 x15842 x15846 x15848 x15874 x15925 x15955 x16008 x16025 1800.08/1800.21 v x16067 x16076 x16090 x16105 x16115 x16117 x16131 x16139 x16156 x16162 x16166 x16170 x16181 x16192 x16201 x16218 x16223 1800.08/1800.21 v x16233 x16270 x16279 x16284 x16288 x16293 x16309 x16315 x16323 x16326 x16333 x16349 x16355 x16359 x16379 x16385 x16421 1800.08/1800.21 v x16422 x16445 x16475 x16483 x16508 x16514 x16524 x16525 x16529 x16538 x16546 x16553 x16564 x16573 x16622 x16623 x16628 1800.08/1800.21 v x16635 x16639 x16653 x16654 x16657 x16675 x16678 x16704 x16746 x16748 x16757 x16760 x16771 x16780 x16786 x16793 x16798 1800.08/1800.21 v x16799 x16804 x16814 x16821 x16825 x16830 x16831 x16833 x16840 x16841 x16855 x16868 x16954 x16956 x16963 x17008 x17011 1800.08/1800.21 v x17016 x17031 x17036 x17072 x17078 x17103 x17111 x17131 x17133 x17150 x17163 x17170 x17200 x17204 x17211 x17214 x17215 1800.08/1800.21 v x17216 x17220 x17222 x17228 x17230 x17233 x17237 x17243 x17250 x17259 x17263 x17293 x17303 x17323 x17335 x17351 x17356 1800.08/1800.21 v x17358 x17407 x17408 x17415 x17442 x17458 x17476 x17490 x17494 x17509 x17514 x17518 x17528 x17534 x17537 x17546 x17550 1800.08/1800.21 v x17559 x17564 x17566 x17574 x17591 x17596 x17599 x17607 x17609 x17620 x17624 x17630 x17676 x17680 x17689 x17690 x17702 1800.08/1800.21 v x17717 x17720 x17736 x17739 x17747 x17759 x17782 x17794 x17827 x17838 x17889 x17890 x17911 x17913 x17928 x17952 x17981 1800.08/1800.21 v x17986 x18025 x18062 x18084 x18134 x18154 x18162 x18166 x18295 x18308 x18380 x18389 x18406 x18422 x18432 x18521 x18526 1800.08/1800.21 v x18528 x18539 x18553 x18555 x18568 x18580 x18624 x18626 x18657 x18668 x18674 x18681 x18714 x18715 x18755 x18761 x18783 1800.08/1800.21 v x18784 x18788 x18790 x18821 x18836 x18839 x18840 x18844 x18849 x18868 x18872 x18902 x18910 x18911 x18915 x18924 x18937 1800.08/1800.21 v x18955 x18960 x18970 x18980 x18983 x18992 x18994 x19006 x19013 x19021 x19030 x19035 x19039 x19040 x19041 x19044 x19059 1800.08/1800.21 v x19108 x19113 x19197 x19200 x19202 x19211 x19213 x19216 x19221 x19226 x19237 x19239 x19242 x19278 x19280 x19288 x19299 1800.08/1800.21 v x19314 x19319 x19333 x19343 x19345 x19359 x19365 x19367 x19383 x19397 x19398 x19404 x19414 x19426 x19440 x19441 x19449 1800.08/1800.21 v x19450 x19453 x19472 x19487 x19491 x19499 x19510 x19518 x19527 x19540 x19546 x19559 x19561 x19571 x19573 x19598 x19603 1800.08/1800.21 v x19605 x19621 x19625 x19645 x19651 x19652 x19654 x19666 x19667 x19679 x19680 x19685 x19687 x19688 x19690 x19696 x19698 1800.08/1800.21 v x19712 x19721 x19725 x19731 x19738 x19752 x19761 x19786 x19794 x19795 x19797 x19806 x19815 x19821 x19824 x19837 x19838 1800.08/1800.21 v x19841 x19854 x19859 x19868 x19873 x19881 x19883 x19893 x19911 x19925 x19928 x19930 x19933 x19935 x19948 x19960 x19961 1800.08/1800.21 v x19965 x19968 x19971 x19983 x19987 x19994 x19995 x19999 x20004 x20012 x20013 x20017 x20019 x20022 x20025 x20029 x20034 1800.08/1800.21 v x20037 x20057 x20061 x20066 x20067 x20071 x20076 x20078 x20081 x20082 x20203 x20216 x20264 x20272 x20307 x20309 x20336 1800.08/1800.21 v x20354 x20423 x20447 x20469 x20479 x20482 x20500 x20528 x20532 x20545 x20546 x20548 x20549 x20550 x20552 x20554 x20558 1800.08/1800.21 v x20613 x20681 x20694 x20698 x20700 x20703 x20713 x20714 x20727 x20730 x20745 x20747 x20749 x20753 x20756 x20758 x20762 1800.08/1800.21 v x20764 x20773 x20774 x20775 x20778 x20791 x20802 x20810 x20816 x20826 x20828 x20831 x20832 x20835 x20847 x20854 x20859 1800.08/1800.21 v x20860 x20869 x20873 x20877 x20879 x20898 x20911 x20934 x20952 x20959 x20992 x21000 x21005 x21015 x21018 x21037 x21042 1800.08/1800.21 v x21045 x21054 x21061 x21086 x21096 x21104 x21107 x21116 x21132 x21134 x21139 x21158 x21164 x21166 x21176 x21179 x21181 1800.08/1800.21 v x21187 x21190 x21191 x21194 x21215 x21234 x21238 x21246 x21249 x21262 x21272 x21274 x21329 x21331 x21340 x21350 x21359 1800.08/1800.21 v x21367 x21374 x21397 x21400 x21402 x21411 x21431 x21449 x21457 x21473 x21484 x21523 x21541 x21601 x21606 x21611 x21617 1800.08/1800.21 v x21619 x21625 x21631 x21634 x21635 x21640 x21643 x21652 x21657 x21664 x21668 x21669 x21673 x21680 x21681 x21683 x21685 1800.08/1800.21 v x21689 x21701 x21703 1800.08/1800.22 pb2clasp1: no process killed 1192.10/1802.22 sh: line 1: 32560 Done cat /tmp/evaluation/350853-1176562778/temp/instance-350853-1176562778.opb.op 1192.10/1802.22 32561 Killed | clasp-1.0 --trans=no >/tmp/evaluation/350853-1176562778/temp/instance-350853-1176562778.opb.clasp
OK 954
/tmp/evaluation/350853-1176562778/instance-350853-1176562778.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-350853-1176562778 -o ROOT/results/node16/solver-350853-1176562778 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350853-1176562778.opb /tmp/evaluation/350853-1176562778/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.78 0.95 0.98 3/77 32310 /proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=12268 CPUtime=0 /proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 405 0 0 0 0 0 0 0 18 0 1 0 104195497 12562432 372 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231980085408 0 0 4224 0 0 0 0 17 1 0 0 /proc/32310/statm: 3067 376 286 3 0 167 0 [startup+0.020394 s] /proc/loadavg: 0.78 0.95 0.98 3/77 32310 /proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=13188 CPUtime=0.01 /proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 658 0 0 0 1 0 0 0 18 0 1 0 104195497 13504512 624 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962219233 0 0 4224 16384 0 0 0 17 1 0 0 /proc/32310/statm: 3297 625 314 3 0 397 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13188 [startup+0.101317 s] /proc/loadavg: 0.78 0.95 0.98 3/77 32310 /proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=14480 CPUtime=0.09 /proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 7598 0 0 0 7 2 0 0 18 0 1 0 104195497 14827520 929 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0 /proc/32310/statm: 3620 941 320 3 0 720 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14480 [startup+0.301276 s] /proc/loadavg: 0.78 0.95 0.98 3/77 32310 /proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=14480 CPUtime=0.29 /proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 25011 0 0 0 22 7 0 0 20 0 1 0 104195497 14827520 942 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0 /proc/32310/statm: 3620 953 320 3 0 720 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14480 [startup+0.701194 s] /proc/loadavg: 0.78 0.95 0.98 3/77 32310 /proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=14604 CPUtime=0.69 /proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 59828 0 0 0 51 18 0 0 24 0 1 0 104195497 14954496 992 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0 /proc/32310/statm: 3651 992 320 3 0 751 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14604 [startup+1.50103 s] /proc/loadavg: 0.78 0.95 0.98 2/78 32311 /proc/meminfo: memFree=1822984/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=14856 CPUtime=1.49 /proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 129506 0 0 0 111 38 0 0 25 0 1 0 104195497 15212544 1056 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0 /proc/32310/statm: 3714 1056 320 3 0 814 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14856 [startup+3.1017 s] /proc/loadavg: 0.78 0.95 0.98 2/78 32311 /proc/meminfo: memFree=1822472/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=15540 CPUtime=3.1 /proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 268150 0 0 0 237 73 0 0 25 0 1 0 104195497 15912960 1210 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0 /proc/32310/statm: 3885 1210 320 3 0 985 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 15540 [startup+6.30104 s] /proc/loadavg: 0.80 0.95 0.98 2/78 32311 /proc/meminfo: memFree=1820232/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=18372 CPUtime=5.78 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 337538 0 0 0 488 90 0 0 16 0 1 0 104195497 18812928 1942 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/32310/statm: 4593 1942 324 3 0 1693 0 Current children cumulated CPU time (s) 5.78 Current children cumulated vsize (KiB) 18372 [startup+12.7017 s] /proc/loadavg: 0.81 0.95 0.98 2/80 32320 /proc/meminfo: memFree=1804664/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=11.14 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 338750 69646 0 0 494 91 507 22 16 0 1 0 104195497 20840448 2440 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2440 343 3 0 2188 0 [pid=32318] ppid=32310 vsize=5352 CPUtime=0 /proc/32318/stat : 32318 (sh) S 32310 32310 32227 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 104196613 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32318/statm: 1338 224 188 169 0 49 0 [pid=32320] ppid=32318 vsize=15908 CPUtime=1.52 /proc/32320/stat : 32320 (clasp-1.0) R 32318 32310 32227 0 -1 4194304 3766 0 0 0 150 2 0 0 25 0 1 0 104196614 16289792 3527 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733893 0 0 4096 0 0 0 0 17 1 0 0 /proc/32320/statm: 3977 3527 249 81 0 3351 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 41612 [startup+25.5011 s] /proc/loadavg: 0.85 0.95 0.98 2/80 32328 /proc/meminfo: memFree=1798008/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=21.95 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 339526 74828 0 0 497 91 1578 29 17 0 1 0 104195497 20840448 2453 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2453 343 3 0 2188 0 [pid=32326] ppid=32310 vsize=5352 CPUtime=0 /proc/32326/stat : 32326 (sh) S 32310 32310 32227 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104197693 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32326/statm: 1338 224 188 169 0 49 0 [pid=32328] ppid=32326 vsize=16464 CPUtime=3.53 /proc/32328/stat : 32328 (clasp-1.0) R 32326 32310 32227 0 -1 4194304 4054 0 0 0 352 1 0 0 25 0 1 0 104197693 16859136 3686 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617678 0 0 4096 0 0 0 0 17 1 0 0 /proc/32328/statm: 4116 3686 249 81 0 3490 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42168 [startup+51.1018 s] /proc/loadavg: 0.90 0.96 0.98 2/80 32336 /proc/meminfo: memFree=1797296/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=35 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340211 80385 0 0 500 91 2876 33 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32334] ppid=32310 vsize=5352 CPUtime=0 /proc/32334/stat : 32334 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 15 0 1 0 104199002 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32334/statm: 1338 224 188 169 0 49 0 [pid=32336] ppid=32334 vsize=17212 CPUtime=16.02 /proc/32336/stat : 32336 (clasp-1.0) R 32334 32310 32227 0 -1 4194304 4226 0 0 0 1600 2 0 0 25 0 1 0 104199003 17625088 3858 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617504 0 0 4096 0 0 0 0 17 1 0 0 /proc/32336/statm: 4303 3858 249 81 0 3677 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 42916 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/86 32452 /proc/meminfo: memFree=1796344/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=92.38 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32416] ppid=32310 vsize=5352 CPUtime=0 /proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32416/statm: 1338 224 188 169 0 49 0 [pid=32418] ppid=32416 vsize=16464 CPUtime=9.81 /proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 4101 0 0 0 979 2 0 0 25 0 1 0 104204743 16859136 3733 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733886 0 0 4096 0 0 0 0 17 1 0 0 /proc/32418/statm: 4116 3733 249 81 0 3490 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 42168 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/80 32542 /proc/meminfo: memFree=1718832/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=92.38 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32416] ppid=32310 vsize=5352 CPUtime=0 /proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32416/statm: 1338 224 188 169 0 49 0 [pid=32418] ppid=32416 vsize=95184 CPUtime=69.76 /proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 23752 0 0 0 6964 12 0 0 25 0 1 0 104204743 97468416 23384 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134740921 0 0 4096 0 0 0 0 17 1 0 0 /proc/32418/statm: 23796 23384 249 81 0 23170 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 120888 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/80 32542 /proc/meminfo: memFree=1680816/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=92.38 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32416] ppid=32310 vsize=5352 CPUtime=0 /proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32416/statm: 1338 224 188 169 0 49 0 [pid=32418] ppid=32416 vsize=133320 CPUtime=129.76 /proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 33257 0 0 0 12957 19 0 0 25 0 1 0 104204743 136519680 32889 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0 /proc/32418/statm: 33330 32889 249 81 0 32704 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 159024 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/80 32542 /proc/meminfo: memFree=1654896/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=92.38 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32416] ppid=32310 vsize=5352 CPUtime=0 /proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32416/statm: 1338 224 188 169 0 49 0 [pid=32418] ppid=32416 vsize=159272 CPUtime=189.76 /proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 39745 0 0 0 18953 23 0 0 25 0 1 0 104204743 163094528 39377 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737280 0 0 4096 0 0 0 0 17 1 0 0 /proc/32418/statm: 39818 39377 249 81 0 39192 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 184976 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/80 32542 /proc/meminfo: memFree=1654832/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=92.38 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32416] ppid=32310 vsize=5352 CPUtime=0 /proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32416/statm: 1338 224 188 169 0 49 0 [pid=32418] ppid=32416 vsize=159272 CPUtime=249.77 /proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 39751 0 0 0 24953 24 0 0 25 0 1 0 104204743 163094528 39383 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/32418/statm: 39818 39383 249 81 0 39192 0 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/80 32550 /proc/meminfo: memFree=1647352/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32548] ppid=32310 vsize=5352 CPUtime=0 /proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32548/statm: 1338 224 188 169 0 49 0 [pid=32550] ppid=32548 vsize=166416 CPUtime=412.04 /proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 41533 0 0 0 41177 27 0 0 25 0 1 0 104314523 170409984 41165 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/32550/statm: 41604 41165 249 81 0 40978 0 Current children cumulated CPU time (s) 1602.17 Current children cumulated vsize (KiB) 192120 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/80 32550 /proc/meminfo: memFree=1637752/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32548] ppid=32310 vsize=5352 CPUtime=0 /proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32548/statm: 1338 224 188 169 0 49 0 [pid=32550] ppid=32548 vsize=175956 CPUtime=472.04 /proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 43918 0 0 0 47175 29 0 0 25 0 1 0 104314523 180178944 43550 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715322 0 0 4096 0 0 0 0 17 1 0 0 /proc/32550/statm: 43989 43550 249 81 0 43363 0 Current children cumulated CPU time (s) 1662.17 Current children cumulated vsize (KiB) 201660 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 32550 /proc/meminfo: memFree=1635192/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32548] ppid=32310 vsize=5352 CPUtime=0 /proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32548/statm: 1338 224 188 169 0 49 0 [pid=32550] ppid=32548 vsize=179004 CPUtime=532.04 /proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 44703 0 0 0 53174 30 0 0 25 0 1 0 104314523 183300096 44299 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/32550/statm: 44751 44299 249 81 0 44125 0 Current children cumulated CPU time (s) 1722.17 Current children cumulated vsize (KiB) 204708 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 32550 /proc/meminfo: memFree=1627832/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32548] ppid=32310 vsize=5352 CPUtime=0 /proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32548/statm: 1338 224 188 169 0 49 0 [pid=32550] ppid=32548 vsize=185732 CPUtime=592.05 /proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 46449 0 0 0 59173 32 0 0 25 0 1 0 104314523 190189568 45983 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/32550/statm: 46433 45983 249 81 0 45807 0 Current children cumulated CPU time (s) 1782.18 Current children cumulated vsize (KiB) 211436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/80 32550 /proc/meminfo: memFree=1627832/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32548] ppid=32310 vsize=5352 CPUtime=0 /proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32548/statm: 1338 224 188 169 0 49 0 [pid=32550] ppid=32548 vsize=185732 CPUtime=609.95 /proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 46449 0 0 0 60963 32 0 0 25 0 1 0 104314523 190189568 45983 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715278 0 0 4096 0 0 0 0 17 1 0 0 /proc/32550/statm: 46433 45983 249 81 0 45807 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 211436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/80 32550 /proc/meminfo: memFree=1627832/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32548] ppid=32310 vsize=5352 CPUtime=0 /proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32548/statm: 1338 224 188 169 0 49 0 [pid=32550] ppid=32548 vsize=185732 CPUtime=609.95 /proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 46449 0 0 0 60963 32 0 0 25 0 1 0 104314523 190189568 45983 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715278 0 0 4096 0 0 0 0 17 1 0 0 /proc/32550/statm: 46433 45983 249 81 0 45807 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 211436 # WARNING: # current cumulated CPU time (1190.2 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 (609.88 s) to the 'lost time'. [startup+1800.32 s] /proc/loadavg: 1.00 1.00 1.00 2/80 32550 /proc/meminfo: memFree=1627832/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.2 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 341155 158962 0 0 508 92 118321 99 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 Current children cumulated CPU time (s) 1190.2 Current children cumulated vsize (KiB) 20352 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/82 32561 /proc/meminfo: memFree=1807200/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.2 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 341155 158962 0 0 508 92 118321 99 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32559] ppid=32310 vsize=5352 CPUtime=0 /proc/32559/stat : 32559 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104375524 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32559/statm: 1338 224 188 169 0 49 0 [pid=32561] ppid=32559 vsize=16464 CPUtime=1.1 /proc/32561/stat : 32561 (clasp-1.0) R 32559 32310 32227 0 -1 4194304 4018 0 0 0 109 1 0 0 25 0 1 0 104375525 16859136 3650 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/32561/statm: 4116 3650 249 81 0 3490 0 Current children cumulated CPU time (s) 1191.3 Current children cumulated vsize (KiB) 42168 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/81 32561 /proc/meminfo: memFree=1797352/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.2 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 341155 158962 0 0 508 92 118321 99 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32559] ppid=32310 vsize=5352 CPUtime=0 /proc/32559/stat : 32559 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104375524 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32559/statm: 1338 224 188 169 0 49 0 [pid=32561] ppid=32559 vsize=16464 CPUtime=1.51 /proc/32561/stat : 32561 (clasp-1.0) R 32559 32310 32227 0 -1 4194304 4025 0 0 0 150 1 0 0 25 0 1 0 104375525 16859136 3657 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617689 0 0 4096 0 0 0 0 17 1 0 0 /proc/32561/statm: 4116 3657 249 81 0 3490 0 Current children cumulated CPU time (s) 1191.71 Current children cumulated vsize (KiB) 42168 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/81 32561 /proc/meminfo: memFree=1797352/2055920 swapFree=4191880/4192956 [pid=32310] ppid=32308 vsize=20352 CPUtime=1190.2 /proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 341155 158962 0 0 508 92 118321 99 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/32310/statm: 5088 2454 343 3 0 2188 0 [pid=32559] ppid=32310 vsize=5352 CPUtime=0 /proc/32559/stat : 32559 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104375524 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/32559/statm: 1338 224 188 169 0 49 0 [pid=32561] ppid=32559 vsize=16464 CPUtime=1.9 /proc/32561/stat : 32561 (clasp-1.0) R 32559 32310 32227 0 -1 4194304 4028 0 0 0 189 1 0 0 25 0 1 0 104375525 16859136 3660 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617549 0 0 4096 0 0 0 0 17 1 0 0 /proc/32561/statm: 4116 3660 249 81 0 3490 0 Current children cumulated CPU time (s) 1192.1 Current children cumulated vsize (KiB) 42168 Child ended because it received signal 9 (SIGKILL) # 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): 609.88 # lost CPU user time (s): 609.6 # lost CPU system time (s): 0.28 Real time (s): 1802.23 CPU time (s): 1802.06 CPU user time (s): 1799.82 CPU system time (s): 2.2377 CPU usage (%): 99.9901 Max. virtual memory (cumulated for all children) (KiB): 255972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1190.22 system time used= 1.9577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 506181 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= 4033 involuntary context switches= 12189 runsolver used 1.85372 second user time and 4.70928 second system time The end
Begin job on node16 on Sat Apr 14 14:59:38 UTC 2007 IDJOB= 350853 IDBENCH= 1600 IDSOLVER= 167 FILE ID= node16/350853-1176562778 PBS_JOBID= 4556772 Free space on /tmp= 66518 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/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb COMMAND LINE= pbclasp instance-350853-1176562778.opb /tmp/evaluation/350853-1176562778/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-350853-1176562778 -o ROOT/results/node16/conversion-350853-1176562778 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350853-1176562778/instance-350853-1176562778.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-350853-1176562778 -o ROOT/results/node16/solver-350853-1176562778 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350853-1176562778.opb /tmp/evaluation/350853-1176562778/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= eb3ec27dc8137302430c8b48ccd8a471 RANDOM SEED= 128592572 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1826280 kB Buffers: 28252 kB Cached: 93232 kB SwapCached: 440 kB Active: 65876 kB Inactive: 110084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826280 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 2952 kB Writeback: 0 kB Mapped: 71600 kB Slab: 39188 kB Committed_AS: 2640320 kB PageTables: 1836 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= 66514 MiB End job on node16 on Sat Apr 14 15:29:41 UTC 2007