Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb |
MD5SUM | eb0734273e24196dd14c6f237b52fa81 |
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 | 8904 |
Biggest coefficient in the objective function | 2258 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 5135151 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 2258 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 5135151 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.12098 |
Number of variables | 8904 |
Total number of constraints | 9727 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 9727 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 368 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-16 06:14:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25597 boxname=wulflinc6 idbench=897 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: eb0734273e24196dd14c6f237b52fa81 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-air04.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-air04.opb IDLAUNCH: 25597 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 742024 kB Buffers: 33224 kB Cached: 236524 kB SwapCached: 1028 kB Active: 27708 kB Inactive: 244168 kB HighTotal: 131008 kB HighFree: 19012 kB LowTotal: 903652 kB LowFree: 723012 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5088 kB Slab: 15052 kB Committed_AS: 63848 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 06:34:47 (client local time) WITH STATUS 0 IN 1200.8 SECONDS stats: 25597 7 1200.8 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 72552/153207 Time: 298.316/86400 c Decision: 72568/153207 Time: 396.121/86400 c Decision: 72606/153207 Time: 447.969/86400 c Decision: 72627/153207 Time: 534.498/86400 c Decision: 72627/153207 Time: 547.898/86400 c Decision: 72650/153207 Time: 627.926/86400 c Decision: 72677/153207 Time: 751.197/86400 c Decision: 72691/153207 Time: 797.654/86400 c Decision: 72695/153207 Time: 833.177/86400 c Decision: 72709/153207 Time: 893.323/86400 c Decision: 72726/153207 Time: 989.034/86400 c Decision: 72742/153207 Time: 1051.25/86400s UNKNOWN #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 1/54 15189 Raw data (stat): 15189 (runsolver) R 15188 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968521235 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.0012 s] Raw data (loadavg): 0.92 0.95 0.90 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 13995 0 0 0 962 36 0 0 25 0 1 0 968521235 41070592 8489 4294967295 134512640 135730672 3221224576 3221156432 134732194 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10027 8489 301 301 0 9726 0 vsize: 40108 [startup+20.0021 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 19563 0 0 0 1949 50 0 0 25 0 1 0 968521235 56782848 11426 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13863 11426 301 301 0 13562 0 vsize: 55452 [startup+30.0029 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 19931 0 0 0 2946 53 0 0 25 0 1 0 968521235 58421248 11794 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14263 11794 301 301 0 13962 0 vsize: 57052 [startup+40.0034 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 20112 0 0 0 3945 54 0 0 25 0 1 0 968521235 59027456 11975 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14411 11975 301 301 0 14110 0 vsize: 57644 [startup+50.0043 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 20240 0 0 0 4944 55 0 0 25 0 1 0 968521235 59469824 12103 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14519 12103 301 301 0 14218 0 vsize: 58076 [startup+60.0044 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 20394 0 0 0 5943 56 0 0 25 0 1 0 968521235 59928576 12257 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14631 12257 301 301 0 14330 0 vsize: 58524 [startup+70.0049 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 20475 0 0 0 6943 57 0 0 25 0 1 0 968521235 60256256 12338 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14711 12338 301 301 0 14410 0 vsize: 58844 [startup+80.0057 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 20635 0 0 0 7942 59 0 0 25 0 1 0 968521235 60571648 12498 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14788 12498 301 301 0 14487 0 vsize: 59152 [startup+90.0058 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 20790 0 0 0 8941 60 0 0 25 0 1 0 968521235 69095424 12653 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16869 12653 301 301 0 16568 0 vsize: 67476 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 20931 0 0 0 9939 62 0 0 25 0 1 0 968521235 69558272 12794 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16982 12794 301 301 0 16681 0 vsize: 67928 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 21031 0 0 0 10939 63 0 0 25 0 1 0 968521235 69738496 12894 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17026 12894 301 301 0 16725 0 vsize: 68104 [startup+120.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 21201 0 0 0 11938 64 0 0 25 0 1 0 968521235 70164480 13064 4294967295 134512640 135730672 3221224576 3221223184 134748234 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17130 13064 301 301 0 16829 0 vsize: 68520 [startup+130.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 21318 0 0 0 12937 66 0 0 25 0 1 0 968521235 70299648 13181 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17163 13181 301 301 0 16862 0 vsize: 68652 [startup+140.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 21434 0 0 0 13936 67 0 0 25 0 1 0 968521235 70582272 13297 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17232 13297 301 301 0 16931 0 vsize: 68928 [startup+150.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 21604 0 0 0 14935 68 0 0 25 0 1 0 968521235 70729728 13467 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17268 13467 301 301 0 16967 0 vsize: 69072 [startup+160.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 21761 0 0 0 15933 70 0 0 25 0 1 0 968521235 71196672 13624 4294967295 134512640 135730672 3221224576 3221223200 134748141 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17382 13624 301 301 0 17081 0 vsize: 69528 [startup+170.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 21865 0 0 0 16933 71 0 0 25 0 1 0 968521235 71479296 13728 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17451 13728 301 301 0 17150 0 vsize: 69804 [startup+180.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 21982 0 0 0 17932 72 0 0 25 0 1 0 968521235 71626752 13845 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17487 13845 301 301 0 17186 0 vsize: 69948 [startup+190.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 22122 0 0 0 18932 73 0 0 25 0 1 0 968521235 71761920 13985 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17520 13985 301 301 0 17219 0 vsize: 70080 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 22293 0 0 0 19930 75 0 0 25 0 1 0 968521235 72216576 14156 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17631 14156 301 301 0 17330 0 vsize: 70524 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 22378 0 0 0 20929 77 0 0 25 0 1 0 968521235 72380416 14241 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17671 14241 301 301 0 17370 0 vsize: 70684 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 22458 0 0 0 21928 78 0 0 25 0 1 0 968521235 72519680 14321 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17705 14321 301 301 0 17404 0 vsize: 70820 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 22566 0 0 0 22926 80 0 0 25 0 1 0 968521235 72654848 14429 4294967295 134512640 135730672 3221224576 3221222648 135285445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17738 14429 301 301 0 17437 0 vsize: 70952 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 22700 0 0 0 23925 81 0 0 25 0 1 0 968521235 72790016 14563 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17771 14563 301 301 0 17470 0 vsize: 71084 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 22783 0 0 0 24924 82 0 0 25 0 1 0 968521235 72937472 14646 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17807 14646 301 301 0 17506 0 vsize: 71228 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 22923 0 0 0 25923 84 0 0 25 0 1 0 968521235 73072640 14786 4294967295 134512640 135730672 3221224576 3221223072 134747662 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17840 14786 301 301 0 17539 0 vsize: 71360 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 23028 0 0 0 26923 85 0 0 25 0 1 0 968521235 73207808 14891 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17873 14891 301 301 0 17572 0 vsize: 71492 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 23203 0 0 0 27921 86 0 0 25 0 1 0 968521235 73527296 15066 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17951 15066 301 301 0 17650 0 vsize: 71804 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 23425 0 0 0 28921 87 0 0 25 0 1 0 968521235 73674752 15288 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17987 15288 301 301 0 17686 0 vsize: 71948 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 23585 0 0 0 29920 88 0 0 25 0 1 0 968521235 73809920 15448 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18020 15448 301 301 0 17719 0 vsize: 72080 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24003 0 0 0 30919 89 0 0 25 0 1 0 968521235 73809920 15566 4294967295 134512640 135730672 3221224576 3221223200 134783257 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18020 15566 301 301 0 17719 0 vsize: 72080 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24095 0 0 0 31919 90 0 0 25 0 1 0 968521235 74293248 15658 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18138 15658 301 301 0 17837 0 vsize: 72552 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24106 0 0 0 32918 91 0 0 25 0 1 0 968521235 74293248 15669 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18138 15669 301 301 0 17837 0 vsize: 72552 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24153 0 0 0 33917 93 0 0 25 0 1 0 968521235 74448896 15716 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18176 15716 301 301 0 17875 0 vsize: 72704 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24221 0 0 0 34917 93 0 0 25 0 1 0 968521235 74731520 15784 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18245 15784 301 301 0 17944 0 vsize: 72980 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24326 0 0 0 35916 95 0 0 25 0 1 0 968521235 75026432 15889 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18317 15889 301 301 0 18016 0 vsize: 73268 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24470 0 0 0 36914 97 0 0 25 0 1 0 968521235 75501568 16033 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18433 16033 301 301 0 18132 0 vsize: 73732 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24562 0 0 0 37913 98 0 0 25 0 1 0 968521235 92278784 16125 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22529 16125 301 301 0 22228 0 vsize: 90116 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24696 0 0 0 38912 100 0 0 25 0 1 0 968521235 92442624 16259 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22569 16259 301 301 0 22268 0 vsize: 90276 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 24877 0 0 0 39911 101 0 0 25 0 1 0 968521235 92577792 16440 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22602 16440 301 301 0 22301 0 vsize: 90408 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 25396 0 0 0 40909 103 0 0 25 0 1 0 968521235 92577792 16659 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22602 16659 301 301 0 22301 0 vsize: 90408 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 28575 0 0 0 41902 110 0 0 25 0 1 0 968521235 105299968 16765 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25708 16765 301 301 0 25407 0 vsize: 102832 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 28667 0 0 0 42901 111 0 0 25 0 1 0 968521235 105496576 16857 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25756 16857 301 301 0 25455 0 vsize: 103024 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 28744 0 0 0 43901 112 0 0 25 0 1 0 968521235 105496576 16934 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25756 16934 301 301 0 25455 0 vsize: 103024 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 28830 0 0 0 44899 114 0 0 25 0 1 0 968521235 105660416 17020 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25796 17020 301 301 0 25495 0 vsize: 103184 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 29283 0 0 0 45899 114 0 0 25 0 1 0 968521235 105660416 17173 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25796 17173 301 301 0 25495 0 vsize: 103184 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 29380 0 0 0 46898 116 0 0 25 0 1 0 968521235 105807872 17270 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25832 17270 301 301 0 25531 0 vsize: 103328 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 29477 0 0 0 47896 118 0 0 25 0 1 0 968521235 105955328 17367 4294967295 134512640 135730672 3221224576 3221222816 134786278 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25868 17368 301 301 0 25567 0 vsize: 103472 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 29552 0 0 0 48895 119 0 0 25 0 1 0 968521235 106094592 17442 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25902 17442 301 301 0 25601 0 vsize: 103608 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 29654 0 0 0 49894 121 0 0 25 0 1 0 968521235 106266624 17544 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25944 17544 301 301 0 25643 0 vsize: 103776 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 29884 0 0 0 50893 122 0 0 25 0 1 0 968521235 106463232 17774 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25992 17774 301 301 0 25691 0 vsize: 103968 [startup+520.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 30025 0 0 0 51893 122 0 0 25 0 1 0 968521235 106463232 17915 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25992 17915 301 301 0 25691 0 vsize: 103968 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 30232 0 0 0 52893 123 0 0 25 0 1 0 968521235 106610688 18122 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26028 18122 301 301 0 25727 0 vsize: 104112 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 30327 0 0 0 53892 124 0 0 25 0 1 0 968521235 106610688 18217 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26028 18217 301 301 0 25727 0 vsize: 104112 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 30732 0 0 0 54890 126 0 0 25 0 1 0 968521235 106610688 18322 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26028 18322 301 301 0 25727 0 vsize: 104112 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 31111 0 0 0 55889 127 0 0 25 0 1 0 968521235 106610688 18401 4294967295 134512640 135730672 3221224576 3221222904 134814640 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26028 18401 301 301 0 25727 0 vsize: 104112 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 31226 0 0 0 56888 128 0 0 25 0 1 0 968521235 106807296 18516 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26076 18516 301 301 0 25775 0 vsize: 104304 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 31318 0 0 0 57886 130 0 0 25 0 1 0 968521235 106946560 18608 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26110 18608 301 301 0 25809 0 vsize: 104440 [startup+590.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 31426 0 0 0 58885 131 0 0 25 0 1 0 968521235 107126784 18716 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26154 18716 301 301 0 25853 0 vsize: 104616 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 31586 0 0 0 59884 133 0 0 25 0 1 0 968521235 107274240 18876 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26190 18876 301 301 0 25889 0 vsize: 104760 [startup+610.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 31690 0 0 0 60884 133 0 0 25 0 1 0 968521235 107409408 18980 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26223 18980 301 301 0 25922 0 vsize: 104892 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 31861 0 0 0 61883 135 0 0 25 0 1 0 968521235 107544576 19151 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26256 19151 301 301 0 25955 0 vsize: 105024 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32053 0 0 0 62882 136 0 0 25 0 1 0 968521235 107544576 19343 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26256 19343 301 301 0 25955 0 vsize: 105024 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32651 0 0 0 63881 138 0 0 25 0 1 0 968521235 107544576 19641 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26256 19641 301 301 0 25955 0 vsize: 105024 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32686 0 0 0 64880 139 0 0 25 0 1 0 968521235 107696128 19676 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26293 19676 301 301 0 25992 0 vsize: 105172 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32716 0 0 0 65879 140 0 0 25 0 1 0 968521235 107835392 19706 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26327 19706 301 301 0 26026 0 vsize: 105308 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32748 0 0 0 66878 141 0 0 25 0 1 0 968521235 107999232 19738 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26367 19738 301 301 0 26066 0 vsize: 105468 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32773 0 0 0 67878 142 0 0 25 0 1 0 968521235 108138496 19763 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26401 19763 301 301 0 26100 0 vsize: 105604 [startup+690.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32784 0 0 0 68878 142 0 0 25 0 1 0 968521235 108138496 19774 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26401 19774 301 301 0 26100 0 vsize: 105604 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32807 0 0 0 69878 143 0 0 25 0 1 0 968521235 108285952 19797 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26437 19797 301 301 0 26136 0 vsize: 105748 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32831 0 0 0 70877 144 0 0 25 0 1 0 968521235 108285952 19821 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26437 19821 301 301 0 26136 0 vsize: 105748 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32833 0 0 0 71877 144 0 0 25 0 1 0 968521235 108285952 19823 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26437 19823 301 301 0 26136 0 vsize: 105748 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32868 0 0 0 72877 145 0 0 25 0 1 0 968521235 108433408 19858 4294967295 134512640 135730672 3221224576 3221222896 134732598 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26473 19858 301 301 0 26172 0 vsize: 105892 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32905 0 0 0 73876 146 0 0 25 0 1 0 968521235 108736512 19895 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26547 19895 301 301 0 26246 0 vsize: 106188 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32962 0 0 0 74876 147 0 0 25 0 1 0 968521235 108883968 19952 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26583 19952 301 301 0 26282 0 vsize: 106332 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 32965 0 0 0 75875 147 0 0 25 0 1 0 968521235 108883968 19955 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26583 19955 301 301 0 26282 0 vsize: 106332 [startup+770.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 33269 0 0 0 76873 149 0 0 25 0 1 0 968521235 108883968 19959 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26583 19959 301 301 0 26282 0 vsize: 106332 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 33285 0 0 0 77873 151 0 0 25 0 1 0 968521235 109080576 19975 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26631 19975 301 301 0 26330 0 vsize: 106524 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 33310 0 0 0 78873 151 0 0 25 0 1 0 968521235 109080576 20000 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26631 20000 301 301 0 26330 0 vsize: 106524 [startup+800.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 33312 0 0 0 79872 151 0 0 25 0 1 0 968521235 109080576 20002 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26631 20002 301 301 0 26330 0 vsize: 106524 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 33623 0 0 0 80872 153 0 0 25 0 1 0 968521235 109244416 20013 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26671 20013 301 301 0 26370 0 vsize: 106684 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 33668 0 0 0 81870 154 0 0 25 0 1 0 968521235 109383680 20058 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26705 20058 301 301 0 26404 0 vsize: 106820 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 33735 0 0 0 82870 155 0 0 25 0 1 0 968521235 109383680 20125 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26705 20125 301 301 0 26404 0 vsize: 106820 [startup+840.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 33965 0 0 0 83869 156 0 0 25 0 1 0 968521235 109383680 20355 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26705 20355 301 301 0 26404 0 vsize: 106820 [startup+850.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 34404 0 0 0 84868 157 0 0 25 0 1 0 968521235 109383680 20494 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26705 20494 301 301 0 26404 0 vsize: 106820 [startup+860.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 34500 0 0 0 85868 158 0 0 25 0 1 0 968521235 109383680 20590 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26705 20590 301 301 0 26404 0 vsize: 106820 [startup+870.027 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 34603 0 0 0 86866 160 0 0 25 0 1 0 968521235 109531136 20693 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26741 20693 301 301 0 26440 0 vsize: 106964 [startup+880.028 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 34683 0 0 0 87865 161 0 0 25 0 1 0 968521235 109694976 20773 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26781 20773 301 301 0 26480 0 vsize: 107124 [startup+890.029 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 34778 0 0 0 88865 162 0 0 25 0 1 0 968521235 109694976 20868 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26781 20868 301 301 0 26480 0 vsize: 107124 [startup+900.029 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 34887 0 0 0 89865 163 0 0 25 0 1 0 968521235 109694976 20977 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26781 20977 301 301 0 26480 0 vsize: 107124 [startup+910.029 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 35273 0 0 0 90864 164 0 0 25 0 1 0 968521235 109694976 21063 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26781 21063 301 301 0 26480 0 vsize: 107124 [startup+920.029 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 35351 0 0 0 91864 164 0 0 25 0 1 0 968521235 109694976 21141 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26781 21141 301 301 0 26480 0 vsize: 107124 [startup+930.029 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 35467 0 0 0 92863 166 0 0 25 0 1 0 968521235 109891584 21257 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26829 21257 301 301 0 26528 0 vsize: 107316 [startup+940.029 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 35552 0 0 0 93862 167 0 0 25 0 1 0 968521235 110055424 21342 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26869 21342 301 301 0 26568 0 vsize: 107476 [startup+950.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 35648 0 0 0 94860 169 0 0 25 0 1 0 968521235 143609856 21438 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35061 21438 301 301 0 34760 0 vsize: 140244 [startup+960.031 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 35831 0 0 0 95860 169 0 0 25 0 1 0 968521235 143609856 21621 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35061 21621 301 301 0 34760 0 vsize: 140244 [startup+970.031 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 35919 0 0 0 96858 172 0 0 25 0 1 0 968521235 143773696 21709 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35101 21709 301 301 0 34800 0 vsize: 140404 [startup+980.031 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36009 0 0 0 97858 172 0 0 25 0 1 0 968521235 143937536 21799 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35141 21799 301 301 0 34840 0 vsize: 140564 [startup+990.032 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36074 0 0 0 98857 173 0 0 25 0 1 0 968521235 143937536 21864 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35141 21864 301 301 0 34840 0 vsize: 140564 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36411 0 0 0 99856 175 0 0 25 0 1 0 968521235 143937536 21901 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35141 21901 301 301 0 34840 0 vsize: 140564 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36435 0 0 0 100856 175 0 0 25 0 1 0 968521235 144134144 21925 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35189 21925 301 301 0 34888 0 vsize: 140756 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36444 0 0 0 101856 176 0 0 25 0 1 0 968521235 144134144 21934 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35189 21934 301 301 0 34888 0 vsize: 140756 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36458 0 0 0 102855 177 0 0 25 0 1 0 968521235 144134144 21948 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35189 21948 301 301 0 34888 0 vsize: 140756 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36471 0 0 0 103854 178 0 0 25 0 1 0 968521235 144297984 21961 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35229 21961 301 301 0 34928 0 vsize: 140916 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36479 0 0 0 104854 179 0 0 25 0 1 0 968521235 144297984 21969 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35229 21969 301 301 0 34928 0 vsize: 140916 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36489 0 0 0 105854 180 0 0 25 0 1 0 968521235 144297984 21979 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35229 21979 301 301 0 34928 0 vsize: 140916 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36822 0 0 0 106853 181 0 0 25 0 1 0 968521235 144461824 22012 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35269 22012 301 301 0 34968 0 vsize: 141076 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36892 0 0 0 107851 183 0 0 25 0 1 0 968521235 144826368 22082 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35358 22082 301 301 0 35057 0 vsize: 141432 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36925 0 0 0 108850 184 0 0 25 0 1 0 968521235 145022976 22115 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35406 22115 301 301 0 35105 0 vsize: 141624 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36942 0 0 0 109850 185 0 0 25 0 1 0 968521235 145022976 22132 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35406 22132 301 301 0 35105 0 vsize: 141624 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 36975 0 0 0 110849 186 0 0 25 0 1 0 968521235 145162240 22165 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35440 22165 301 301 0 35139 0 vsize: 141760 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37044 0 0 0 111847 188 0 0 25 0 1 0 968521235 145473536 22234 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35516 22234 301 301 0 35215 0 vsize: 142064 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37056 0 0 0 112847 189 0 0 25 0 1 0 968521235 145653760 22246 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35560 22246 301 301 0 35259 0 vsize: 142240 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37061 0 0 0 113847 189 0 0 25 0 1 0 968521235 145653760 22251 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35560 22251 301 301 0 35259 0 vsize: 142240 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37065 0 0 0 114847 190 0 0 25 0 1 0 968521235 145653760 22255 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35560 22255 301 301 0 35259 0 vsize: 142240 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37080 0 0 0 115846 191 0 0 25 0 1 0 968521235 145653760 22270 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35560 22270 301 301 0 35259 0 vsize: 142240 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37108 0 0 0 116846 192 0 0 25 0 1 0 968521235 145850368 22298 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35608 22298 301 301 0 35307 0 vsize: 142432 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37129 0 0 0 117845 193 0 0 25 0 1 0 968521235 145850368 22319 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35608 22319 301 301 0 35307 0 vsize: 142432 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37154 0 0 0 118843 195 0 0 25 0 1 0 968521235 146006016 22344 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35646 22344 301 301 0 35345 0 vsize: 142584 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 15189 Raw data (stat): 15189 (pb2sat-v2) R 15188 25568 25567 0 -1 0 37198 0 0 0 119843 196 0 0 25 0 1 0 968521235 146186240 22388 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35690 22388 301 301 0 35389 0 vsize: 142760 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.45 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 15189 Raw data (stat): 15189 (pb2sat-v2) Z 15188 25568 25567 0 -1 12 37200 0 0 0 119879 200 0 0 25 0 1 0 968521235 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.45 CPU time (s): 1200.8 CPU user time (s): 1198.8 CPU system time (s): 2.00669 CPU usage (%): 100.029 Max. virtual memory (Kb): 142760 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####