Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb |
MD5SUM | 7604157ea8afc3404bc57ce8776c9667 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16763904 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1503282307720 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1503282307720 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1225.15 |
Number of variables | 7936 |
Total number of constraints | 324 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 324 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1920 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-16 11:51:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25804 boxname=wulflinc3 idbench=1104 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7604157ea8afc3404bc57ce8776c9667 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran4x64.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran4x64.opb IDLAUNCH: 25804 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 702348 kB Buffers: 19808 kB Cached: 290676 kB SwapCached: 820 kB Active: 33296 kB Inactive: 279328 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 702096 kB SwapTotal: 2097136 kB SwapFree: 2095340 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 14052 kB Committed_AS: 71904 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 12:11:56 (client local time) WITH STATUS 0 IN 1201.77 SECONDS stats: 25804 7 1201.77 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 29316/609855 Time: 70.9752/86400 c Decision: 29322/609855 Time: 132.508/86400 c Decision: 29329/609855 Time: 190.768/86400 c Decision: 29332/609855 Time: 233.089/86400 c Decision: 29332/609855 Time: 290.687/86400 c Decision: 29332/609855 Time: 347.344/86400 c Decision: 29383/609855 Time: 577.367/86400 c Decision: 29423/609855 Time: 845.328/86400 c Decision: 29458/609855 Time: 966.723/86400 c Decision: 29487/609855 Time: 1114.1/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.84 0.94 0.90 1/54 21718 Raw data (stat): 21718 (runsolver) R 21717 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970536078 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0014 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 26087 0 0 0 943 55 0 0 25 0 1 0 970536078 81412096 15203 4294967295 134512640 135730672 3221224576 3220587568 134611018 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19876 15203 301 301 0 19575 0 vsize: 79504 [startup+20.0014 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 52286 0 0 0 1884 113 0 0 25 0 1 0 970536078 156184576 30436 4294967295 134512640 135730672 3221224576 3220939648 134770759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38131 30436 301 301 0 37830 0 vsize: 152524 [startup+30.0022 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 91107 0 0 0 2810 188 0 0 25 0 1 0 970536078 271364096 47565 4294967295 134512640 135730672 3221224576 3221221888 134568880 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 66251 47565 301 301 0 65950 0 vsize: 265004 [startup+40.0026 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 92605 0 0 0 3804 193 0 0 25 0 1 0 970536078 271364096 47864 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 66251 47864 301 301 0 65950 0 vsize: 265004 [startup+50.0032 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 93440 0 0 0 4801 196 0 0 25 0 1 0 970536078 275369984 48699 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 67229 48699 301 301 0 66928 0 vsize: 268916 [startup+60.0027 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 94215 0 0 0 5798 199 0 0 25 0 1 0 970536078 279093248 49474 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 68138 49474 301 301 0 67837 0 vsize: 272552 [startup+70.0032 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 94988 0 0 0 6796 201 0 0 25 0 1 0 970536078 282857472 50247 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 69057 50247 301 301 0 68756 0 vsize: 276228 [startup+80.0034 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 96039 0 0 0 7793 204 0 0 25 0 1 0 970536078 288604160 51298 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 70460 51298 301 301 0 70159 0 vsize: 281840 [startup+90.0033 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 96878 0 0 0 8789 208 0 0 25 0 1 0 970536078 293257216 52137 4294967295 134512640 135730672 3221224576 3221223232 134734783 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 71596 52137 301 301 0 71295 0 vsize: 286384 [startup+100.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 98264 0 0 0 9785 212 0 0 25 0 1 0 970536078 294567936 52331 4294967295 134512640 135730672 3221224576 3221223116 135301642 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 71916 52331 301 301 0 71615 0 vsize: 287664 [startup+110.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 98453 0 0 0 10784 214 0 0 25 0 1 0 970536078 295452672 52520 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 72132 52520 301 301 0 71831 0 vsize: 288528 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 98764 0 0 0 11781 216 0 0 25 0 1 0 970536078 297279488 52831 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 72578 52831 301 301 0 72277 0 vsize: 290312 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 99069 0 0 0 12780 218 0 0 25 0 1 0 970536078 299327488 53136 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 73078 53136 301 301 0 72777 0 vsize: 292312 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 99216 0 0 0 13778 220 0 0 25 0 1 0 970536078 300310528 53283 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 73318 53283 301 301 0 73017 0 vsize: 293272 [startup+150.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 99467 0 0 0 14777 222 0 0 25 0 1 0 970536078 301965312 53534 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 73722 53534 301 301 0 73421 0 vsize: 294888 [startup+160.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 99730 0 0 0 15774 225 0 0 25 0 1 0 970536078 303505408 53797 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 74098 53797 301 301 0 73797 0 vsize: 296392 [startup+170.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101028 0 0 0 16769 229 0 0 25 0 1 0 970536078 304062464 53903 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 74234 53903 301 301 0 73933 0 vsize: 296936 [startup+180.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101128 0 0 0 17767 231 0 0 25 0 1 0 970536078 304848896 54003 4294967295 134512640 135730672 3221224576 3221223072 134747590 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 74426 54003 301 301 0 74125 0 vsize: 297704 [startup+190.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101316 0 0 0 18766 233 0 0 25 0 1 0 970536078 305766400 54191 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 74650 54191 301 301 0 74349 0 vsize: 298600 [startup+200.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101438 0 0 0 19764 234 0 0 25 0 1 0 970536078 306552832 54313 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 74842 54313 301 301 0 74541 0 vsize: 299368 [startup+210.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101585 0 0 0 20763 236 0 0 25 0 1 0 970536078 307535872 54460 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75082 54460 301 301 0 74781 0 vsize: 300328 [startup+220.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 102880 0 0 0 21758 241 0 0 25 0 1 0 970536078 313008128 55755 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 76418 55755 301 301 0 76117 0 vsize: 305672 [startup+230.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 102916 0 0 0 22756 243 0 0 25 0 1 0 970536078 308322304 54599 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75274 54599 301 301 0 74973 0 vsize: 301096 [startup+240.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 103018 0 0 0 23754 245 0 0 25 0 1 0 970536078 308817920 54701 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75395 54701 301 301 0 75094 0 vsize: 301580 [startup+250.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 103033 0 0 0 24753 246 0 0 25 0 1 0 970536078 308817920 54716 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75395 54716 301 301 0 75094 0 vsize: 301580 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 103092 0 0 0 25753 247 0 0 25 0 1 0 970536078 309211136 54775 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75491 54775 301 301 0 75190 0 vsize: 301964 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104335 0 0 0 26749 251 0 0 25 0 1 0 970536078 309604352 54826 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75587 54826 301 301 0 75286 0 vsize: 302348 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104399 0 0 0 27746 254 0 0 25 0 1 0 970536078 310095872 54890 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75707 54890 301 301 0 75406 0 vsize: 302828 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104567 0 0 0 28743 257 0 0 25 0 1 0 970536078 310915072 55058 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75907 55058 301 301 0 75606 0 vsize: 303628 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104657 0 0 0 29741 259 0 0 25 0 1 0 970536078 311406592 55148 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 76027 55148 301 301 0 75726 0 vsize: 304108 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104707 0 0 0 30739 261 0 0 25 0 1 0 970536078 311734272 55198 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 76107 55198 301 301 0 75806 0 vsize: 304428 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106039 0 0 0 31735 265 0 0 25 0 1 0 970536078 317501440 56530 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 77515 56530 301 301 0 77214 0 vsize: 310060 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106133 0 0 0 32733 267 0 0 25 0 1 0 970536078 313208832 55432 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 76467 55432 301 301 0 76166 0 vsize: 305868 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106193 0 0 0 33732 269 0 0 25 0 1 0 970536078 313569280 55492 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76555 55492 301 301 0 76254 0 vsize: 306220 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106263 0 0 0 34731 270 0 0 25 0 1 0 970536078 313929728 55562 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76643 55562 301 301 0 76342 0 vsize: 306572 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106363 0 0 0 35730 271 0 0 25 0 1 0 970536078 314486784 55662 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76779 55662 301 301 0 76478 0 vsize: 307116 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106468 0 0 0 36729 272 0 0 25 0 1 0 970536078 315240448 55767 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76963 55767 301 301 0 76662 0 vsize: 307852 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 107680 0 0 0 37726 276 0 0 25 0 1 0 970536078 315240448 55787 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76963 55787 301 301 0 76662 0 vsize: 307852 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 107822 0 0 0 38724 277 0 0 25 0 1 0 970536078 316092416 55929 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77171 55929 301 301 0 76870 0 vsize: 308684 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 107973 0 0 0 39723 279 0 0 25 0 1 0 970536078 317140992 56080 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77427 56080 301 301 0 77126 0 vsize: 309708 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108034 0 0 0 40722 280 0 0 25 0 1 0 970536078 317501440 56141 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77515 56141 301 301 0 77214 0 vsize: 310060 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108054 0 0 0 41722 281 0 0 25 0 1 0 970536078 317501440 56161 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77515 56161 301 301 0 77214 0 vsize: 310060 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108096 0 0 0 42721 282 0 0 25 0 1 0 970536078 317894656 56203 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77611 56203 301 301 0 77310 0 vsize: 310444 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108138 0 0 0 43720 282 0 0 25 0 1 0 970536078 318091264 56245 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77659 56245 301 301 0 77358 0 vsize: 310636 [startup+450.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108141 0 0 0 44720 283 0 0 25 0 1 0 970536078 318091264 56248 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77659 56248 301 301 0 77358 0 vsize: 310636 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108144 0 0 0 45718 285 0 0 25 0 1 0 970536078 318091264 56251 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77659 56251 301 301 0 77358 0 vsize: 310636 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108148 0 0 0 46717 286 0 0 25 0 1 0 970536078 318091264 56255 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77659 56255 301 301 0 77358 0 vsize: 310636 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108168 0 0 0 47716 287 0 0 25 0 1 0 970536078 318287872 56275 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77707 56275 301 301 0 77406 0 vsize: 310828 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21718 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108198 0 0 0 48716 288 0 0 25 0 1 0 970536078 318484480 56305 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77755 56305 301 301 0 77454 0 vsize: 311020 [startup+500.035 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 21771 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108211 0 0 0 49716 288 0 0 25 0 1 0 970536078 318484480 56318 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77755 56318 301 301 0 77454 0 vsize: 311020 [startup+510.035 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 21771 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108222 0 0 0 50716 289 0 0 25 0 1 0 970536078 318484480 56329 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77755 56329 301 301 0 77454 0 vsize: 311020 [startup+520.034 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 21771 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108225 0 0 0 51715 290 0 0 25 0 1 0 970536078 318484480 56332 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77755 56332 301 301 0 77454 0 vsize: 311020 [startup+530.034 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 21771 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108226 0 0 0 52714 291 0 0 25 0 1 0 970536078 318484480 56333 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77755 56333 301 301 0 77454 0 vsize: 311020 [startup+540.034 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 21771 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108239 0 0 0 53713 292 0 0 25 0 1 0 970536078 318681088 56346 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77803 56346 301 301 0 77502 0 vsize: 311212 [startup+550.036 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 21771 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108270 0 0 0 54712 293 0 0 25 0 1 0 970536078 318877696 56377 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77851 56377 301 301 0 77550 0 vsize: 311404 [startup+560.036 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 21771 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108310 0 0 0 55711 295 0 0 25 0 1 0 970536078 319074304 56417 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77899 56417 301 301 0 77598 0 vsize: 311596 [startup+570.036 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108370 0 0 0 56710 295 0 0 25 0 1 0 970536078 319385600 56477 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77975 56477 301 301 0 77674 0 vsize: 311900 [startup+580.037 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108390 0 0 0 57709 297 0 0 25 0 1 0 970536078 319582208 56497 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78023 56497 301 301 0 77722 0 vsize: 312092 [startup+590.036 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108392 0 0 0 58708 298 0 0 25 0 1 0 970536078 319582208 56499 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78023 56499 301 301 0 77722 0 vsize: 312092 [startup+600.037 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108394 0 0 0 59707 299 0 0 25 0 1 0 970536078 319582208 56501 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78023 56501 301 301 0 77722 0 vsize: 312092 [startup+610.038 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109626 0 0 0 60704 302 0 0 25 0 1 0 970536078 319778816 56541 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78071 56541 301 301 0 77770 0 vsize: 312284 [startup+620.038 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109635 0 0 0 61702 304 0 0 25 0 1 0 970536078 319778816 56550 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78071 56550 301 301 0 77770 0 vsize: 312284 [startup+630.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109671 0 0 0 62701 305 0 0 25 0 1 0 970536078 319975424 56586 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78119 56586 301 301 0 77818 0 vsize: 312476 [startup+640.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109694 0 0 0 63700 306 0 0 25 0 1 0 970536078 320172032 56609 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78167 56609 301 301 0 77866 0 vsize: 312668 [startup+650.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109783 0 0 0 64698 308 0 0 25 0 1 0 970536078 320761856 56698 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78311 56698 301 301 0 78010 0 vsize: 313244 [startup+660.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109841 0 0 0 65697 309 0 0 25 0 1 0 970536078 321155072 56756 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78407 56756 301 301 0 78106 0 vsize: 313628 [startup+670.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109860 0 0 0 66695 311 0 0 25 0 1 0 970536078 321351680 56775 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78455 56775 301 301 0 78154 0 vsize: 313820 [startup+680.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109910 0 0 0 67694 312 0 0 25 0 1 0 970536078 321548288 56825 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78503 56825 301 301 0 78202 0 vsize: 314012 [startup+690.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109951 0 0 0 68693 314 0 0 25 0 1 0 970536078 321941504 56866 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78599 56866 301 301 0 78298 0 vsize: 314396 [startup+700.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109965 0 0 0 69691 315 0 0 25 0 1 0 970536078 321941504 56880 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78599 56880 301 301 0 78298 0 vsize: 314396 [startup+710.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109984 0 0 0 70690 317 0 0 25 0 1 0 970536078 322138112 56899 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78647 56899 301 301 0 78346 0 vsize: 314588 [startup+720.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109988 0 0 0 71688 319 0 0 25 0 1 0 970536078 322138112 56903 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78647 56903 301 301 0 78346 0 vsize: 314588 [startup+730.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110032 0 0 0 72687 320 0 0 25 0 1 0 970536078 322334720 56947 4294967295 134512640 135730672 3221224576 3221223088 135283013 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78695 56947 301 301 0 78394 0 vsize: 314780 [startup+740.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110045 0 0 0 73686 321 0 0 25 0 1 0 970536078 322334720 56960 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78695 56960 301 301 0 78394 0 vsize: 314780 [startup+750.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110076 0 0 0 74686 322 0 0 25 0 1 0 970536078 322531328 56991 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78743 56991 301 301 0 78442 0 vsize: 314972 [startup+760.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110079 0 0 0 75685 323 0 0 25 0 1 0 970536078 322531328 56994 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78743 56994 301 301 0 78442 0 vsize: 314972 [startup+770.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110091 0 0 0 76684 324 0 0 25 0 1 0 970536078 322727936 57006 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78791 57006 301 301 0 78490 0 vsize: 315164 [startup+780.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110169 0 0 0 77683 325 0 0 25 0 1 0 970536078 323121152 57084 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78887 57084 301 301 0 78586 0 vsize: 315548 [startup+790.045 s] Raw data (loadavg): 1.00 0.99 0.91 3/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110171 0 0 0 78682 326 0 0 25 0 1 0 970536078 323121152 57086 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78887 57086 301 301 0 78586 0 vsize: 315548 [startup+800.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110208 0 0 0 79681 327 0 0 25 0 1 0 970536078 323317760 57123 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78935 57123 301 301 0 78634 0 vsize: 315740 [startup+810.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110220 0 0 0 80680 328 0 0 25 0 1 0 970536078 323514368 57135 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78983 57135 301 301 0 78682 0 vsize: 315932 [startup+820.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21773 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110223 0 0 0 81680 329 0 0 25 0 1 0 970536078 323514368 57138 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78983 57138 301 301 0 78682 0 vsize: 315932 [startup+830.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110247 0 0 0 82679 329 0 0 25 0 1 0 970536078 323514368 57162 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78983 57162 301 301 0 78682 0 vsize: 315932 [startup+840.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110248 0 0 0 83678 331 0 0 25 0 1 0 970536078 323514368 57163 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78983 57163 301 301 0 78682 0 vsize: 315932 [startup+850.051 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110251 0 0 0 84678 331 0 0 25 0 1 0 970536078 323514368 57166 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78983 57166 301 301 0 78682 0 vsize: 315932 [startup+860.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110278 0 0 0 85677 332 0 0 25 0 1 0 970536078 323710976 57193 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79031 57193 301 301 0 78730 0 vsize: 316124 [startup+870.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110297 0 0 0 86676 334 0 0 25 0 1 0 970536078 323907584 57212 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79079 57212 301 301 0 78778 0 vsize: 316316 [startup+880.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111498 0 0 0 87671 338 0 0 25 0 1 0 970536078 323907584 57221 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 79079 57221 301 301 0 78778 0 vsize: 316316 [startup+890.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111520 0 0 0 88669 339 0 0 25 0 1 0 970536078 323907584 57243 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79079 57243 301 301 0 78778 0 vsize: 316316 [startup+900.053 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111524 0 0 0 89668 341 0 0 25 0 1 0 970536078 323907584 57247 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79079 57247 301 301 0 78778 0 vsize: 316316 [startup+910.053 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111528 0 0 0 90667 342 0 0 25 0 1 0 970536078 323907584 57251 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79079 57251 301 301 0 78778 0 vsize: 316316 [startup+920.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111541 0 0 0 91667 343 0 0 25 0 1 0 970536078 324104192 57264 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79127 57264 301 301 0 78826 0 vsize: 316508 [startup+930.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111568 0 0 0 92667 343 0 0 25 0 1 0 970536078 324268032 57291 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79167 57291 301 301 0 78866 0 vsize: 316668 [startup+940.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111591 0 0 0 93665 345 0 0 25 0 1 0 970536078 324268032 57314 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79167 57314 301 301 0 78866 0 vsize: 316668 [startup+950.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111595 0 0 0 94665 345 0 0 25 0 1 0 970536078 324268032 57318 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79167 57318 301 301 0 78866 0 vsize: 316668 [startup+960.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111606 0 0 0 95664 346 0 0 25 0 1 0 970536078 324464640 57329 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79215 57329 301 301 0 78914 0 vsize: 316860 [startup+970.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111618 0 0 0 96664 347 0 0 25 0 1 0 970536078 324464640 57341 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79215 57341 301 301 0 78914 0 vsize: 316860 [startup+980.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111621 0 0 0 97663 348 0 0 25 0 1 0 970536078 324464640 57344 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79215 57344 301 301 0 78914 0 vsize: 316860 [startup+990.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111625 0 0 0 98663 348 0 0 25 0 1 0 970536078 324464640 57348 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79215 57348 301 301 0 78914 0 vsize: 316860 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112819 0 0 0 99660 351 0 0 25 0 1 0 970536078 324464640 57350 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79215 57350 301 301 0 78914 0 vsize: 316860 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112844 0 0 0 100659 352 0 0 25 0 1 0 970536078 324661248 57375 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79263 57375 301 301 0 78962 0 vsize: 317052 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112865 0 0 0 101659 353 0 0 25 0 1 0 970536078 324661248 57396 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79263 57396 301 301 0 78962 0 vsize: 317052 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112908 0 0 0 102658 354 0 0 25 0 1 0 970536078 325054464 57439 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79359 57439 301 301 0 79058 0 vsize: 317436 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112929 0 0 0 103657 355 0 0 25 0 1 0 970536078 325054464 57460 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79359 57460 301 301 0 79058 0 vsize: 317436 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112941 0 0 0 104657 355 0 0 25 0 1 0 970536078 325251072 57472 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79407 57472 301 301 0 79106 0 vsize: 317628 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112961 0 0 0 105656 356 0 0 25 0 1 0 970536078 325251072 57492 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79407 57492 301 301 0 79106 0 vsize: 317628 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112975 0 0 0 106656 356 0 0 25 0 1 0 970536078 325447680 57506 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79455 57506 301 301 0 79154 0 vsize: 317820 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112976 0 0 0 107656 357 0 0 25 0 1 0 970536078 325447680 57507 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79455 57507 301 301 0 79154 0 vsize: 317820 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113008 0 0 0 108655 358 0 0 25 0 1 0 970536078 325644288 57539 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79503 57539 301 301 0 79202 0 vsize: 318012 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113042 0 0 0 109654 359 0 0 25 0 1 0 970536078 325840896 57573 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79551 57573 301 301 0 79250 0 vsize: 318204 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113062 0 0 0 110653 360 0 0 25 0 1 0 970536078 325840896 57593 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79551 57593 301 301 0 79250 0 vsize: 318204 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113083 0 0 0 111653 361 0 0 25 0 1 0 970536078 326037504 57614 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79599 57614 301 301 0 79298 0 vsize: 318396 [startup+1130.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113084 0 0 0 112652 361 0 0 25 0 1 0 970536078 326037504 57615 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79599 57615 301 301 0 79298 0 vsize: 318396 [startup+1140.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113098 0 0 0 113652 362 0 0 25 0 1 0 970536078 326037504 57629 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79599 57629 301 301 0 79298 0 vsize: 318396 [startup+1150.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114290 0 0 0 114648 365 0 0 25 0 1 0 970536078 326037504 57629 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79599 57629 301 301 0 79298 0 vsize: 318396 [startup+1160.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114293 0 0 0 115648 366 0 0 25 0 1 0 970536078 326037504 57632 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79599 57632 301 301 0 79298 0 vsize: 318396 [startup+1170.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114353 0 0 0 116647 367 0 0 25 0 1 0 970536078 326430720 57692 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79695 57692 301 301 0 79394 0 vsize: 318780 [startup+1180.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114387 0 0 0 117646 368 0 0 25 0 1 0 970536078 326627328 57726 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79743 57726 301 301 0 79442 0 vsize: 318972 [startup+1190.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114397 0 0 0 118645 369 0 0 25 0 1 0 970536078 326823936 57736 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79791 57736 301 301 0 79490 0 vsize: 319164 [startup+1200.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 21775 Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114407 0 0 0 119645 370 0 0 25 0 1 0 970536078 326823936 57746 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79791 57746 301 301 0 79490 0 vsize: 319164 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.68 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 21775 Raw data (stat): 21718 (pb2sat-v2) Z 21717 20224 20223 0 -1 12 114409 0 0 0 119795 381 0 0 25 0 1 0 970536078 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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): 1201.68 CPU time (s): 1201.77 CPU user time (s): 1197.95 CPU system time (s): 3.81342 CPU usage (%): 100.007 Max. virtual memory (Kb): 319164 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####