Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb |
MD5SUM | 889599bea53ff906bd4dd516c552c027 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 123680 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 6484387800 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 188743680 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 10767194085 |
Number of bits of the biggest sum of numbers | 34 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.12283 |
Number of variables | 123680 |
Total number of constraints | 404 |
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 | 404 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 123680 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-05-28 13:10:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24734 boxname=wulflinc21 idbench=1206 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 889599bea53ff906bd4dd516c552c027 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-d6cube.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-d6cube.opb IDLAUNCH: 24734 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 3 cpu MHz : 451.161 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: 785600 kB Buffers: 34732 kB Cached: 190276 kB SwapCached: 956 kB Active: 69708 kB Inactive: 157468 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 785348 kB SwapTotal: 2097892 kB SwapFree: 2096012 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5136 kB Slab: 16212 kB Committed_AS: 63912 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 13:18:57 (client local time) WITH STATUS 1 IN 532.85 SECONDS stats: 24734 7 532.85 1 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified Unexpected exception : St9bad_alloc #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.94 0.90 2/55 15209 Raw data (stat): 15209 (runsolver) R 15208 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 20 0 1 0 742319250 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0001 s] Raw data (loadavg): 0.93 0.94 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 2197 0 0 0 995 4 0 0 25 0 1 0 742319250 8089600 1521 4294967295 134512640 135726644 3221224576 3221221024 134767231 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1975 1521 300 300 0 1675 0 vsize: 7900 [startup+19.9996 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 2720 0 0 0 1993 6 0 0 25 0 1 0 742319250 9441280 2035 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2305 2035 300 300 0 2005 0 vsize: 9220 [startup+29.9993 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 3873 0 0 0 2992 7 0 0 25 0 1 0 742319250 13410304 2477 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3274 2477 300 300 0 2974 0 vsize: 13096 [startup+39.9994 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 4111 0 0 0 3991 8 0 0 25 0 1 0 742319250 14086144 2710 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3439 2710 300 300 0 3139 0 vsize: 13756 [startup+49.9996 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 4369 0 0 0 4990 9 0 0 25 0 1 0 742319250 14761984 2964 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3604 2964 300 300 0 3304 0 vsize: 14416 [startup+59.9993 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 4602 0 0 0 5989 10 0 0 25 0 1 0 742319250 15302656 3193 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3736 3193 300 300 0 3436 0 vsize: 14944 [startup+69.999 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 4816 0 0 0 6989 11 0 0 25 0 1 0 742319250 15843328 3403 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3868 3403 300 300 0 3568 0 vsize: 15472 [startup+79.9997 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 5016 0 0 0 7988 12 0 0 25 0 1 0 742319250 16384000 3600 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4000 3600 300 300 0 3700 0 vsize: 16000 [startup+89.9994 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 5205 0 0 0 8988 12 0 0 25 0 1 0 742319250 16924672 3786 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4132 3786 300 300 0 3832 0 vsize: 16528 [startup+100 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 5381 0 0 0 9987 13 0 0 25 0 1 0 742319250 17330176 3959 4294967295 134512640 135726644 3221224576 3221221520 134541150 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4231 3959 300 300 0 3931 0 vsize: 16924 [startup+110.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 7453 0 0 0 10984 17 0 0 25 0 1 0 742319250 25403392 4619 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4619 300 300 0 5902 0 vsize: 24808 [startup+120 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 7510 0 0 0 11983 17 0 0 25 0 1 0 742319250 25403392 4673 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4673 300 300 0 5902 0 vsize: 24808 [startup+130 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 7563 0 0 0 12983 18 0 0 25 0 1 0 742319250 25403392 4724 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4724 300 300 0 5902 0 vsize: 24808 [startup+140 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 7616 0 0 0 13983 18 0 0 25 0 1 0 742319250 25403392 4774 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4774 300 300 0 5902 0 vsize: 24808 [startup+150 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 7692 0 0 0 14983 19 0 0 25 0 1 0 742319250 25403392 4848 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4848 300 300 0 5902 0 vsize: 24808 [startup+160.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 7755 0 0 0 15982 19 0 0 25 0 1 0 742319250 25538560 4909 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6235 4909 300 300 0 5935 0 vsize: 24940 [startup+170 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 7889 0 0 0 16982 20 0 0 25 0 1 0 742319250 25944064 5041 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6334 5041 300 300 0 6034 0 vsize: 25336 [startup+180 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8020 0 0 0 17981 21 0 0 25 0 1 0 742319250 26214400 5170 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6400 5170 300 300 0 6100 0 vsize: 25600 [startup+189.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8149 0 0 0 18981 21 0 0 25 0 1 0 742319250 26619904 5296 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6499 5296 300 300 0 6199 0 vsize: 25996 [startup+200 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8273 0 0 0 19980 22 0 0 25 0 1 0 742319250 26890240 5418 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6565 5418 300 300 0 6265 0 vsize: 26260 [startup+210 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8392 0 0 0 20980 22 0 0 25 0 1 0 742319250 27160576 5536 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6631 5536 300 300 0 6331 0 vsize: 26524 [startup+220 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8512 0 0 0 21979 23 0 0 25 0 1 0 742319250 27566080 5654 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6730 5654 300 300 0 6430 0 vsize: 26920 [startup+230 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8628 0 0 0 22979 24 0 0 25 0 1 0 742319250 27836416 5768 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6796 5768 300 300 0 6496 0 vsize: 27184 [startup+240 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8743 0 0 0 23979 24 0 0 25 0 1 0 742319250 28106752 5881 4294967295 134512640 135726644 3221224576 3221221208 135282351 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6862 5881 300 300 0 6562 0 vsize: 27448 [startup+250 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8854 0 0 0 24978 25 0 0 25 0 1 0 742319250 28377088 5990 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6928 5990 300 300 0 6628 0 vsize: 27712 [startup+260.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 8963 0 0 0 25978 25 0 0 25 0 1 0 742319250 28782592 6097 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7027 6097 300 300 0 6727 0 vsize: 28108 [startup+270.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9071 0 0 0 26978 26 0 0 25 0 1 0 742319250 29052928 6204 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7093 6204 300 300 0 6793 0 vsize: 28372 [startup+280.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9177 0 0 0 27977 27 0 0 25 0 1 0 742319250 29323264 6308 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7159 6308 300 300 0 6859 0 vsize: 28636 [startup+290.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9283 0 0 0 28976 27 0 0 25 0 1 0 742319250 29593600 6412 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7225 6412 300 300 0 6925 0 vsize: 28900 [startup+300.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9384 0 0 0 29976 28 0 0 25 0 1 0 742319250 29863936 6512 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7291 6512 300 300 0 6991 0 vsize: 29164 [startup+310.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9485 0 0 0 30976 28 0 0 25 0 1 0 742319250 30134272 6611 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7357 6611 300 300 0 7057 0 vsize: 29428 [startup+320.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9585 0 0 0 31976 28 0 0 25 0 1 0 742319250 30404608 6709 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7423 6709 300 300 0 7123 0 vsize: 29692 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9683 0 0 0 32976 29 0 0 25 0 1 0 742319250 30674944 6806 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7489 6806 300 300 0 7189 0 vsize: 29956 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9779 0 0 0 33974 29 0 0 25 0 1 0 742319250 30810112 6900 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7522 6900 300 300 0 7222 0 vsize: 30088 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9874 0 0 0 34974 30 0 0 25 0 1 0 742319250 31080448 6994 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7588 6994 300 300 0 7288 0 vsize: 30352 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 9968 0 0 0 35974 31 0 0 25 0 1 0 742319250 31350784 7086 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7654 7086 300 300 0 7354 0 vsize: 30616 [startup+370.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 10060 0 0 0 36973 31 0 0 25 0 1 0 742319250 31621120 7177 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7720 7177 300 300 0 7420 0 vsize: 30880 [startup+380.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 10152 0 0 0 37973 31 0 0 25 0 1 0 742319250 31891456 7267 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7786 7267 300 300 0 7486 0 vsize: 31144 [startup+390.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 10242 0 0 0 38972 33 0 0 25 0 1 0 742319250 32161792 7356 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7852 7356 300 300 0 7552 0 vsize: 31408 [startup+400.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 10331 0 0 0 39972 33 0 0 25 0 1 0 742319250 32296960 7443 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7885 7443 300 300 0 7585 0 vsize: 31540 [startup+410.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 10418 0 0 0 40971 34 0 0 25 0 1 0 742319250 32567296 7529 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7951 7529 300 300 0 7651 0 vsize: 31804 [startup+420.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 10506 0 0 0 41971 34 0 0 25 0 1 0 742319250 32837632 7615 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8017 7615 300 300 0 7717 0 vsize: 32068 [startup+430.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 46443 0 0 0 42890 115 0 0 25 0 1 0 742319250 163344384 33536 4294967295 134512640 135726644 3221224576 3173541352 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39879 33536 300 300 0 39579 0 vsize: 159516 [startup+440.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 76675 0 0 0 43822 183 0 0 25 0 1 0 742319250 323923968 54219 4294967295 134512640 135726644 3221224576 3172202960 134771702 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 79083 54222 300 300 0 78783 0 vsize: 316332 [startup+450.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 101745 0 0 0 44770 235 0 0 25 0 1 0 742319250 312532992 69462 4294967295 134512640 135726644 3221224576 3175553680 134782642 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 76302 69462 300 300 0 76002 0 vsize: 305208 [startup+460.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 132102 0 0 0 45699 307 0 0 25 0 1 0 742319250 421695488 87324 4294967295 134512640 135726644 3221224576 3178213264 134767064 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102953 87325 300 300 0 102653 0 vsize: 411812 [startup+470.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 173613 0 0 0 46616 390 0 0 25 0 1 0 742319250 555585536 109237 4294967295 134512640 135726644 3221224576 3175351692 134604449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 135641 109237 300 300 0 135341 0 vsize: 542564 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 210161 0 0 0 47537 469 0 0 25 0 1 0 742319250 656248832 120995 4294967295 134512640 135726644 3221224576 3172015752 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160217 120996 300 300 0 159917 0 vsize: 640868 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 225280 0 0 0 48502 504 0 0 25 0 1 0 742319250 701562880 135905 4294967295 134512640 135726644 3221224576 3178212880 134782652 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 171280 135906 300 300 0 170980 0 vsize: 685120 [startup+500.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 245697 0 0 0 49457 550 0 0 25 0 1 0 742319250 730624000 156083 4294967295 134512640 135726644 3221224576 3172249692 134604446 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 178375 156083 300 300 0 178075 0 vsize: 713500 [startup+510.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 265733 0 0 0 50412 594 0 0 25 0 1 0 742319250 758874112 175890 4294967295 134512640 135726644 3221224576 3173573696 134604405 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185272 175891 300 300 0 184972 0 vsize: 741088 [startup+520.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 273844 0 0 0 51396 611 0 0 25 0 1 0 742319250 821878784 183907 4294967295 134512640 135726644 3221224576 3175106720 135102710 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 200654 183907 300 300 0 200354 0 vsize: 802616 [startup+530.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 273846 0 0 0 52395 612 0 0 25 0 1 0 742319250 819777536 183425 4294967295 134512640 135726644 3221224576 3221223040 134732753 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 200141 183425 300 300 0 199841 0 vsize: 800564 [startup+532.775 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 15209 Raw data (stat): 15209 (pb2sat) R 15208 32363 32362 0 -1 0 273846 0 0 0 52395 612 0 0 25 0 1 0 742319250 819777536 183425 4294967295 134512640 135726644 3221224576 3221223040 134732753 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 200141 183425 300 300 0 199841 0 vsize: 0 Child status: 1 Real time (s): 532.775 CPU time (s): 532.85 CPU user time (s): 526.362 CPU system time (s): 6.48801 CPU usage (%): 100.014 Max. virtual memory (Kb): 802616 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####