Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb |
MD5SUM | 1b379137169731592d0d61cac8bf57af |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5123480 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8282 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 524133752 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 524133752 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1243.61 |
Number of variables | 9890 |
Total number of constraints | 978 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 378 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1072 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-16 14:48:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25996 boxname=wulflinc6 idbench=1296 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1b379137169731592d0d61cac8bf57af /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb IDLAUNCH: 25996 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 724500 kB Buffers: 17200 kB Cached: 270120 kB SwapCached: 1000 kB Active: 27280 kB Inactive: 262204 kB HighTotal: 131008 kB HighFree: 9408 kB LowTotal: 903652 kB LowFree: 715092 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5092 kB Slab: 15004 kB Committed_AS: 63844 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 15:08:04 (client local time) WITH STATUS 0 IN 1202.45 SECONDS stats: 25996 7 1202.45 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 321681/1103678 Time: 216.522/86400 c Decision: 321681/1103678 Time: 246.088/86400 c Decision: 321681/1103678 Time: 272.085/86400 c Decision: 321681/1103678 Time: 299.032/86400 c Decision: 321681/1103678 Time: 324.693/86400 c Decision: 321681/1103678 Time: 348.644/86400 c Decision: 321681/1103678 Time: 369.675/86400 c Decision: 321681/1103678 Time: 398.107/86400 c Decision: 321681/1103678 Time: 425.767/86400 c Decision: 321681/1103678 Time: 453.79/86400 c Decision: 321681/1103678 Time: 486.457/86400 c Decision: 321681/1103678 Time: 510.884/86400 c Decision: 321681/1103678 Time: 541.389/86400 c Decision: 321681/1103678 Time: 569.872/86400 c Decision: 321681/1103678 Time: 595.156/86400 c Decision: 321681/1103678 Time: 624.489/86400 c Decision: 321681/1103678 Time: 649.152/86400 c Decision: 321681/1103678 Time: 674.133/86400 c Decision: 321681/1103678 Time: 697.928/86400 c Decision: 321681/1103678 Time: 721.963/86400 c Decision: 321681/1103678 Time: 749.75/86400 c Decision: 321681/1103678 Time: 773.007/86400 c Decision: 321681/1103678 Time: 795.718/86400 c Decision: 321681/1103678 Time: 815.761/86400 c Decision: 321681/1103678 Time: 835.814/86400 c Decision: 321681/1103678 Time: 856.749/86400 c Decision: 321681/1103678 Time: 874.649/86400 c Decision: 321681/1103678 Time: 898.863/86400 c Decision: 321681/1103678 Time: 918.386/86400 c Decision: 321681/1103678 Time: 947.194/86400 c Decision: 321681/1103678 Time: 975.792/86400 c Decision: 321681/1103678 Time: 995.632/86400 c Decision: 321681/1103678 Time: 1013.05/86400 c Decision: 321681/1103678 Time: 1029.48/86400 c Decision: 321681/1103678 Time: 1046.58/86400 c Decision: 321681/1103678 Time: 1068.78/86400 c Decision: 321681/1103678 Time: 1087.06/86400 c Decision: 321681/1103678 Time: 1111.3/86400 c Decision: 321681/1103678 Time: 1128.24/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.95 0.90 2/54 22426 Raw data (stat): 22426 (runsolver) R 22425 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971601339 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+9.99969 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 25614 0 0 0 941 58 0 0 25 0 1 0 971601339 80240640 14599 4294967295 134512640 135730672 3221224576 3221087936 134608794 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19590 14599 301 301 0 19289 0 vsize: 78360 [startup+19.9997 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 52182 0 0 0 1881 117 0 0 25 0 1 0 971601339 154472448 30191 4294967295 134512640 135730672 3221224576 3221005044 135292740 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37713 30191 301 301 0 37412 0 vsize: 150852 [startup+30.0008 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 91299 0 0 0 2797 202 0 0 25 0 1 0 971601339 269180928 47611 4294967295 134512640 135730672 3221224576 3221092880 134549880 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 65718 47611 301 301 0 65417 0 vsize: 262872 [startup+40 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 105293 0 0 0 3764 235 0 0 25 0 1 0 971601339 303816704 61358 4294967295 134512640 135730672 3221224576 3220944428 134608696 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 74174 61358 301 301 0 73873 0 vsize: 296696 [startup+50.0001 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 148078 0 0 0 4678 321 0 0 25 0 1 0 971601339 505630720 102941 4294967295 134512640 135730672 3221224576 3221171136 135282216 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123445 102941 301 301 0 123144 0 vsize: 493780 [startup+59.9999 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180794 0 0 0 5606 393 0 0 25 0 1 0 971601339 552210432 91461 4294967295 134512640 135730672 3221224576 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 134817 91461 301 301 0 134516 0 vsize: 539268 [startup+69.9994 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180800 0 0 0 6605 394 0 0 25 0 1 0 971601339 552210432 91467 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 134817 91467 301 301 0 134516 0 vsize: 539268 [startup+79.9996 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180805 0 0 0 7605 395 0 0 25 0 1 0 971601339 552210432 91472 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 134817 91472 301 301 0 134516 0 vsize: 539268 [startup+89.9994 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180813 0 0 0 8604 395 0 0 25 0 1 0 971601339 552210432 91480 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 134817 91480 301 301 0 134516 0 vsize: 539268 [startup+99.9989 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180825 0 0 0 9604 396 0 0 25 0 1 0 971601339 552210432 91492 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 134817 91492 301 301 0 134516 0 vsize: 539268 [startup+109.999 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180837 0 0 0 10604 396 0 0 25 0 1 0 971601339 552210432 91504 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 134817 91504 301 301 0 134516 0 vsize: 539268 [startup+120 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 180935 0 0 0 11604 397 0 0 25 0 1 0 971601339 552660992 91602 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 134927 91602 301 301 0 134626 0 vsize: 539708 [startup+129.999 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181414 0 0 0 12603 398 0 0 25 0 1 0 971601339 555597824 92081 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 135644 92081 301 301 0 135343 0 vsize: 542576 [startup+139.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181564 0 0 0 13602 399 0 0 25 0 1 0 971601339 556191744 92198 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 135789 92198 301 301 0 135488 0 vsize: 543156 [startup+149.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181626 0 0 0 14602 399 0 0 25 0 1 0 971601339 556523520 92260 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 135870 92260 301 301 0 135569 0 vsize: 543480 [startup+159.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181778 0 0 0 15602 400 0 0 25 0 1 0 971601339 557395968 92412 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136083 92412 301 301 0 135782 0 vsize: 544332 [startup+169.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181832 0 0 0 16602 401 0 0 25 0 1 0 971601339 557666304 92466 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136149 92466 301 301 0 135848 0 vsize: 544596 [startup+179.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181877 0 0 0 17602 401 0 0 25 0 1 0 971601339 557801472 92511 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136182 92511 301 301 0 135881 0 vsize: 544728 [startup+189.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181901 0 0 0 18602 401 0 0 25 0 1 0 971601339 557801472 92535 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136182 92535 301 301 0 135881 0 vsize: 544728 [startup+199.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181985 0 0 0 19602 401 0 0 25 0 1 0 971601339 558206976 92619 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136281 92619 301 301 0 135980 0 vsize: 545124 [startup+209.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 181997 0 0 0 20602 401 0 0 25 0 1 0 971601339 558206976 92631 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136281 92631 301 301 0 135980 0 vsize: 545124 [startup+219.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182013 0 0 0 21602 402 0 0 25 0 1 0 971601339 558206976 92647 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136281 92647 301 301 0 135980 0 vsize: 545124 [startup+229.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182112 0 0 0 22602 402 0 0 25 0 1 0 971601339 558612480 92746 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136380 92746 301 301 0 136079 0 vsize: 545520 [startup+239.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182277 0 0 0 23601 403 0 0 25 0 1 0 971601339 559558656 92911 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136611 92911 301 301 0 136310 0 vsize: 546444 [startup+249.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182288 0 0 0 24602 403 0 0 25 0 1 0 971601339 559558656 92922 4294967295 134512640 135730672 3221224576 3221223264 134748577 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136611 92922 301 301 0 136310 0 vsize: 546444 [startup+259.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 182306 0 0 0 25602 403 0 0 25 0 1 0 971601339 559558656 92940 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136611 92940 301 301 0 136310 0 vsize: 546444 [startup+269.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 184471 0 0 0 26597 408 0 0 25 0 1 0 971601339 559558656 92949 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136611 92949 301 301 0 136310 0 vsize: 546444 [startup+279.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 184563 0 0 0 27597 409 0 0 25 0 1 0 971601339 559951872 93041 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136707 93041 301 301 0 136406 0 vsize: 546828 [startup+289.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 184601 0 0 0 28596 410 0 0 25 0 1 0 971601339 560222208 93079 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136773 93079 301 301 0 136472 0 vsize: 547092 [startup+299.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 186795 0 0 0 29591 415 0 0 25 0 1 0 971601339 569188352 95273 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138962 95273 301 301 0 138661 0 vsize: 555848 [startup+309.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 186893 0 0 0 30589 417 0 0 25 0 1 0 971601339 560959488 93215 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 136953 93215 301 301 0 136652 0 vsize: 547812 [startup+319.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 186939 0 0 0 31588 418 0 0 25 0 1 0 971601339 561229824 93261 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137019 93261 301 301 0 136718 0 vsize: 548076 [startup+329.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 189116 0 0 0 32582 424 0 0 25 0 1 0 971601339 561364992 93282 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137052 93282 301 301 0 136751 0 vsize: 548208 [startup+339.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 189204 0 0 0 33581 424 0 0 25 0 1 0 971601339 561905664 93370 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137184 93370 301 301 0 136883 0 vsize: 548736 [startup+349.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 189259 0 0 0 34581 425 0 0 25 0 1 0 971601339 562176000 93425 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137250 93425 301 301 0 136949 0 vsize: 549000 [startup+359.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 191418 0 0 0 35576 430 0 0 25 0 1 0 971601339 562176000 93428 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137250 93428 301 301 0 136949 0 vsize: 549000 [startup+369.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 191420 0 0 0 36576 431 0 0 25 0 1 0 971601339 562176000 93430 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137250 93430 301 301 0 136949 0 vsize: 549000 [startup+379.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 193577 0 0 0 37570 437 0 0 25 0 1 0 971601339 562176000 93431 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137250 93431 301 301 0 136949 0 vsize: 549000 [startup+389.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 193635 0 0 0 38569 438 0 0 25 0 1 0 971601339 562442240 93456 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137315 93456 301 301 0 137014 0 vsize: 549260 [startup+399.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 195921 0 0 0 39564 444 0 0 25 0 1 0 971601339 571944960 95709 4294967295 134512640 135730672 3221224576 3221222784 134769526 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 139635 95709 301 301 0 139334 0 vsize: 558540 [startup+409.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 195923 0 0 0 40562 445 0 0 25 0 1 0 971601339 563113984 93555 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137479 93555 301 301 0 137178 0 vsize: 549916 [startup+419.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 195932 0 0 0 41562 446 0 0 25 0 1 0 971601339 563113984 93564 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 137479 93564 301 301 0 137178 0 vsize: 549916 [startup+429.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 198089 0 0 0 42557 451 0 0 25 0 1 0 971601339 563113984 93565 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137479 93565 301 301 0 137178 0 vsize: 549916 [startup+439.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 198134 0 0 0 43556 452 0 0 25 0 1 0 971601339 563249152 93610 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137512 93610 301 301 0 137211 0 vsize: 550048 [startup+450 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 198232 0 0 0 44556 453 0 0 25 0 1 0 971601339 563650560 93675 4294967295 134512640 135730672 3221224576 3221223088 134745887 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137610 93675 301 301 0 137309 0 vsize: 550440 [startup+459.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 200416 0 0 0 45551 458 0 0 25 0 1 0 971601339 563785728 93703 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137643 93703 301 301 0 137342 0 vsize: 550572 [startup+469.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 200440 0 0 0 46550 459 0 0 25 0 1 0 971601339 563920896 93727 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137676 93727 301 301 0 137375 0 vsize: 550704 [startup+480 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 202619 0 0 0 47545 464 0 0 25 0 1 0 971601339 572887040 95906 4294967295 134512640 135730672 3221224576 3221222724 134769153 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 139865 95906 301 301 0 139564 0 vsize: 559460 [startup+490 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 202651 0 0 0 48545 465 0 0 25 0 1 0 971601339 564191232 93782 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137742 93782 301 301 0 137441 0 vsize: 550968 [startup+500 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 202656 0 0 0 49544 466 0 0 25 0 1 0 971601339 564191232 93787 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137742 93787 301 301 0 137441 0 vsize: 550968 [startup+510.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 204834 0 0 0 50539 471 0 0 25 0 1 0 971601339 564326400 93809 4294967295 134512640 135730672 3221224576 3221223168 134764027 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137775 93809 301 301 0 137474 0 vsize: 551100 [startup+520.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 204872 0 0 0 51539 472 0 0 25 0 1 0 971601339 564461568 93847 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137808 93847 301 301 0 137507 0 vsize: 551232 [startup+530.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 204908 0 0 0 52538 473 0 0 25 0 1 0 971601339 564596736 93883 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137841 93883 301 301 0 137540 0 vsize: 551364 [startup+540.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 207065 0 0 0 53533 479 0 0 25 0 1 0 971601339 564596736 93884 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137841 93884 301 301 0 137540 0 vsize: 551364 [startup+550.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 207067 0 0 0 54533 479 0 0 25 0 1 0 971601339 564596736 93886 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137841 93886 301 301 0 137540 0 vsize: 551364 [startup+560.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 207093 0 0 0 55532 481 0 0 25 0 1 0 971601339 564731904 93912 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137874 93912 301 301 0 137573 0 vsize: 551496 [startup+570.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 209295 0 0 0 56527 486 0 0 25 0 1 0 971601339 564862976 93925 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137906 93925 301 301 0 137605 0 vsize: 551624 [startup+580.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 209299 0 0 0 57526 487 0 0 25 0 1 0 971601339 564862976 93929 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137906 93929 301 301 0 137605 0 vsize: 551624 [startup+590.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 209411 0 0 0 58526 488 0 0 25 0 1 0 971601339 565538816 94041 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138071 94041 301 301 0 137770 0 vsize: 552284 [startup+600.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 211570 0 0 0 59521 493 0 0 25 0 1 0 971601339 565538816 94044 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138071 94044 301 301 0 137770 0 vsize: 552284 [startup+610.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 211576 0 0 0 60521 494 0 0 25 0 1 0 971601339 565538816 94050 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138071 94050 301 301 0 137770 0 vsize: 552284 [startup+620.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 211609 0 0 0 61520 494 0 0 25 0 1 0 971601339 565673984 94083 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138104 94083 301 301 0 137803 0 vsize: 552416 [startup+630.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 213775 0 0 0 62515 500 0 0 25 0 1 0 971601339 565673984 94093 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138104 94093 301 301 0 137803 0 vsize: 552416 [startup+640.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 213802 0 0 0 63515 501 0 0 25 0 1 0 971601339 565809152 94120 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138137 94120 301 301 0 137836 0 vsize: 552548 [startup+650.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 215967 0 0 0 64509 506 0 0 25 0 1 0 971601339 565809152 94129 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138137 94129 301 301 0 137836 0 vsize: 552548 [startup+660.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 215973 0 0 0 65509 507 0 0 25 0 1 0 971601339 565809152 94135 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138137 94135 301 301 0 137836 0 vsize: 552548 [startup+670.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 215977 0 0 0 66509 507 0 0 25 0 1 0 971601339 565809152 94139 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138137 94139 301 301 0 137836 0 vsize: 552548 [startup+680.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 218134 0 0 0 67503 513 0 0 25 0 1 0 971601339 565809152 94140 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138137 94140 301 301 0 137836 0 vsize: 552548 [startup+690.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 218159 0 0 0 68502 515 0 0 25 0 1 0 971601339 565944320 94165 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138170 94165 301 301 0 137869 0 vsize: 552680 [startup+700.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 218183 0 0 0 69502 516 0 0 25 0 1 0 971601339 566079488 94189 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138203 94189 301 301 0 137902 0 vsize: 552812 [startup+710.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 220342 0 0 0 70497 521 0 0 25 0 1 0 971601339 566079488 94192 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138203 94192 301 301 0 137902 0 vsize: 552812 [startup+720.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22426 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 220348 0 0 0 71497 521 0 0 25 0 1 0 971601339 566079488 94198 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138203 94198 301 301 0 137902 0 vsize: 552812 [startup+730.004 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 22479 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 222508 0 0 0 72490 527 0 0 25 0 1 0 971601339 566079488 94202 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138203 94202 301 301 0 137902 0 vsize: 552812 [startup+740.004 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 22479 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 222516 0 0 0 73490 528 0 0 25 0 1 0 971601339 566079488 94210 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138203 94210 301 301 0 137902 0 vsize: 552812 [startup+750.005 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 22479 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 222544 0 0 0 74489 529 0 0 25 0 1 0 971601339 566214656 94238 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138236 94238 301 301 0 137935 0 vsize: 552944 [startup+760.006 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 22479 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 224707 0 0 0 75483 535 0 0 25 0 1 0 971601339 566214656 94245 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138236 94245 301 301 0 137935 0 vsize: 552944 [startup+770.006 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 22479 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 224712 0 0 0 76483 536 0 0 25 0 1 0 971601339 566214656 94250 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138236 94250 301 301 0 137935 0 vsize: 552944 [startup+780.006 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 22479 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 226909 0 0 0 77478 541 0 0 25 0 1 0 971601339 566484992 94291 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138302 94291 301 301 0 138001 0 vsize: 553208 [startup+790.006 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 226933 0 0 0 78478 542 0 0 25 0 1 0 971601339 566620160 94315 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94315 301 301 0 138034 0 vsize: 553340 [startup+800.006 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 229095 0 0 0 79473 547 0 0 25 0 1 0 971601339 575451136 96477 4294967295 134512640 135730672 3221224576 3221222724 134769153 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 140491 96477 301 301 0 140190 0 vsize: 561964 [startup+810.007 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 229099 0 0 0 80472 548 0 0 25 0 1 0 971601339 566620160 94325 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94325 301 301 0 138034 0 vsize: 553340 [startup+820.007 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 229101 0 0 0 81472 549 0 0 25 0 1 0 971601339 566620160 94327 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94327 301 301 0 138034 0 vsize: 553340 [startup+830.007 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 231258 0 0 0 82467 554 0 0 25 0 1 0 971601339 566620160 94328 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94328 301 301 0 138034 0 vsize: 553340 [startup+840.007 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 231262 0 0 0 83467 555 0 0 25 0 1 0 971601339 566620160 94332 4294967295 134512640 135730672 3221224576 3221222960 135109367 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94332 301 301 0 138034 0 vsize: 553340 [startup+850.007 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 233423 0 0 0 84463 558 0 0 25 0 1 0 971601339 575451136 96493 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 140491 96493 301 301 0 140190 0 vsize: 561964 [startup+860.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 233431 0 0 0 85463 560 0 0 25 0 1 0 971601339 566620160 94345 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94345 301 301 0 138034 0 vsize: 553340 [startup+870.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 235592 0 0 0 86457 565 0 0 25 0 1 0 971601339 575451136 96506 4294967295 134512640 135730672 3221224576 3221222720 134769157 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 140491 96506 301 301 0 140190 0 vsize: 561964 [startup+880.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 235599 0 0 0 87457 566 0 0 25 0 1 0 971601339 566620160 94357 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94357 301 301 0 138034 0 vsize: 553340 [startup+890.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 237761 0 0 0 88451 572 0 0 25 0 1 0 971601339 575451136 96519 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 140491 96519 301 301 0 140190 0 vsize: 561964 [startup+900.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 237775 0 0 0 89450 573 0 0 25 0 1 0 971601339 566620160 94377 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94377 301 301 0 138034 0 vsize: 553340 [startup+910.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 239935 0 0 0 90445 579 0 0 25 0 1 0 971601339 566620160 94381 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138335 94381 301 301 0 138034 0 vsize: 553340 [startup+920.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 239954 0 0 0 91445 579 0 0 25 0 1 0 971601339 566755328 94400 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138368 94400 301 301 0 138067 0 vsize: 553472 [startup+930.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 242131 0 0 0 92440 585 0 0 25 0 1 0 971601339 566890496 94421 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138401 94421 301 301 0 138100 0 vsize: 553604 [startup+940.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 242133 0 0 0 93439 585 0 0 25 0 1 0 971601339 566890496 94423 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138401 94423 301 301 0 138100 0 vsize: 553604 [startup+950.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 242156 0 0 0 94439 586 0 0 25 0 1 0 971601339 567025664 94446 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138434 94446 301 301 0 138133 0 vsize: 553736 [startup+960.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 244317 0 0 0 95433 592 0 0 25 0 1 0 971601339 567025664 94451 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138434 94451 301 301 0 138133 0 vsize: 553736 [startup+970.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 244342 0 0 0 96433 593 0 0 25 0 1 0 971601339 567160832 94476 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138467 94476 301 301 0 138166 0 vsize: 553868 [startup+980.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 246536 0 0 0 97427 599 0 0 25 0 1 0 971601339 567431168 94514 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138533 94514 301 301 0 138232 0 vsize: 554132 [startup+990.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 246642 0 0 0 98427 600 0 0 25 0 1 0 971601339 568107008 94620 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138698 94620 301 301 0 138397 0 vsize: 554792 [startup+1000.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 248821 0 0 0 99422 605 0 0 25 0 1 0 971601339 577073152 96799 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 140887 96799 301 301 0 140586 0 vsize: 563548 [startup+1010.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 248844 0 0 0 100421 606 0 0 25 0 1 0 971601339 568377344 94666 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94666 301 301 0 138463 0 vsize: 555056 [startup+1020.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 248850 0 0 0 101420 607 0 0 25 0 1 0 971601339 568377344 94672 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94672 301 301 0 138463 0 vsize: 555056 [startup+1030.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22481 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 251007 0 0 0 102414 614 0 0 25 0 1 0 971601339 568377344 94673 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94673 301 301 0 138463 0 vsize: 555056 [startup+1040.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 251010 0 0 0 103414 614 0 0 25 0 1 0 971601339 568377344 94676 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94676 301 301 0 138463 0 vsize: 555056 [startup+1050.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 253168 0 0 0 104409 619 0 0 25 0 1 0 971601339 577208320 96834 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 140920 96834 301 301 0 140619 0 vsize: 563680 [startup+1060.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 253170 0 0 0 105409 620 0 0 25 0 1 0 971601339 568377344 94680 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94680 301 301 0 138463 0 vsize: 555056 [startup+1070.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 255328 0 0 0 106403 626 0 0 25 0 1 0 971601339 568377344 94682 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94682 301 301 0 138463 0 vsize: 555056 [startup+1080.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 255331 0 0 0 107403 627 0 0 25 0 1 0 971601339 568377344 94685 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94685 301 301 0 138463 0 vsize: 555056 [startup+1090.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 255336 0 0 0 108402 628 0 0 25 0 1 0 971601339 568377344 94690 4294967295 134512640 135730672 3221224576 3221223072 134747720 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94690 301 301 0 138463 0 vsize: 555056 [startup+1100.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 257495 0 0 0 109397 634 0 0 25 0 1 0 971601339 577208320 96849 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 140920 96849 301 301 0 140619 0 vsize: 563680 [startup+1110.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 257502 0 0 0 110396 635 0 0 25 0 1 0 971601339 568377344 94700 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94700 301 301 0 138463 0 vsize: 555056 [startup+1120.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 259662 0 0 0 111390 641 0 0 25 0 1 0 971601339 568377344 94704 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94704 301 301 0 138463 0 vsize: 555056 [startup+1130.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 259664 0 0 0 112390 642 0 0 25 0 1 0 971601339 568377344 94706 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94706 301 301 0 138463 0 vsize: 555056 [startup+1140.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 261826 0 0 0 113385 647 0 0 25 0 1 0 971601339 577208320 96868 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 140920 96868 301 301 0 140619 0 vsize: 563680 [startup+1150.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 261832 0 0 0 114384 648 0 0 25 0 1 0 971601339 568377344 94718 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94718 301 301 0 138463 0 vsize: 555056 [startup+1160.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 261839 0 0 0 115383 649 0 0 25 0 1 0 971601339 568377344 94725 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94725 301 301 0 138463 0 vsize: 555056 [startup+1170.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 263999 0 0 0 116377 656 0 0 25 0 1 0 971601339 568377344 94729 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94729 301 301 0 138463 0 vsize: 555056 [startup+1180.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 264008 0 0 0 117376 657 0 0 25 0 1 0 971601339 568377344 94738 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94738 301 301 0 138463 0 vsize: 555056 [startup+1190.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 264015 0 0 0 118375 658 0 0 25 0 1 0 971601339 568377344 94745 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94745 301 301 0 138463 0 vsize: 555056 [startup+1200.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 264020 0 0 0 119375 659 0 0 25 0 1 0 971601339 568377344 94750 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94750 301 301 0 138463 0 vsize: 555056 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.12 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 22483 Raw data (stat): 22426 (pb2sat-v2) R 22425 25568 25567 0 -1 0 264020 0 0 0 119375 659 0 0 25 0 1 0 971601339 568377344 94750 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 138764 94750 301 301 0 138463 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.12 CPU time (s): 1202.45 CPU user time (s): 1195.67 CPU system time (s): 6.78397 CPU usage (%): 100.027 Max. virtual memory (Kb): 563680 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####