Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb |
MD5SUM | d98db64f69c8547ad0880486d1128dd0 |
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 | 183313 |
Biggest coefficient in the objective function | 19194096394240 |
Number of bits for the biggest coefficient in the objective function | 45 |
Sum of the numbers in the objective function | 127830561163966644 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 19194096394240 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 127830561163966644 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.68874 |
Number of variables | 183313 |
Total number of constraints | 1761 |
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 | 1761 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 32019 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-28 13:30:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24915 boxname=wulflinc6 idbench=1387 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d98db64f69c8547ad0880486d1128dd0 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sp97ar.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sp97ar.opb IDLAUNCH: 24915 /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: 608344 kB Buffers: 34220 kB Cached: 370580 kB SwapCached: 616 kB Active: 83584 kB Inactive: 323384 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 608092 kB SwapTotal: 2097136 kB SwapFree: 2095612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5180 kB Slab: 13672 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 13:46:13 (client local time) WITH STATUS 0 IN 948.142 SECONDS stats: 24915 7 948.142 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.02 0.96 0.91 2/54 5002 Raw data (stat): 5002 (runsolver) R 5001 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806953766 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.0002 s] Raw data (loadavg): 1.01 0.96 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 2164 0 0 0 994 5 0 0 25 0 1 0 806953766 7954432 1489 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1942 1489 300 300 0 1642 0 vsize: 7768 [startup+20.0003 s] Raw data (loadavg): 1.01 0.96 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 2736 0 0 0 1992 8 0 0 25 0 1 0 806953766 9441280 2052 4294967295 134512640 135726644 3221224592 3221221680 134556195 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2305 2052 300 300 0 2005 0 vsize: 9220 [startup+30.0004 s] Raw data (loadavg): 1.01 0.96 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 3877 0 0 0 2990 10 0 0 25 0 1 0 806953766 13410304 2481 4294967295 134512640 135726644 3221224592 3221221536 134541145 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3274 2481 300 300 0 2974 0 vsize: 13096 [startup+40.0005 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 4133 0 0 0 3990 10 0 0 25 0 1 0 806953766 14086144 2732 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3439 2732 300 300 0 3139 0 vsize: 13756 [startup+50.0007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 4394 0 0 0 4990 11 0 0 25 0 1 0 806953766 14761984 2989 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3604 2989 300 300 0 3304 0 vsize: 14416 [startup+60.0008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 4625 0 0 0 5989 11 0 0 25 0 1 0 806953766 15437824 3217 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3769 3217 300 300 0 3469 0 vsize: 15076 [startup+69.9999 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 4836 0 0 0 6989 11 0 0 25 0 1 0 806953766 15978496 3424 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3901 3424 300 300 0 3601 0 vsize: 15604 [startup+80.0052 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 5030 0 0 0 7988 13 0 0 25 0 1 0 806953766 16519168 3615 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4033 3615 300 300 0 3733 0 vsize: 16132 [startup+90.0053 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 5211 0 0 0 8986 14 0 0 25 0 1 0 806953766 16924672 3793 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4132 3793 300 300 0 3832 0 vsize: 16528 [startup+100.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 5387 0 0 0 9986 14 0 0 25 0 1 0 806953766 17330176 3966 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4231 3966 300 300 0 3931 0 vsize: 16924 [startup+110.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 7453 0 0 0 10982 19 0 0 25 0 1 0 806953766 25403392 4620 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4620 300 300 0 5902 0 vsize: 24808 [startup+120.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 7512 0 0 0 11982 19 0 0 25 0 1 0 806953766 25403392 4676 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4676 300 300 0 5902 0 vsize: 24808 [startup+130.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 7565 0 0 0 12983 19 0 0 25 0 1 0 806953766 25403392 4727 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4727 300 300 0 5902 0 vsize: 24808 [startup+140.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 7618 0 0 0 13982 19 0 0 25 0 1 0 806953766 25403392 4777 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4777 300 300 0 5902 0 vsize: 24808 [startup+150.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 7695 0 0 0 14982 20 0 0 25 0 1 0 806953766 25403392 4852 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4852 300 300 0 5902 0 vsize: 24808 [startup+160.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 7764 0 0 0 15981 21 0 0 25 0 1 0 806953766 25538560 4919 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6235 4919 300 300 0 5935 0 vsize: 24940 [startup+170.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 7897 0 0 0 16981 21 0 0 25 0 1 0 806953766 25944064 5050 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6334 5050 300 300 0 6034 0 vsize: 25336 [startup+180.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8028 0 0 0 17982 21 0 0 25 0 1 0 806953766 26214400 5178 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6400 5178 300 300 0 6100 0 vsize: 25600 [startup+190.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8154 0 0 0 18981 22 0 0 25 0 1 0 806953766 26619904 5302 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6499 5302 300 300 0 6199 0 vsize: 25996 [startup+200.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8276 0 0 0 19980 23 0 0 25 0 1 0 806953766 26890240 5422 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6565 5422 300 300 0 6265 0 vsize: 26260 [startup+210.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8397 0 0 0 20980 23 0 0 25 0 1 0 806953766 27160576 5541 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6631 5541 300 300 0 6331 0 vsize: 26524 [startup+220.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8515 0 0 0 21980 24 0 0 25 0 1 0 806953766 27566080 5658 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6730 5658 300 300 0 6430 0 vsize: 26920 [startup+230.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8630 0 0 0 22980 24 0 0 25 0 1 0 806953766 27836416 5771 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6796 5771 300 300 0 6496 0 vsize: 27184 [startup+240.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8745 0 0 0 23980 24 0 0 25 0 1 0 806953766 28106752 5884 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6862 5884 300 300 0 6562 0 vsize: 27448 [startup+250.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8856 0 0 0 24980 25 0 0 25 0 1 0 806953766 28377088 5993 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6928 5993 300 300 0 6628 0 vsize: 27712 [startup+260.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 8965 0 0 0 25979 25 0 0 25 0 1 0 806953766 28782592 6100 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7027 6100 300 300 0 6727 0 vsize: 28108 [startup+270.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9072 0 0 0 26979 26 0 0 25 0 1 0 806953766 29052928 6206 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7093 6206 300 300 0 6793 0 vsize: 28372 [startup+280.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9179 0 0 0 27981 26 0 0 25 0 1 0 806953766 29323264 6311 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7159 6311 300 300 0 6859 0 vsize: 28636 [startup+290.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9283 0 0 0 28982 27 0 0 25 0 1 0 806953766 29593600 6413 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7225 6413 300 300 0 6925 0 vsize: 28900 [startup+300.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9385 0 0 0 29982 27 0 0 25 0 1 0 806953766 29863936 6514 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7291 6514 300 300 0 6991 0 vsize: 29164 [startup+310.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9486 0 0 0 30983 27 0 0 25 0 1 0 806953766 30134272 6613 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7357 6613 300 300 0 7057 0 vsize: 29428 [startup+320.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9584 0 0 0 31982 27 0 0 25 0 1 0 806953766 30404608 6709 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7423 6709 300 300 0 7123 0 vsize: 29692 [startup+330.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9682 0 0 0 32982 28 0 0 25 0 1 0 806953766 30674944 6806 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7489 6806 300 300 0 7189 0 vsize: 29956 [startup+340.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9778 0 0 0 33982 28 0 0 25 0 1 0 806953766 30810112 6900 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7522 6900 300 300 0 7222 0 vsize: 30088 [startup+350.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9873 0 0 0 34983 28 0 0 25 0 1 0 806953766 31080448 6994 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7588 6994 300 300 0 7288 0 vsize: 30352 [startup+360.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 9967 0 0 0 35983 29 0 0 25 0 1 0 806953766 31350784 7086 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7654 7086 300 300 0 7354 0 vsize: 30616 [startup+370.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10059 0 0 0 36983 29 0 0 25 0 1 0 806953766 31621120 7177 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7720 7177 300 300 0 7420 0 vsize: 30880 [startup+380.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10151 0 0 0 37982 29 0 0 25 0 1 0 806953766 31891456 7267 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7786 7267 300 300 0 7486 0 vsize: 31144 [startup+390.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10241 0 0 0 38982 30 0 0 25 0 1 0 806953766 32161792 7356 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7852 7356 300 300 0 7552 0 vsize: 31408 [startup+400.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10329 0 0 0 39982 30 0 0 25 0 1 0 806953766 32296960 7442 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7885 7442 300 300 0 7585 0 vsize: 31540 [startup+410.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10417 0 0 0 40982 31 0 0 25 0 1 0 806953766 32567296 7529 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7951 7529 300 300 0 7651 0 vsize: 31804 [startup+420.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10505 0 0 0 41982 31 0 0 25 0 1 0 806953766 32837632 7615 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8017 7615 300 300 0 7717 0 vsize: 32068 [startup+430.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10591 0 0 0 42982 31 0 0 25 0 1 0 806953766 32972800 7700 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8050 7700 300 300 0 7750 0 vsize: 32200 [startup+440.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10675 0 0 0 43982 31 0 0 25 0 1 0 806953766 33243136 7783 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8116 7783 300 300 0 7816 0 vsize: 32464 [startup+450.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10759 0 0 0 44982 32 0 0 25 0 1 0 806953766 33513472 7865 4294967295 134512640 135726644 3221224592 3221221376 134810434 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8182 7865 300 300 0 7882 0 vsize: 32728 [startup+460.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10843 0 0 0 45982 32 0 0 25 0 1 0 806953766 33648640 7948 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8215 7948 300 300 0 7915 0 vsize: 32860 [startup+470.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 10924 0 0 0 46982 32 0 0 25 0 1 0 806953766 33918976 8028 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8281 8028 300 300 0 7981 0 vsize: 33124 [startup+480.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 14820 0 0 0 47974 40 0 0 25 0 1 0 806953766 49254400 9104 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9104 300 300 0 11725 0 vsize: 48100 [startup+490.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 14849 0 0 0 48975 40 0 0 25 0 1 0 806953766 49254400 9132 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9132 300 300 0 11725 0 vsize: 48100 [startup+500.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 14876 0 0 0 49975 40 0 0 25 0 1 0 806953766 49254400 9158 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9158 300 300 0 11725 0 vsize: 48100 [startup+510.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 14904 0 0 0 50974 40 0 0 25 0 1 0 806953766 49254400 9185 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9185 300 300 0 11725 0 vsize: 48100 [startup+520.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 14933 0 0 0 51975 40 0 0 25 0 1 0 806953766 49254400 9212 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9212 300 300 0 11725 0 vsize: 48100 [startup+530.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 14960 0 0 0 52975 40 0 0 25 0 1 0 806953766 49254400 9238 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9238 300 300 0 11725 0 vsize: 48100 [startup+540.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 14987 0 0 0 53975 41 0 0 25 0 1 0 806953766 49254400 9264 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9264 300 300 0 11725 0 vsize: 48100 [startup+550.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15014 0 0 0 54975 41 0 0 25 0 1 0 806953766 49254400 9290 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9290 300 300 0 11725 0 vsize: 48100 [startup+560.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15042 0 0 0 55975 41 0 0 25 0 1 0 806953766 49254400 9316 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9316 300 300 0 11725 0 vsize: 48100 [startup+570.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15068 0 0 0 56976 41 0 0 25 0 1 0 806953766 49254400 9341 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9341 300 300 0 11725 0 vsize: 48100 [startup+580.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15095 0 0 0 57976 41 0 0 25 0 1 0 806953766 49254400 9367 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9367 300 300 0 11725 0 vsize: 48100 [startup+590.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15121 0 0 0 58976 41 0 0 25 0 1 0 806953766 49254400 9392 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9392 300 300 0 11725 0 vsize: 48100 [startup+600.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15146 0 0 0 59976 41 0 0 25 0 1 0 806953766 49254400 9416 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9416 300 300 0 11725 0 vsize: 48100 [startup+610.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15188 0 0 0 60977 41 0 0 25 0 1 0 806953766 49254400 9456 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9456 300 300 0 11725 0 vsize: 48100 [startup+620.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15225 0 0 0 61977 41 0 0 25 0 1 0 806953766 49254400 9492 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9492 300 300 0 11725 0 vsize: 48100 [startup+630.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15249 0 0 0 62977 42 0 0 25 0 1 0 806953766 49254400 9515 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9515 300 300 0 11725 0 vsize: 48100 [startup+640.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15275 0 0 0 63977 42 0 0 25 0 1 0 806953766 49254400 9540 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9540 300 300 0 11725 0 vsize: 48100 [startup+650.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15299 0 0 0 64977 42 0 0 25 0 1 0 806953766 49254400 9563 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9563 300 300 0 11725 0 vsize: 48100 [startup+660.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15324 0 0 0 65978 42 0 0 25 0 1 0 806953766 49254400 9587 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9587 300 300 0 11725 0 vsize: 48100 [startup+670.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15364 0 0 0 66978 42 0 0 25 0 1 0 806953766 49389568 9626 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12058 9626 300 300 0 11758 0 vsize: 48232 [startup+680.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15435 0 0 0 67978 42 0 0 25 0 1 0 806953766 49524736 9695 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12091 9695 300 300 0 11791 0 vsize: 48364 [startup+690.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15503 0 0 0 68978 42 0 0 25 0 1 0 806953766 49795072 9762 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12157 9762 300 300 0 11857 0 vsize: 48628 [startup+700.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15571 0 0 0 69978 43 0 0 25 0 1 0 806953766 49930240 9829 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12190 9829 300 300 0 11890 0 vsize: 48760 [startup+710.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15638 0 0 0 70978 43 0 0 25 0 1 0 806953766 50065408 9895 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12223 9895 300 300 0 11923 0 vsize: 48892 [startup+720.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15704 0 0 0 71978 43 0 0 25 0 1 0 806953766 50335744 9960 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12289 9960 300 300 0 11989 0 vsize: 49156 [startup+730.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15770 0 0 0 72978 43 0 0 25 0 1 0 806953766 50470912 10025 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12322 10025 300 300 0 12022 0 vsize: 49288 [startup+740.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15838 0 0 0 73978 44 0 0 25 0 1 0 806953766 50606080 10092 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12355 10092 300 300 0 12055 0 vsize: 49420 [startup+750.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15903 0 0 0 74978 44 0 0 25 0 1 0 806953766 50741248 10156 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12388 10156 300 300 0 12088 0 vsize: 49552 [startup+760.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 15967 0 0 0 75978 45 0 0 25 0 1 0 806953766 51011584 10219 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12454 10219 300 300 0 12154 0 vsize: 49816 [startup+770.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16032 0 0 0 76978 45 0 0 25 0 1 0 806953766 51146752 10283 4294967295 134512640 135726644 3221224592 3221221680 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+780.051 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16097 0 0 0 77978 45 0 0 25 0 1 0 806953766 51281920 10347 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12520 10347 300 300 0 12220 0 vsize: 50080 [startup+790.051 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16161 0 0 0 78978 45 0 0 25 0 1 0 806953766 51552256 10410 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12586 10410 300 300 0 12286 0 vsize: 50344 [startup+800.051 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16225 0 0 0 79978 46 0 0 25 0 1 0 806953766 51687424 10473 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12619 10473 300 300 0 12319 0 vsize: 50476 [startup+810.052 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16287 0 0 0 80978 46 0 0 25 0 1 0 806953766 51822592 10534 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12652 10534 300 300 0 12352 0 vsize: 50608 [startup+820.051 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16350 0 0 0 81978 46 0 0 25 0 1 0 806953766 51957760 10596 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12685 10596 300 300 0 12385 0 vsize: 50740 [startup+830.051 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16412 0 0 0 82978 46 0 0 25 0 1 0 806953766 52092928 10657 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12718 10657 300 300 0 12418 0 vsize: 50872 [startup+840.052 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16474 0 0 0 83978 47 0 0 25 0 1 0 806953766 52363264 10718 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12784 10718 300 300 0 12484 0 vsize: 51136 [startup+850.052 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16536 0 0 0 84978 47 0 0 25 0 1 0 806953766 52498432 10779 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12817 10779 300 300 0 12517 0 vsize: 51268 [startup+860.052 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16598 0 0 0 85978 47 0 0 25 0 1 0 806953766 52633600 10840 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12850 10840 300 300 0 12550 0 vsize: 51400 [startup+870.052 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16659 0 0 0 86978 48 0 0 25 0 1 0 806953766 52768768 10900 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12883 10900 300 300 0 12583 0 vsize: 51532 [startup+880.053 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16719 0 0 0 87978 48 0 0 25 0 1 0 806953766 52903936 10959 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12916 10959 300 300 0 12616 0 vsize: 51664 [startup+890.053 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16780 0 0 0 88978 49 0 0 25 0 1 0 806953766 53174272 11019 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12982 11019 300 300 0 12682 0 vsize: 51928 [startup+900.053 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16838 0 0 0 89978 49 0 0 25 0 1 0 806953766 53309440 11076 4294967295 134512640 135726644 3221224592 3221221680 134556179 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13015 11076 300 300 0 12715 0 vsize: 52060 [startup+910.054 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16899 0 0 0 90978 49 0 0 25 0 1 0 806953766 53444608 11136 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13048 11136 300 300 0 12748 0 vsize: 52192 [startup+920.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 16958 0 0 0 91978 49 0 0 25 0 1 0 806953766 53579776 11194 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13081 11194 300 300 0 12781 0 vsize: 52324 [startup+930.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 17017 0 0 0 92978 49 0 0 25 0 1 0 806953766 53714944 11252 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13114 11252 300 300 0 12814 0 vsize: 52456 [startup+940.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 17730 0 0 0 93977 50 0 0 25 0 1 0 806953766 56553472 11964 4294967295 134512640 135726644 3221224592 3221221544 135101187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13807 11965 300 300 0 13507 0 vsize: 55228 [startup+947.913 s] Raw data (loadavg): 1.00 0.99 0.92 1/53 5002 Raw data (stat): 5002 (pb2sat) R 5001 25568 25567 0 -1 0 17730 0 0 0 93977 50 0 0 25 0 1 0 806953766 56553472 11964 4294967295 134512640 135726644 3221224592 3221221544 135101187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13807 11965 300 300 0 13507 0 vsize: 0 Child ended because it received signal 11 (SIGSEGV) Real time (s): 947.913 CPU time (s): 948.142 CPU user time (s): 946.808 CPU system time (s): 1.3338 CPU usage (%): 100.024 Max. virtual memory (Kb): 55228 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####