Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb |
MD5SUM | b6007187ad037f56a5e2b97a0b86cea8 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 2421502 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.03 |
Number of variables | 675 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 95 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 18:35:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26143 boxname=wulflinc1 idbench=1443 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b6007187ad037f56a5e2b97a0b86cea8 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-pk1.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-pk1.opb IDLAUNCH: 26143 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 741480 kB Buffers: 9960 kB Cached: 259260 kB SwapCached: 1148 kB Active: 25932 kB Inactive: 245612 kB HighTotal: 131008 kB HighFree: 22764 kB LowTotal: 903652 kB LowFree: 718716 kB SwapTotal: 2097136 kB SwapFree: 2094896 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 15836 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 18:55:36 (client local time) WITH STATUS 0 IN 1202.24 SECONDS stats: 26143 7 1202.24 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 172/908607 Time: 223.087/86400 c Decision: 172/908607 Time: 336.846/86400 c Decision: 174/908607 Time: 507.681/86400 c Decision: 174/908607 Time: 598.268/86400 c Decision: 174/908607 Time: 741.928/86400 c Decision: 174/908607 Time: 867.539/86400 c Decision: 174/908607 Time: 1024.12/86400s UNKNOWN #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 2/55 24350 Raw data (stat): 24350 (runsolver) R 24349 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 916110559 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0009 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 26076 0 0 0 937 61 0 0 25 0 1 0 916110559 76644352 15006 4294967295 134512640 135730672 3221224576 3221199948 134608030 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18712 15007 301 301 0 18411 0 vsize: 74848 [startup+20.0018 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 51712 0 0 0 1883 116 0 0 25 0 1 0 916110559 151146496 29683 4294967295 134512640 135730672 3221224576 3221192232 135284277 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36901 29683 301 301 0 36600 0 vsize: 147604 [startup+30.0016 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 90021 0 0 0 2800 198 0 0 25 0 1 0 916110559 267948032 46318 4294967295 134512640 135730672 3221224576 3221208664 135104819 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 65417 46318 301 301 0 65116 0 vsize: 261668 [startup+40.0014 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 102945 0 0 0 3772 227 0 0 25 0 1 0 916110559 301502464 59007 4294967295 134512640 135730672 3221224576 3221206916 134608048 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 73609 59007 301 301 0 73308 0 vsize: 294436 [startup+50.002 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 113948 0 0 0 4746 251 0 0 25 0 1 0 916110559 325414912 68162 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 79447 68162 301 301 0 79146 0 vsize: 317788 [startup+60.0018 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 114665 0 0 0 5744 253 0 0 25 0 1 0 916110559 328278016 68714 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 80146 68714 301 301 0 79845 0 vsize: 320584 [startup+70.0016 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 115534 0 0 0 6743 255 0 0 25 0 1 0 916110559 330682368 69190 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 80733 69190 301 301 0 80432 0 vsize: 322932 [startup+80.0014 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 116392 0 0 0 7742 256 0 0 25 0 1 0 916110559 333455360 69624 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81410 69624 301 301 0 81109 0 vsize: 325640 [startup+90.0012 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 116662 0 0 0 8741 257 0 0 25 0 1 0 916110559 334254080 69829 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81605 69829 301 301 0 81304 0 vsize: 326420 [startup+100.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 116856 0 0 0 9741 258 0 0 25 0 1 0 916110559 334782464 69925 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81734 69925 301 301 0 81433 0 vsize: 326936 [startup+110.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 117045 0 0 0 10741 258 0 0 25 0 1 0 916110559 335175680 70016 4294967295 134512640 135730672 3221224576 3221223168 134764022 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81830 70016 301 301 0 81529 0 vsize: 327320 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 117255 0 0 0 11741 258 0 0 25 0 1 0 916110559 335704064 70128 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81959 70128 301 301 0 81658 0 vsize: 327836 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 118332 0 0 0 12739 260 0 0 25 0 1 0 916110559 339890176 70846 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 82981 70847 301 301 0 82680 0 vsize: 331924 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 121490 0 0 0 13733 266 0 0 25 0 1 0 916110559 348794880 72290 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 85155 72290 301 301 0 84854 0 vsize: 340620 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 122619 0 0 0 14731 268 0 0 25 0 1 0 916110559 351920128 72774 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 85918 72774 301 301 0 85617 0 vsize: 343672 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 123338 0 0 0 15730 269 0 0 25 0 1 0 916110559 353857536 73106 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 86391 73106 301 301 0 86090 0 vsize: 345564 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 124001 0 0 0 16729 271 0 0 25 0 1 0 916110559 355700736 73379 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 86841 73379 301 301 0 86540 0 vsize: 347364 [startup+180.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 125080 0 0 0 17727 273 0 0 25 0 1 0 916110559 358588416 73813 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 87546 73813 301 301 0 87245 0 vsize: 350184 [startup+190.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 126243 0 0 0 18725 275 0 0 25 0 1 0 916110559 361484288 74360 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 88253 74360 301 301 0 87952 0 vsize: 353012 [startup+200.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 127060 0 0 0 19723 277 0 0 25 0 1 0 916110559 363188224 74756 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 88669 74756 301 301 0 88368 0 vsize: 354676 [startup+210.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 127754 0 0 0 20722 278 0 0 25 0 1 0 916110559 365580288 75157 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 89253 75157 301 301 0 88952 0 vsize: 357012 [startup+220.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 128168 0 0 0 21721 279 0 0 25 0 1 0 916110559 366993408 75473 4294967295 134512640 135730672 3221224576 3221222824 135284331 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 89598 75473 301 301 0 89297 0 vsize: 358392 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 128249 0 0 0 22721 279 0 0 25 0 1 0 916110559 367390720 75521 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 89695 75521 301 301 0 89394 0 vsize: 358780 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 128860 0 0 0 23720 281 0 0 25 0 1 0 916110559 369242112 75805 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 90147 75805 301 301 0 89846 0 vsize: 360588 [startup+250.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 129407 0 0 0 24719 282 0 0 25 0 1 0 916110559 371363840 76156 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 90665 76156 301 301 0 90364 0 vsize: 362660 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 129492 0 0 0 25719 282 0 0 25 0 1 0 916110559 371625984 76176 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 90729 76176 301 301 0 90428 0 vsize: 362916 [startup+270.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 131332 0 0 0 26714 287 0 0 25 0 1 0 916110559 371892224 76241 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90794 76241 301 301 0 90493 0 vsize: 363176 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 132015 0 0 0 27712 289 0 0 25 0 1 0 916110559 373473280 76598 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91180 76598 301 301 0 90879 0 vsize: 364720 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 132081 0 0 0 28712 289 0 0 25 0 1 0 916110559 373743616 76664 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91246 76664 301 301 0 90945 0 vsize: 364984 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 132081 0 0 0 29712 289 0 0 25 0 1 0 916110559 373743616 76664 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91246 76664 301 301 0 90945 0 vsize: 364984 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 132082 0 0 0 30712 289 0 0 25 0 1 0 916110559 373743616 76665 4294967295 134512640 135730672 3221224576 3221223200 134748079 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91246 76665 301 301 0 90945 0 vsize: 364984 [startup+320.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 132636 0 0 0 31712 290 0 0 25 0 1 0 916110559 375058432 76927 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91567 76927 301 301 0 91266 0 vsize: 366268 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 133755 0 0 0 32709 293 0 0 25 0 1 0 916110559 378085376 77400 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 92306 77400 301 301 0 92005 0 vsize: 369224 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 134708 0 0 0 33707 294 0 0 25 0 1 0 916110559 381550592 77958 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 93152 77958 301 301 0 92851 0 vsize: 372608 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 135830 0 0 0 34706 296 0 0 25 0 1 0 916110559 384172032 78431 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 93792 78431 301 301 0 93491 0 vsize: 375168 [startup+360.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 137958 0 0 0 35702 300 0 0 25 0 1 0 916110559 389783552 79268 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 95162 79268 301 301 0 94861 0 vsize: 380648 [startup+370.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 138948 0 0 0 36700 302 0 0 25 0 1 0 916110559 392409088 79678 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 95803 79678 301 301 0 95502 0 vsize: 383212 [startup+380.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 139456 0 0 0 37699 304 0 0 25 0 1 0 916110559 393334784 79992 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96029 79992 301 301 0 95728 0 vsize: 384116 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 140265 0 0 0 38697 306 0 0 25 0 1 0 916110559 395706368 80382 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 96608 80382 301 301 0 96307 0 vsize: 386432 [startup+400.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 140306 0 0 0 39697 306 0 0 25 0 1 0 916110559 395706368 80423 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 96608 80423 301 301 0 96307 0 vsize: 386432 [startup+410.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 140843 0 0 0 40695 307 0 0 25 0 1 0 916110559 397283328 80637 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 96993 80637 301 301 0 96692 0 vsize: 387972 [startup+420.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 141221 0 0 0 41695 308 0 0 25 0 1 0 916110559 398467072 80758 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97282 80758 301 301 0 96981 0 vsize: 389128 [startup+430.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 141599 0 0 0 42694 309 0 0 25 0 1 0 916110559 399253504 80942 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97474 80942 301 301 0 97173 0 vsize: 389896 [startup+440.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 142087 0 0 0 43693 310 0 0 25 0 1 0 916110559 400818176 81107 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97856 81107 301 301 0 97555 0 vsize: 391424 [startup+450.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 142416 0 0 0 44693 311 0 0 25 0 1 0 916110559 401997824 81146 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98144 81146 301 301 0 97843 0 vsize: 392576 [startup+460.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143185 0 0 0 45691 312 0 0 25 0 1 0 916110559 403570688 81529 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98528 81529 301 301 0 98227 0 vsize: 394112 [startup+470.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143578 0 0 0 46691 313 0 0 25 0 1 0 916110559 404758528 81665 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98818 81665 301 301 0 98517 0 vsize: 395272 [startup+480.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143639 0 0 0 47691 313 0 0 25 0 1 0 916110559 404758528 81726 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98818 81726 301 301 0 98517 0 vsize: 395272 [startup+490.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143657 0 0 0 48691 313 0 0 25 0 1 0 916110559 404758528 81744 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98818 81744 301 301 0 98517 0 vsize: 395272 [startup+500.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143657 0 0 0 49691 313 0 0 25 0 1 0 916110559 404758528 81744 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98818 81744 301 301 0 98517 0 vsize: 395272 [startup+510.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143657 0 0 0 50691 313 0 0 25 0 1 0 916110559 404758528 81744 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98818 81744 301 301 0 98517 0 vsize: 395272 [startup+520.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143657 0 0 0 51691 313 0 0 25 0 1 0 916110559 404758528 81744 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98818 81744 301 301 0 98517 0 vsize: 395272 [startup+530.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143659 0 0 0 52691 314 0 0 25 0 1 0 916110559 404758528 81746 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98818 81746 301 301 0 98517 0 vsize: 395272 [startup+540.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 143663 0 0 0 53691 314 0 0 25 0 1 0 916110559 404758528 81750 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98818 81750 301 301 0 98517 0 vsize: 395272 [startup+550.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 145465 0 0 0 54687 318 0 0 25 0 1 0 916110559 412028928 83552 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100593 83552 301 301 0 100292 0 vsize: 402372 [startup+560.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 145583 0 0 0 55687 318 0 0 25 0 1 0 916110559 405291008 81895 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 98948 81895 301 301 0 98647 0 vsize: 395792 [startup+570.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 146278 0 0 0 56685 320 0 0 25 0 1 0 916110559 406732800 82233 4294967295 134512640 135730672 3221224576 3221223168 134763582 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99300 82233 301 301 0 98999 0 vsize: 397200 [startup+580.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 146725 0 0 0 57684 321 0 0 25 0 1 0 916110559 408178688 82388 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99653 82388 301 301 0 99352 0 vsize: 398612 [startup+590.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 147458 0 0 0 58683 322 0 0 25 0 1 0 916110559 410013696 82669 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100101 82669 301 301 0 99800 0 vsize: 400404 [startup+600.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 147609 0 0 0 59684 322 0 0 25 0 1 0 916110559 410275840 82755 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100165 82755 301 301 0 99864 0 vsize: 400660 [startup+610.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 147630 0 0 0 60684 322 0 0 25 0 1 0 916110559 410275840 82776 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100165 82776 301 301 0 99864 0 vsize: 400660 [startup+620.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 147791 0 0 0 61684 322 0 0 25 0 1 0 916110559 410800128 82808 4294967295 134512640 135730672 3221224576 3221223168 134763606 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100293 82808 301 301 0 99992 0 vsize: 401172 [startup+630.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 147794 0 0 0 62684 322 0 0 25 0 1 0 916110559 410800128 82811 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100293 82811 301 301 0 99992 0 vsize: 401172 [startup+640.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 149571 0 0 0 63680 327 0 0 25 0 1 0 916110559 418070528 84588 4294967295 134512640 135730672 3221224576 3221222736 134769202 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102068 84588 301 301 0 101767 0 vsize: 408272 [startup+650.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 149816 0 0 0 64679 328 0 0 25 0 1 0 916110559 411594752 82992 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100487 82992 301 301 0 100186 0 vsize: 401948 [startup+660.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 150122 0 0 0 65678 329 0 0 25 0 1 0 916110559 412250112 83135 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100647 83135 301 301 0 100346 0 vsize: 402588 [startup+670.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 150739 0 0 0 66677 330 0 0 25 0 1 0 916110559 414093312 83428 4294967295 134512640 135730672 3221224576 3221223072 134747573 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101097 83428 301 301 0 100796 0 vsize: 404388 [startup+680.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 150839 0 0 0 67677 330 0 0 25 0 1 0 916110559 414355456 83463 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101161 83463 301 301 0 100860 0 vsize: 404644 [startup+690.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 151020 0 0 0 68676 331 0 0 25 0 1 0 916110559 414879744 83515 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101289 83515 301 301 0 100988 0 vsize: 405156 [startup+700.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 151597 0 0 0 69675 332 0 0 25 0 1 0 916110559 416452608 83706 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101673 83706 301 301 0 101372 0 vsize: 406692 [startup+710.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 151788 0 0 0 70675 332 0 0 25 0 1 0 916110559 416976896 83768 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101801 83768 301 301 0 101500 0 vsize: 407204 [startup+720.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 152051 0 0 0 71675 333 0 0 25 0 1 0 916110559 417501184 83902 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101929 83902 301 301 0 101628 0 vsize: 407716 [startup+730.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 152052 0 0 0 72675 333 0 0 25 0 1 0 916110559 417501184 83903 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101929 83903 301 301 0 101628 0 vsize: 407716 [startup+740.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 152055 0 0 0 73675 333 0 0 25 0 1 0 916110559 417501184 83906 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101929 83906 301 301 0 101628 0 vsize: 407716 [startup+750.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 152248 0 0 0 74675 334 0 0 25 0 1 0 916110559 417763328 84034 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101993 84034 301 301 0 101692 0 vsize: 407972 [startup+760.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 152249 0 0 0 75675 334 0 0 25 0 1 0 916110559 417763328 84035 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101993 84035 301 301 0 101692 0 vsize: 407972 [startup+770.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 152630 0 0 0 76674 334 0 0 25 0 1 0 916110559 418816000 84220 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102250 84220 301 301 0 101949 0 vsize: 409000 [startup+780.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 152717 0 0 0 77674 334 0 0 25 0 1 0 916110559 419082240 84307 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102315 84307 301 301 0 102014 0 vsize: 409260 [startup+790.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 154493 0 0 0 78670 339 0 0 25 0 1 0 916110559 419082240 84308 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102315 84308 301 301 0 102014 0 vsize: 409260 [startup+800.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 154497 0 0 0 79669 339 0 0 25 0 1 0 916110559 419082240 84312 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102315 84312 301 301 0 102014 0 vsize: 409260 [startup+810.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 154597 0 0 0 80669 339 0 0 25 0 1 0 916110559 419344384 84347 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102379 84347 301 301 0 102078 0 vsize: 409516 [startup+820.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 154599 0 0 0 81669 340 0 0 25 0 1 0 916110559 419344384 84349 4294967295 134512640 135730672 3221224576 3221223072 134747525 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102379 84349 301 301 0 102078 0 vsize: 409516 [startup+830.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 154679 0 0 0 82669 340 0 0 25 0 1 0 916110559 419606528 84364 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102443 84364 301 301 0 102142 0 vsize: 409772 [startup+840.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 154681 0 0 0 83669 340 0 0 25 0 1 0 916110559 419606528 84366 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102443 84366 301 301 0 102142 0 vsize: 409772 [startup+850.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 154724 0 0 0 84670 340 0 0 25 0 1 0 916110559 419606528 84409 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102443 84409 301 301 0 102142 0 vsize: 409772 [startup+860.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 155267 0 0 0 85669 341 0 0 25 0 1 0 916110559 421314560 84596 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84596 301 301 0 102559 0 vsize: 411440 [startup+870.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 155269 0 0 0 86669 341 0 0 25 0 1 0 916110559 421314560 84598 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84598 301 301 0 102559 0 vsize: 411440 [startup+880.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 155270 0 0 0 87669 341 0 0 25 0 1 0 916110559 421314560 84599 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84599 301 301 0 102559 0 vsize: 411440 [startup+890.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 155285 0 0 0 88669 341 0 0 25 0 1 0 916110559 421314560 84614 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84614 301 301 0 102559 0 vsize: 411440 [startup+900.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 155287 0 0 0 89669 341 0 0 25 0 1 0 916110559 421314560 84616 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84616 301 301 0 102559 0 vsize: 411440 [startup+910.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157068 0 0 0 90665 346 0 0 25 0 1 0 916110559 421314560 84622 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84622 301 301 0 102559 0 vsize: 411440 [startup+920.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157068 0 0 0 91665 346 0 0 25 0 1 0 916110559 421314560 84622 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84622 301 301 0 102559 0 vsize: 411440 [startup+930.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157068 0 0 0 92666 346 0 0 25 0 1 0 916110559 421314560 84622 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84622 301 301 0 102559 0 vsize: 411440 [startup+940.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157069 0 0 0 93666 346 0 0 25 0 1 0 916110559 421314560 84623 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84623 301 301 0 102559 0 vsize: 411440 [startup+950.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157131 0 0 0 94666 346 0 0 25 0 1 0 916110559 421314560 84685 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102860 84685 301 301 0 102559 0 vsize: 411440 [startup+960.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157313 0 0 0 95665 346 0 0 25 0 1 0 916110559 421838848 84738 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84738 301 301 0 102687 0 vsize: 411952 [startup+970.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157345 0 0 0 96666 346 0 0 25 0 1 0 916110559 421838848 84770 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84770 301 301 0 102687 0 vsize: 411952 [startup+980.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157345 0 0 0 97666 346 0 0 25 0 1 0 916110559 421838848 84770 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84770 301 301 0 102687 0 vsize: 411952 [startup+990.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157345 0 0 0 98666 346 0 0 25 0 1 0 916110559 421838848 84770 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84770 301 301 0 102687 0 vsize: 411952 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157346 0 0 0 99666 347 0 0 25 0 1 0 916110559 421838848 84771 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84771 301 301 0 102687 0 vsize: 411952 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157391 0 0 0 100665 347 0 0 25 0 1 0 916110559 421838848 84816 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84816 301 301 0 102687 0 vsize: 411952 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157425 0 0 0 101666 347 0 0 25 0 1 0 916110559 421838848 84850 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84850 301 301 0 102687 0 vsize: 411952 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157425 0 0 0 102665 348 0 0 25 0 1 0 916110559 421838848 84850 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84850 301 301 0 102687 0 vsize: 411952 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157426 0 0 0 103665 348 0 0 25 0 1 0 916110559 421838848 84851 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84851 301 301 0 102687 0 vsize: 411952 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157426 0 0 0 104665 348 0 0 25 0 1 0 916110559 421838848 84851 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84851 301 301 0 102687 0 vsize: 411952 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 157440 0 0 0 105665 348 0 0 25 0 1 0 916110559 421838848 84865 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102988 84865 301 301 0 102687 0 vsize: 411952 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 159275 0 0 0 106661 352 0 0 25 0 1 0 916110559 422105088 84925 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103053 84925 301 301 0 102752 0 vsize: 412212 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 159686 0 0 0 107659 354 0 0 25 0 1 0 916110559 423157760 85141 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 103310 85141 301 301 0 103009 0 vsize: 413240 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 160298 0 0 0 108658 356 0 0 25 0 1 0 916110559 424730624 85365 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 103694 85365 301 301 0 103393 0 vsize: 414776 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 160491 0 0 0 109658 356 0 0 25 0 1 0 916110559 425254912 85429 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 103822 85429 301 301 0 103521 0 vsize: 415288 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 160651 0 0 0 110658 356 0 0 25 0 1 0 916110559 425779200 85460 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 103950 85460 301 301 0 103649 0 vsize: 415800 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 160848 0 0 0 111657 357 0 0 25 0 1 0 916110559 426303488 85528 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104078 85528 301 301 0 103777 0 vsize: 416312 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161172 0 0 0 112656 358 0 0 25 0 1 0 916110559 427352064 85594 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104334 85594 301 301 0 104033 0 vsize: 417336 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161201 0 0 0 113657 358 0 0 25 0 1 0 916110559 427352064 85623 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104334 85623 301 301 0 104033 0 vsize: 417336 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161203 0 0 0 114657 358 0 0 25 0 1 0 916110559 427352064 85625 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104334 85625 301 301 0 104033 0 vsize: 417336 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161207 0 0 0 115657 358 0 0 25 0 1 0 916110559 427352064 85629 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104334 85629 301 301 0 104033 0 vsize: 417336 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161209 0 0 0 116657 358 0 0 25 0 1 0 916110559 427352064 85631 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104334 85631 301 301 0 104033 0 vsize: 417336 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161251 0 0 0 117657 358 0 0 25 0 1 0 916110559 427352064 85673 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104334 85673 301 301 0 104033 0 vsize: 417336 [startup+1190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161252 0 0 0 118657 359 0 0 25 0 1 0 916110559 427352064 85674 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104334 85674 301 301 0 104033 0 vsize: 417336 [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161310 0 0 0 119657 359 0 0 25 0 1 0 916110559 427483136 85699 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104366 85699 301 301 0 104065 0 vsize: 417464 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.09 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 24350 Raw data (stat): 24350 (pb2sat-v2) R 24349 8378 8377 0 -1 0 161310 0 0 0 119657 359 0 0 25 0 1 0 916110559 427483136 85699 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104366 85699 301 301 0 104065 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.09 CPU time (s): 1202.24 CPU user time (s): 1198.48 CPU system time (s): 3.76143 CPU usage (%): 100.013 Max. virtual memory (Kb): 417464 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####