Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | 02058527b1ad27d5be75faa6974ffa0f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -42 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.11 |
Number of variables | 1400 |
Total number of constraints | 109676 |
Number of constraints which are clauses | 109676 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-05-28 11:36:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24270 boxname=wulflinc3 idbench=344 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 02058527b1ad27d5be75faa6974ffa0f /oldhome/oroussel/tmp/wulflinc3/normalized-frb56-25-1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-frb56-25-1.opb IDLAUNCH: 24270 /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: 882236 kB Buffers: 32456 kB Cached: 97932 kB SwapCached: 240 kB Active: 50624 kB Inactive: 82396 kB HighTotal: 131008 kB HighFree: 30912 kB LowTotal: 903652 kB LowFree: 851324 kB SwapTotal: 2097136 kB SwapFree: 2096480 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6324 kB Slab: 13836 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 11:56:08 (client local time) WITH STATUS 0 IN 1202.41 SECONDS stats: 24270 7 1202.41 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 538341/983516 Time: 360.608/86400 Decision: 576535/983516 Time: 652.595/86400 Decision: 618015/983516 Time: 826.06/86400 Decision: 625717/983516 Time: 1019.68/86400 Decision: 625717/983516 Time: 1144.22/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.85 0.97 0.91 2/54 27877 Raw data (stat): 27877 (runsolver) R 27876 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806260858 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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 s] Raw data (loadavg): 0.87 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 29348 0 0 0 931 67 0 0 25 0 1 0 806260858 88948736 18444 4294967295 134512640 135726644 3221224592 3221134480 134766794 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21716 18444 300 300 0 21416 0 vsize: 86864 [startup+20.0011 s] Raw data (loadavg): 0.89 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 57597 0 0 0 1869 130 0 0 25 0 1 0 806260858 174534656 35739 4294967295 134512640 135726644 3221224592 3221198228 135280408 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42611 35740 300 300 0 42311 0 vsize: 170444 [startup+30.002 s] Raw data (loadavg): 0.91 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 97806 0 0 0 2786 213 0 0 25 0 1 0 806260858 298229760 54272 4294967295 134512640 135726644 3221224592 3221136568 134783976 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 72810 54272 300 300 0 72510 0 vsize: 291240 [startup+40.0025 s] Raw data (loadavg): 0.92 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 113315 0 0 0 3752 247 0 0 25 0 1 0 806260858 344489984 69559 4294967295 134512640 135726644 3221224592 3221184988 135287489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84104 69559 300 300 0 83804 0 vsize: 336416 [startup+50.0039 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 127679 0 0 0 4719 279 0 0 25 0 1 0 806260858 364900352 83765 4294967295 134512640 135726644 3221224592 3221221104 134784754 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 89087 83765 300 300 0 88787 0 vsize: 356348 [startup+60.0033 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 137088 0 0 0 5698 300 0 0 25 0 1 0 806260858 391749632 90256 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 95642 90256 300 300 0 95342 0 vsize: 382568 [startup+70.004 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138364 0 0 0 6694 304 0 0 25 0 1 0 806260858 395698176 91048 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96606 91048 300 300 0 96306 0 vsize: 386424 [startup+80.0042 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138374 0 0 0 7694 304 0 0 25 0 1 0 806260858 395853824 91058 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96644 91058 300 300 0 96344 0 vsize: 386576 [startup+90.005 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138454 0 0 0 8692 306 0 0 25 0 1 0 806260858 396165120 91138 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96720 91138 300 300 0 96420 0 vsize: 386880 [startup+100.004 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138593 0 0 0 9691 308 0 0 25 0 1 0 806260858 396787712 91277 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96872 91277 300 300 0 96572 0 vsize: 387488 [startup+110.005 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138752 0 0 0 10690 309 0 0 25 0 1 0 806260858 397692928 91436 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97093 91436 300 300 0 96793 0 vsize: 388372 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 138849 0 0 0 11687 312 0 0 25 0 1 0 806260858 398184448 91533 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97213 91533 300 300 0 96913 0 vsize: 388852 [startup+130.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 139344 0 0 0 12685 314 0 0 25 0 1 0 806260858 399630336 91801 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97566 91801 300 300 0 97266 0 vsize: 390264 [startup+140.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 140830 0 0 0 13682 317 0 0 25 0 1 0 806260858 405094400 92800 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98900 92800 300 300 0 98600 0 vsize: 395600 [startup+150.007 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 144225 0 0 0 14676 324 0 0 25 0 1 0 806260858 415989760 94685 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101560 94685 300 300 0 101260 0 vsize: 406240 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 148879 0 0 0 15668 332 0 0 25 0 1 0 806260858 428802048 96954 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104688 96954 300 300 0 104388 0 vsize: 418752 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 153476 0 0 0 16660 340 0 0 25 0 1 0 806260858 440676352 99237 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 107587 99237 300 300 0 107287 0 vsize: 430348 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 156650 0 0 0 17654 346 0 0 25 0 1 0 806260858 449626112 100497 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 109772 100497 300 300 0 109472 0 vsize: 439088 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 157512 0 0 0 18651 349 0 0 25 0 1 0 806260858 451727360 100875 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 110285 100875 300 300 0 109985 0 vsize: 441140 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 157528 0 0 0 19651 349 0 0 25 0 1 0 806260858 451727360 100891 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 110285 100891 300 300 0 109985 0 vsize: 441140 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 157532 0 0 0 20652 349 0 0 25 0 1 0 806260858 451727360 100895 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 110285 100895 300 300 0 109985 0 vsize: 441140 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 158420 0 0 0 21650 351 0 0 25 0 1 0 806260858 453824512 101267 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 110797 101267 300 300 0 110497 0 vsize: 443188 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 159106 0 0 0 22649 352 0 0 25 0 1 0 806260858 455831552 101563 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 111287 101563 300 300 0 110987 0 vsize: 445148 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 159892 0 0 0 23647 354 0 0 25 0 1 0 806260858 458358784 101928 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 111904 101928 300 300 0 111604 0 vsize: 447616 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161039 0 0 0 24645 356 0 0 25 0 1 0 806260858 461357056 102499 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112636 102499 300 300 0 112336 0 vsize: 450544 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161115 0 0 0 25645 356 0 0 25 0 1 0 806260858 461357056 102575 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112636 102575 300 300 0 112336 0 vsize: 450544 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161181 0 0 0 26645 357 0 0 25 0 1 0 806260858 461627392 102641 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112702 102641 300 300 0 112402 0 vsize: 450808 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161190 0 0 0 27645 357 0 0 25 0 1 0 806260858 461627392 102650 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112702 102650 300 300 0 112402 0 vsize: 450808 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161214 0 0 0 28645 357 0 0 25 0 1 0 806260858 461627392 102674 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112702 102674 300 300 0 112402 0 vsize: 450808 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161362 0 0 0 29645 357 0 0 25 0 1 0 806260858 461889536 102756 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112766 102756 300 300 0 112466 0 vsize: 451064 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161523 0 0 0 30645 358 0 0 25 0 1 0 806260858 462413824 102787 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102787 300 300 0 112594 0 vsize: 451576 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161561 0 0 0 31645 358 0 0 25 0 1 0 806260858 462413824 102825 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102825 300 300 0 112594 0 vsize: 451576 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161566 0 0 0 32645 358 0 0 25 0 1 0 806260858 462413824 102830 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102830 300 300 0 112594 0 vsize: 451576 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161567 0 0 0 33645 358 0 0 25 0 1 0 806260858 462413824 102831 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102831 300 300 0 112594 0 vsize: 451576 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161571 0 0 0 34645 358 0 0 25 0 1 0 806260858 462413824 102835 4294967295 134512640 135726644 3221224592 3221223188 134744137 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102835 300 300 0 112594 0 vsize: 451576 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161574 0 0 0 35645 358 0 0 25 0 1 0 806260858 462413824 102838 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102838 300 300 0 112594 0 vsize: 451576 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161577 0 0 0 36646 358 0 0 25 0 1 0 806260858 462413824 102841 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102841 300 300 0 112594 0 vsize: 451576 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161580 0 0 0 37646 358 0 0 25 0 1 0 806260858 462413824 102844 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102844 300 300 0 112594 0 vsize: 451576 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161582 0 0 0 38646 358 0 0 25 0 1 0 806260858 462413824 102846 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102846 300 300 0 112594 0 vsize: 451576 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 161585 0 0 0 39646 358 0 0 25 0 1 0 806260858 462413824 102849 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102849 300 300 0 112594 0 vsize: 451576 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 163508 0 0 0 40641 364 0 0 25 0 1 0 806260858 462413824 102851 4294967295 134512640 135726644 3221224592 3221223216 134779416 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 112894 102851 300 300 0 112594 0 vsize: 451576 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 163821 0 0 0 41640 364 0 0 25 0 1 0 806260858 463335424 103066 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 113119 103066 300 300 0 112819 0 vsize: 452476 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 163953 0 0 0 42638 365 0 0 25 0 1 0 806260858 463802368 103198 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 113233 103198 300 300 0 112933 0 vsize: 452932 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 165642 0 0 0 43635 369 0 0 25 0 1 0 806260858 473067520 104691 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 115495 104691 300 300 0 115195 0 vsize: 461980 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 168825 0 0 0 44630 374 0 0 25 0 1 0 806260858 486277120 106834 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 118720 106834 300 300 0 118420 0 vsize: 474880 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 169945 0 0 0 45627 377 0 0 25 0 1 0 806260858 490500096 107566 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 119751 107566 300 300 0 119451 0 vsize: 479004 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170052 0 0 0 46627 378 0 0 25 0 1 0 806260858 490766336 107673 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 119816 107673 300 300 0 119516 0 vsize: 479264 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170143 0 0 0 47626 378 0 0 25 0 1 0 806260858 491028480 107699 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 119880 107699 300 300 0 119580 0 vsize: 479520 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170146 0 0 0 48626 378 0 0 25 0 1 0 806260858 491028480 107702 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 119880 107702 300 300 0 119580 0 vsize: 479520 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170151 0 0 0 49626 379 0 0 25 0 1 0 806260858 491028480 107707 4294967295 134512640 135726644 3221224592 3221222976 135105735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 119880 107707 300 300 0 119580 0 vsize: 479520 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170155 0 0 0 50627 379 0 0 25 0 1 0 806260858 491028480 107711 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 119880 107711 300 300 0 119580 0 vsize: 479520 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170436 0 0 0 51626 379 0 0 25 0 1 0 806260858 492085248 107862 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 120138 107862 300 300 0 119838 0 vsize: 480552 [startup+530.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170703 0 0 0 52626 380 0 0 25 0 1 0 806260858 492875776 108000 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 120331 108000 300 300 0 120031 0 vsize: 481324 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 170918 0 0 0 53626 380 0 0 25 0 1 0 806260858 493400064 108086 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 120459 108086 300 300 0 120159 0 vsize: 481836 [startup+550.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 171081 0 0 0 54625 380 0 0 25 0 1 0 806260858 493924352 108120 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 120587 108120 300 300 0 120287 0 vsize: 482348 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 171141 0 0 0 55625 381 0 0 25 0 1 0 806260858 494059520 108180 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 120620 108180 300 300 0 120320 0 vsize: 482480 [startup+570.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 172586 0 0 0 56624 383 0 0 25 0 1 0 806260858 499666944 109094 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 121989 109094 300 300 0 121689 0 vsize: 487956 [startup+580.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 172643 0 0 0 57623 383 0 0 25 0 1 0 806260858 499798016 109118 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 122021 109118 300 300 0 121721 0 vsize: 488084 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 172745 0 0 0 58623 383 0 0 25 0 1 0 806260858 500060160 109155 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 122085 109155 300 300 0 121785 0 vsize: 488340 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 173493 0 0 0 59622 386 0 0 25 0 1 0 806260858 502308864 109577 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 122634 109577 300 300 0 122334 0 vsize: 490536 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 173725 0 0 0 60621 386 0 0 25 0 1 0 806260858 502837248 109744 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 122763 109744 300 300 0 122463 0 vsize: 491052 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174277 0 0 0 61621 387 0 0 25 0 1 0 806260858 504549376 110004 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123181 110004 300 300 0 122881 0 vsize: 492724 [startup+630.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174482 0 0 0 62620 387 0 0 25 0 1 0 806260858 505348096 110176 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123376 110176 300 300 0 123076 0 vsize: 493504 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174628 0 0 0 63620 388 0 0 25 0 1 0 806260858 505876480 110257 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123505 110257 300 300 0 123205 0 vsize: 494020 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174682 0 0 0 64620 388 0 0 25 0 1 0 806260858 505876480 110311 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123505 110311 300 300 0 123205 0 vsize: 494020 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174808 0 0 0 65620 388 0 0 25 0 1 0 806260858 506138624 110372 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123569 110372 300 300 0 123269 0 vsize: 494276 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174963 0 0 0 66620 388 0 0 25 0 1 0 806260858 506662912 110398 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123697 110398 300 300 0 123397 0 vsize: 494788 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174978 0 0 0 67620 388 0 0 25 0 1 0 806260858 506662912 110413 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123697 110413 300 300 0 123397 0 vsize: 494788 [startup+690.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174982 0 0 0 68620 388 0 0 25 0 1 0 806260858 506662912 110417 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123697 110417 300 300 0 123397 0 vsize: 494788 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 174986 0 0 0 69620 388 0 0 25 0 1 0 806260858 506662912 110421 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 123697 110421 300 300 0 123397 0 vsize: 494788 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 177107 0 0 0 70616 393 0 0 25 0 1 0 806260858 507322368 110540 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 123858 110540 300 300 0 123558 0 vsize: 495432 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 177424 0 0 0 71615 394 0 0 25 0 1 0 806260858 508477440 110759 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 124140 110759 300 300 0 123840 0 vsize: 496560 [startup+730.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 178605 0 0 0 72612 396 0 0 25 0 1 0 806260858 511639552 111290 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 124912 111290 300 300 0 124612 0 vsize: 499648 [startup+740.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179709 0 0 0 73610 399 0 0 25 0 1 0 806260858 514400256 111777 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111777 300 300 0 125286 0 vsize: 502344 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179712 0 0 0 74610 399 0 0 25 0 1 0 806260858 514400256 111780 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111780 300 300 0 125286 0 vsize: 502344 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179715 0 0 0 75610 399 0 0 25 0 1 0 806260858 514400256 111783 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111783 300 300 0 125286 0 vsize: 502344 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179719 0 0 0 76611 399 0 0 25 0 1 0 806260858 514400256 111787 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111787 300 300 0 125286 0 vsize: 502344 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179721 0 0 0 77611 399 0 0 25 0 1 0 806260858 514400256 111789 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111789 300 300 0 125286 0 vsize: 502344 [startup+790.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179725 0 0 0 78611 399 0 0 25 0 1 0 806260858 514400256 111793 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111793 300 300 0 125286 0 vsize: 502344 [startup+800.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179728 0 0 0 79611 399 0 0 25 0 1 0 806260858 514400256 111796 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111796 300 300 0 125286 0 vsize: 502344 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179731 0 0 0 80611 400 0 0 25 0 1 0 806260858 514400256 111799 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111799 300 300 0 125286 0 vsize: 502344 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179735 0 0 0 81611 400 0 0 25 0 1 0 806260858 514400256 111803 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111803 300 300 0 125286 0 vsize: 502344 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179737 0 0 0 82611 400 0 0 25 0 1 0 806260858 514400256 111805 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111805 300 300 0 125286 0 vsize: 502344 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179740 0 0 0 83611 400 0 0 25 0 1 0 806260858 514400256 111808 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111808 300 300 0 125286 0 vsize: 502344 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179744 0 0 0 84612 400 0 0 25 0 1 0 806260858 514400256 111812 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111812 300 300 0 125286 0 vsize: 502344 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179747 0 0 0 85612 400 0 0 25 0 1 0 806260858 514400256 111815 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111815 300 300 0 125286 0 vsize: 502344 [startup+870.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 179751 0 0 0 86612 400 0 0 25 0 1 0 806260858 514400256 111819 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111819 300 300 0 125286 0 vsize: 502344 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 181675 0 0 0 87607 405 0 0 25 0 1 0 806260858 514400256 111822 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 125586 111822 300 300 0 125286 0 vsize: 502344 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182251 0 0 0 88606 406 0 0 25 0 1 0 806260858 516390912 112171 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126072 112171 300 300 0 125772 0 vsize: 504288 [startup+900.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182577 0 0 0 89605 407 0 0 25 0 1 0 806260858 517451776 112399 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126331 112399 300 300 0 126031 0 vsize: 505324 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182583 0 0 0 90605 407 0 0 25 0 1 0 806260858 517451776 112405 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126331 112405 300 300 0 126031 0 vsize: 505324 [startup+920.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182585 0 0 0 91606 407 0 0 25 0 1 0 806260858 517451776 112407 4294967295 134512640 135726644 3221224592 3221222840 135280958 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126331 112407 300 300 0 126031 0 vsize: 505324 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182587 0 0 0 92606 407 0 0 25 0 1 0 806260858 517451776 112409 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126331 112409 300 300 0 126031 0 vsize: 505324 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182605 0 0 0 93606 407 0 0 25 0 1 0 806260858 517451776 112427 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126331 112427 300 300 0 126031 0 vsize: 505324 [startup+950.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182610 0 0 0 94606 407 0 0 25 0 1 0 806260858 517451776 112432 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126331 112432 300 300 0 126031 0 vsize: 505324 [startup+960.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182948 0 0 0 95605 408 0 0 25 0 1 0 806260858 518500352 112513 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112513 300 300 0 126287 0 vsize: 506348 [startup+970.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182950 0 0 0 96605 408 0 0 25 0 1 0 806260858 518500352 112515 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112515 300 300 0 126287 0 vsize: 506348 [startup+980.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182953 0 0 0 97605 408 0 0 25 0 1 0 806260858 518500352 112518 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112518 300 300 0 126287 0 vsize: 506348 [startup+990.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182955 0 0 0 98606 408 0 0 25 0 1 0 806260858 518500352 112520 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112520 300 300 0 126287 0 vsize: 506348 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182959 0 0 0 99606 408 0 0 25 0 1 0 806260858 518500352 112524 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112524 300 300 0 126287 0 vsize: 506348 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182963 0 0 0 100606 408 0 0 25 0 1 0 806260858 518500352 112528 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112528 300 300 0 126287 0 vsize: 506348 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182968 0 0 0 101606 408 0 0 25 0 1 0 806260858 518500352 112533 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112533 300 300 0 126287 0 vsize: 506348 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182971 0 0 0 102606 408 0 0 25 0 1 0 806260858 518500352 112536 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112536 300 300 0 126287 0 vsize: 506348 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182972 0 0 0 103607 408 0 0 25 0 1 0 806260858 518500352 112537 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112537 300 300 0 126287 0 vsize: 506348 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182976 0 0 0 104607 409 0 0 25 0 1 0 806260858 518500352 112541 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112541 300 300 0 126287 0 vsize: 506348 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182978 0 0 0 105607 409 0 0 25 0 1 0 806260858 518500352 112543 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112543 300 300 0 126287 0 vsize: 506348 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 182980 0 0 0 106607 409 0 0 25 0 1 0 806260858 518500352 112545 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 126587 112545 300 300 0 126287 0 vsize: 506348 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 185958 0 0 0 107600 415 0 0 25 0 1 0 806260858 522199040 113210 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 127490 113210 300 300 0 127190 0 vsize: 509960 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 186323 0 0 0 108599 416 0 0 25 0 1 0 806260858 523116544 113345 4294967295 134512640 135726644 3221224592 3221223168 134760499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 127714 113345 300 300 0 127414 0 vsize: 510856 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 186844 0 0 0 109598 418 0 0 25 0 1 0 806260858 524697600 113574 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 128100 113574 300 300 0 127800 0 vsize: 512400 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 187222 0 0 0 110597 419 0 0 25 0 1 0 806260858 525754368 113822 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 128358 113822 300 300 0 128058 0 vsize: 513432 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 187406 0 0 0 111597 419 0 0 25 0 1 0 806260858 526282752 113941 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 128487 113941 300 300 0 128187 0 vsize: 513948 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 187576 0 0 0 112596 420 0 0 25 0 1 0 806260858 526811136 114046 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 128616 114046 300 300 0 128316 0 vsize: 514464 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 188251 0 0 0 113595 421 0 0 25 0 1 0 806260858 528912384 114269 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 129129 114269 300 300 0 128829 0 vsize: 516516 [startup+1150.04 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 188585 0 0 0 114595 422 0 0 25 0 1 0 806260858 530096128 114376 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 129418 114376 300 300 0 129118 0 vsize: 517672 [startup+1160.04 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 188797 0 0 0 115595 422 0 0 25 0 1 0 806260858 530620416 114459 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 129546 114459 300 300 0 129246 0 vsize: 518184 [startup+1170.04 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 188999 0 0 0 116594 423 0 0 25 0 1 0 806260858 531144704 114532 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 129674 114532 300 300 0 129374 0 vsize: 518696 [startup+1180.04 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 189262 0 0 0 117594 423 0 0 25 0 1 0 806260858 531935232 114665 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 129867 114665 300 300 0 129567 0 vsize: 519468 [startup+1190.04 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 189435 0 0 0 118594 424 0 0 25 0 1 0 806260858 532463616 114773 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 129996 114773 300 300 0 129696 0 vsize: 519984 [startup+1200.04 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 191555 0 0 0 119588 429 0 0 25 0 1 0 806260858 532856832 114874 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 130092 114874 300 300 0 129792 0 vsize: 520368 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.28 s] Raw data (loadavg): 1.03 0.99 0.91 1/53 27877 Raw data (stat): 27877 (pb2sat) R 27876 20224 20223 0 -1 0 191555 0 0 0 119588 429 0 0 25 0 1 0 806260858 532856832 114874 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 130092 114874 300 300 0 129792 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.28 CPU time (s): 1202.41 CPU user time (s): 1197.89 CPU system time (s): 4.52331 CPU usage (%): 100.011 Max. virtual memory (Kb): 520368 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####