Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 498 | 1800.1 | 1801.14 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb |
MD5SUM | b55f7a8b0d45bfbc16cf27babcf41177 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 498 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 474 |
Optimality of the best value was proved | NO |
Number of variables | 15504 |
Total number of constraints | 1416 |
Number of constraints which are clauses | 168 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1248 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 311 |
Number of terms in the objective function | 8784 |
Biggest coefficient in the objective function | 1523 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 531096 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531096 |
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 |
19.25/19.32 o 547 36.45/36.57 o 546 53.76/53.81 o 545 70.93/71.02 o 544 88.20/88.30 o 543 105.38/105.52 o 542 122.59/122.72 o 541 139.77/139.92 o 540 156.97/157.15 o 539 174.15/174.40 o 538 191.46/191.61 o 537 208.65/208.85 o 536 225.84/226.02 o 535 243.03/243.24 o 534 260.22/260.41 o 533 277.41/277.62 o 532 294.62/294.88 o 531 311.89/312.12 o 530 329.07/329.32 o 529 346.27/346.52 o 528 363.46/363.72 o 527 380.67/380.95 o 526 397.86/398.16 o 525 415.06/415.39 o 524 432.35/432.60 o 523 449.55/449.85 o 522 466.72/467.05 o 521 483.92/484.26 o 520 501.11/501.50 o 519 518.37/518.73 o 518 535.56/535.98 o 517 552.86/553.21 o 516 570.05/570.45 o 515 587.26/587.69 o 514 604.56/604.90 o 513 621.74/622.11 o 512 638.94/639.31 o 511 656.13/656.52 o 510 673.32/673.74 o 509 690.52/690.95 o 508 707.80/708.20 o 507 724.93/725.40 o 506 757.36/757.99 o 505 793.13/793.75 o 504 829.94/830.56 o 503 1199.91/1200.62 o 502 1225.18/1225.97 o 501 1245.68/1246.44 o 500 1266.64/1267.46 o 499 1288.94/1289.71 o 498 1800.10/1801.12 c Somebody sent me a SIGTERM 1800.10/1801.12 s SATISFIABLE 1800.10/1801.12 v x302 x317 x1036 x1756 x3166 x3286 x6678 x6694 x6695 x6696 x6697 x6708 x6737 x6768 x6798 x6828 x6858 x6948 x6967 x6978 x7006 1800.10/1801.12 v x7038 x7067 x7128 x7158 x7426 x7694 x7724 x7726 x7786 x7877 x8164 x8177 x8327 x8529 x8530 x8537 x8642 x8656 x8657 x8658 x8685 1800.10/1801.12 v x8687 x8688 x8717 x8718 x8747 x8748 x8777 x8778 x8807 x8808 x8821 x8838 x8866 x8867 x8896 x8897 x8898 x8921 x8922 x8923 x8925 1800.10/1801.12 v x8926 x8927 x8928 x8957 x8958 x8984 x8985 x8986 x8987 x8988 x9015 x9016 x9017 x9018 x9031 x9041 x9042 x9043 x9044 x9046 x9047 1800.10/1801.12 v x9048 x9061 x9062 x9063 x9064 x9065 x9066 x9067 x9068 x9074 x9075 x9076 x9078 x9105 x9106 x9107 x9108 x9135 x9136 x9137 x9138 1800.10/1801.12 v x9157 x9158 x9159 x9160 x9161 x9162 x9163 x9164 x9166 x9167 x9168 x9184 x9185 x9186 x9187 x9188 x9189 x9191 x9192 x9193 x9194 1800.10/1801.12 v x9195 x9198 x9218 x9219 x9220 x9221 x9222 x9223 x9224 x9226 x9227 x9228 x9244 x9245 x9246 x9247 x9248 x9250 x9251 x9252 x9253 1800.10/1801.12 v x9254 x9255 x9258 x9278 x9279 x9280 x9282 x9283 x9284 x9285 x9286 x9288 x9314 x9315 x9316 x9318 x9339 x9340 x9341 x9342 x9344 1800.10/1801.12 v x9345 x9347 x9348 x10272 x10276 x10300 x10306 x10330 x10336 x10420 x10426 x10450 x10456 x10510 x10516 x10540 x10546 x10576 1800.10/1801.12 v x10810 x10811 x10815 x10840 x10841 x10845 x10870 x10871 x10875 x10900 x10901 x10905 x10930 x10931 x10935 x10960 x10961 1800.10/1801.12 v x10965 x11026 x11056 x11078 x11079 x11085 x11101 x11102 x11106 x11107 x11116 x11146 x11176 x11199 x11200 x11204 x11236 1800.10/1801.12 v x11266 x11289 x11290 x11295 x11318 x11319 x11320 x11321 x11323 x11325 x11347 x11348 x11349 x11352 x11353 x11355 x11377 1800.10/1801.12 v x11378 x11379 x11382 x11383 x11385 x11407 x11408 x11409 x11412 x11413 x11415 x11437 x11438 x11439 x11442 x11443 x11445 1800.10/1801.12 v x11468 x11469 x11470 x11473 x11475 x11498 x11499 x11500 x11501 x11503 x12557 x13269 x13270 x13271 x13272 x13273 x13635 1800.10/1801.12 v x13687 x13690 x13691 x13692 x13717 x13720 x13721 x13722 x13747 x13750 x13751 x13752 x13784 x13785 x13814 x13815 x13844 1800.10/1801.12 v x13845 x13867 x13870 x13871 x13872 x13903 x13904 x13905 x13926 x13930 x13931 x13932 x13933 x13956 x13960 x13961 x13962 1800.10/1801.12 v x13963 x13982 x13985 x13987 x13994 x14015 x14016 x14020 x14021 x14023 x14045 x14052 x14054 x14055 x14075 x14076 x14080 1800.10/1801.12 v x14081 x14083 x14106 x14110 x14111 x14112 x14113 x14135 x14136 x14140 x14141 x14143 x14165 x14166 x14170 x14171 x14173 1800.10/1801.12 v x14197 x14199 x14200 x14201 x14202 x14204 x14223 x14229 x14230 x14231 x14232 x14233 x14254 x14261 x14262 x14263 x14265 1800.10/1801.12 v x14284 x14286 x14287 x14288 x14290 x14291 x14316 x14322 x14324 x14325 x14353 x14354 x14355 x14381 x14382 x14384 x14385 1800.10/1801.12 v x14445 x14472 x14490 x14520 x14547 x14550 x14556 x14565 x14577 x14582 x14589 x14593 x14595 x14597 x14599 x14601 x14603 1800.10/1801.12 v x14671 x14676 x14679 x14690 x14703 x14704 x14710 x14718 x14781 x14782 x14830 x14854 x14863 x14872 x14881 x14892 x14895 1800.10/1801.12 v x14899 x14949 x14952 x14955 x14958 x14961 x14964 x14967 x14976 x14979 x14982 x14985 x14987 x14994 x14997 x15023 x15049 1800.10/1801.12 v x15054 x15059 x15069 x15081 x15086 x15093 x15098 x15100 x15102 x15104 x15106 x15108 x15110 x15112 x15114 x15116 x15118 1800.10/1801.12 v x15120 x15122 x15124 x15126 x15128 x15130 x15132 x15134 x15136 x15138 x15140 x15142 x15144 x15175 x15176 x15177 x15180 1800.10/1801.12 v x15181 x15183 x15184 x15185 x15194 x15196 x15198 x15200 x15202 x15204 x15207 x15208 x15209 x15210 x15212 x15213 x15214 1800.10/1801.12 v x15215 x15216 x15217 x15218 x15219 x15221 x15222 x15223 x15224 x15226 x15228 x15230 x15232 x15234 x15236 x15238 x15239 1800.10/1801.12 v x15285 x15286 x15333 x15358 x15361 x15363 x15365 x15368 x15370 x15372 x15373 x15376 x15377 x15379 x15381 x15383 x15386 1800.10/1801.12 v x15387 x15389 x15391 x15393 x15396 x15397 x15400 x15401 x15404 x15406 x15408 x15409 x15410 x15411 x15412 x15413 x15414 1800.10/1801.12 v x15415 x15416 x15417 x15418 x15419 x15420 x15421 x15422 x15423 x15424 x15425 x15426 x15427 x15428 x15429 x15430 x15431 1800.10/1801.12 v x15432 x15464 x15465 x15466 x15468 x15469 x15470 x15471 x15472 x15473 x15481 x15487 1800.10/1801.12 pb2clasp1: no process killed 1800.10/1801.13 clasp-1.0: no process killed
OK 498
/tmp/evaluation/351854-1176615475/instance-351854-1176615475.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-351854-1176615475 -o ROOT/results/node58/solver-351854-1176615475 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351854-1176615475.opb /tmp/evaluation/351854-1176615475/temp Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10018 /proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=12268 CPUtime=0 /proc/10018/stat : 10018 (pbclasp) D 10016 10018 9317 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 109457235 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226238364261 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/10018/statm: 3067 317 242 3 0 167 0 [startup+0.016593 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10018 /proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=12796 CPUtime=0 /proc/10018/stat : 10018 (pbclasp) R 10016 10018 9317 0 -1 4194304 562 0 0 0 0 0 0 0 18 0 1 0 109457235 13103104 528 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226238042849 0 0 4224 16384 0 0 0 17 1 0 0 /proc/10018/statm: 3199 528 314 3 0 299 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12796 [startup+0.101605 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10018 /proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=13452 CPUtime=0.09 /proc/10018/stat : 10018 (pbclasp) R 10016 10018 9317 0 -1 4194304 739 0 0 0 9 0 0 0 18 0 1 0 109457235 13774848 705 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226238076319 0 0 4224 16384 0 0 0 17 1 0 0 /proc/10018/statm: 3363 705 320 3 0 463 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13452 [startup+0.301637 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10018 /proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=13716 CPUtime=0.29 /proc/10018/stat : 10018 (pbclasp) R 10016 10018 9317 0 -1 4194304 794 0 0 0 29 0 0 0 19 0 1 0 109457235 14045184 760 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226256424706 0 0 4224 16384 0 0 0 17 1 0 0 /proc/10018/statm: 3429 760 320 3 0 529 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13716 [startup+0.701704 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10018 /proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=14304 CPUtime=0.69 /proc/10018/stat : 10018 (pbclasp) R 10016 10018 9317 0 -1 4194304 953 0 0 0 69 0 0 0 22 0 1 0 109457235 14647296 919 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226256424712 0 0 4224 16384 0 0 0 17 1 0 0 /proc/10018/statm: 3576 919 320 3 0 676 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14304 [startup+1.50183 s] /proc/loadavg: 0.92 0.98 0.99 2/67 10021 /proc/meminfo: memFree=1590688/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15096 CPUtime=0.87 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1169 0 0 0 87 0 0 0 16 0 1 0 109457235 15458304 1121 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247094370 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/10018/statm: 3774 1121 324 3 0 874 0 [pid=10020] ppid=10018 vsize=5352 CPUtime=0 /proc/10020/stat : 10020 (sh) S 10018 10018 9317 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 109457323 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10020/statm: 1338 229 193 169 0 49 0 [pid=10021] ppid=10020 vsize=12532 CPUtime=0.61 /proc/10021/stat : 10021 (pb2clasp1) R 10020 10018 9317 0 -1 4194304 539 0 0 0 60 1 0 0 22 0 1 0 109457323 12832768 501 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 226247094226 0 0 4224 0 0 0 0 17 1 0 0 /proc/10021/statm: 3133 501 340 3 0 233 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32980 [startup+3.10209 s] /proc/loadavg: 0.92 0.98 0.99 2/67 10028 /proc/meminfo: memFree=1580768/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1.52 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1731 1629 0 0 89 0 61 2 17 0 1 0 109457235 16269312 1334 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1334 343 3 0 1072 0 [pid=10026] ppid=10018 vsize=5352 CPUtime=0 /proc/10026/stat : 10026 (sh) S 10018 10018 9317 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 109457391 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10026/statm: 1338 224 188 169 0 49 0 [pid=10028] ppid=10026 vsize=9872 CPUtime=1.53 /proc/10028/stat : 10028 (clasp-1.0) R 10026 10018 9317 0 -1 4194304 2210 0 0 0 152 1 0 0 25 0 1 0 109457391 10108928 2077 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/10028/statm: 2468 2077 249 81 0 1842 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 31112 [startup+6.30161 s] /proc/loadavg: 0.93 0.98 0.99 2/67 10028 /proc/meminfo: memFree=1580768/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1.52 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1731 1629 0 0 89 0 61 2 17 0 1 0 109457235 16269312 1334 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1334 343 3 0 1072 0 [pid=10026] ppid=10018 vsize=5352 CPUtime=0 /proc/10026/stat : 10026 (sh) S 10018 10018 9317 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 109457391 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10026/statm: 1338 224 188 169 0 49 0 [pid=10028] ppid=10026 vsize=9872 CPUtime=4.73 /proc/10028/stat : 10028 (clasp-1.0) R 10026 10018 9317 0 -1 4194304 2213 0 0 0 472 1 0 0 25 0 1 0 109457391 10108928 2080 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/10028/statm: 2468 2080 249 81 0 1842 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 31112 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/67 10028 /proc/meminfo: memFree=1580768/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1.52 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1731 1629 0 0 89 0 61 2 17 0 1 0 109457235 16269312 1334 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1334 343 3 0 1072 0 [pid=10026] ppid=10018 vsize=5352 CPUtime=0 /proc/10026/stat : 10026 (sh) S 10018 10018 9317 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 109457391 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10026/statm: 1338 224 188 169 0 49 0 [pid=10028] ppid=10026 vsize=9872 CPUtime=11.13 /proc/10028/stat : 10028 (clasp-1.0) R 10026 10018 9317 0 -1 4194304 2214 0 0 0 1112 1 0 0 25 0 1 0 109457391 10108928 2081 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617511 0 0 4096 0 0 0 0 17 1 0 0 /proc/10028/statm: 2468 2081 249 81 0 1842 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 31112 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/67 10036 /proc/meminfo: memFree=1580112/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=19.32 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1997 5203 0 0 91 0 1835 6 16 0 1 0 109457235 16269312 1342 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1342 343 3 0 1072 0 [pid=10034] ppid=10018 vsize=5352 CPUtime=0 /proc/10034/stat : 10034 (sh) S 10018 10018 9317 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109459170 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10034/statm: 1338 224 188 169 0 49 0 [pid=10036] ppid=10034 vsize=10636 CPUtime=6.13 /proc/10036/stat : 10036 (clasp-1.0) R 10034 10018 9317 0 -1 4194304 2372 0 0 0 613 0 0 0 25 0 1 0 109459170 10891264 2239 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/10036/statm: 2659 2239 249 81 0 2033 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 31876 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/67 10046 /proc/meminfo: memFree=1580000/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=36.58 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 2181 9004 0 0 92 1 3556 9 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1343 343 3 0 1072 0 [pid=10044] ppid=10018 vsize=5352 CPUtime=0 /proc/10044/stat : 10044 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109460895 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10044/statm: 1338 224 188 169 0 49 0 [pid=10046] ppid=10044 vsize=10768 CPUtime=14.48 /proc/10046/stat : 10046 (clasp-1.0) R 10044 10018 9317 0 -1 4194304 2426 0 0 0 1447 1 0 0 25 0 1 0 109460896 11026432 2293 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617668 0 0 4096 0 0 0 0 17 1 0 0 /proc/10046/statm: 2692 2293 249 81 0 2066 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 32008 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/67 10070 /proc/meminfo: memFree=1579936/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=88.23 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 2538 20395 0 0 95 1 8708 19 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/10018/statm: 3972 1343 343 3 0 1072 0 [pid=10068] ppid=10018 vsize=5352 CPUtime=0 /proc/10068/stat : 10068 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109466069 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10068/statm: 1338 224 188 169 0 49 0 [pid=10070] ppid=10068 vsize=10768 CPUtime=13.95 /proc/10070/stat : 10070 (clasp-1.0) R 10068 10018 9317 0 -1 4194304 2423 0 0 0 1394 1 0 0 25 0 1 0 109466069 11026432 2290 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617331 0 0 4096 0 0 0 0 17 1 0 0 /proc/10070/statm: 2692 2290 249 81 0 2066 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 32008 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10102 /proc/meminfo: memFree=1580064/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=157.06 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 3020 35583 0 0 99 2 15571 34 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/10018/statm: 3972 1343 343 3 0 1072 0 [pid=10100] ppid=10018 vsize=5352 CPUtime=0 /proc/10100/stat : 10100 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109472953 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10100/statm: 1338 224 188 169 0 49 0 [pid=10102] ppid=10100 vsize=10636 CPUtime=5.1 /proc/10102/stat : 10102 (clasp-1.0) R 10100 10018 9317 0 -1 4194304 2372 0 0 0 510 0 0 0 25 0 1 0 109472954 10891264 2239 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134736664 0 0 4096 0 0 0 0 17 1 0 0 /proc/10102/statm: 2659 2239 249 81 0 2033 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 31876 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10126 /proc/meminfo: memFree=1579808/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=208.75 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 3389 46974 0 0 103 3 20725 44 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1343 343 3 0 1072 0 [pid=10124] ppid=10018 vsize=5352 CPUtime=0 /proc/10124/stat : 10124 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109478124 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10124/statm: 1338 224 188 169 0 49 0 [pid=10126] ppid=10124 vsize=10768 CPUtime=13.39 /proc/10126/stat : 10126 (clasp-1.0) R 10124 10018 9317 0 -1 4194304 2422 0 0 0 1337 2 0 0 25 0 1 0 109478124 11026432 2289 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617337 0 0 4096 0 0 0 0 17 1 0 0 /proc/10126/statm: 2692 2289 249 81 0 2066 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 32008 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10158 /proc/meminfo: memFree=1579808/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=277.48 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 3881 62162 0 0 108 4 27577 59 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1343 343 3 0 1072 0 [pid=10156] ppid=10018 vsize=5352 CPUtime=0 /proc/10156/stat : 10156 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109485000 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10156/statm: 1338 224 188 169 0 49 0 ################ # More data... # ################ /proc/meminfo: memFree=1550816/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=39096 CPUtime=72.52 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 9504 0 0 0 7246 6 0 0 25 0 1 0 109586210 40034304 9355 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 9774 9355 249 81 0 9148 0 Current children cumulated CPU time (s) 1361.51 Current children cumulated vsize (KiB) 60336 [startup+1422.31 s] /proc/loadavg: 1.04 1.01 1.00 2/73 10596 /proc/meminfo: memFree=1542048/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=46892 CPUtime=132.44 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 11425 0 0 0 13235 9 0 0 25 0 1 0 109586210 48017408 11276 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 11723 11276 249 81 0 11097 0 Current children cumulated CPU time (s) 1421.43 Current children cumulated vsize (KiB) 68132 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/67 10628 /proc/meminfo: memFree=1524512/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=65404 CPUtime=192.4 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 16043 0 0 0 19227 13 0 0 25 0 1 0 109586210 66973696 15894 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134792581 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 16351 15894 249 81 0 15725 0 Current children cumulated CPU time (s) 1481.39 Current children cumulated vsize (KiB) 86644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10628 /proc/meminfo: memFree=1513184/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=76992 CPUtime=252.38 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 18932 0 0 0 25224 14 0 0 25 0 1 0 109586210 78839808 18783 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784608 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 19248 18783 249 81 0 18622 0 Current children cumulated CPU time (s) 1541.37 Current children cumulated vsize (KiB) 98232 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10628 /proc/meminfo: memFree=1509728/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=80204 CPUtime=312.36 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 31221 15 0 0 25 0 1 0 109586210 82128896 19592 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784608 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 20051 19592 249 81 0 19425 0 Current children cumulated CPU time (s) 1601.35 Current children cumulated vsize (KiB) 101444 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10628 /proc/meminfo: memFree=1509728/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=79992 CPUtime=372.34 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 37219 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 19998 19540 249 81 0 19372 0 Current children cumulated CPU time (s) 1661.33 Current children cumulated vsize (KiB) 101232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10628 /proc/meminfo: memFree=1509728/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=79992 CPUtime=432.33 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 43218 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 19998 19540 249 81 0 19372 0 Current children cumulated CPU time (s) 1721.32 Current children cumulated vsize (KiB) 101232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10628 /proc/meminfo: memFree=1509856/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=79992 CPUtime=492.31 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 49216 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 19998 19540 249 81 0 19372 0 Current children cumulated CPU time (s) 1781.3 Current children cumulated vsize (KiB) 101232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10628 /proc/meminfo: memFree=1509856/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=79992 CPUtime=511.11 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 51096 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 19998 19540 249 81 0 19372 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 101232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10628 /proc/meminfo: memFree=1509856/2055920 swapFree=4184728/4192956 [pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99 /proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/10018/statm: 3972 1345 343 3 0 1072 0 [pid=10428] ppid=10018 vsize=5352 CPUtime=0 /proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/10428/statm: 1338 224 188 169 0 49 0 [pid=10430] ppid=10428 vsize=79992 CPUtime=511.11 /proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 51096 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/10430/statm: 19998 19540 249 81 0 19372 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 101232 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10018 and gives # childrusage.ru_utime.tv_sec=1286 # childrusage.ru_utime.tv_usec=953353 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=80683 # CPU time returned by wait4() is 1289.03 # while last known CPU time is 1800.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1801.14 CPU time (s): 1800.1 CPU user time (s): 1797.89 CPU system time (s): 2.21 CPU usage (%): 99.9422 Max. virtual memory (cumulated for all children) (KiB): 101508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1286.95 system time used= 2.08068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 237060 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= 16025 involuntary context switches= 5522 runsolver used 2.25766 second user time and 4.30335 second system time The end
Begin job on node58 on Sun Apr 15 05:37:55 UTC 2007 IDJOB= 351854 IDBENCH= 1829 IDSOLVER= 167 FILE ID= node58/351854-1176615475 PBS_JOBID= 4557036 Free space on /tmp= 66564 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb COMMAND LINE= pbclasp instance-351854-1176615475.opb /tmp/evaluation/351854-1176615475/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-351854-1176615475 -o ROOT/results/node58/conversion-351854-1176615475 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351854-1176615475/instance-351854-1176615475.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-351854-1176615475 -o ROOT/results/node58/solver-351854-1176615475 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351854-1176615475.opb /tmp/evaluation/351854-1176615475/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= b55f7a8b0d45bfbc16cf27babcf41177 RANDOM SEED= 179167714 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1595472 kB Buffers: 37584 kB Cached: 314272 kB SwapCached: 2696 kB Active: 137204 kB Inactive: 226104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1595472 kB SwapTotal: 4192956 kB SwapFree: 4184728 kB Dirty: 1052 kB Writeback: 0 kB Mapped: 17852 kB Slab: 83220 kB Committed_AS: 173548 kB PageTables: 1384 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= 66561 MiB End job on node58 on Sun Apr 15 06:07:59 UTC 2007