Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb |
MD5SUM | 3be753912a1804561d804d0545fc341d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 13633395 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 9232 |
Total number of constraints | 632 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 32 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 260 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-16 20:15:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26194 boxname=wulflinc3 idbench=1494 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3be753912a1804561d804d0545fc341d /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-bienst1.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-bienst1.opb IDLAUNCH: 26194 /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: 716544 kB Buffers: 25744 kB Cached: 270444 kB SwapCached: 768 kB Active: 40056 kB Inactive: 258224 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 716292 kB SwapTotal: 2097136 kB SwapFree: 2095372 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 14168 kB Committed_AS: 71884 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 20:35:14 (client local time) WITH STATUS 0 IN 1202.11 SECONDS stats: 26194 7 1202.11 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 187279/792202 Time: 164.253/86400 c Decision: 187279/792202 Time: 199.117/86400 c Decision: 187279/792202 Time: 227.404/86400 c Decision: 187279/792202 Time: 253.123/86400 c Decision: 187279/792202 Time: 277.254/86400 c Decision: 187279/792202 Time: 306.893/86400 c Decision: 187279/792202 Time: 330.399/86400 c Decision: 187483/792202 Time: 364.833/86400 c Decision: 187950/792202 Time: 460.953/86400 c Decision: 187950/792202 Time: 488.511/86400 c Decision: 187950/792202 Time: 521.271/86400 c Decision: 188233/792202 Time: 606.002/86400 c Decision: 188236/792202 Time: 640.75/86400 c Decision: 188325/792202 Time: 691.55/86400 c Decision: 188325/792202 Time: 731.563/86400 c Decision: 188427/792202 Time: 756.428/86400 c Decision: 188427/792202 Time: 787.299/86400 c Decision: 188494/792202 Time: 848.227/86400 c Decision: 188494/792202 Time: 869.286/86400 c Decision: 188494/792202 Time: 904.276/86400 c Decision: 188494/792202 Time: 940.383/86400 c Decision: 188494/792202 Time: 963.013/86400 c Decision: 188579/792202 Time: 1001.42/86400 c Decision: 188579/792202 Time: 1016.66/86400 c Decision: 188579/792202 Time: 1044.68/86400 c Decision: 188579/792202 Time: 1100.75/86400 c Decision: 188579/792202 Time: 1124.67/86400 c Decision: 188579/792202 Time: 1150.18/86400s UNKNOWN #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.98 0.92 1/54 29004 Raw data (stat): 29004 (runsolver) R 29003 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973556234 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.0016 s] Raw data (loadavg): 0.93 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 28219 0 0 0 935 63 0 0 25 0 1 0 973556234 78356480 17156 4294967295 134512640 135730672 3221224576 3221177904 135282776 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19130 17156 301 301 0 18829 0 vsize: 76520 [startup+20.002 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 56459 0 0 0 1874 124 0 0 25 0 1 0 973556234 155291648 34398 4294967295 134512640 135730672 3221224576 3221124024 135285983 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37913 34400 301 301 0 37612 0 vsize: 151652 [startup+30.0025 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 95241 0 0 0 2794 205 0 0 25 0 1 0 973556234 304439296 51479 4294967295 134512640 135730672 3221224576 3221215928 135284334 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 74326 51479 301 301 0 74025 0 vsize: 297304 [startup+40.0028 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 102997 0 0 0 3777 222 0 0 25 0 1 0 973556234 310779904 57593 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 75874 57593 301 301 0 75573 0 vsize: 303496 [startup+50.0036 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 103069 0 0 0 4776 223 0 0 25 0 1 0 973556234 311083008 57665 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 75948 57665 301 301 0 75647 0 vsize: 303792 [startup+60.0045 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 104544 0 0 0 5772 227 0 0 25 0 1 0 973556234 317108224 58885 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77419 58885 301 301 0 77118 0 vsize: 309676 [startup+70.0053 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 105272 0 0 0 6770 230 0 0 25 0 1 0 973556234 320319488 59547 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78203 59547 301 301 0 77902 0 vsize: 312812 [startup+80.0061 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 106311 0 0 0 7768 232 0 0 25 0 1 0 973556234 324616192 60319 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79252 60319 301 301 0 78951 0 vsize: 317008 [startup+90.0066 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 107950 0 0 0 8764 236 0 0 25 0 1 0 973556234 330588160 61384 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80710 61384 301 301 0 80409 0 vsize: 322840 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 110083 0 0 0 9760 240 0 0 25 0 1 0 973556234 338214912 62853 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82572 62853 301 301 0 82271 0 vsize: 330288 [startup+110.008 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 110836 0 0 0 10758 242 0 0 25 0 1 0 973556234 341331968 63394 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83333 63394 301 301 0 83032 0 vsize: 333332 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 111948 0 0 0 11756 245 0 0 25 0 1 0 973556234 346243072 64341 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84532 64341 301 301 0 84231 0 vsize: 338128 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 112887 0 0 0 12753 247 0 0 25 0 1 0 973556234 349728768 65082 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 85383 65082 301 301 0 85082 0 vsize: 341532 [startup+140.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 113444 0 0 0 13752 249 0 0 25 0 1 0 973556234 351776768 65508 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 85883 65508 301 301 0 85582 0 vsize: 343532 [startup+150.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 114124 0 0 0 14750 251 0 0 25 0 1 0 973556234 353955840 65911 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 86415 65911 301 301 0 86114 0 vsize: 345660 [startup+160.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 115037 0 0 0 15749 253 0 0 25 0 1 0 973556234 356601856 66365 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 87061 66365 301 301 0 86760 0 vsize: 348244 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 115086 0 0 0 16747 254 0 0 25 0 1 0 973556234 356737024 66414 4294967295 134512640 135730672 3221224576 3221222824 135284346 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 87094 66414 301 301 0 86793 0 vsize: 348376 [startup+180.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 115099 0 0 0 17747 255 0 0 25 0 1 0 973556234 356737024 66427 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 87094 66427 301 301 0 86793 0 vsize: 348376 [startup+190.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 115111 0 0 0 18746 256 0 0 25 0 1 0 973556234 356737024 66439 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 87094 66439 301 301 0 86793 0 vsize: 348376 [startup+200.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 117193 0 0 0 19741 261 0 0 25 0 1 0 973556234 358739968 66776 4294967295 134512640 135730672 3221224576 3221223088 135282966 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 87583 66776 301 301 0 87282 0 vsize: 350332 [startup+210.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 117831 0 0 0 20738 263 0 0 25 0 1 0 973556234 360804352 67217 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 88087 67217 301 301 0 87786 0 vsize: 352348 [startup+220.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 118404 0 0 0 21737 265 0 0 25 0 1 0 973556234 362524672 67560 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 88507 67560 301 301 0 88206 0 vsize: 354028 [startup+230.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 118697 0 0 0 22735 267 0 0 25 0 1 0 973556234 363606016 67853 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 88771 67853 301 301 0 88470 0 vsize: 355084 [startup+240.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 120791 0 0 0 23731 271 0 0 25 0 1 0 973556234 365473792 68201 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 89227 68201 301 301 0 88926 0 vsize: 356908 [startup+250.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 121582 0 0 0 24730 273 0 0 25 0 1 0 973556234 367452160 68600 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 89710 68600 301 301 0 89409 0 vsize: 358840 [startup+260.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 123137 0 0 0 25725 277 0 0 25 0 1 0 973556234 373792768 70155 4294967295 134512640 135730672 3221224576 3221222848 134774514 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 91258 70155 301 301 0 90957 0 vsize: 365032 [startup+270.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 123945 0 0 0 26723 279 0 0 25 0 1 0 973556234 369836032 69021 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90292 69021 301 301 0 89991 0 vsize: 361168 [startup+280.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 124064 0 0 0 27722 280 0 0 25 0 1 0 973556234 370098176 69075 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90356 69075 301 301 0 90055 0 vsize: 361424 [startup+290.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 125775 0 0 0 28717 284 0 0 25 0 1 0 973556234 370495488 69172 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90453 69172 301 301 0 90152 0 vsize: 361812 [startup+300.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 126363 0 0 0 29716 286 0 0 25 0 1 0 973556234 372346880 69531 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90905 69531 301 301 0 90604 0 vsize: 363620 [startup+310.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 127920 0 0 0 30712 290 0 0 25 0 1 0 973556234 372346880 69540 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90905 69540 301 301 0 90604 0 vsize: 363620 [startup+320.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 128034 0 0 0 31712 291 0 0 25 0 1 0 973556234 372477952 69621 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90937 69621 301 301 0 90636 0 vsize: 363748 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 128234 0 0 0 32711 292 0 0 25 0 1 0 973556234 372875264 69755 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 91034 69755 301 301 0 90733 0 vsize: 364136 [startup+340.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 129924 0 0 0 33708 295 0 0 25 0 1 0 973556234 373538816 69864 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 91196 69864 301 301 0 90895 0 vsize: 364784 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 130221 0 0 0 34707 296 0 0 25 0 1 0 973556234 374329344 70030 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 91389 70030 301 301 0 91088 0 vsize: 365556 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 130329 0 0 0 35706 297 0 0 25 0 1 0 973556234 374591488 70073 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 91453 70073 301 301 0 91152 0 vsize: 365812 [startup+370.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 132000 0 0 0 36702 301 0 0 25 0 1 0 973556234 374853632 70131 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 91517 70131 301 301 0 91216 0 vsize: 366068 [startup+380.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 132738 0 0 0 37700 303 0 0 25 0 1 0 973556234 377491456 70478 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92161 70478 301 301 0 91860 0 vsize: 368644 [startup+390.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 132976 0 0 0 38699 305 0 0 25 0 1 0 973556234 378015744 70585 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92289 70585 301 301 0 91988 0 vsize: 369156 [startup+400.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 134600 0 0 0 39695 309 0 0 25 0 1 0 973556234 378281984 70661 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 92354 70661 301 301 0 92053 0 vsize: 369416 [startup+410.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 134689 0 0 0 40694 309 0 0 25 0 1 0 973556234 378822656 70750 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92486 70750 301 301 0 92185 0 vsize: 369944 [startup+420.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 134901 0 0 0 41693 310 0 0 25 0 1 0 973556234 379895808 70929 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92748 70929 301 301 0 92447 0 vsize: 370992 [startup+430.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 135187 0 0 0 42693 311 0 0 25 0 1 0 973556234 380551168 71051 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92908 71051 301 301 0 92607 0 vsize: 371632 [startup+440.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 135432 0 0 0 43692 312 0 0 25 0 1 0 973556234 381345792 71165 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93102 71165 301 301 0 92801 0 vsize: 372408 [startup+450.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 135610 0 0 0 44692 312 0 0 25 0 1 0 973556234 381739008 71245 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93198 71245 301 301 0 92897 0 vsize: 372792 [startup+460.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 135802 0 0 0 45691 314 0 0 25 0 1 0 973556234 382263296 71307 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93326 71307 301 301 0 93025 0 vsize: 373304 [startup+470.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 136112 0 0 0 46690 314 0 0 25 0 1 0 973556234 382918656 71454 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93486 71454 301 301 0 93185 0 vsize: 373944 [startup+480.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 136437 0 0 0 47689 315 0 0 25 0 1 0 973556234 383840256 71616 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93711 71616 301 301 0 93410 0 vsize: 374844 [startup+490.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 136652 0 0 0 48689 316 0 0 25 0 1 0 973556234 384364544 71701 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93839 71701 301 301 0 93538 0 vsize: 375356 [startup+500.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 138402 0 0 0 49684 320 0 0 25 0 1 0 973556234 384888832 71773 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93967 71773 301 301 0 93666 0 vsize: 375868 [startup+510.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 138498 0 0 0 50684 321 0 0 25 0 1 0 973556234 385150976 71804 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94031 71804 301 301 0 93730 0 vsize: 376124 [startup+520.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 140062 0 0 0 51680 325 0 0 25 0 1 0 973556234 391491584 73368 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95579 73368 301 301 0 95278 0 vsize: 382316 [startup+530.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 140316 0 0 0 52679 327 0 0 25 0 1 0 973556234 385941504 71944 4294967295 134512640 135730672 3221224576 3221223264 134748681 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94224 71944 301 301 0 93923 0 vsize: 376896 [startup+540.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 140334 0 0 0 53678 328 0 0 25 0 1 0 973556234 385941504 71962 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94224 71962 301 301 0 93923 0 vsize: 376896 [startup+550.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 140409 0 0 0 54677 329 0 0 25 0 1 0 973556234 386203648 71972 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94288 71972 301 301 0 93987 0 vsize: 377152 [startup+560.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 141967 0 0 0 55673 333 0 0 25 0 1 0 973556234 386203648 71982 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94288 71982 301 301 0 93987 0 vsize: 377152 [startup+570.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 141970 0 0 0 56672 334 0 0 25 0 1 0 973556234 386203648 71985 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94288 71985 301 301 0 93987 0 vsize: 377152 [startup+580.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142201 0 0 0 57672 335 0 0 25 0 1 0 973556234 386727936 72086 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94416 72086 301 301 0 94115 0 vsize: 377664 [startup+590.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142214 0 0 0 58672 335 0 0 25 0 1 0 973556234 386727936 72099 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94416 72099 301 301 0 94115 0 vsize: 377664 [startup+600.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142244 0 0 0 59671 336 0 0 25 0 1 0 973556234 386727936 72129 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94416 72129 301 301 0 94115 0 vsize: 377664 [startup+610.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142349 0 0 0 60671 336 0 0 25 0 1 0 973556234 386994176 72234 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94481 72234 301 301 0 94180 0 vsize: 377924 [startup+620.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142353 0 0 0 61671 336 0 0 25 0 1 0 973556234 386994176 72238 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94481 72238 301 301 0 94180 0 vsize: 377924 [startup+630.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 142381 0 0 0 62670 337 0 0 25 0 1 0 973556234 386994176 72266 4294967295 134512640 135730672 3221224576 3221222824 135286126 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94481 72266 301 301 0 94180 0 vsize: 377924 [startup+640.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 143944 0 0 0 63666 342 0 0 25 0 1 0 973556234 386994176 72281 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94481 72281 301 301 0 94180 0 vsize: 377924 [startup+650.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 144636 0 0 0 64665 343 0 0 25 0 1 0 973556234 388829184 72520 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94929 72520 301 301 0 94628 0 vsize: 379716 [startup+660.036 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 144648 0 0 0 65664 344 0 0 25 0 1 0 973556234 388829184 72532 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94929 72532 301 301 0 94628 0 vsize: 379716 [startup+670.036 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 144787 0 0 0 66663 345 0 0 25 0 1 0 973556234 389222400 72573 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95025 72573 301 301 0 94724 0 vsize: 380100 [startup+680.036 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146443 0 0 0 67659 350 0 0 25 0 1 0 973556234 389484544 72616 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95089 72616 301 301 0 94788 0 vsize: 380356 [startup+690.037 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146451 0 0 0 68658 351 0 0 25 0 1 0 973556234 389484544 72624 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95089 72624 301 301 0 94788 0 vsize: 380356 [startup+700.037 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146777 0 0 0 69658 351 0 0 25 0 1 0 973556234 390402048 72722 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95313 72722 301 301 0 95012 0 vsize: 381252 [startup+710.038 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146786 0 0 0 70657 352 0 0 25 0 1 0 973556234 390402048 72731 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95313 72731 301 301 0 95012 0 vsize: 381252 [startup+720.038 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 146808 0 0 0 71657 353 0 0 25 0 1 0 973556234 390402048 72753 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95313 72753 301 301 0 95012 0 vsize: 381252 [startup+730.039 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 148374 0 0 0 72653 357 0 0 25 0 1 0 973556234 390402048 72771 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95313 72771 301 301 0 95012 0 vsize: 381252 [startup+740.039 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 148377 0 0 0 73653 357 0 0 25 0 1 0 973556234 390402048 72774 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95313 72774 301 301 0 95012 0 vsize: 381252 [startup+750.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 148578 0 0 0 74652 358 0 0 25 0 1 0 973556234 390926336 72845 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95441 72845 301 301 0 95140 0 vsize: 381764 [startup+760.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 148715 0 0 0 75651 359 0 0 25 0 1 0 973556234 391319552 72884 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95537 72884 301 301 0 95236 0 vsize: 382148 [startup+770.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 150370 0 0 0 76647 364 0 0 25 0 1 0 973556234 391581696 72926 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95601 72926 301 301 0 95300 0 vsize: 382404 [startup+780.041 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 150558 0 0 0 77646 365 0 0 25 0 1 0 973556234 392105984 72984 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95729 72984 301 301 0 95428 0 vsize: 382916 [startup+790.042 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 152112 0 0 0 78642 369 0 0 25 0 1 0 973556234 392105984 72990 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95729 72990 301 301 0 95428 0 vsize: 382916 [startup+800.042 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 152746 0 0 0 79640 371 0 0 25 0 1 0 973556234 393678848 73234 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96113 73234 301 301 0 95812 0 vsize: 384452 [startup+810.042 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 152854 0 0 0 80640 371 0 0 25 0 1 0 973556234 393940992 73277 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96177 73277 301 301 0 95876 0 vsize: 384708 [startup+820.043 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 154405 0 0 0 81636 376 0 0 25 0 1 0 973556234 393940992 73280 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96177 73280 301 301 0 95876 0 vsize: 384708 [startup+830.044 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 154549 0 0 0 82635 376 0 0 25 0 1 0 973556234 394203136 73359 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96241 73359 301 301 0 95940 0 vsize: 384964 [startup+840.045 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 155049 0 0 0 83635 377 0 0 25 0 1 0 973556234 395251712 73599 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96497 73599 301 301 0 96196 0 vsize: 385988 [startup+850.046 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 155179 0 0 0 84634 378 0 0 25 0 1 0 973556234 395644928 73631 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96593 73631 301 301 0 96292 0 vsize: 386372 [startup+860.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 155202 0 0 0 85634 378 0 0 25 0 1 0 973556234 395644928 73654 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96593 73654 301 301 0 96292 0 vsize: 386372 [startup+870.046 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 155310 0 0 0 86634 378 0 0 25 0 1 0 973556234 395907072 73697 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96657 73697 301 301 0 96356 0 vsize: 386628 [startup+880.047 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 156860 0 0 0 87630 383 0 0 25 0 1 0 973556234 402247680 75247 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98205 75247 301 301 0 97904 0 vsize: 392820 [startup+890.048 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 156861 0 0 0 88629 384 0 0 25 0 1 0 973556234 395907072 73700 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96657 73700 301 301 0 96356 0 vsize: 386628 [startup+900.048 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 156882 0 0 0 89629 385 0 0 25 0 1 0 973556234 395907072 73721 4294967295 134512640 135730672 3221224576 3221223088 134745852 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96657 73721 301 301 0 96356 0 vsize: 386628 [startup+910.049 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 158517 0 0 0 90624 389 0 0 25 0 1 0 973556234 396169216 73743 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96721 73743 301 301 0 96420 0 vsize: 386884 [startup+920.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 158540 0 0 0 91624 390 0 0 25 0 1 0 973556234 396169216 73766 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96721 73766 301 301 0 96420 0 vsize: 386884 [startup+930.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 158667 0 0 0 92623 391 0 0 25 0 1 0 973556234 396431360 73828 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96785 73828 301 301 0 96484 0 vsize: 387140 [startup+940.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 160596 0 0 0 93619 396 0 0 25 0 1 0 973556234 397484032 73980 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97042 73980 301 301 0 96741 0 vsize: 388168 [startup+950.051 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 160604 0 0 0 94618 396 0 0 25 0 1 0 973556234 397484032 73988 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97042 73988 301 301 0 96741 0 vsize: 388168 [startup+960.052 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 160653 0 0 0 95618 397 0 0 25 0 1 0 973556234 397754368 74037 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97108 74037 301 301 0 96807 0 vsize: 388432 [startup+970.052 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 162366 0 0 0 96614 401 0 0 25 0 1 0 973556234 404488192 75652 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98752 75652 301 301 0 98451 0 vsize: 395008 [startup+980.052 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 162367 0 0 0 97613 402 0 0 25 0 1 0 973556234 398147584 74105 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97204 74105 301 301 0 96903 0 vsize: 388816 [startup+990.052 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 162377 0 0 0 98612 403 0 0 25 0 1 0 973556234 398147584 74115 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97204 74115 301 301 0 96903 0 vsize: 388816 [startup+1000.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 163942 0 0 0 99608 407 0 0 25 0 1 0 973556234 398147584 74132 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97204 74132 301 301 0 96903 0 vsize: 388816 [startup+1010.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 164173 0 0 0 100608 408 0 0 25 0 1 0 973556234 398671872 74233 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97332 74233 301 301 0 97031 0 vsize: 389328 [startup+1020.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 164190 0 0 0 101607 408 0 0 25 0 1 0 973556234 398671872 74250 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97332 74250 301 301 0 97031 0 vsize: 389328 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 164193 0 0 0 102607 409 0 0 25 0 1 0 973556234 398671872 74253 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97332 74253 301 301 0 97031 0 vsize: 389328 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 165744 0 0 0 103603 413 0 0 25 0 1 0 973556234 398671872 74256 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97332 74256 301 301 0 97031 0 vsize: 389328 [startup+1050.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 167304 0 0 0 104599 417 0 0 25 0 1 0 973556234 398671872 74268 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97332 74268 301 301 0 97031 0 vsize: 389328 [startup+1060.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 167336 0 0 0 105598 418 0 0 25 0 1 0 973556234 398807040 74300 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97365 74300 301 301 0 97064 0 vsize: 389460 [startup+1070.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 167590 0 0 0 106597 419 0 0 25 0 1 0 973556234 399462400 74391 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97525 74391 301 301 0 97224 0 vsize: 390100 [startup+1080.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169261 0 0 0 107593 424 0 0 25 0 1 0 973556234 399724544 74449 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97589 74449 301 301 0 97288 0 vsize: 390356 [startup+1090.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169384 0 0 0 108593 424 0 0 25 0 1 0 973556234 399986688 74507 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97653 74507 301 301 0 97352 0 vsize: 390612 [startup+1100.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169389 0 0 0 109593 425 0 0 25 0 1 0 973556234 399986688 74512 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97653 74512 301 301 0 97352 0 vsize: 390612 [startup+1110.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169506 0 0 0 110592 425 0 0 25 0 1 0 973556234 400248832 74564 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97717 74564 301 301 0 97416 0 vsize: 390868 [startup+1120.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 169666 0 0 0 111592 425 0 0 25 0 1 0 973556234 400510976 74659 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97781 74659 301 301 0 97480 0 vsize: 391124 [startup+1130.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 171307 0 0 0 112589 429 0 0 25 0 1 0 973556234 407113728 76235 4294967295 134512640 135730672 3221224576 3221222752 134768836 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99393 76235 301 301 0 99092 0 vsize: 397572 [startup+1140.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 171308 0 0 0 113588 430 0 0 25 0 1 0 973556234 400773120 74688 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97845 74688 301 301 0 97544 0 vsize: 391380 [startup+1150.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 171310 0 0 0 114588 430 0 0 25 0 1 0 973556234 400773120 74690 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97845 74690 301 301 0 97544 0 vsize: 391380 [startup+1160.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 172862 0 0 0 115583 435 0 0 25 0 1 0 973556234 400773120 74694 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97845 74694 301 301 0 97544 0 vsize: 391380 [startup+1170.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 172867 0 0 0 116583 435 0 0 25 0 1 0 973556234 400773120 74699 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97845 74699 301 301 0 97544 0 vsize: 391380 [startup+1180.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 172890 0 0 0 117583 436 0 0 25 0 1 0 973556234 400773120 74722 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97845 74722 301 301 0 97544 0 vsize: 391380 [startup+1190.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 174444 0 0 0 118579 440 0 0 25 0 1 0 973556234 400773120 74728 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97845 74728 301 301 0 97544 0 vsize: 391380 [startup+1200.06 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 29004 Raw data (stat): 29004 (pb2sat-v2) R 29003 20224 20223 0 -1 0 174572 0 0 0 119578 441 0 0 25 0 1 0 973556234 401035264 74791 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97909 74791 301 301 0 97608 0 vsize: 391636 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.97 s] Raw data (loadavg): 0.99 0.98 0.92 1/54 29004 Raw data (stat): 29004 (pb2sat-v2) Z 29003 20224 20223 0 -1 12 174574 0 0 0 119754 456 0 0 25 0 1 0 973556234 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.97 CPU time (s): 1202.11 CPU user time (s): 1197.54 CPU system time (s): 4.56531 CPU usage (%): 100.011 Max. virtual memory (Kb): 397572 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####