Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 115567 | 1802.05 | 1802.64 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb |
MD5SUM | 6c96e127d2f61e098d2015d63d4a25a7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 100037 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 99995 |
Optimality of the best value was proved | NO |
Number of variables | 10582 |
Total number of constraints | 5865 |
Number of constraints which are clauses | 651 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5214 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 198 |
Number of terms in the objective function | 10582 |
Biggest coefficient in the objective function | 229 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 529702 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1024 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 529702 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
7.34/7.47 o 130530 10.14/10.21 o 115690 166.69/166.86 o 115567 1800.06/1800.62 c Somebody sent me a SIGTERM 1800.06/1800.62 s SATISFIABLE 1800.06/1800.62 v x2 x3 x4 x115 x126 x137 x148 x203 x226 x314 x337 x348 x625 x692 x781 x803 x858 x868 x892 x1002 x1025 x1080 x1115 x1126 x1181 x1202 1800.06/1800.62 v x1259 x1436 x1448 x1459 x1469 x1481 x1491 x1514 x1536 x1592 x1614 x1670 x1736 x1813 x1824 x1836 x1892 x2003 x2091 x2114 x2125 1800.06/1800.62 v x2226 x2248 x2258 x2392 x2436 x2447 x2448 x2525 x2547 x2558 x2559 x2603 x2670 x2692 x2725 x2781 x2846 x2880 x2936 x3003 x3014 1800.06/1800.62 v x3036 x3102 x3114 x3136 x3191 x3224 x3225 x3236 x3247 x3268 x3336 x3337 x3348 x3369 x3381 x3459 x3492 x3559 x3569 x3603 x3614 1800.06/1800.62 v x3636 x3758 x3836 x3857 x3880 x3891 x3914 x4003 x4025 x4047 x4058 x4069 x4080 x4136 x4140 x4141 x4142 x4143 x4144 x4146 x4147 1800.06/1800.62 v x4151 x4152 x4155 x4157 x4160 x4163 x4164 x4165 x4166 x4168 x4169 x4172 x4173 x4179 x4180 x4181 x4184 x4185 x4186 x4188 x4190 1800.06/1800.62 v x4193 x4194 x4197 x4201 x4205 x4207 x4208 x4209 x4210 x4211 x4215 x4219 x4221 x4222 x4223 x4228 x4229 x4234 x4235 x4238 x4240 1800.06/1800.62 v x4242 x4247 x4250 x4251 x4253 x4255 x4258 x4259 x4261 x4262 x4263 x4264 x4269 x4270 x4271 x4272 x4273 x4275 x4277 x4280 x4282 1800.06/1800.62 v x4283 x4284 x4285 x4291 x4292 x4293 x4297 x4300 x4301 x4303 x4304 x4308 x4314 x4316 x4319 x4321 x4323 x4324 x4325 x4326 x4328 1800.06/1800.62 v x4330 x4331 x4332 x4333 x4334 x4336 x4338 x4339 x4341 x4345 x4347 x4350 x4353 x4356 x4358 x4364 x4368 x4371 x4372 x4373 x4380 1800.06/1800.62 v x4381 x4383 x4393 x4396 x4397 x4398 x4399 x4400 x4401 x4405 x4406 x4407 x4408 x4409 x4412 x4413 x4414 x4416 x4420 x4421 x4422 1800.06/1800.62 v x4423 x4425 x4426 x4428 x4431 x4432 x4433 x4437 x4439 x4442 x4443 x4446 x4453 x4454 x4455 x4457 x4458 x4462 x4464 x4465 x4468 1800.06/1800.62 v x4469 x4470 x4472 x4473 x4474 x4478 x4482 x4483 x4484 x4495 x4506 x4517 x4528 x4538 x4561 x4571 x4583 x4594 x4605 x4617 x4639 1800.06/1800.62 v x4650 x4672 x4695 x4706 x4717 x4750 x4760 x4772 x4783 x4793 x4817 x4839 x4850 x4872 x4916 x4917 x4950 x4994 x5028 x5039 x5051 1800.06/1800.62 v x5083 x5140 x5151 x5184 x5206 x5216 x5227 x5238 x5250 x5251 x5262 x5283 x5306 x5350 x5362 x5394 x5405 x5417 x5473 x5484 x5506 1800.06/1800.62 v x5517 x5539 x5560 x5572 x5584 x5627 x5661 x5694 x5695 x5728 x5739 x5750 x5771 x5782 x5794 x5817 x5872 x5882 x5905 x5916 x5917 1800.06/1800.62 v x5928 x5961 x5994 x6061 x6094 x6105 x6138 x6139 x6162 x6184 x6251 x6262 x6306 x6317 x6406 x6428 x6461 x6484 x6517 x6528 x6572 1800.06/1800.62 v x6583 x6584 x6649 x6660 x6683 x6706 x6728 x6772 x6794 x6828 x6838 x6849 x6860 x6872 x6915 x6917 x6927 x6960 x6972 x7005 x7026 1800.06/1800.62 v x7028 x7038 x7061 x7072 x7083 x7105 x7115 x7127 x7138 x7139 x7160 x7183 x7216 x7238 x7250 x7251 x7306 x7316 x7360 x7362 x7372 1800.06/1800.62 v x7384 x7395 x7406 x7428 x7438 x7450 x7472 x7483 x7495 x7506 x7528 x7538 x7550 x7561 x7571 x7582 x7617 x7639 x7650 x7683 x7693 1800.06/1800.62 v x7695 x7761 x7772 x7783 x7805 x7828 x7850 x7860 x7893 x7917 x7938 x7950 x7982 x7994 x8005 x8015 x8027 x8050 x8061 x8083 x8104 1800.06/1800.62 v x8127 x8138 x8172 x8183 x8205 x8227 x8237 x8250 x8271 x8283 x8294 x8315 x8326 x8348 x8395 x8417 x8427 x8472 x8473 x8506 x8517 1800.06/1800.62 v x8561 x8583 x8639 x8695 x8761 x8806 x8828 x8872 x8916 x8917 x8983 x9028 x9061 x9072 x9094 x9139 x9194 x9249 x9250 x9305 x9316 1800.06/1800.62 v x9349 x9361 x9405 x9427 x9438 x9460 x9472 x9473 x9517 x9550 x9606 x9614 x9628 x9647 x9648 x9649 x9683 x9695 x9739 x9750 x9772 1800.06/1800.62 v x9781 x9806 x9817 x9828 x9838 x9861 x9883 x9905 x9939 x9983 x10061 x10139 x10150 x10161 x10216 x10227 x10250 x10272 x10294 1800.06/1800.62 v x10316 x10349 x10361 x10394 x10416 x10427 x10449 x10469 x10470 x10472 x10516 x10538 x10560 x10582 1800.06/1800.62 pb2clasp1: no process killed 1800.06/1800.63 clasp-1.0: no process killed 168.78/1802.63 sh: line 1: 11252 Done cat /tmp/evaluation/350814-1176553135/temp/instance-350814-1176553135.opb.op 168.78/1802.63 11253 Killed | clasp-1.0 --trans=no >/tmp/evaluation/350814-1176553135/temp/instance-350814-1176553135.opb.clasp
OK 115567
/tmp/evaluation/350814-1176553135/instance-350814-1176553135.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-350814-1176553135 -o ROOT/results/node17/solver-350814-1176553135 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350814-1176553135.opb /tmp/evaluation/350814-1176553135/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.99 0.98 3/77 11206 /proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=12268 CPUtime=0 /proc/11206/stat : 11206 (pbclasp) D 11204 11206 10809 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 103231047 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245482879589 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/11206/statm: 3067 317 242 3 0 167 0 [startup+0.097173 s] /proc/loadavg: 0.92 0.99 0.98 3/77 11206 /proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=13476 CPUtime=0.09 /proc/11206/stat : 11206 (pbclasp) R 11204 11206 10809 0 -1 4194304 733 0 0 0 9 0 0 0 18 0 1 0 103231047 13799424 699 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245500940040 0 0 4224 16384 0 0 0 17 1 0 0 /proc/11206/statm: 3369 699 320 3 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13476 [startup+0.101173 s] /proc/loadavg: 0.92 0.99 0.98 3/77 11206 /proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=13476 CPUtime=0.09 /proc/11206/stat : 11206 (pbclasp) R 11204 11206 10809 0 -1 4194304 733 0 0 0 9 0 0 0 18 0 1 0 103231047 13799424 699 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245500940046 0 0 4224 16384 0 0 0 17 1 0 0 /proc/11206/statm: 3369 699 320 3 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13476 [startup+0.301194 s] /proc/loadavg: 0.92 0.99 0.98 3/77 11206 /proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=13616 CPUtime=0.29 /proc/11206/stat : 11206 (pbclasp) R 11204 11206 10809 0 -1 4194304 776 0 0 0 29 0 0 0 19 0 1 0 103231047 13942784 742 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245500940040 0 0 4224 16384 0 0 0 17 1 0 0 /proc/11206/statm: 3404 742 320 3 0 504 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13616 [startup+0.701237 s] /proc/loadavg: 0.92 0.99 0.98 3/77 11206 /proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=14012 CPUtime=0.69 /proc/11206/stat : 11206 (pbclasp) R 11204 11206 10809 0 -1 4194304 882 0 0 0 69 0 0 0 23 0 1 0 103231047 14348288 848 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245500940046 0 0 4224 16384 0 0 0 17 1 0 0 /proc/11206/statm: 3503 848 320 3 0 603 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14012 [startup+1.50132 s] /proc/loadavg: 0.92 0.99 0.98 2/78 11207 /proc/meminfo: memFree=1820464/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=15332 CPUtime=1.19 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 1223 0 0 0 119 0 0 0 16 0 1 0 103231047 15699968 1175 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/11206/statm: 3833 1175 324 3 0 933 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 15332 [startup+3.10149 s] /proc/loadavg: 0.93 0.99 0.98 2/80 11209 /proc/meminfo: memFree=1818016/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=15332 CPUtime=1.19 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 1223 0 0 0 119 0 0 0 16 0 1 0 103231047 15699968 1175 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/11206/statm: 3833 1175 324 3 0 933 0 [pid=11208] ppid=11206 vsize=5352 CPUtime=0 /proc/11208/stat : 11208 (sh) S 11206 11206 10809 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 103231167 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11208/statm: 1338 229 193 169 0 49 0 [pid=11209] ppid=11208 vsize=12532 CPUtime=1.88 /proc/11209/stat : 11209 (pb2clasp1) R 11208 11206 10809 0 -1 4194304 534 0 0 0 188 0 0 0 25 0 1 0 103231168 12832768 496 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 245501061682 0 0 4224 0 0 0 0 17 1 0 0 /proc/11209/statm: 3133 496 340 3 0 233 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 33216 [startup+6.30183 s] /proc/loadavg: 0.93 0.99 0.98 2/81 11216 /proc/meminfo: memFree=1810712/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=5.33 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 1857 1625 0 0 122 0 407 4 17 0 1 0 103231047 16646144 1427 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1427 343 3 0 1164 0 [pid=11214] ppid=11206 vsize=5352 CPUtime=0 /proc/11214/stat : 11214 (sh) S 11206 11206 10809 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 103231583 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11214/statm: 1338 224 188 169 0 49 0 [pid=11216] ppid=11214 vsize=21392 CPUtime=0.91 /proc/11216/stat : 11216 (clasp-1.0) R 11214 11206 10809 0 -1 4194304 5016 0 0 0 89 2 0 0 18 0 1 0 103231583 21905408 4930 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733877 0 0 4096 0 0 0 0 17 0 0 0 /proc/11216/statm: 5348 4930 249 81 0 4722 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 43000 [startup+12.7025 s] /proc/loadavg: 0.94 0.99 0.98 2/80 11232 /proc/meminfo: memFree=1792608/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=10.2 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11230] ppid=11206 vsize=5352 CPUtime=0 /proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11230/statm: 1338 224 188 169 0 49 0 [pid=11232] ppid=11230 vsize=21732 CPUtime=2.43 /proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 5137 0 0 0 241 2 0 0 25 0 1 0 103232073 22253568 5051 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/11232/statm: 5433 5051 249 81 0 4807 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 43340 [startup+25.5018 s] /proc/loadavg: 0.95 0.99 0.98 2/80 11232 /proc/meminfo: memFree=1776224/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=10.2 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11230] ppid=11206 vsize=5352 CPUtime=0 /proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11230/statm: 1338 224 188 169 0 49 0 [pid=11232] ppid=11230 vsize=39044 CPUtime=15.23 /proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 9411 0 0 0 1517 6 0 0 25 0 1 0 103232073 39981056 9325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11232/statm: 9761 9325 249 81 0 9135 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 60652 [startup+51.1015 s] /proc/loadavg: 0.96 0.99 0.98 2/80 11232 /proc/meminfo: memFree=1762848/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=10.2 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11230] ppid=11206 vsize=5352 CPUtime=0 /proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11230/statm: 1338 224 188 169 0 49 0 [pid=11232] ppid=11230 vsize=52556 CPUtime=40.81 /proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 12780 0 0 0 4073 8 0 0 25 0 1 0 103232073 53817344 12694 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784622 0 0 4096 0 0 0 0 17 1 0 0 /proc/11232/statm: 13139 12694 249 81 0 12513 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 74164 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.98 2/80 11232 /proc/meminfo: memFree=1754016/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=10.2 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11230] ppid=11206 vsize=5352 CPUtime=0 /proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11230/statm: 1338 224 188 169 0 49 0 [pid=11232] ppid=11230 vsize=60836 CPUtime=92 /proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 14858 0 0 0 9190 10 0 0 25 0 1 0 103232073 62296064 14771 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11232/statm: 15209 14771 249 81 0 14583 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 82444 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11232 /proc/meminfo: memFree=1746784/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=10.2 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11230] ppid=11206 vsize=5352 CPUtime=0 /proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11230/statm: 1338 224 188 169 0 49 0 [pid=11232] ppid=11230 vsize=68044 CPUtime=151.98 /proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 16649 0 0 0 15186 12 0 0 25 0 1 0 103232073 69677056 16562 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11232/statm: 17011 16562 249 81 0 16385 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 89652 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11240 /proc/meminfo: memFree=1752808/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.8 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11238] ppid=11206 vsize=5352 CPUtime=0 /proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=61668 CPUtime=55.35 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 15087 0 0 0 5526 9 0 0 25 0 1 0 103247738 63148032 14999 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715322 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 15417 14999 249 81 0 14791 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 83276 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11240 /proc/meminfo: memFree=1742376/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.8 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11238] ppid=11206 vsize=5352 CPUtime=0 /proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=72088 CPUtime=115.34 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 17694 0 0 0 11522 12 0 0 25 0 1 0 103247738 73818112 17606 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 18022 17606 249 81 0 17396 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 93696 ################ # More data... # ################ /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=118032 CPUtime=1375.01 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33054 0 0 0 137466 35 0 0 25 0 1 0 103247738 120864768 29057 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 29508 29057 249 81 0 28882 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 139640 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11242 /proc/meminfo: memFree=1692648/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.8 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11238] ppid=11206 vsize=5352 CPUtime=0 /proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=120780 CPUtime=1435 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33763 0 0 0 143464 36 0 0 25 0 1 0 103247738 123678720 29712 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737366 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 30195 29712 249 81 0 29569 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 142388 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11242 /proc/meminfo: memFree=1694760/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.8 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11238] ppid=11206 vsize=5352 CPUtime=0 /proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=118356 CPUtime=1494.99 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33763 0 0 0 149462 37 0 0 25 0 1 0 103247738 121196544 29113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 29589 29113 249 81 0 28963 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 139964 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11242 /proc/meminfo: memFree=1694312/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.8 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11238] ppid=11206 vsize=5352 CPUtime=0 /proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=118992 CPUtime=1554.97 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33899 0 0 0 155460 37 0 0 25 0 1 0 103247738 121847808 29249 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713631 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 29748 29249 249 81 0 29122 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 140600 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11242 /proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.8 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11238] ppid=11206 vsize=5352 CPUtime=0 /proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=118356 CPUtime=1614.96 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33899 0 0 0 161458 38 0 0 25 0 1 0 103247738 121196544 29113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 29589 29113 249 81 0 28963 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 139964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11242 /proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.8 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11238] ppid=11206 vsize=5352 CPUtime=0 /proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=118356 CPUtime=1633.26 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33899 0 0 0 163288 38 0 0 25 0 1 0 103247738 121196544 29113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 29589 29113 249 81 0 28963 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 139964 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.6 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11242 /proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.8 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1434 343 3 0 1164 0 [pid=11238] ppid=11206 vsize=5352 CPUtime=0 /proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11238/statm: 1338 224 188 169 0 49 0 [pid=11240] ppid=11238 vsize=118356 CPUtime=1633.26 /proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33899 0 0 0 163288 38 0 0 25 0 1 0 103247738 121196544 29113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/11240/statm: 29589 29113 249 81 0 28963 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 139964 # WARNING: # current cumulated CPU time (166.86 s) is less than in the last sample (1800.06 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1633.2 s) to the 'lost time'. [startup+1800.72 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11242 /proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.86 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 3002 34328 0 0 127 1 16521 37 16 0 1 0 103231047 16646144 1436 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1436 343 3 0 1164 0 Current children cumulated CPU time (s) 166.86 Current children cumulated vsize (KiB) 16256 Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.99 0.98 2/80 11242 /proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.86 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 3002 34328 0 0 127 1 16521 37 16 0 1 0 103231047 16646144 1436 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1436 343 3 0 1164 0 Current children cumulated CPU time (s) 166.86 Current children cumulated vsize (KiB) 16256 [startup+1802.2 s] /proc/loadavg: 0.99 0.99 0.98 2/81 11253 /proc/meminfo: memFree=1790936/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.86 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 3002 34328 0 0 127 1 16521 37 16 0 1 0 103231047 16646144 1436 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1436 343 3 0 1164 0 [pid=11251] ppid=11206 vsize=5352 CPUtime=0 /proc/11251/stat : 11251 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103411114 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11251/statm: 1338 224 188 169 0 49 0 [pid=11253] ppid=11251 vsize=21732 CPUtime=1.52 /proc/11253/stat : 11253 (clasp-1.0) R 11251 11206 10809 0 -1 4194304 5106 0 0 0 150 2 0 0 25 0 1 0 103411115 22253568 5020 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0 /proc/11253/statm: 5433 5020 249 81 0 4807 0 Current children cumulated CPU time (s) 168.38 Current children cumulated vsize (KiB) 43340 [startup+1802.6 s] /proc/loadavg: 0.99 0.99 0.98 2/81 11253 /proc/meminfo: memFree=1790936/2055920 swapFree=4153028/4192956 [pid=11206] ppid=11204 vsize=16256 CPUtime=166.86 /proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 3002 34328 0 0 127 1 16521 37 16 0 1 0 103231047 16646144 1436 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/11206/statm: 4064 1436 343 3 0 1164 0 [pid=11251] ppid=11206 vsize=5352 CPUtime=0 /proc/11251/stat : 11251 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103411114 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11251/statm: 1338 224 188 169 0 49 0 [pid=11253] ppid=11251 vsize=21732 CPUtime=1.92 /proc/11253/stat : 11253 (clasp-1.0) R 11251 11206 10809 0 -1 4194304 5136 0 0 0 190 2 0 0 25 0 1 0 103411115 22253568 5050 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0 /proc/11253/statm: 5433 5050 249 81 0 4807 0 Current children cumulated CPU time (s) 168.78 Current children cumulated vsize (KiB) 43340 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): 1633.2 # lost CPU user time (s): 1632.86 # lost CPU system time (s): 0.34 Real time (s): 1802.64 CPU time (s): 1802.05 CPU user time (s): 1801.28 CPU system time (s): 0.770934 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 143652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 168.421 system time used= 0.430934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43768 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= 4249 involuntary context switches= 1937 runsolver used 1.86372 second user time and 4.69928 second system time The end
Begin job on node17 on Sat Apr 14 12:18:55 UTC 2007 IDJOB= 350814 IDBENCH= 1591 IDSOLVER= 167 FILE ID= node17/350814-1176553135 PBS_JOBID= 4556762 Free space on /tmp= 66554 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-seymour1.opb COMMAND LINE= pbclasp instance-350814-1176553135.opb /tmp/evaluation/350814-1176553135/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-350814-1176553135 -o ROOT/results/node17/conversion-350814-1176553135 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350814-1176553135/instance-350814-1176553135.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-350814-1176553135 -o ROOT/results/node17/solver-350814-1176553135 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350814-1176553135.opb /tmp/evaluation/350814-1176553135/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 6c96e127d2f61e098d2015d63d4a25a7 RANDOM SEED= 467069303 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1823824 kB Buffers: 18652 kB Cached: 138572 kB SwapCached: 2168 kB Active: 92656 kB Inactive: 89060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823824 kB SwapTotal: 4192956 kB SwapFree: 4153028 kB Dirty: 3996 kB Writeback: 0 kB Mapped: 31836 kB Slab: 36000 kB Committed_AS: 4087584 kB PageTables: 1800 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= 66548 MiB End job on node17 on Sat Apr 14 12:48:58 UTC 2007