Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb |
MD5SUM | 0613a0c4894703648f95007e06fadc66 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 187033 |
Biggest coefficient in the objective function | 2150851580428025856 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 882752655849462562816 |
Number of bits of the sum of numbers in the objective function | 70 |
Biggest number in a constraint | 53687091200000000000 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 4277072243466308681728 |
Number of bits of the biggest sum of numbers | 72 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 3.46847 |
Number of variables | 366703 |
Total number of constraints | 6084 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6084 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-05-28 12:04:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24353 boxname=wulflinc30 idbench=825 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 0613a0c4894703648f95007e06fadc66 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-dfl001.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-dfl001.opb IDLAUNCH: 24353 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 3 cpu MHz : 451.072 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 802664 kB Buffers: 34340 kB Cached: 173600 kB SwapCached: 752 kB Active: 69604 kB Inactive: 140456 kB HighTotal: 131008 kB HighFree: 20188 kB LowTotal: 903652 kB LowFree: 782476 kB SwapTotal: 2097892 kB SwapFree: 2096312 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5060 kB Slab: 16292 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 12:21:19 (client local time) WITH STATUS 0 IN 999.285 SECONDS stats: 24353 7 999.285 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified #### 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): 1.00 0.96 0.91 2/54 723 Raw data (stat): 723 (runsolver) R 722 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864656224 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 723 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 2084 0 0 0 994 5 0 0 25 0 1 0 864656224 7684096 1411 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1876 1411 300 300 0 1576 0 vsize: 7504 [startup+20.0007 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 723 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 2620 0 0 0 1992 7 0 0 25 0 1 0 864656224 9170944 1938 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2239 1938 300 300 0 1939 0 vsize: 8956 [startup+30.0006 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 723 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 3836 0 0 0 2988 10 0 0 25 0 1 0 864656224 13410304 2442 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3274 2442 300 300 0 2974 0 vsize: 13096 [startup+40.0008 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 723 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4059 0 0 0 3987 12 0 0 25 0 1 0 864656224 13950976 2660 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3406 2660 300 300 0 3106 0 vsize: 13624 [startup+50.0012 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 723 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4319 0 0 0 4986 13 0 0 25 0 1 0 864656224 14626816 2915 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3571 2915 300 300 0 3271 0 vsize: 14284 [startup+60.001 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 723 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4548 0 0 0 5985 14 0 0 25 0 1 0 864656224 15167488 3141 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3703 3141 300 300 0 3403 0 vsize: 14812 [startup+70.0022 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 723 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4756 0 0 0 6984 15 0 0 25 0 1 0 864656224 15708160 3345 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3835 3345 300 300 0 3535 0 vsize: 15340 [startup+80.0026 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 4953 0 0 0 7984 16 0 0 25 0 1 0 864656224 16248832 3539 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3967 3539 300 300 0 3667 0 vsize: 15868 [startup+90.0025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 5137 0 0 0 8983 16 0 0 25 0 1 0 864656224 16789504 3720 4294967295 134512640 135726644 3221224576 3221221628 134603584 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4099 3720 300 300 0 3799 0 vsize: 16396 [startup+100.003 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 5313 0 0 0 9982 18 0 0 25 0 1 0 864656224 17195008 3893 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4198 3893 300 300 0 3898 0 vsize: 16792 [startup+110.003 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 5478 0 0 0 10981 18 0 0 25 0 1 0 864656224 17600512 4056 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4297 4056 300 300 0 3997 0 vsize: 17188 [startup+120.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7483 0 0 0 11976 24 0 0 25 0 1 0 864656224 25403392 4648 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4648 300 300 0 5902 0 vsize: 24808 [startup+130.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7537 0 0 0 12977 24 0 0 25 0 1 0 864656224 25403392 4700 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4700 300 300 0 5902 0 vsize: 24808 [startup+140.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7591 0 0 0 13977 24 0 0 25 0 1 0 864656224 25403392 4751 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4751 300 300 0 5902 0 vsize: 24808 [startup+150.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7664 0 0 0 14976 24 0 0 25 0 1 0 864656224 25403392 4822 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4822 300 300 0 5902 0 vsize: 24808 [startup+160.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7718 0 0 0 15976 25 0 0 25 0 1 0 864656224 25403392 4874 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4874 300 300 0 5902 0 vsize: 24808 [startup+170.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7824 0 0 0 16976 25 0 0 25 0 1 0 864656224 25673728 4978 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6268 4978 300 300 0 5968 0 vsize: 25072 [startup+180.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 7955 0 0 0 17976 25 0 0 25 0 1 0 864656224 26079232 5107 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6367 5107 300 300 0 6067 0 vsize: 25468 [startup+190.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8083 0 0 0 18975 26 0 0 25 0 1 0 864656224 26349568 5233 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6433 5233 300 300 0 6133 0 vsize: 25732 [startup+200.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8207 0 0 0 19975 26 0 0 25 0 1 0 864656224 26755072 5355 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6532 5355 300 300 0 6232 0 vsize: 26128 [startup+210.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8329 0 0 0 20975 27 0 0 25 0 1 0 864656224 27025408 5475 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6598 5475 300 300 0 6298 0 vsize: 26392 [startup+220.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8448 0 0 0 21972 28 0 0 25 0 1 0 864656224 27295744 5592 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6664 5592 300 300 0 6364 0 vsize: 26656 [startup+230.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8564 0 0 0 22972 29 0 0 25 0 1 0 864656224 27701248 5706 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6763 5706 300 300 0 6463 0 vsize: 27052 [startup+240.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8678 0 0 0 23971 29 0 0 25 0 1 0 864656224 27971584 5818 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6829 5818 300 300 0 6529 0 vsize: 27316 [startup+250.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8789 0 0 0 24971 30 0 0 25 0 1 0 864656224 28241920 5927 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6895 5927 300 300 0 6595 0 vsize: 27580 [startup+260.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 8899 0 0 0 25971 30 0 0 25 0 1 0 864656224 28512256 6035 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6961 6035 300 300 0 6661 0 vsize: 27844 [startup+270.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9005 0 0 0 26971 31 0 0 25 0 1 0 864656224 28782592 6140 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7027 6140 300 300 0 6727 0 vsize: 28108 [startup+280.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9112 0 0 0 27970 31 0 0 25 0 1 0 864656224 29052928 6245 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7093 6245 300 300 0 6793 0 vsize: 28372 [startup+290.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9217 0 0 0 28969 31 0 0 25 0 1 0 864656224 29323264 6348 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7159 6348 300 300 0 6859 0 vsize: 28636 [startup+300.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9317 0 0 0 29969 32 0 0 25 0 1 0 864656224 29593600 6447 4294967295 134512640 135726644 3221224576 3221221776 134576172 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7225 6447 300 300 0 6925 0 vsize: 28900 [startup+310.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9418 0 0 0 30969 32 0 0 25 0 1 0 864656224 29863936 6546 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7291 6546 300 300 0 6991 0 vsize: 29164 [startup+320.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9517 0 0 0 31969 33 0 0 25 0 1 0 864656224 30134272 6643 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7357 6643 300 300 0 7057 0 vsize: 29428 [startup+330.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9614 0 0 0 32969 33 0 0 25 0 1 0 864656224 30404608 6739 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7423 6739 300 300 0 7123 0 vsize: 29692 [startup+340.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9711 0 0 0 33968 33 0 0 25 0 1 0 864656224 30674944 6834 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7489 6834 300 300 0 7189 0 vsize: 29956 [startup+350.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9805 0 0 0 34968 33 0 0 25 0 1 0 864656224 30945280 6927 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7555 6927 300 300 0 7255 0 vsize: 30220 [startup+360.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9899 0 0 0 35968 34 0 0 25 0 1 0 864656224 31215616 7019 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7621 7019 300 300 0 7321 0 vsize: 30484 [startup+370.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 9991 0 0 0 36968 34 0 0 25 0 1 0 864656224 31485952 7110 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7687 7110 300 300 0 7387 0 vsize: 30748 [startup+380.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10081 0 0 0 37968 34 0 0 25 0 1 0 864656224 31621120 7198 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7720 7198 300 300 0 7420 0 vsize: 30880 [startup+390.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10171 0 0 0 38968 35 0 0 25 0 1 0 864656224 31891456 7287 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7786 7287 300 300 0 7486 0 vsize: 31144 [startup+400.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10261 0 0 0 39967 35 0 0 25 0 1 0 864656224 32161792 7375 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7852 7375 300 300 0 7552 0 vsize: 31408 [startup+410.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10350 0 0 0 40966 36 0 0 25 0 1 0 864656224 32432128 7463 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7918 7463 300 300 0 7618 0 vsize: 31672 [startup+420.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10437 0 0 0 41966 37 0 0 25 0 1 0 864656224 32567296 7549 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7951 7549 300 300 0 7651 0 vsize: 31804 [startup+430.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10525 0 0 0 42966 37 0 0 25 0 1 0 864656224 32837632 7635 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8017 7635 300 300 0 7717 0 vsize: 32068 [startup+440.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10610 0 0 0 43965 38 0 0 25 0 1 0 864656224 33107968 7719 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8083 7719 300 300 0 7783 0 vsize: 32332 [startup+450.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10695 0 0 0 44964 38 0 0 25 0 1 0 864656224 33243136 7802 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8116 7802 300 300 0 7816 0 vsize: 32464 [startup+460.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10778 0 0 0 45964 39 0 0 25 0 1 0 864656224 33513472 7884 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8182 7884 300 300 0 7882 0 vsize: 32728 [startup+470.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10861 0 0 0 46963 40 0 0 25 0 1 0 864656224 33783808 7966 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8248 7966 300 300 0 7948 0 vsize: 32992 [startup+480.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 10943 0 0 0 47963 41 0 0 25 0 1 0 864656224 33918976 8046 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8281 8046 300 300 0 7981 0 vsize: 33124 [startup+490.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14826 0 0 0 48955 49 0 0 25 0 1 0 864656224 49254400 9110 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9110 300 300 0 11725 0 vsize: 48100 [startup+500.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14854 0 0 0 49955 50 0 0 25 0 1 0 864656224 49254400 9137 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9137 300 300 0 11725 0 vsize: 48100 [startup+510.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14882 0 0 0 50954 50 0 0 25 0 1 0 864656224 49254400 9164 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9164 300 300 0 11725 0 vsize: 48100 [startup+520.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14911 0 0 0 51953 51 0 0 25 0 1 0 864656224 49254400 9191 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9191 300 300 0 11725 0 vsize: 48100 [startup+530.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14938 0 0 0 52953 52 0 0 25 0 1 0 864656224 49254400 9217 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9217 300 300 0 11725 0 vsize: 48100 [startup+540.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14966 0 0 0 53953 52 0 0 25 0 1 0 864656224 49254400 9244 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9244 300 300 0 11725 0 vsize: 48100 [startup+550.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 14993 0 0 0 54952 52 0 0 25 0 1 0 864656224 49254400 9270 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9270 300 300 0 11725 0 vsize: 48100 [startup+560.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15020 0 0 0 55952 53 0 0 25 0 1 0 864656224 49254400 9295 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9295 300 300 0 11725 0 vsize: 48100 [startup+570.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15047 0 0 0 56951 54 0 0 25 0 1 0 864656224 49254400 9321 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9321 300 300 0 11725 0 vsize: 48100 [startup+580.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15074 0 0 0 57951 54 0 0 25 0 1 0 864656224 49254400 9347 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9347 300 300 0 11725 0 vsize: 48100 [startup+590.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15100 0 0 0 58950 55 0 0 25 0 1 0 864656224 49254400 9372 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9372 300 300 0 11725 0 vsize: 48100 [startup+600.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15126 0 0 0 59950 55 0 0 25 0 1 0 864656224 49254400 9397 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9397 300 300 0 11725 0 vsize: 48100 [startup+610.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15152 0 0 0 60950 56 0 0 25 0 1 0 864656224 49254400 9421 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9421 300 300 0 11725 0 vsize: 48100 [startup+620.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15199 0 0 0 61950 56 0 0 25 0 1 0 864656224 49254400 9467 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9467 300 300 0 11725 0 vsize: 48100 [startup+630.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15228 0 0 0 62950 56 0 0 25 0 1 0 864656224 49254400 9495 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9495 300 300 0 11725 0 vsize: 48100 [startup+640.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15254 0 0 0 63949 56 0 0 25 0 1 0 864656224 49254400 9520 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9520 300 300 0 11725 0 vsize: 48100 [startup+650.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15278 0 0 0 64950 57 0 0 25 0 1 0 864656224 49254400 9543 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9543 300 300 0 11725 0 vsize: 48100 [startup+660.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15303 0 0 0 65950 57 0 0 25 0 1 0 864656224 49254400 9567 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9567 300 300 0 11725 0 vsize: 48100 [startup+670.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15327 0 0 0 66950 57 0 0 25 0 1 0 864656224 49254400 9590 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9590 300 300 0 11725 0 vsize: 48100 [startup+680.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15374 0 0 0 67950 57 0 0 25 0 1 0 864656224 49389568 9635 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12058 9635 300 300 0 11758 0 vsize: 48232 [startup+690.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15441 0 0 0 68950 57 0 0 25 0 1 0 864656224 49524736 9701 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12091 9701 300 300 0 11791 0 vsize: 48364 [startup+700.062 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15510 0 0 0 69951 57 0 0 25 0 1 0 864656224 49795072 9769 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12157 9769 300 300 0 11857 0 vsize: 48628 [startup+710.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15576 0 0 0 70951 58 0 0 25 0 1 0 864656224 49930240 9834 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12190 9834 300 300 0 11890 0 vsize: 48760 [startup+720.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15642 0 0 0 71951 58 0 0 25 0 1 0 864656224 50065408 9899 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12223 9899 300 300 0 11923 0 vsize: 48892 [startup+730.064 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15708 0 0 0 72951 58 0 0 25 0 1 0 864656224 50335744 9964 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12289 9964 300 300 0 11989 0 vsize: 49156 [startup+740.064 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15774 0 0 0 73951 58 0 0 25 0 1 0 864656224 50470912 10029 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12322 10029 300 300 0 12022 0 vsize: 49288 [startup+750.064 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15839 0 0 0 74951 58 0 0 25 0 1 0 864656224 50606080 10093 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12355 10093 300 300 0 12055 0 vsize: 49420 [startup+760.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15904 0 0 0 75951 58 0 0 25 0 1 0 864656224 50876416 10157 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12421 10157 300 300 0 12121 0 vsize: 49684 [startup+770.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 15969 0 0 0 76951 59 0 0 25 0 1 0 864656224 51011584 10221 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12454 10221 300 300 0 12154 0 vsize: 49816 [startup+780.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16032 0 0 0 77950 59 0 0 25 0 1 0 864656224 51146752 10283 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12487 10283 300 300 0 12187 0 vsize: 49948 [startup+790.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16096 0 0 0 78950 59 0 0 25 0 1 0 864656224 51281920 10346 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12520 10346 300 300 0 12220 0 vsize: 50080 [startup+800.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16160 0 0 0 79950 59 0 0 25 0 1 0 864656224 51552256 10409 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12586 10409 300 300 0 12286 0 vsize: 50344 [startup+810.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16222 0 0 0 80950 60 0 0 25 0 1 0 864656224 51687424 10470 4294967295 134512640 135726644 3221224576 3221221504 134542271 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12619 10470 300 300 0 12319 0 vsize: 50476 [startup+820.067 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16285 0 0 0 81950 60 0 0 25 0 1 0 864656224 51822592 10532 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12652 10532 300 300 0 12352 0 vsize: 50608 [startup+830.067 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16347 0 0 0 82949 61 0 0 25 0 1 0 864656224 51957760 10593 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12685 10593 300 300 0 12385 0 vsize: 50740 [startup+840.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16409 0 0 0 83949 61 0 0 25 0 1 0 864656224 52092928 10654 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12718 10654 300 300 0 12418 0 vsize: 50872 [startup+850.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16470 0 0 0 84949 61 0 0 25 0 1 0 864656224 52363264 10714 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12784 10714 300 300 0 12484 0 vsize: 51136 [startup+860.069 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16532 0 0 0 85950 61 0 0 25 0 1 0 864656224 52498432 10775 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12817 10775 300 300 0 12517 0 vsize: 51268 [startup+870.069 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16591 0 0 0 86950 61 0 0 25 0 1 0 864656224 52633600 10833 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12850 10833 300 300 0 12550 0 vsize: 51400 [startup+880.071 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16652 0 0 0 87949 61 0 0 25 0 1 0 864656224 52768768 10893 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12883 10893 300 300 0 12583 0 vsize: 51532 [startup+890.071 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16711 0 0 0 88949 62 0 0 25 0 1 0 864656224 52903936 10951 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12916 10951 300 300 0 12616 0 vsize: 51664 [startup+900.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16772 0 0 0 89949 62 0 0 25 0 1 0 864656224 53039104 11011 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12949 11011 300 300 0 12649 0 vsize: 51796 [startup+910.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16831 0 0 0 90949 62 0 0 25 0 1 0 864656224 53309440 11069 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13015 11069 300 300 0 12715 0 vsize: 52060 [startup+920.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16890 0 0 0 91949 62 0 0 25 0 1 0 864656224 53444608 11127 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13048 11127 300 300 0 12748 0 vsize: 52192 [startup+930.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 16948 0 0 0 92948 63 0 0 25 0 1 0 864656224 53579776 11184 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13081 11184 300 300 0 12781 0 vsize: 52324 [startup+940.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17007 0 0 0 93948 63 0 0 25 0 1 0 864656224 53714944 11242 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13114 11242 300 300 0 12814 0 vsize: 52456 [startup+950.073 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17065 0 0 0 94947 64 0 0 25 0 1 0 864656224 53850112 11299 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13147 11299 300 300 0 12847 0 vsize: 52588 [startup+960.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17124 0 0 0 95946 64 0 0 25 0 1 0 864656224 53985280 11357 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13180 11357 300 300 0 12880 0 vsize: 52720 [startup+970.074 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17181 0 0 0 96946 64 0 0 25 0 1 0 864656224 54120448 11413 4294967295 134512640 135726644 3221224576 3221221776 134574486 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13213 11413 300 300 0 12913 0 vsize: 52852 [startup+980.074 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17239 0 0 0 97946 65 0 0 25 0 1 0 864656224 54390784 11470 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13279 11470 300 300 0 12979 0 vsize: 53116 [startup+990.074 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17295 0 0 0 98946 65 0 0 25 0 1 0 864656224 54525952 11525 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13312 11525 300 300 0 13012 0 vsize: 53248 [startup+999.238 s] Raw data (loadavg): 1.07 0.99 0.91 1/53 725 Raw data (stat): 723 (pb2sat) R 722 22056 22055 0 -1 0 17295 0 0 0 98946 65 0 0 25 0 1 0 864656224 54525952 11525 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13312 11525 300 300 0 13012 0 vsize: 0 Child ended because it received signal 11 (SIGSEGV) Real time (s): 999.237 CPU time (s): 999.285 CPU user time (s): 997.798 CPU system time (s): 1.48677 CPU usage (%): 100.005 Max. virtual memory (Kb): 53248 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####