Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb |
MD5SUM | 32dd768e34cdc0e1cb04afadbe97060d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 13107200 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 52829966 |
Number of bits of the biggest sum of numbers | 26 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.36179 |
Number of variables | 9304 |
Total number of constraints | 728 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 72 |
Number of constraints which are nor clauses,nor cardinality constraints | 656 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 16:03:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26047 boxname=wulflinc1 idbench=1347 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 32dd768e34cdc0e1cb04afadbe97060d /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-danoint.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-danoint.opb IDLAUNCH: 26047 /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: 703200 kB Buffers: 24800 kB Cached: 282084 kB SwapCached: 1156 kB Active: 27160 kB Inactive: 282040 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 702948 kB SwapTotal: 2097136 kB SwapFree: 2094896 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16440 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 16:23:46 (client local time) WITH STATUS 0 IN 1202.3 SECONDS stats: 26047 7 1202.3 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... s 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.91 2/55 22841 Raw data (stat): 22841 (runsolver) R 22840 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 915199403 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.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 28303 0 0 0 933 65 0 0 25 0 1 0 915199403 78479360 17238 4294967295 134512640 135730672 3221224576 3221195400 134549353 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 19160 17238 301 301 0 18859 0 vsize: 76640 [startup+20.0015 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 56169 0 0 0 1870 128 0 0 25 0 1 0 915199403 156463104 33861 4294967295 134512640 135730672 3221224576 3220989448 134549409 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38199 33861 301 301 0 37898 0 vsize: 152796 [startup+30.0024 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 94098 0 0 0 2796 203 0 0 25 0 1 0 915199403 305610752 50113 4294967295 134512640 135730672 3221224576 3221061680 134546364 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 74612 50113 301 301 0 74311 0 vsize: 298448 [startup+40.002 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 109760 0 0 0 3760 237 0 0 25 0 1 0 915199403 307638272 65507 4294967295 134512640 135730672 3221224576 3221221872 134572387 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75107 65507 301 301 0 74806 0 vsize: 300428 [startup+50.0029 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 154789 0 0 0 4672 326 0 0 25 0 1 0 915199403 637857792 90937 4294967295 134512640 135730672 3221224576 3221001952 134788521 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 155727 90941 301 301 0 155426 0 vsize: 622908 [startup+60.0026 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 186139 0 0 0 5600 398 0 0 25 0 1 0 915199403 570744832 97509 4294967295 134512640 135730672 3221224576 3221221552 134540018 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 139342 97509 301 301 0 139041 0 vsize: 557368 [startup+70.0024 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 202518 0 0 0 6560 438 0 0 25 0 1 0 915199403 570744832 113594 4294967295 134512640 135730672 3221224576 3221154048 134770759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 139342 113595 301 301 0 139041 0 vsize: 557368 [startup+80.0033 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 211070 0 0 0 7540 458 0 0 25 0 1 0 915199403 584806400 118936 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 142775 118944 301 301 0 142474 0 vsize: 571100 [startup+90.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 216337 0 0 0 8531 467 0 0 25 0 1 0 915199403 600395776 122193 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 146581 122193 301 301 0 146280 0 vsize: 586324 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 22841 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 220367 0 0 0 9524 474 0 0 25 0 1 0 915199403 611979264 124347 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 149409 124347 301 301 0 149108 0 vsize: 597636 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 223950 0 0 0 10519 479 0 0 25 0 1 0 915199403 621973504 125964 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 151849 125964 301 301 0 151548 0 vsize: 607396 [startup+120.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 226131 0 0 0 11514 484 0 0 25 0 1 0 915199403 627986432 126839 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 153317 126839 301 301 0 153016 0 vsize: 613268 [startup+130.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 229424 0 0 0 12507 491 0 0 25 0 1 0 915199403 636710912 128560 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 155447 128560 301 301 0 155146 0 vsize: 621788 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 231675 0 0 0 13503 496 0 0 25 0 1 0 915199403 643194880 129691 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157030 129691 301 301 0 156729 0 vsize: 628120 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 234526 0 0 0 14497 502 0 0 25 0 1 0 915199403 650711040 131164 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 158865 131164 301 301 0 158564 0 vsize: 635460 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 235850 0 0 0 15495 504 0 0 25 0 1 0 915199403 654008320 131903 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 159670 131903 301 301 0 159369 0 vsize: 638680 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 237545 0 0 0 16492 507 0 0 25 0 1 0 915199403 658833408 132781 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160848 132781 301 301 0 160547 0 vsize: 643392 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 238490 0 0 0 17490 509 0 0 25 0 1 0 915199403 661454848 133083 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161488 133083 301 301 0 161187 0 vsize: 645952 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 238843 0 0 0 18490 510 0 0 25 0 1 0 915199403 662241280 133242 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161680 133242 301 301 0 161379 0 vsize: 646720 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 240509 0 0 0 19486 514 0 0 25 0 1 0 915199403 666718208 134000 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162773 134000 301 301 0 162472 0 vsize: 651092 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 242009 0 0 0 20484 516 0 0 25 0 1 0 915199403 671404032 134754 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163917 134754 301 301 0 163616 0 vsize: 655668 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 242603 0 0 0 21483 517 0 0 25 0 1 0 915199403 673112064 134962 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 164334 134962 301 301 0 164033 0 vsize: 657336 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 243503 0 0 0 22481 519 0 0 25 0 1 0 915199403 675356672 135440 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 164882 135440 301 301 0 164581 0 vsize: 659528 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 244154 0 0 0 23480 521 0 0 25 0 1 0 915199403 677195776 135703 4294967295 134512640 135730672 3221224576 3221223072 134747720 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 165331 135703 301 301 0 165030 0 vsize: 661324 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 244407 0 0 0 24480 521 0 0 25 0 1 0 915199403 677720064 135827 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 165459 135827 301 301 0 165158 0 vsize: 661836 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 244835 0 0 0 25479 522 0 0 25 0 1 0 915199403 678772736 136061 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 165716 136061 301 301 0 165415 0 vsize: 662864 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 245486 0 0 0 26478 523 0 0 25 0 1 0 915199403 680349696 136389 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 166101 136389 301 301 0 165800 0 vsize: 664404 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 247004 0 0 0 27476 526 0 0 25 0 1 0 915199403 684294144 137129 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 167064 137129 301 301 0 166763 0 vsize: 668256 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 248152 0 0 0 28474 527 0 0 25 0 1 0 915199403 687316992 137662 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 167802 137662 301 301 0 167501 0 vsize: 671208 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 249456 0 0 0 29472 530 0 0 25 0 1 0 915199403 690462720 138194 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 168570 138194 301 301 0 168269 0 vsize: 674280 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 250687 0 0 0 30470 532 0 0 25 0 1 0 915199403 693084160 138776 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 169210 138776 301 301 0 168909 0 vsize: 676840 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 251570 0 0 0 31468 534 0 0 25 0 1 0 915199403 695713792 139143 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 169852 139143 301 301 0 169551 0 vsize: 679408 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 253852 0 0 0 32464 538 0 0 25 0 1 0 915199403 702812160 140265 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 171585 140265 301 301 0 171284 0 vsize: 686340 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 255269 0 0 0 33462 541 0 0 25 0 1 0 915199403 707289088 141100 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 172678 141100 301 301 0 172377 0 vsize: 690712 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 256857 0 0 0 34459 543 0 0 25 0 1 0 915199403 712413184 141816 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 173929 141816 301 301 0 173628 0 vsize: 695716 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 257820 0 0 0 35458 545 0 0 25 0 1 0 915199403 714772480 142199 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 174505 142199 301 301 0 174204 0 vsize: 698020 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 258091 0 0 0 36457 546 0 0 25 0 1 0 915199403 715829248 142405 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 174763 142405 301 301 0 174462 0 vsize: 699052 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 259276 0 0 0 37454 549 0 0 25 0 1 0 915199403 719372288 142911 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 175628 142911 301 301 0 175327 0 vsize: 702512 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 259927 0 0 0 38453 550 0 0 25 0 1 0 915199403 721473536 143176 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 176141 143176 301 301 0 175840 0 vsize: 704564 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 260299 0 0 0 39452 551 0 0 25 0 1 0 915199403 722259968 143354 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 176333 143354 301 301 0 176032 0 vsize: 705332 [startup+410.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 260300 0 0 0 40452 551 0 0 25 0 1 0 915199403 722259968 143355 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 176333 143355 301 301 0 176032 0 vsize: 705332 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 260332 0 0 0 41452 552 0 0 25 0 1 0 915199403 722259968 143387 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 176333 143387 301 301 0 176032 0 vsize: 705332 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 260838 0 0 0 42451 553 0 0 25 0 1 0 915199403 723574784 143634 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 176654 143634 301 301 0 176353 0 vsize: 706616 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 262271 0 0 0 43449 555 0 0 25 0 1 0 915199403 727642112 144131 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 177647 144131 301 301 0 177346 0 vsize: 710588 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 262669 0 0 0 44449 556 0 0 25 0 1 0 915199403 728428544 144335 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 177839 144335 301 301 0 177538 0 vsize: 711356 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 263063 0 0 0 45448 557 0 0 25 0 1 0 915199403 729477120 144471 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 178095 144471 301 301 0 177794 0 vsize: 712380 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 263405 0 0 0 46447 557 0 0 25 0 1 0 915199403 730398720 144619 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 178320 144619 301 301 0 178019 0 vsize: 713280 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 264086 0 0 0 47446 559 0 0 25 0 1 0 915199403 732233728 144848 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 178768 144848 301 301 0 178467 0 vsize: 715072 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 265558 0 0 0 48443 562 0 0 25 0 1 0 915199403 736186368 145507 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 179733 145507 301 301 0 179432 0 vsize: 718932 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 265733 0 0 0 49443 562 0 0 25 0 1 0 915199403 736448512 145617 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 179797 145617 301 301 0 179496 0 vsize: 719188 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266278 0 0 0 50442 563 0 0 25 0 1 0 915199403 737890304 145806 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180149 145806 301 301 0 179848 0 vsize: 720596 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266301 0 0 0 51442 564 0 0 25 0 1 0 915199403 737890304 145829 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180149 145829 301 301 0 179848 0 vsize: 720596 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266736 0 0 0 52441 565 0 0 25 0 1 0 915199403 738942976 146037 4294967295 134512640 135730672 3221224576 3221223248 134748617 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180406 146037 301 301 0 180105 0 vsize: 721624 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266775 0 0 0 53441 565 0 0 25 0 1 0 915199403 738942976 146076 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180406 146076 301 301 0 180105 0 vsize: 721624 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 266930 0 0 0 54441 566 0 0 25 0 1 0 915199403 739467264 146102 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180534 146102 301 301 0 180233 0 vsize: 722136 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 267270 0 0 0 55440 567 0 0 25 0 1 0 915199403 739991552 146313 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180662 146313 301 301 0 180361 0 vsize: 722648 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 267557 0 0 0 56440 567 0 0 25 0 1 0 915199403 740515840 146471 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180790 146471 301 301 0 180489 0 vsize: 723160 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268051 0 0 0 57438 568 0 0 25 0 1 0 915199403 742088704 146579 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 181174 146579 301 301 0 180873 0 vsize: 724696 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268074 0 0 0 58438 568 0 0 25 0 1 0 915199403 742088704 146602 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 181174 146602 301 301 0 180873 0 vsize: 724696 [startup+600.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268305 0 0 0 59438 569 0 0 25 0 1 0 915199403 742612992 146704 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 181302 146704 301 301 0 181001 0 vsize: 725208 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268538 0 0 0 60437 570 0 0 25 0 1 0 915199403 743137280 146808 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 181430 146808 301 301 0 181129 0 vsize: 725720 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 268940 0 0 0 61436 571 0 0 25 0 1 0 915199403 744185856 146953 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 181686 146953 301 301 0 181385 0 vsize: 726744 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270027 0 0 0 62434 574 0 0 25 0 1 0 915199403 747081728 147490 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 182393 147490 301 301 0 182092 0 vsize: 729572 [startup+640.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270531 0 0 0 63432 575 0 0 25 0 1 0 915199403 749207552 147929 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 182912 147929 301 301 0 182611 0 vsize: 731648 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270535 0 0 0 64432 576 0 0 25 0 1 0 915199403 749207552 147933 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 182912 147933 301 301 0 182611 0 vsize: 731648 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270535 0 0 0 65433 576 0 0 25 0 1 0 915199403 749207552 147933 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 182912 147933 301 301 0 182611 0 vsize: 731648 [startup+670.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 270785 0 0 0 66432 576 0 0 25 0 1 0 915199403 749731840 148054 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183040 148054 301 301 0 182739 0 vsize: 732160 [startup+680.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271041 0 0 0 67432 577 0 0 25 0 1 0 915199403 750256128 148181 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183168 148181 301 301 0 182867 0 vsize: 732672 [startup+690.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271042 0 0 0 68432 577 0 0 25 0 1 0 915199403 750256128 148182 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183168 148182 301 301 0 182867 0 vsize: 732672 [startup+700.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271357 0 0 0 69432 577 0 0 25 0 1 0 915199403 751312896 148367 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183426 148367 301 301 0 183125 0 vsize: 733704 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271867 0 0 0 70430 579 0 0 25 0 1 0 915199403 752361472 148620 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183682 148620 301 301 0 183381 0 vsize: 734728 [startup+720.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 271881 0 0 0 71430 579 0 0 25 0 1 0 915199403 752361472 148634 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183682 148634 301 301 0 183381 0 vsize: 734728 [startup+730.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272229 0 0 0 72430 580 0 0 25 0 1 0 915199403 753410048 148725 4294967295 134512640 135730672 3221224576 3221223196 135284036 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183938 148725 301 301 0 183637 0 vsize: 735752 [startup+740.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272272 0 0 0 73429 580 0 0 25 0 1 0 915199403 753410048 148768 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183938 148768 301 301 0 183637 0 vsize: 735752 [startup+750.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272273 0 0 0 74429 580 0 0 25 0 1 0 915199403 753410048 148769 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183938 148769 301 301 0 183637 0 vsize: 735752 [startup+760.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272653 0 0 0 75429 581 0 0 25 0 1 0 915199403 754458624 148892 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184194 148892 301 301 0 183893 0 vsize: 736776 [startup+770.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272654 0 0 0 76429 581 0 0 25 0 1 0 915199403 754458624 148893 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184194 148893 301 301 0 183893 0 vsize: 736776 [startup+780.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272666 0 0 0 77429 581 0 0 25 0 1 0 915199403 754458624 148905 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184194 148905 301 301 0 183893 0 vsize: 736776 [startup+790.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272725 0 0 0 78429 581 0 0 25 0 1 0 915199403 754458624 148964 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184194 148964 301 301 0 183893 0 vsize: 736776 [startup+800.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272949 0 0 0 79429 582 0 0 25 0 1 0 915199403 754982912 149059 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184322 149059 301 301 0 184021 0 vsize: 737288 [startup+810.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 272974 0 0 0 80429 582 0 0 25 0 1 0 915199403 754982912 149084 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184322 149084 301 301 0 184021 0 vsize: 737288 [startup+820.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273079 0 0 0 81429 582 0 0 25 0 1 0 915199403 754982912 149189 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184322 149189 301 301 0 184021 0 vsize: 737288 [startup+830.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273124 0 0 0 82429 582 0 0 25 0 1 0 915199403 754982912 149234 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184322 149234 301 301 0 184021 0 vsize: 737288 [startup+840.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273161 0 0 0 83429 582 0 0 25 0 1 0 915199403 754982912 149271 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184322 149271 301 301 0 184021 0 vsize: 737288 [startup+850.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273477 0 0 0 84428 584 0 0 25 0 1 0 915199403 756031488 149330 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184578 149330 301 301 0 184277 0 vsize: 738312 [startup+860.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273479 0 0 0 85428 584 0 0 25 0 1 0 915199403 756031488 149332 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184578 149332 301 301 0 184277 0 vsize: 738312 [startup+870.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273496 0 0 0 86428 584 0 0 25 0 1 0 915199403 756031488 149349 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184578 149349 301 301 0 184277 0 vsize: 738312 [startup+880.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273922 0 0 0 87427 585 0 0 25 0 1 0 915199403 757084160 149581 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184835 149581 301 301 0 184534 0 vsize: 739340 [startup+890.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273947 0 0 0 88427 585 0 0 25 0 1 0 915199403 757084160 149606 4294967295 134512640 135730672 3221224576 3221223168 134763606 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184835 149606 301 301 0 184534 0 vsize: 739340 [startup+900.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 273971 0 0 0 89427 585 0 0 25 0 1 0 915199403 757084160 149630 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184835 149630 301 301 0 184534 0 vsize: 739340 [startup+910.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 274356 0 0 0 90427 586 0 0 25 0 1 0 915199403 758136832 149821 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185092 149821 301 301 0 184791 0 vsize: 740368 [startup+920.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 274439 0 0 0 91427 586 0 0 25 0 1 0 915199403 758136832 149904 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185092 149904 301 301 0 184791 0 vsize: 740368 [startup+930.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 274442 0 0 0 92427 586 0 0 25 0 1 0 915199403 758136832 149907 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185092 149907 301 301 0 184791 0 vsize: 740368 [startup+940.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275510 0 0 0 93424 589 0 0 25 0 1 0 915199403 760758272 150331 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185732 150331 301 301 0 185431 0 vsize: 742928 [startup+950.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275511 0 0 0 94424 589 0 0 25 0 1 0 915199403 760758272 150332 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185732 150332 301 301 0 185431 0 vsize: 742928 [startup+960.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275513 0 0 0 95424 589 0 0 25 0 1 0 915199403 760758272 150334 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185732 150334 301 301 0 185431 0 vsize: 742928 [startup+970.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275516 0 0 0 96424 589 0 0 25 0 1 0 915199403 760758272 150337 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185732 150337 301 301 0 185431 0 vsize: 742928 [startup+980.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275518 0 0 0 97425 589 0 0 25 0 1 0 915199403 760758272 150339 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185732 150339 301 301 0 185431 0 vsize: 742928 [startup+990.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275592 0 0 0 98425 589 0 0 25 0 1 0 915199403 760758272 150413 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185732 150413 301 301 0 185431 0 vsize: 742928 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275940 0 0 0 99424 590 0 0 25 0 1 0 915199403 761806848 150504 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185988 150504 301 301 0 185687 0 vsize: 743952 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 275985 0 0 0 100424 590 0 0 25 0 1 0 915199403 761806848 150549 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185988 150549 301 301 0 185687 0 vsize: 743952 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 276330 0 0 0 101423 591 0 0 25 0 1 0 915199403 762855424 150637 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 186244 150637 301 301 0 185943 0 vsize: 744976 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 276504 0 0 0 102423 591 0 0 25 0 1 0 915199403 763379712 150682 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 186372 150682 301 301 0 186071 0 vsize: 745488 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 276505 0 0 0 103423 591 0 0 25 0 1 0 915199403 763379712 150683 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 186372 150683 301 301 0 186071 0 vsize: 745488 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 276605 0 0 0 104423 592 0 0 25 0 1 0 915199403 763379712 150783 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 186372 150783 301 301 0 186071 0 vsize: 745488 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 277029 0 0 0 105423 592 0 0 25 0 1 0 915199403 764428288 150950 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 186628 150950 301 301 0 186327 0 vsize: 746512 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 277031 0 0 0 106423 592 0 0 25 0 1 0 915199403 764428288 150952 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 186628 150952 301 301 0 186327 0 vsize: 746512 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278038 0 0 0 107421 594 0 0 25 0 1 0 915199403 767057920 151443 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187270 151443 301 301 0 186969 0 vsize: 749080 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278195 0 0 0 108421 595 0 0 25 0 1 0 915199403 767582208 151471 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187398 151471 301 301 0 187097 0 vsize: 749592 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278261 0 0 0 109421 595 0 0 25 0 1 0 915199403 767582208 151537 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187398 151537 301 301 0 187097 0 vsize: 749592 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278304 0 0 0 110421 595 0 0 25 0 1 0 915199403 767582208 151580 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187398 151580 301 301 0 187097 0 vsize: 749592 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278305 0 0 0 111421 595 0 0 25 0 1 0 915199403 767582208 151581 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187398 151581 301 301 0 187097 0 vsize: 749592 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278307 0 0 0 112421 595 0 0 25 0 1 0 915199403 767582208 151583 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187398 151583 301 301 0 187097 0 vsize: 749592 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278661 0 0 0 113420 596 0 0 25 0 1 0 915199403 768630784 151680 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187654 151680 301 301 0 187353 0 vsize: 750616 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278662 0 0 0 114420 596 0 0 25 0 1 0 915199403 768630784 151681 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187654 151681 301 301 0 187353 0 vsize: 750616 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 278734 0 0 0 115420 596 0 0 25 0 1 0 915199403 768630784 151753 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 187654 151753 301 301 0 187353 0 vsize: 750616 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279334 0 0 0 116419 598 0 0 25 0 1 0 915199403 770203648 151967 4294967295 134512640 135730672 3221224576 3221223264 134748565 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 188038 151967 301 301 0 187737 0 vsize: 752152 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279337 0 0 0 117419 598 0 0 25 0 1 0 915199403 770203648 151970 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 188038 151970 301 301 0 187737 0 vsize: 752152 [startup+1190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279363 0 0 0 118419 598 0 0 25 0 1 0 915199403 770203648 151996 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 188038 151996 301 301 0 187737 0 vsize: 752152 [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279828 0 0 0 119418 599 0 0 25 0 1 0 915199403 771252224 152204 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 188294 152204 301 301 0 187993 0 vsize: 753176 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.14 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 22843 Raw data (stat): 22841 (pb2sat-v2) R 22840 8378 8377 0 -1 0 279828 0 0 0 119418 599 0 0 25 0 1 0 915199403 771252224 152204 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 188294 152204 301 301 0 187993 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.14 CPU time (s): 1202.3 CPU user time (s): 1196.01 CPU system time (s): 6.29604 CPU usage (%): 100.014 Max. virtual memory (Kb): 753176 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####