Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
MD5SUM | 7da782a9a5fff983d0dc41e97459b8ae |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7696383 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7812 |
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 | 1450667950777 |
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 | 1450667950777 |
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 | 1226.01 |
Number of variables | 7812 |
Total number of constraints | 284 |
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 | 284 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 540 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 11:42:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25801 boxname=wulflinc1 idbench=1101 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7da782a9a5fff983d0dc41e97459b8ae /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ran14x18.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ran14x18.opb IDLAUNCH: 25801 /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: 615076 kB Buffers: 29940 kB Cached: 365248 kB SwapCached: 1184 kB Active: 28940 kB Inactive: 368544 kB HighTotal: 131008 kB HighFree: 4368 kB LowTotal: 903652 kB LowFree: 610708 kB SwapTotal: 2097136 kB SwapFree: 2094888 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16124 kB Committed_AS: 92684 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 12:02:11 (client local time) WITH STATUS 0 IN 1200.82 SECONDS stats: 25801 7 1200.82 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 26387/271498 Time: 49.6165/86400 c Decision: 26387/271498 Time: 56.5294/86400 c Decision: 26387/271498 Time: 62.7245/86400 c Decision: 26387/271498 Time: 68.5996/86400 c Decision: 26387/271498 Time: 73.7288/86400 c Decision: 26387/271498 Time: 79.7839/86400 c Decision: 26387/271498 Time: 85.0381/86400 c Decision: 26387/271498 Time: 91.5491/86400 c Decision: 26387/271498 Time: 97.0482/86400 c Decision: 26387/271498 Time: 102.577/86400 c Decision: 26387/271498 Time: 110/86400 c Decision: 26387/271498 Time: 115.7/86400 c Decision: 26387/271498 Time: 121.601/86400 c Decision: 26387/271498 Time: 126.829/86400 c Decision: 26387/271498 Time: 132.714/86400 c Decision: 26387/271498 Time: 138.849/86400 c Decision: 26387/271498 Time: 144.114/86400 c Decision: 26387/271498 Time: 149.491/86400 c Decision: 26387/271498 Time: 155.482/86400 c Decision: 26387/271498 Time: 161.781/86400 c Decision: 26387/271498 Time: 167.892/86400 c Decision: 26387/271498 Time: 173.595/86400 c Decision: 26387/271498 Time: 178.791/86400 c Decision: 26387/271498 Time: 184.709/86400 c Decision: 26387/271498 Time: 189.437/86400 c Decision: 26387/271498 Time: 196.471/86400 c Decision: 26387/271498 Time: 202.133/86400 c Decision: 26387/271498 Time: 206.656/86400 c Decision: 26387/271498 Time: 212.395/86400 c Decision: 26387/271498 Time: 218.245/86400 c Decision: 26387/271498 Time: 225.352/86400 c Decision: 26387/271498 Time: 230.453/86400 c Decision: 26387/271498 Time: 236.087/86400 c Decision: 26387/271498 Time: 241.711/86400 c Decision: 26387/271498 Time: 247.699/86400 c Decision: 26387/271498 Time: 254.352/86400 c Decision: 26387/271498 Time: 260.261/86400 c Decision: 26387/271498 Time: 266.063/86400 c Decision: 26387/271498 Time: 271.851/86400 c Decision: 26387/271498 Time: 277.911/86400 c Decision: 26387/271498 Time: 284.727/86400 c Decision: 26387/271498 Time: 290.728/86400 c Decision: 26387/271498 Time: 296.114/86400 c Decision: 26387/271498 Time: 300.954/86400 c Decision: 26387/271498 Time: 306.947/86400 c Decision: 26387/271498 Time: 313.98/86400 c Decision: 26387/271498 Time: 319.64/86400 c Decision: 26387/271498 Time: 325.624/86400 c Decision: 26387/271498 Time: 331.854/86400 c Decision: 26387/271498 Time: 337.755/86400 c Decision: 26387/271498 Time: 344.982/86400 c Decision: 26387/271498 Time: 350.891/86400 c Decision: 26387/271498 Time: 356.476/86400 c Decision: 26387/271498 Time: 362.38/86400 c Decision: 26387/271498 Time: 367.68/86400 c Decision: 26387/271498 Time: 374.63/86400 c Decision: 26387/271498 Time: 380.151/86400 c Decision: 26387/271498 Time: 385.548/86400 c Decision: 26387/271498 Time: 391.383/86400 c Decision: 26387/271498 Time: 397.644/86400 c Decision: 26387/271498 Time: 404.275/86400 c Decision: 26387/271498 Time: 410.574/86400 c Decision: 26387/271498 Time: 416.981/86400 c Decision: 26387/271498 Time: 421.986/86400 c Decision: 26387/271498 Time: 428.69/86400 c Decision: 26387/271498 Time: 435.362/86400 c Decision: 26387/271498 Time: 440.968/86400 c Decision: 26387/271498 Time: 446.676/86400 c Decision: 26387/271498 Time: 452.455/86400 c Decision: 26387/271498 Time: 458.462/86400 c Decision: 26387/271498 Time: 464.871/86400 c Decision: 26387/271498 Time: 470.967/86400 c Decision: 26387/271498 Time: 476.75/86400 c Decision: 26387/271498 Time: 482.549/86400 c Decision: 26387/271498 Time: 488.376/86400 c Decision: 26387/271498 Time: 494.067/86400 c Decision: 26387/271498 Time: 499.73/86400 c Decision: 26387/271498 Time: 506.078/86400 c Decision: 26387/271498 Time: 512.125/86400 c Decision: 26387/271498 Time: 517.274/86400 c Decision: 26387/271498 Time: 523.822/86400 c Decision: 26387/271498 Time: 529.849/86400 c Decision: 26387/271498 Time: 536.137/86400 c Decision: 26387/271498 Time: 541.944/86400 c Decision: 26387/271498 Time: 547.088/86400 c Decision: 26387/271498 Time: 554.224/86400 c Decision: 26387/271498 Time: 560.637/86400 c Decision: 26387/271498 Time: 566.435/86400 c Decision: 26387/271498 Time: 572.17/86400 c Decision: 26387/271498 Time: 578.841/86400 c Decision: 26387/271498 Time: 586.443/86400 c Decision: 26387/271498 Time: 592.947/86400 c Decision: 26387/271498 Time: 598.611/86400 c Decision: 26387/271498 Time: 605.198/86400 c Decision: 26387/271498 Time: 610.617/86400 c Decision: 26387/271498 Time: 617.865/86400 c Decision: 26387/271498 Time: 622.99/86400 c Decision: 26387/271498 Time: 628.783/86400 c Decision: 26387/271498 Time: 634.641/86400 c Decision: 26387/271498 Time: 640.953/86400 c Decision: 26387/271498 Time: 648.025/86400 c Decision: 26387/271498 Time: 654.525/86400 c Decision: 26387/271498 Time: 661.529/86400 c Decision: 26387/271498 Time: 667.15/86400 c Decision: 26387/271498 Time: 673.277/86400 c Decision: 26387/271498 Time: 681.057/86400 c Decision: 26387/271498 Time: 687.011/86400 c Decision: 26387/271498 Time: 693.727/86400 c Decision: 26387/271498 Time: 699.769/86400 c Decision: 26387/271498 Time: 706.254/86400 c Decision: 26387/271498 Time: 713.858/86400 c Decision: 26387/271498 Time: 720.064/86400 c Decision: 26387/271498 Time: 726.13/86400 c Decision: 26387/271498 Time: 732.135/86400 c Decision: 26387/271498 Time: 738.743/86400 c Decision: 26387/271498 Time: 745.634/86400 c Decision: 26387/271498 Time: 752.4/86400 c Decision: 26387/271498 Time: 758.481/86400 c Decision: 26387/271498 Time: 765.07/86400 c Decision: 26387/271498 Time: 771.665/86400 c Decision: 26387/271498 Time: 779.042/86400 c Decision: 26387/271498 Time: 785.19/86400 c Decision: 26387/271498 Time: 791.092/86400 c Decision: 26387/271498 Time: 797.552/86400 c Decision: 26387/271498 Time: 803.396/86400 c Decision: 26387/271498 Time: 811.416/86400 c Decision: 26387/271498 Time: 818.694/86400 c Decision: 26387/271498 Time: 825.01/86400 c Decision: 26387/271498 Time: 831.52/86400 c Decision: 26387/271498 Time: 838.277/86400 c Decision: 26387/271498 Time: 846.042/86400 c Decision: 26387/271498 Time: 852.699/86400 c Decision: 26387/271498 Time: 859.572/86400 c Decision: 26387/271498 Time: 867.039/86400 c Decision: 26387/271498 Time: 873.389/86400 c Decision: 26387/271498 Time: 881.257/86400 c Decision: 26387/271498 Time: 887.462/86400 c Decision: 26387/271498 Time: 893.787/86400 c Decision: 26387/271498 Time: 901.165/86400 c Decision: 26387/271498 Time: 908.52/86400 c Decision: 26387/271498 Time: 916.329/86400 c Decision: 26387/271498 Time: 922.78/86400 c Decision: 26387/271498 Time: 930.188/86400 c Decision: 26387/271498 Time: 938.136/86400 c Decision: 26387/271498 Time: 945.045/86400 c Decision: 26387/271498 Time: 952.72/86400 c Decision: 26387/271498 Time: 959.415/86400 c Decision: 26387/271498 Time: 967.023/86400 c Decision: 26387/271498 Time: 973.855/86400 c Decision: 26387/271498 Time: 980.153/86400 c Decision: 26387/271498 Time: 986.927/86400 c Decision: 26387/271498 Time: 992.863/86400 c Decision: 26387/271498 Time: 999.03/86400 c Decision: 26387/271498 Time: 1006.41/86400 c Decision: 26387/271498 Time: 1013.89/86400 c Decision: 26387/271498 Time: 1022.27/86400 c Decision: 26387/271498 Time: 1029.02/86400 c Decision: 26387/271498 Time: 1035.37/86400 c Decision: 26387/271498 Time: 1041.75/86400 c Decision: 26387/271498 Time: 1049.18/86400 c Decision: 26387/271498 Time: 1057.36/86400 c Decision: 26387/271498 Time: 1064.72/86400 c Decision: 26387/271498 Time: 1070.81/86400 c Decision: 26387/271498 Time: 1078.72/86400 c Decision: 26387/271498 Time: 1086.91/86400 c Decision: 26387/271498 Time: 1095.52/86400 c Decision: 26387/271498 Time: 1102.63/86400 c Decision: 26387/271498 Time: 1110.44/86400 c Decision: 26387/271498 Time: 1117.96/86400 c Decision: 26387/271498 Time: 1125.25/86400 c Decision: 26387/271498 Time: 1134.12/86400 c Decision: 26387/271498 Time: 1141.5/86400 c Decision: 26387/271498 Time: 1149.48/86400 c Decision: 26387/271498 Time: 1156.96/86400 c Decision: 26387/271498 Time: 1163.9/86400 c Decision: 26387/271498 Time: 1172.08/86400 c Decision: 26387/271498 Time: 1179.16/86400 c Decision: 26387/271498 Time: 1185.8/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.97 0.92 2/55 17998 Raw data (stat): 17998 (runsolver) R 17997 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913629622 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.0002 s] Raw data (loadavg): 0.93 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 25517 0 0 0 940 58 0 0 25 0 1 0 913629622 77258752 14621 4294967295 134512640 135730672 3221224576 3221221448 135339741 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18862 14621 301 301 0 18561 0 vsize: 75448 [startup+20.0009 s] Raw data (loadavg): 0.94 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 37581 0 0 0 1913 85 0 0 25 0 1 0 913629622 109817856 21483 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26811 21483 301 301 0 26510 0 vsize: 107244 [startup+30.0036 s] Raw data (loadavg): 0.95 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 38115 0 0 0 2910 87 0 0 25 0 1 0 913629622 111980544 22017 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27339 22017 301 301 0 27038 0 vsize: 109356 [startup+40.0034 s] Raw data (loadavg): 0.96 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 38276 0 0 0 3908 89 0 0 25 0 1 0 913629622 112619520 22178 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27495 22178 301 301 0 27194 0 vsize: 109980 [startup+50.0042 s] Raw data (loadavg): 0.96 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 38743 0 0 0 4907 91 0 0 25 0 1 0 913629622 114593792 22645 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27977 22645 301 301 0 27676 0 vsize: 111908 [startup+60.004 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 38906 0 0 0 5905 93 0 0 25 0 1 0 913629622 115167232 22808 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28117 22808 301 301 0 27816 0 vsize: 112468 [startup+70.0049 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 40055 0 0 0 6900 97 0 0 25 0 1 0 913629622 117637120 23426 4294967295 134512640 135730672 3221224576 3221222760 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28720 23426 301 301 0 28419 0 vsize: 114880 [startup+80.0058 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 40656 0 0 0 7896 101 0 0 25 0 1 0 913629622 115757056 22965 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28261 22965 301 301 0 27960 0 vsize: 113044 [startup+90.0054 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 41764 0 0 0 8891 106 0 0 25 0 1 0 913629622 115904512 23011 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28297 23011 301 301 0 27996 0 vsize: 113188 [startup+100.005 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 42856 0 0 0 9887 110 0 0 25 0 1 0 913629622 115904512 23041 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28297 23041 301 301 0 27996 0 vsize: 113188 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 43449 0 0 0 10883 114 0 0 25 0 1 0 913629622 116187136 23103 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28366 23103 301 301 0 28065 0 vsize: 113464 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 44533 0 0 0 11879 118 0 0 25 0 1 0 913629622 116187136 23125 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28366 23125 301 301 0 28065 0 vsize: 113464 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 45629 0 0 0 12874 123 0 0 25 0 1 0 913629622 116187136 23159 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28366 23159 301 301 0 28065 0 vsize: 113464 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 46717 0 0 0 13869 128 0 0 25 0 1 0 913629622 118497280 23716 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28930 23716 301 301 0 28629 0 vsize: 115720 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 47300 0 0 0 14864 133 0 0 25 0 1 0 913629622 116469760 23237 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28435 23237 301 301 0 28134 0 vsize: 113740 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 48376 0 0 0 15860 137 0 0 25 0 1 0 913629622 116469760 23251 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28435 23251 301 301 0 28134 0 vsize: 113740 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 49464 0 0 0 16855 142 0 0 25 0 1 0 913629622 116469760 23277 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28435 23277 301 301 0 28134 0 vsize: 113740 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 50020 0 0 0 17852 146 0 0 25 0 1 0 913629622 116469760 23302 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28435 23302 301 301 0 28134 0 vsize: 113740 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 50601 0 0 0 18849 149 0 0 25 0 1 0 913629622 116617216 23352 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28471 23352 301 301 0 28170 0 vsize: 113884 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 51682 0 0 0 19845 153 0 0 25 0 1 0 913629622 116781056 23371 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28511 23371 301 301 0 28210 0 vsize: 114044 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 51738 0 0 0 20843 155 0 0 25 0 1 0 913629622 116928512 23427 4294967295 134512640 135730672 3221224576 3221223200 134783311 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28547 23427 301 301 0 28246 0 vsize: 114188 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 52293 0 0 0 21840 159 0 0 25 0 1 0 913629622 116928512 23451 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28547 23451 301 301 0 28246 0 vsize: 114188 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 52845 0 0 0 22836 163 0 0 25 0 1 0 913629622 116928512 23472 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28547 23472 301 301 0 28246 0 vsize: 114188 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 53925 0 0 0 23831 167 0 0 25 0 1 0 913629622 116928512 23490 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28547 23490 301 301 0 28246 0 vsize: 114188 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 55012 0 0 0 24826 173 0 0 25 0 1 0 913629622 116928512 23515 4294967295 134512640 135730672 3221224576 3221223072 134747558 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28547 23515 301 301 0 28246 0 vsize: 114188 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 55593 0 0 0 25822 177 0 0 25 0 1 0 913629622 117075968 23565 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28583 23565 301 301 0 28282 0 vsize: 114332 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 56716 0 0 0 26818 181 0 0 25 0 1 0 913629622 117239808 23626 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28623 23626 301 301 0 28322 0 vsize: 114492 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 57790 0 0 0 27812 187 0 0 25 0 1 0 913629622 117239808 23638 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28623 23638 301 301 0 28322 0 vsize: 114492 [startup+290.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 58346 0 0 0 28809 191 0 0 25 0 1 0 913629622 117239808 23663 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28623 23663 301 301 0 28322 0 vsize: 114492 [startup+300.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 59433 0 0 0 29804 196 0 0 25 0 1 0 913629622 117370880 23688 4294967295 134512640 135730672 3221224576 3221223168 134764113 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28655 23688 301 301 0 28354 0 vsize: 114620 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 60513 0 0 0 30799 201 0 0 25 0 1 0 913629622 117370880 23706 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28655 23706 301 301 0 28354 0 vsize: 114620 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 61077 0 0 0 31796 204 0 0 25 0 1 0 913629622 119545856 24270 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29186 24270 301 301 0 28885 0 vsize: 116744 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 61635 0 0 0 32792 208 0 0 25 0 1 0 913629622 117501952 23766 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28687 23766 301 301 0 28386 0 vsize: 114748 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 62724 0 0 0 33787 213 0 0 25 0 1 0 913629622 117501952 23793 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28687 23793 301 301 0 28386 0 vsize: 114748 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 63288 0 0 0 34782 218 0 0 25 0 1 0 913629622 117637120 23826 4294967295 134512640 135730672 3221224576 3221223168 134764086 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28720 23826 301 301 0 28419 0 vsize: 114880 [startup+360.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 70519 0 0 0 35766 235 0 0 25 0 1 0 913629622 142802944 23850 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34864 23850 301 301 0 34563 0 vsize: 139456 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 71608 0 0 0 36761 240 0 0 25 0 1 0 913629622 142802944 23877 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34864 23877 301 301 0 34563 0 vsize: 139456 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 72177 0 0 0 37758 243 0 0 25 0 1 0 913629622 142958592 23915 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34902 23915 301 301 0 34601 0 vsize: 139608 [startup+390.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 73273 0 0 0 38753 248 0 0 25 0 1 0 913629622 142958592 23949 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34902 23949 301 301 0 34601 0 vsize: 139608 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 74366 0 0 0 39749 252 0 0 25 0 1 0 913629622 143089664 23980 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34934 23980 301 301 0 34633 0 vsize: 139736 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 74930 0 0 0 40745 256 0 0 25 0 1 0 913629622 143089664 24013 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34934 24013 301 301 0 34633 0 vsize: 139736 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 76019 0 0 0 41741 261 0 0 25 0 1 0 913629622 143224832 24040 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34967 24040 301 301 0 34666 0 vsize: 139868 [startup+430.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 77131 0 0 0 42736 265 0 0 25 0 1 0 913629622 145547264 24621 4294967295 134512640 135730672 3221224576 3221222752 134768828 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35534 24621 301 301 0 35233 0 vsize: 142136 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 77155 0 0 0 43734 268 0 0 25 0 1 0 913629622 143372288 24114 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35003 24114 301 301 0 34702 0 vsize: 140012 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 78237 0 0 0 44729 273 0 0 25 0 1 0 913629622 143503360 24134 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35035 24134 301 301 0 34734 0 vsize: 140140 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 79329 0 0 0 45724 279 0 0 25 0 1 0 913629622 145678336 24695 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35566 24695 301 301 0 35265 0 vsize: 142264 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 79891 0 0 0 46720 283 0 0 25 0 1 0 913629622 143503360 24195 4294967295 134512640 135730672 3221224576 3221223072 134747460 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35035 24195 301 301 0 34734 0 vsize: 140140 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 80987 0 0 0 47715 287 0 0 25 0 1 0 913629622 143634432 24229 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35067 24229 301 301 0 34766 0 vsize: 140268 [startup+490.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 82076 0 0 0 48711 291 0 0 25 0 1 0 913629622 145809408 24787 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35598 24787 301 301 0 35297 0 vsize: 142392 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 82643 0 0 0 49707 296 0 0 25 0 1 0 913629622 143765504 24292 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35099 24292 301 301 0 34798 0 vsize: 140396 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 83741 0 0 0 50703 300 0 0 25 0 1 0 913629622 143765504 24328 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35099 24328 301 301 0 34798 0 vsize: 140396 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 84837 0 0 0 51699 305 0 0 25 0 1 0 913629622 143921152 24362 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35137 24362 301 301 0 34836 0 vsize: 140548 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 85403 0 0 0 52696 308 0 0 25 0 1 0 913629622 143921152 24397 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35137 24397 301 301 0 34836 0 vsize: 140548 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 86491 0 0 0 53692 312 0 0 25 0 1 0 913629622 143921152 24423 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35137 24423 301 301 0 34836 0 vsize: 140548 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 87582 0 0 0 54688 316 0 0 25 0 1 0 913629622 144052224 24452 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35169 24452 301 301 0 34868 0 vsize: 140676 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 88565 0 0 0 55683 321 0 0 25 0 1 0 913629622 146227200 24904 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35700 24911 301 301 0 35399 0 vsize: 142800 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 89233 0 0 0 56679 325 0 0 25 0 1 0 913629622 144187392 24510 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35202 24510 301 301 0 34901 0 vsize: 140808 [startup+580.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 90321 0 0 0 57674 330 0 0 25 0 1 0 913629622 144187392 24536 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35202 24536 301 301 0 34901 0 vsize: 140808 [startup+590.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 90893 0 0 0 58671 333 0 0 25 0 1 0 913629622 144187392 24577 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35202 24577 301 301 0 34901 0 vsize: 140808 [startup+600.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 91980 0 0 0 59666 338 0 0 25 0 1 0 913629622 144318464 24602 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35234 24602 301 301 0 34933 0 vsize: 140936 [startup+610.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 92543 0 0 0 60662 343 0 0 25 0 1 0 913629622 144318464 24634 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35234 24634 301 301 0 34933 0 vsize: 140936 [startup+620.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 93631 0 0 0 61656 349 0 0 25 0 1 0 913629622 144449536 24660 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35266 24660 301 301 0 34965 0 vsize: 141064 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 94735 0 0 0 62651 354 0 0 25 0 1 0 913629622 163401728 25233 4294967295 134512640 135730672 3221224576 3221222728 134765469 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39893 25233 301 301 0 39592 0 vsize: 159572 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 94764 0 0 0 63650 356 0 0 25 0 1 0 913629622 161226752 24731 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39362 24731 301 301 0 39061 0 vsize: 157448 [startup+650.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 95861 0 0 0 64645 361 0 0 25 0 1 0 913629622 161357824 24766 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39394 24766 301 301 0 39093 0 vsize: 157576 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 96423 0 0 0 65642 364 0 0 25 0 1 0 913629622 161357824 24797 4294967295 134512640 135730672 3221224576 3221222992 134741599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39394 24797 301 301 0 39093 0 vsize: 157576 [startup+670.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 97509 0 0 0 66638 368 0 0 25 0 1 0 913629622 161492992 24821 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39427 24821 301 301 0 39126 0 vsize: 157708 [startup+680.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 98065 0 0 0 67635 371 0 0 25 0 1 0 913629622 161492992 24846 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39427 24846 301 301 0 39126 0 vsize: 157708 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 98622 0 0 0 68631 375 0 0 25 0 1 0 913629622 161492992 24872 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39427 24872 301 301 0 39126 0 vsize: 157708 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 99704 0 0 0 69627 379 0 0 25 0 1 0 913629622 163667968 25423 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39958 25423 301 301 0 39657 0 vsize: 159832 [startup+710.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 100266 0 0 0 70624 382 0 0 25 0 1 0 913629622 161624064 24923 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39459 24923 301 301 0 39158 0 vsize: 157836 [startup+720.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 100828 0 0 0 71620 387 0 0 25 0 1 0 913629622 161624064 24954 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39459 24954 301 301 0 39158 0 vsize: 157836 [startup+730.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 101384 0 0 0 72617 390 0 0 25 0 1 0 913629622 161624064 24979 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39459 24979 301 301 0 39158 0 vsize: 157836 [startup+740.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 102472 0 0 0 73613 394 0 0 25 0 1 0 913629622 161755136 25005 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39491 25005 301 301 0 39190 0 vsize: 157964 [startup+750.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 103034 0 0 0 74609 398 0 0 25 0 1 0 913629622 161755136 25036 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39491 25036 301 301 0 39190 0 vsize: 157964 [startup+760.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 104138 0 0 0 75605 402 0 0 25 0 1 0 913629622 161894400 25078 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39525 25078 301 301 0 39224 0 vsize: 158100 [startup+770.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 104685 0 0 0 76601 406 0 0 25 0 1 0 913629622 161894400 25094 4294967295 134512640 135730672 3221224576 3221223168 134763431 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39525 25094 301 301 0 39224 0 vsize: 158100 [startup+780.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 105783 0 0 0 77596 412 0 0 25 0 1 0 913629622 161894400 25130 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39525 25130 301 301 0 39224 0 vsize: 158100 [startup+790.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 106343 0 0 0 78592 416 0 0 25 0 1 0 913629622 162025472 25159 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39557 25159 301 301 0 39256 0 vsize: 158228 [startup+800.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 106892 0 0 0 79588 420 0 0 25 0 1 0 913629622 162025472 25177 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39557 25177 301 301 0 39256 0 vsize: 158228 [startup+810.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 107453 0 0 0 80584 424 0 0 25 0 1 0 913629622 162025472 25207 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39557 25207 301 301 0 39256 0 vsize: 158228 [startup+820.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 108550 0 0 0 81580 428 0 0 25 0 1 0 913629622 162156544 25242 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39589 25242 301 301 0 39288 0 vsize: 158356 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 109098 0 0 0 82578 430 0 0 25 0 1 0 913629622 162156544 25259 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39589 25259 301 301 0 39288 0 vsize: 158356 [startup+840.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 110190 0 0 0 83574 435 0 0 25 0 1 0 913629622 162156544 25289 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39589 25289 301 301 0 39288 0 vsize: 158356 [startup+850.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 110756 0 0 0 84571 438 0 0 25 0 1 0 913629622 162295808 25324 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39623 25324 301 301 0 39322 0 vsize: 158492 [startup+860.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 111840 0 0 0 85567 442 0 0 25 0 1 0 913629622 162295808 25346 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39623 25346 301 301 0 39322 0 vsize: 158492 [startup+870.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 112401 0 0 0 86563 446 0 0 25 0 1 0 913629622 162295808 25376 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39623 25376 301 301 0 39322 0 vsize: 158492 [startup+880.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 113482 0 0 0 87558 451 0 0 25 0 1 0 913629622 164605952 25926 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40187 25926 301 301 0 39886 0 vsize: 160748 [startup+890.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 113507 0 0 0 88557 453 0 0 25 0 1 0 913629622 162430976 25420 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39656 25420 301 301 0 39355 0 vsize: 158624 [startup+900.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 114063 0 0 0 89554 456 0 0 25 0 1 0 913629622 162430976 25445 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39656 25445 301 301 0 39355 0 vsize: 158624 [startup+910.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 115159 0 0 0 90550 460 0 0 25 0 1 0 913629622 162566144 25479 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39689 25479 301 301 0 39388 0 vsize: 158756 [startup+920.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 115721 0 0 0 91547 464 0 0 25 0 1 0 913629622 162566144 25510 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39689 25510 301 301 0 39388 0 vsize: 158756 [startup+930.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 116807 0 0 0 92543 468 0 0 25 0 1 0 913629622 162566144 25534 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39689 25534 301 301 0 39388 0 vsize: 158756 [startup+940.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 116830 0 0 0 93540 471 0 0 25 0 1 0 913629622 162705408 25557 4294967295 134512640 135730672 3221224576 3221222896 134732484 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39723 25557 301 301 0 39422 0 vsize: 158892 [startup+950.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 117390 0 0 0 94538 473 0 0 25 0 1 0 913629622 162705408 25586 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39723 25586 301 301 0 39422 0 vsize: 158892 [startup+960.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 118481 0 0 0 95533 478 0 0 25 0 1 0 913629622 162840576 25615 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39756 25615 301 301 0 39455 0 vsize: 159024 [startup+970.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 119028 0 0 0 96530 482 0 0 25 0 1 0 913629622 162840576 25631 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39756 25631 301 301 0 39455 0 vsize: 159024 [startup+980.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 120111 0 0 0 97525 487 0 0 25 0 1 0 913629622 165015552 26183 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40287 26183 301 301 0 39986 0 vsize: 161148 [startup+990.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 120667 0 0 0 98521 490 0 0 25 0 1 0 913629622 162840576 25677 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39756 25677 301 301 0 39455 0 vsize: 159024 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 121758 0 0 0 99517 495 0 0 25 0 1 0 913629622 162840576 25706 4294967295 134512640 135730672 3221224576 3221223200 134783312 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39756 25706 301 301 0 39455 0 vsize: 159024 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 122311 0 0 0 100514 498 0 0 25 0 1 0 913629622 162971648 25728 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39788 25728 301 301 0 39487 0 vsize: 159152 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 123395 0 0 0 101509 503 0 0 25 0 1 0 913629622 162971648 25750 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39788 25750 301 301 0 39487 0 vsize: 159152 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 123959 0 0 0 102505 507 0 0 25 0 1 0 913629622 162971648 25783 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39788 25783 301 301 0 39487 0 vsize: 159152 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 124511 0 0 0 103502 511 0 0 25 0 1 0 913629622 163102720 25804 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39820 25804 301 301 0 39519 0 vsize: 159280 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 125603 0 0 0 104497 516 0 0 25 0 1 0 913629622 163102720 25834 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39820 25834 301 301 0 39519 0 vsize: 159280 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 126178 0 0 0 105495 518 0 0 25 0 1 0 913629622 163241984 25878 4294967295 134512640 135730672 3221224576 3221223072 134747947 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39854 25878 301 301 0 39553 0 vsize: 159416 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 17998 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 127259 0 0 0 106490 523 0 0 25 0 1 0 913629622 163241984 25897 4294967295 134512640 135730672 3221224576 3221223116 135301586 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39854 25897 301 301 0 39553 0 vsize: 159416 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18051 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 127807 0 0 0 107484 528 0 0 25 0 1 0 913629622 163241984 25914 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39854 25914 301 301 0 39553 0 vsize: 159416 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18051 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 127840 0 0 0 108482 530 0 0 25 0 1 0 913629622 163377152 25947 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39887 25947 301 301 0 39586 0 vsize: 159548 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18051 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 128919 0 0 0 109479 533 0 0 25 0 1 0 913629622 165552128 26495 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40418 26495 301 301 0 40117 0 vsize: 161672 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18051 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 129474 0 0 0 110475 537 0 0 25 0 1 0 913629622 163377152 25988 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39887 25988 301 301 0 39586 0 vsize: 159548 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18051 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 130032 0 0 0 111473 540 0 0 25 0 1 0 913629622 163512320 26015 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39920 26015 301 301 0 39619 0 vsize: 159680 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18051 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 130595 0 0 0 112470 542 0 0 25 0 1 0 913629622 163512320 26047 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39920 26047 301 301 0 39619 0 vsize: 159680 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18055 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 131688 0 0 0 113466 547 0 0 25 0 1 0 913629622 163512320 26078 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39920 26078 301 301 0 39619 0 vsize: 159680 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18055 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 132238 0 0 0 114463 550 0 0 25 0 1 0 913629622 163647488 26097 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39953 26097 301 301 0 39652 0 vsize: 159812 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18055 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 132789 0 0 0 115460 553 0 0 25 0 1 0 913629622 163647488 26117 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39953 26117 301 301 0 39652 0 vsize: 159812 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18055 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 133876 0 0 0 116456 557 0 0 25 0 1 0 913629622 165822464 26673 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40484 26673 301 301 0 40183 0 vsize: 161936 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18055 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 134438 0 0 0 117452 561 0 0 25 0 1 0 913629622 163794944 26173 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39989 26173 301 301 0 39688 0 vsize: 159956 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18055 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 134989 0 0 0 118450 564 0 0 25 0 1 0 913629622 163794944 26193 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39989 26193 301 301 0 39688 0 vsize: 159956 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18055 Raw data (stat): 17998 (pb2sat-v2) R 17997 8378 8377 0 -1 0 136080 0 0 0 119446 567 0 0 25 0 1 0 913629622 163794944 26222 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39989 26222 301 301 0 39688 0 vsize: 159956 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.7 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 18055 Raw data (stat): 17998 (pb2sat-v2) Z 17997 8378 8377 0 -1 12 136082 0 0 0 119509 573 0 0 25 0 1 0 913629622 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.7 CPU time (s): 1200.82 CPU user time (s): 1195.09 CPU system time (s): 5.73013 CPU usage (%): 100.01 Max. virtual memory (Kb): 161936 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####