Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb |
MD5SUM | c1b4c3ad409db732d2b559e570b6f24c |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 138 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 2754 |
Total number of constraints | 612 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 168 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 84 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 09:13:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25711 boxname=wulflinc1 idbench=1011 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c1b4c3ad409db732d2b559e570b6f24c /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-vpm2.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-vpm2.opb IDLAUNCH: 25711 /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: 582608 kB Buffers: 33560 kB Cached: 394464 kB SwapCached: 1192 kB Active: 41116 kB Inactive: 389192 kB HighTotal: 131008 kB HighFree: 392 kB LowTotal: 903652 kB LowFree: 582216 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16180 kB Committed_AS: 92708 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 09:33:05 (client local time) WITH STATUS 0 IN 1202.27 SECONDS stats: 25711 7 1202.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 244182/1094575 Time: 62.8994/86400 c Decision: 244244/1094575 Time: 96.4213/86400 c Decision: 244276/1094575 Time: 145.804/86400 c Decision: 244345/1094575 Time: 220.818/86400 c Decision: 244355/1094575 Time: 291.153/86400 c Decision: 244356/1094575 Time: 344.701/86400 c Decision: 244356/1094575 Time: 381.074/86400 c Decision: 244356/1094575 Time: 417.956/86400 c Decision: 244356/1094575 Time: 458.792/86400 c Decision: 244364/1094575 Time: 519.616/86400 c Decision: 244364/1094575 Time: 578.785/86400 c Decision: 244384/1094575 Time: 633.639/86400 c Decision: 244384/1094575 Time: 676.313/86400 c Decision: 244413/1094575 Time: 721.402/86400 c Decision: 244413/1094575 Time: 757.152/86400 c Decision: 244415/1094575 Time: 791.865/86400 c Decision: 244415/1094575 Time: 834.456/86400 c Decision: 244415/1094575 Time: 888.651/86400 c Decision: 244415/1094575 Time: 925.375/86400 c Decision: 244415/1094575 Time: 945.747/86400 c Decision: 244415/1094575 Time: 968.179/86400 c Decision: 244415/1094575 Time: 988.784/86400 c Decision: 244415/1094575 Time: 1012.66/86400 c Decision: 244415/1094575 Time: 1037.23/86400 c Decision: 244415/1094575 Time: 1069.06/86400 c Decision: 244415/1094575 Time: 1095.18/86400 c Decision: 244415/1094575 Time: 1114.52/86400 c Decision: 244415/1094575 Time: 1134.93/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.92 0.98 0.93 1/55 17049 Raw data (stat): 17049 (runsolver) R 17048 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912734942 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.0008 s] Raw data (loadavg): 0.93 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 26272 0 0 0 941 58 0 0 25 0 1 0 912734942 76779520 15262 4294967295 134512640 135730672 3221224576 3221196348 134722856 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18745 15262 301 301 0 18444 0 vsize: 74980 [startup+20.0005 s] Raw data (loadavg): 0.94 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 52444 0 0 0 1883 116 0 0 25 0 1 0 912734942 151416832 30459 4294967295 134512640 135730672 3221224576 3221203752 134787727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36967 30459 301 301 0 36666 0 vsize: 147868 [startup+30.0017 s] Raw data (loadavg): 0.95 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 90367 0 0 0 2802 196 0 0 25 0 1 0 912734942 265244672 46695 4294967295 134512640 135730672 3221224576 3221195760 134786278 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 64757 46695 301 301 0 64456 0 vsize: 259028 [startup+40.0011 s] Raw data (loadavg): 0.96 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 104356 0 0 0 3770 229 0 0 25 0 1 0 912734942 301367296 60432 4294967295 134512640 135730672 3221224576 3221194584 135284322 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 73576 60432 301 301 0 73275 0 vsize: 294304 [startup+50.002 s] Raw data (loadavg): 0.96 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 144214 0 0 0 4689 309 0 0 25 0 1 0 912734942 427413504 81706 4294967295 134512640 135730672 3221224576 3221208652 135301630 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104349 81706 301 301 0 104048 0 vsize: 417396 [startup+60.0017 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 149129 0 0 0 5678 320 0 0 25 0 1 0 912734942 429162496 84438 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 104776 84438 301 301 0 104475 0 vsize: 419104 [startup+70.0015 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 150573 0 0 0 6676 323 0 0 25 0 1 0 912734942 435220480 85587 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 106255 85587 301 301 0 105954 0 vsize: 425020 [startup+80.0024 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 151154 0 0 0 7674 325 0 0 25 0 1 0 912734942 437202944 85940 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 106739 85940 301 301 0 106438 0 vsize: 426956 [startup+90.0024 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 152274 0 0 0 8671 327 0 0 25 0 1 0 912734942 441335808 86697 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 107748 86697 301 301 0 107447 0 vsize: 430992 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 153157 0 0 0 9670 329 0 0 25 0 1 0 912734942 444186624 87219 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 108444 87219 301 301 0 108143 0 vsize: 433776 [startup+110.004 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 155716 0 0 0 10664 335 0 0 25 0 1 0 912734942 454402048 89581 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 110938 89581 301 301 0 110637 0 vsize: 443752 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 155751 0 0 0 11663 336 0 0 25 0 1 0 912734942 445779968 87478 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 108833 87478 301 301 0 108532 0 vsize: 435332 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 155839 0 0 0 12662 336 0 0 25 0 1 0 912734942 446046208 87533 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 108898 87533 301 301 0 108597 0 vsize: 435592 [startup+140.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 155960 0 0 0 13662 337 0 0 25 0 1 0 912734942 446312448 87621 4294967295 134512640 135730672 3221224576 3221223088 135282461 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 108963 87621 301 301 0 108662 0 vsize: 435852 [startup+150.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158351 0 0 0 14657 342 0 0 25 0 1 0 912734942 446971904 87744 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 109124 87744 301 301 0 108823 0 vsize: 436496 [startup+160.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158446 0 0 0 15657 342 0 0 25 0 1 0 912734942 447234048 87774 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 109188 87774 301 301 0 108887 0 vsize: 436752 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158465 0 0 0 16657 342 0 0 25 0 1 0 912734942 447234048 87793 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 109188 87793 301 301 0 108887 0 vsize: 436752 [startup+180.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158500 0 0 0 17657 342 0 0 25 0 1 0 912734942 447234048 87828 4294967295 134512640 135730672 3221224576 3221223228 134748262 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 109188 87828 301 301 0 108887 0 vsize: 436752 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158604 0 0 0 18657 343 0 0 25 0 1 0 912734942 447496192 87867 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 109252 87867 301 301 0 108951 0 vsize: 437008 [startup+200.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 161313 0 0 0 19651 349 0 0 25 0 1 0 912734942 450301952 88389 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 109937 88389 301 301 0 109636 0 vsize: 439748 [startup+210.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 161597 0 0 0 20649 350 0 0 25 0 1 0 912734942 451502080 88608 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 110230 88608 301 301 0 109929 0 vsize: 440920 [startup+220.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 162488 0 0 0 21648 352 0 0 25 0 1 0 912734942 454656000 89107 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111000 89107 301 301 0 110699 0 vsize: 444000 [startup+230.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 162850 0 0 0 22647 353 0 0 25 0 1 0 912734942 456187904 89371 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111374 89371 301 301 0 111073 0 vsize: 445496 [startup+240.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 163330 0 0 0 23647 353 0 0 25 0 1 0 912734942 456974336 89655 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111566 89655 301 301 0 111265 0 vsize: 446264 [startup+250.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 163625 0 0 0 24646 354 0 0 25 0 1 0 912734942 457760768 89756 4294967295 134512640 135730672 3221224576 3221223056 134732736 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111758 89756 301 301 0 111457 0 vsize: 447032 [startup+260.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 163809 0 0 0 25646 355 0 0 25 0 1 0 912734942 458285056 89811 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111886 89811 301 301 0 111585 0 vsize: 447544 [startup+270.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 164711 0 0 0 26644 356 0 0 25 0 1 0 912734942 462258176 90549 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 112856 90549 301 301 0 112555 0 vsize: 451424 [startup+280.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 166943 0 0 0 27639 362 0 0 25 0 1 0 912734942 462655488 90610 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112953 90610 301 301 0 112652 0 vsize: 451812 [startup+290.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167136 0 0 0 28638 362 0 0 25 0 1 0 912734942 463597568 90770 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 113183 90770 301 301 0 112882 0 vsize: 452732 [startup+300.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167670 0 0 0 29637 363 0 0 25 0 1 0 912734942 465793024 91157 4294967295 134512640 135730672 3221224576 3221223088 135282398 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113719 91157 301 301 0 113418 0 vsize: 454876 [startup+310.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167817 0 0 0 30636 364 0 0 25 0 1 0 912734942 466325504 91271 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113849 91271 301 301 0 113548 0 vsize: 455396 [startup+320.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167839 0 0 0 31636 364 0 0 25 0 1 0 912734942 466325504 91293 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113849 91293 301 301 0 113548 0 vsize: 455396 [startup+330.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167845 0 0 0 32636 364 0 0 25 0 1 0 912734942 466325504 91299 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113849 91299 301 301 0 113548 0 vsize: 455396 [startup+340.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167848 0 0 0 33636 364 0 0 25 0 1 0 912734942 466325504 91302 4294967295 134512640 135730672 3221224576 3221223088 134745876 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113849 91302 301 301 0 113548 0 vsize: 455396 [startup+350.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 169992 0 0 0 34632 369 0 0 25 0 1 0 912734942 466325504 91308 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113849 91308 301 301 0 113548 0 vsize: 455396 [startup+360.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 170001 0 0 0 35632 369 0 0 25 0 1 0 912734942 466325504 91317 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113849 91317 301 301 0 113548 0 vsize: 455396 [startup+370.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 170156 0 0 0 36632 370 0 0 25 0 1 0 912734942 466718720 91374 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113945 91374 301 301 0 113644 0 vsize: 455780 [startup+380.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 170161 0 0 0 37631 370 0 0 25 0 1 0 912734942 466718720 91379 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113945 91379 301 301 0 113644 0 vsize: 455780 [startup+390.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 170170 0 0 0 38631 370 0 0 25 0 1 0 912734942 466718720 91388 4294967295 134512640 135730672 3221224576 3221223088 134745854 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113945 91388 301 301 0 113644 0 vsize: 455780 [startup+400.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 172309 0 0 0 39626 376 0 0 25 0 1 0 912734942 466718720 91389 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113945 91389 301 301 0 113644 0 vsize: 455780 [startup+410.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 172311 0 0 0 40626 376 0 0 25 0 1 0 912734942 466718720 91391 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113945 91391 301 301 0 113644 0 vsize: 455780 [startup+420.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 172312 0 0 0 41626 376 0 0 25 0 1 0 912734942 466718720 91392 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113945 91392 301 301 0 113644 0 vsize: 455780 [startup+430.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 172426 0 0 0 42626 376 0 0 25 0 1 0 912734942 466984960 91473 4294967295 134512640 135730672 3221224576 3221223088 134745875 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114010 91473 301 301 0 113709 0 vsize: 456040 [startup+440.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 174598 0 0 0 43621 381 0 0 25 0 1 0 912734942 466984960 91507 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114010 91507 301 301 0 113709 0 vsize: 456040 [startup+450.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175036 0 0 0 44621 382 0 0 25 0 1 0 912734942 468299776 91685 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114331 91685 301 301 0 114030 0 vsize: 457324 [startup+460.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175154 0 0 0 45620 382 0 0 25 0 1 0 912734942 468430848 91770 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114363 91770 301 301 0 114062 0 vsize: 457452 [startup+470.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175216 0 0 0 46620 382 0 0 25 0 1 0 912734942 468697088 91832 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114428 91832 301 301 0 114127 0 vsize: 457712 [startup+480.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175273 0 0 0 47620 383 0 0 25 0 1 0 912734942 468828160 91856 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114460 91856 301 301 0 114159 0 vsize: 457840 [startup+490.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175281 0 0 0 48620 383 0 0 25 0 1 0 912734942 468828160 91864 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114460 91864 301 301 0 114159 0 vsize: 457840 [startup+500.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175393 0 0 0 49620 383 0 0 25 0 1 0 912734942 469090304 91911 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114524 91911 301 301 0 114223 0 vsize: 458096 [startup+510.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175880 0 0 0 50619 385 0 0 25 0 1 0 912734942 470810624 92168 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 114944 92168 301 301 0 114643 0 vsize: 459776 [startup+520.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176111 0 0 0 51618 385 0 0 25 0 1 0 912734942 471343104 92333 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115074 92333 301 301 0 114773 0 vsize: 460296 [startup+530.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176134 0 0 0 52618 386 0 0 25 0 1 0 912734942 471343104 92356 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115074 92356 301 301 0 114773 0 vsize: 460296 [startup+540.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176170 0 0 0 53618 386 0 0 25 0 1 0 912734942 471343104 92392 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115074 92392 301 301 0 114773 0 vsize: 460296 [startup+550.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176310 0 0 0 54618 386 0 0 25 0 1 0 912734942 471736320 92434 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115170 92434 301 301 0 114869 0 vsize: 460680 [startup+560.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176422 0 0 0 55617 387 0 0 25 0 1 0 912734942 471998464 92481 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115234 92481 301 301 0 114933 0 vsize: 460936 [startup+570.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178580 0 0 0 56613 392 0 0 25 0 1 0 912734942 480755712 94639 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 117372 94639 301 301 0 117071 0 vsize: 469488 [startup+580.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178583 0 0 0 57612 392 0 0 25 0 1 0 912734942 471998464 92504 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115234 92504 301 301 0 114933 0 vsize: 460936 [startup+590.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178607 0 0 0 58612 393 0 0 25 0 1 0 912734942 472133632 92528 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115267 92528 301 301 0 114966 0 vsize: 461068 [startup+600.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178761 0 0 0 59612 393 0 0 25 0 1 0 912734942 472530944 92616 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115364 92616 301 301 0 115063 0 vsize: 461456 [startup+610.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178969 0 0 0 60611 394 0 0 25 0 1 0 912734942 473194496 92725 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115526 92725 301 301 0 115225 0 vsize: 462104 [startup+620.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 179051 0 0 0 61611 395 0 0 25 0 1 0 912734942 473591808 92774 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115623 92774 301 301 0 115322 0 vsize: 462492 [startup+630.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181274 0 0 0 62605 400 0 0 25 0 1 0 912734942 473853952 92794 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115687 92794 301 301 0 115386 0 vsize: 462748 [startup+640.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181277 0 0 0 63605 401 0 0 25 0 1 0 912734942 473853952 92797 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115687 92797 301 301 0 115386 0 vsize: 462748 [startup+650.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181368 0 0 0 64605 401 0 0 25 0 1 0 912734942 474116096 92823 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115751 92823 301 301 0 115450 0 vsize: 463004 [startup+660.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181414 0 0 0 65605 401 0 0 25 0 1 0 912734942 474116096 92869 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115751 92869 301 301 0 115450 0 vsize: 463004 [startup+670.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181570 0 0 0 66604 402 0 0 25 0 1 0 912734942 474509312 92926 4294967295 134512640 135730672 3221224576 3221223168 134763582 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115847 92926 301 301 0 115546 0 vsize: 463388 [startup+680.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181576 0 0 0 67604 403 0 0 25 0 1 0 912734942 474509312 92932 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115847 92932 301 301 0 115546 0 vsize: 463388 [startup+690.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 183761 0 0 0 68599 408 0 0 25 0 1 0 912734942 474775552 92979 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115912 92979 301 301 0 115611 0 vsize: 463648 [startup+700.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 183780 0 0 0 69599 408 0 0 25 0 1 0 912734942 474775552 92998 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 115912 92998 301 301 0 115611 0 vsize: 463648 [startup+710.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 183993 0 0 0 70599 408 0 0 25 0 1 0 912734942 475439104 93112 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116074 93112 301 301 0 115773 0 vsize: 464296 [startup+720.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 184006 0 0 0 71599 408 0 0 25 0 1 0 912734942 475439104 93125 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116074 93125 301 301 0 115773 0 vsize: 464296 [startup+730.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186150 0 0 0 72593 415 0 0 25 0 1 0 912734942 475439104 93131 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116074 93131 301 301 0 115773 0 vsize: 464296 [startup+740.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186201 0 0 0 73593 415 0 0 25 0 1 0 912734942 475705344 93182 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116139 93182 301 301 0 115838 0 vsize: 464556 [startup+750.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186438 0 0 0 74592 416 0 0 25 0 1 0 912734942 476360704 93256 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116299 93256 301 301 0 115998 0 vsize: 465196 [startup+760.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186476 0 0 0 75592 416 0 0 25 0 1 0 912734942 476360704 93294 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116299 93294 301 301 0 115998 0 vsize: 465196 [startup+770.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186590 0 0 0 76592 416 0 0 25 0 1 0 912734942 476622848 93342 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116363 93342 301 301 0 116062 0 vsize: 465452 [startup+780.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 188741 0 0 0 77588 421 0 0 25 0 1 0 912734942 476622848 93355 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116363 93355 301 301 0 116062 0 vsize: 465452 [startup+790.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 188756 0 0 0 78588 421 0 0 25 0 1 0 912734942 476622848 93370 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116363 93370 301 301 0 116062 0 vsize: 465452 [startup+800.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 188808 0 0 0 79587 421 0 0 25 0 1 0 912734942 476889088 93422 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 116428 93422 301 301 0 116127 0 vsize: 465712 [startup+810.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 190956 0 0 0 80582 427 0 0 25 0 1 0 912734942 476889088 93432 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 116428 93432 301 301 0 116127 0 vsize: 465712 [startup+820.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 190973 0 0 0 81581 427 0 0 25 0 1 0 912734942 476889088 93449 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116428 93449 301 301 0 116127 0 vsize: 465712 [startup+830.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 191025 0 0 0 82581 427 0 0 25 0 1 0 912734942 477020160 93468 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116460 93468 301 301 0 116159 0 vsize: 465840 [startup+840.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193172 0 0 0 83576 432 0 0 25 0 1 0 912734942 485777408 95615 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 118598 95615 301 301 0 118297 0 vsize: 474392 [startup+850.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193223 0 0 0 84575 433 0 0 25 0 1 0 912734942 477151232 93495 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116492 93495 301 301 0 116191 0 vsize: 465968 [startup+860.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193235 0 0 0 85575 434 0 0 25 0 1 0 912734942 477151232 93507 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116492 93507 301 301 0 116191 0 vsize: 465968 [startup+870.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193238 0 0 0 86575 434 0 0 25 0 1 0 912734942 477151232 93510 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116492 93510 301 301 0 116191 0 vsize: 465968 [startup+880.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193260 0 0 0 87574 434 0 0 25 0 1 0 912734942 477151232 93532 4294967295 134512640 135730672 3221224576 3221222824 135286126 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116492 93532 301 301 0 116191 0 vsize: 465968 [startup+890.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195400 0 0 0 88569 440 0 0 25 0 1 0 912734942 477151232 93534 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116492 93534 301 301 0 116191 0 vsize: 465968 [startup+900.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195418 0 0 0 89569 440 0 0 25 0 1 0 912734942 477151232 93552 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116492 93552 301 301 0 116191 0 vsize: 465968 [startup+910.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195610 0 0 0 90569 441 0 0 25 0 1 0 912734942 477675520 93614 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116620 93614 301 301 0 116319 0 vsize: 466480 [startup+920.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195717 0 0 0 91568 441 0 0 25 0 1 0 912734942 477937664 93656 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93656 301 301 0 116383 0 vsize: 466736 [startup+930.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195738 0 0 0 92569 441 0 0 25 0 1 0 912734942 477937664 93677 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93677 301 301 0 116383 0 vsize: 466736 [startup+940.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 197877 0 0 0 93564 446 0 0 25 0 1 0 912734942 486694912 95816 4294967295 134512640 135730672 3221224576 3221222736 134768938 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 118822 95816 301 301 0 118521 0 vsize: 475288 [startup+950.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 197878 0 0 0 94564 446 0 0 25 0 1 0 912734942 477937664 93679 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93679 301 301 0 116383 0 vsize: 466736 [startup+960.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 197880 0 0 0 95564 446 0 0 25 0 1 0 912734942 477937664 93681 4294967295 134512640 135730672 3221224576 3221222824 135286117 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93681 301 301 0 116383 0 vsize: 466736 [startup+970.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 197891 0 0 0 96564 446 0 0 25 0 1 0 912734942 477937664 93692 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93692 301 301 0 116383 0 vsize: 466736 [startup+980.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 200034 0 0 0 97558 452 0 0 25 0 1 0 912734942 477937664 93697 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93697 301 301 0 116383 0 vsize: 466736 [startup+990.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 200045 0 0 0 98558 452 0 0 25 0 1 0 912734942 477937664 93708 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93708 301 301 0 116383 0 vsize: 466736 [startup+1000.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 202192 0 0 0 99553 458 0 0 25 0 1 0 912734942 477937664 93717 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93717 301 301 0 116383 0 vsize: 466736 [startup+1010.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 202204 0 0 0 100553 458 0 0 25 0 1 0 912734942 477937664 93729 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93729 301 301 0 116383 0 vsize: 466736 [startup+1020.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 204344 0 0 0 101548 463 0 0 25 0 1 0 912734942 477937664 93731 4294967295 134512640 135730672 3221224576 3221223200 134783244 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93731 301 301 0 116383 0 vsize: 466736 [startup+1030.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 204346 0 0 0 102548 463 0 0 25 0 1 0 912734942 477937664 93733 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93733 301 301 0 116383 0 vsize: 466736 [startup+1040.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 206486 0 0 0 103543 469 0 0 25 0 1 0 912734942 486694912 95873 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 118822 95873 301 301 0 118521 0 vsize: 475288 [startup+1050.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 206488 0 0 0 104542 469 0 0 25 0 1 0 912734942 477937664 93737 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116684 93737 301 301 0 116383 0 vsize: 466736 [startup+1060.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 206569 0 0 0 105542 470 0 0 25 0 1 0 912734942 478199808 93753 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93753 301 301 0 116447 0 vsize: 466992 [startup+1070.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 208708 0 0 0 106536 476 0 0 25 0 1 0 912734942 478199808 93754 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93754 301 301 0 116447 0 vsize: 466992 [startup+1080.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 208710 0 0 0 107536 476 0 0 25 0 1 0 912734942 478199808 93756 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93756 301 301 0 116447 0 vsize: 466992 [startup+1090.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 210849 0 0 0 108531 481 0 0 25 0 1 0 912734942 478199808 93757 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93757 301 301 0 116447 0 vsize: 466992 [startup+1100.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 210856 0 0 0 109531 482 0 0 25 0 1 0 912734942 478199808 93764 4294967295 134512640 135730672 3221224576 3221223072 134747644 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93764 301 301 0 116447 0 vsize: 466992 [startup+1110.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 210858 0 0 0 110530 482 0 0 25 0 1 0 912734942 478199808 93766 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93766 301 301 0 116447 0 vsize: 466992 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 213007 0 0 0 111526 487 0 0 25 0 1 0 912734942 486957056 95915 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 118886 95915 301 301 0 118585 0 vsize: 475544 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 213009 0 0 0 112526 488 0 0 25 0 1 0 912734942 478199808 93779 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93779 301 301 0 116447 0 vsize: 466992 [startup+1140.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 213011 0 0 0 113526 488 0 0 25 0 1 0 912734942 478199808 93781 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93781 301 301 0 116447 0 vsize: 466992 [startup+1150.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 215150 0 0 0 114521 493 0 0 25 0 1 0 912734942 478199808 93782 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93782 301 301 0 116447 0 vsize: 466992 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 215153 0 0 0 115522 494 0 0 25 0 1 0 912734942 478199808 93785 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93785 301 301 0 116447 0 vsize: 466992 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 217292 0 0 0 116516 499 0 0 25 0 1 0 912734942 478199808 93786 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93786 301 301 0 116447 0 vsize: 466992 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 217295 0 0 0 117516 499 0 0 25 0 1 0 912734942 478199808 93789 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93789 301 301 0 116447 0 vsize: 466992 [startup+1190.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 219435 0 0 0 118511 505 0 0 25 0 1 0 912734942 478199808 93791 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93791 301 301 0 116447 0 vsize: 466992 [startup+1200.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 219437 0 0 0 119511 505 0 0 25 0 1 0 912734942 478199808 93793 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93793 301 301 0 116447 0 vsize: 466992 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.15 s] Raw data (loadavg): 0.99 0.98 0.93 1/54 17049 Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 219437 0 0 0 119511 505 0 0 25 0 1 0 912734942 478199808 93793 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 116748 93793 301 301 0 116447 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.14 CPU time (s): 1202.27 CPU user time (s): 1197.03 CPU system time (s): 5.2462 CPU usage (%): 100.011 Max. virtual memory (Kb): 475544 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####