Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb |
MD5SUM | 43fed3c1d7a16e4c08eafe49f6a33c8e |
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 | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29697461525571 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29697461525571 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.43278 |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-05-28 12:42:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24607 boxname=wulflinc15 idbench=1079 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 43fed3c1d7a16e4c08eafe49f6a33c8e /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n3701.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n3701.opb IDLAUNCH: 24607 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 820004 kB Buffers: 33396 kB Cached: 158576 kB SwapCached: 604 kB Active: 69392 kB Inactive: 124692 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 819724 kB SwapTotal: 2097136 kB SwapFree: 2095616 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5116 kB Slab: 14880 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 12:55:47 (client local time) WITH STATUS 1 IN 782.637 SECONDS stats: 24607 7 782.637 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.91 0.93 0.90 2/54 3062 Raw data (stat): 3062 (runsolver) R 3061 23514 23513 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806662091 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.0005 s] Raw data (loadavg): 0.92 0.93 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 2191 0 0 0 995 3 0 0 25 0 1 0 806662091 7954432 1515 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1942 1515 300 300 0 1642 0 vsize: 7768 [startup+20.0016 s] Raw data (loadavg): 0.93 0.93 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 2710 0 0 0 1994 5 0 0 25 0 1 0 806662091 9441280 2026 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2305 2026 300 300 0 2005 0 vsize: 9220 [startup+30.001 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 3876 0 0 0 2991 8 0 0 25 0 1 0 806662091 13410304 2479 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3274 2479 300 300 0 2974 0 vsize: 13096 [startup+40.0018 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 4121 0 0 0 3990 9 0 0 25 0 1 0 806662091 14086144 2720 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3439 2720 300 300 0 3139 0 vsize: 13756 [startup+50.0021 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 4381 0 0 0 4990 10 0 0 25 0 1 0 806662091 14761984 2975 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3604 2975 300 300 0 3304 0 vsize: 14416 [startup+60.0025 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 4611 0 0 0 5988 11 0 0 25 0 1 0 806662091 15302656 3202 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3736 3202 300 300 0 3436 0 vsize: 14944 [startup+70.0023 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 4825 0 0 0 6987 12 0 0 25 0 1 0 806662091 15843328 3412 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3868 3412 300 300 0 3568 0 vsize: 15472 [startup+80.0021 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 5022 0 0 0 7986 13 0 0 25 0 1 0 806662091 16384000 3606 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4000 3606 300 300 0 3700 0 vsize: 16000 [startup+90.002 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 5206 0 0 0 8985 15 0 0 25 0 1 0 806662091 16924672 3787 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4132 3787 300 300 0 3832 0 vsize: 16528 [startup+100.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 5380 0 0 0 9984 16 0 0 25 0 1 0 806662091 17330176 3958 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4231 3958 300 300 0 3931 0 vsize: 16924 [startup+110.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7452 0 0 0 10980 20 0 0 25 0 1 0 806662091 25403392 4618 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4618 300 300 0 5902 0 vsize: 24808 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7508 0 0 0 11979 21 0 0 25 0 1 0 806662091 25403392 4671 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4671 300 300 0 5902 0 vsize: 24808 [startup+130.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7562 0 0 0 12979 21 0 0 25 0 1 0 806662091 25403392 4723 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4723 300 300 0 5902 0 vsize: 24808 [startup+140.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7615 0 0 0 13979 22 0 0 25 0 1 0 806662091 25403392 4773 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4773 300 300 0 5902 0 vsize: 24808 [startup+150.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7692 0 0 0 14978 23 0 0 25 0 1 0 806662091 25403392 4848 4294967295 134512640 135726644 3221224576 3221221664 134556173 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.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7754 0 0 0 15978 24 0 0 25 0 1 0 806662091 25538560 4908 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6235 4908 300 300 0 5935 0 vsize: 24940 [startup+170.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7888 0 0 0 16977 24 0 0 25 0 1 0 806662091 25808896 5040 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6301 5040 300 300 0 6001 0 vsize: 25204 [startup+180.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8018 0 0 0 17977 25 0 0 25 0 1 0 806662091 26214400 5168 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6400 5168 300 300 0 6100 0 vsize: 25600 [startup+190.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8146 0 0 0 18976 26 0 0 25 0 1 0 806662091 26619904 5294 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6499 5294 300 300 0 6199 0 vsize: 25996 [startup+200.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8273 0 0 0 19976 26 0 0 25 0 1 0 806662091 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.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8392 0 0 0 20976 27 0 0 25 0 1 0 806662091 27160576 5536 4294967295 134512640 135726644 3221224576 3221221664 134556171 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.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8511 0 0 0 21975 27 0 0 25 0 1 0 806662091 27566080 5653 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6730 5653 300 300 0 6430 0 vsize: 26920 [startup+230.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8628 0 0 0 22975 28 0 0 25 0 1 0 806662091 27836416 5768 4294967295 134512640 135726644 3221224576 3221221664 134556195 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.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8742 0 0 0 23974 29 0 0 25 0 1 0 806662091 28106752 5880 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6862 5880 300 300 0 6562 0 vsize: 27448 [startup+250.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8853 0 0 0 24974 29 0 0 25 0 1 0 806662091 28377088 5989 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6928 5989 300 300 0 6628 0 vsize: 27712 [startup+260.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8963 0 0 0 25972 31 0 0 25 0 1 0 806662091 28782592 6097 4294967295 134512640 135726644 3221224576 3221221664 134556171 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.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9070 0 0 0 26972 32 0 0 25 0 1 0 806662091 29052928 6203 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7093 6203 300 300 0 6793 0 vsize: 28372 [startup+280.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9177 0 0 0 27971 32 0 0 25 0 1 0 806662091 29323264 6308 4294967295 134512640 135726644 3221224576 3221221664 134556171 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.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9281 0 0 0 28971 32 0 0 25 0 1 0 806662091 29593600 6410 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7225 6410 300 300 0 6925 0 vsize: 28900 [startup+300.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9382 0 0 0 29971 33 0 0 25 0 1 0 806662091 29863936 6510 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7291 6510 300 300 0 6991 0 vsize: 29164 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9484 0 0 0 30971 33 0 0 25 0 1 0 806662091 30134272 6610 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7357 6610 300 300 0 7057 0 vsize: 29428 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9583 0 0 0 31971 34 0 0 25 0 1 0 806662091 30404608 6707 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7423 6707 300 300 0 7123 0 vsize: 29692 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9681 0 0 0 32970 35 0 0 25 0 1 0 806662091 30674944 6804 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7489 6804 300 300 0 7189 0 vsize: 29956 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9777 0 0 0 33969 35 0 0 25 0 1 0 806662091 30810112 6898 4294967295 134512640 135726644 3221224576 3221221512 135281220 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7522 6898 300 300 0 7222 0 vsize: 30088 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9872 0 0 0 34969 36 0 0 25 0 1 0 806662091 31080448 6992 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7588 6992 300 300 0 7288 0 vsize: 30352 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9966 0 0 0 35969 36 0 0 25 0 1 0 806662091 31350784 7084 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7654 7084 300 300 0 7354 0 vsize: 30616 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10059 0 0 0 36968 37 0 0 25 0 1 0 806662091 31621120 7176 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7720 7176 300 300 0 7420 0 vsize: 30880 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10151 0 0 0 37968 37 0 0 25 0 1 0 806662091 31891456 7266 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7786 7266 300 300 0 7486 0 vsize: 31144 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10240 0 0 0 38968 38 0 0 25 0 1 0 806662091 32026624 7354 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7819 7354 300 300 0 7519 0 vsize: 31276 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10329 0 0 0 39968 38 0 0 25 0 1 0 806662091 32296960 7441 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7885 7441 300 300 0 7585 0 vsize: 31540 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10417 0 0 0 40967 39 0 0 25 0 1 0 806662091 32567296 7528 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7951 7528 300 300 0 7651 0 vsize: 31804 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10505 0 0 0 41966 40 0 0 25 0 1 0 806662091 32837632 7614 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8017 7614 300 300 0 7717 0 vsize: 32068 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10591 0 0 0 42966 41 0 0 25 0 1 0 806662091 32972800 7699 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8050 7699 300 300 0 7750 0 vsize: 32200 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10676 0 0 0 43966 41 0 0 25 0 1 0 806662091 33243136 7783 4294967295 134512640 135726644 3221224576 3221221664 134556173 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.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10760 0 0 0 44965 42 0 0 25 0 1 0 806662091 33513472 7865 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8182 7865 300 300 0 7882 0 vsize: 32728 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10844 0 0 0 45965 42 0 0 25 0 1 0 806662091 33648640 7948 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8215 7948 300 300 0 7915 0 vsize: 32860 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10925 0 0 0 46965 43 0 0 25 0 1 0 806662091 33918976 8028 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8281 8028 300 300 0 7981 0 vsize: 33124 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14821 0 0 0 47957 50 0 0 25 0 1 0 806662091 49254400 9104 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9104 300 300 0 11725 0 vsize: 48100 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14850 0 0 0 48957 51 0 0 25 0 1 0 806662091 49254400 9132 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9132 300 300 0 11725 0 vsize: 48100 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14878 0 0 0 49957 51 0 0 25 0 1 0 806662091 49254400 9159 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9159 300 300 0 11725 0 vsize: 48100 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14905 0 0 0 50957 51 0 0 25 0 1 0 806662091 49254400 9185 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9185 300 300 0 11725 0 vsize: 48100 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14934 0 0 0 51956 52 0 0 25 0 1 0 806662091 49254400 9212 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9212 300 300 0 11725 0 vsize: 48100 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14961 0 0 0 52956 52 0 0 25 0 1 0 806662091 49254400 9238 4294967295 134512640 135726644 3221224576 3221221664 134556171 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.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14988 0 0 0 53956 52 0 0 25 0 1 0 806662091 49254400 9264 4294967295 134512640 135726644 3221224576 3221221664 134556195 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.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15015 0 0 0 54956 52 0 0 25 0 1 0 806662091 49254400 9290 4294967295 134512640 135726644 3221224576 3221221664 134556171 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.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15043 0 0 0 55956 53 0 0 25 0 1 0 806662091 49254400 9316 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9316 300 300 0 11725 0 vsize: 48100 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15069 0 0 0 56956 53 0 0 25 0 1 0 806662091 49254400 9341 4294967295 134512640 135726644 3221224576 3221221664 134556160 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.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15095 0 0 0 57956 53 0 0 25 0 1 0 806662091 49254400 9366 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9366 300 300 0 11725 0 vsize: 48100 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15120 0 0 0 58957 53 0 0 25 0 1 0 806662091 49254400 9390 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9390 300 300 0 11725 0 vsize: 48100 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15146 0 0 0 59956 53 0 0 25 0 1 0 806662091 49254400 9415 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9415 300 300 0 11725 0 vsize: 48100 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15187 0 0 0 60956 53 0 0 25 0 1 0 806662091 49254400 9454 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9454 300 300 0 11725 0 vsize: 48100 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15223 0 0 0 61956 53 0 0 25 0 1 0 806662091 49254400 9489 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9489 300 300 0 11725 0 vsize: 48100 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15249 0 0 0 62956 53 0 0 25 0 1 0 806662091 49254400 9514 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9514 300 300 0 11725 0 vsize: 48100 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15273 0 0 0 63956 54 0 0 25 0 1 0 806662091 49254400 9537 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9537 300 300 0 11725 0 vsize: 48100 [startup+650.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15298 0 0 0 64956 54 0 0 25 0 1 0 806662091 49254400 9561 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9561 300 300 0 11725 0 vsize: 48100 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15322 0 0 0 65955 54 0 0 25 0 1 0 806662091 49254400 9584 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9584 300 300 0 11725 0 vsize: 48100 [startup+670.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15359 0 0 0 66955 55 0 0 25 0 1 0 806662091 49389568 9620 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12058 9620 300 300 0 11758 0 vsize: 48232 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 53333 0 0 0 67868 141 0 0 25 0 1 0 806662091 183902208 39751 4294967295 134512640 135726644 3221224576 3164720152 135282351 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44898 39752 300 300 0 44598 0 vsize: 179592 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 87022 0 0 0 68798 212 0 0 25 0 1 0 806662091 333312000 60969 4294967295 134512640 135726644 3221224576 3160960192 134784885 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81375 60973 300 300 0 81075 0 vsize: 325500 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 106216 0 0 0 69752 258 0 0 25 0 1 0 806662091 334651392 73797 4294967295 134512640 135726644 3221224576 3160700056 135280647 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81702 73798 300 300 0 81402 0 vsize: 326808 [startup+710.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 136489 0 0 0 70680 330 0 0 25 0 1 0 806662091 444895232 91569 4294967295 134512640 135726644 3221224576 3159682480 134782642 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 108617 91570 300 300 0 108317 0 vsize: 434468 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 175217 0 0 0 71606 405 0 0 25 0 1 0 806662091 569864192 110713 4294967295 134512640 135726644 3221224576 3161433328 134554678 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 139127 110714 300 300 0 138827 0 vsize: 556508 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 196819 0 0 0 72556 455 0 0 25 0 1 0 806662091 771194880 132095 4294967295 134512640 135726644 3221224576 3163947792 134784885 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 188280 132100 300 300 0 187980 0 vsize: 753120 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 226211 0 0 0 73489 522 0 0 25 0 1 0 806662091 719355904 136733 4294967295 134512640 135726644 3221224576 3163750152 135282351 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 175624 136734 300 300 0 175324 0 vsize: 702496 [startup+750.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 245818 0 0 0 74447 564 0 0 25 0 1 0 806662091 747200512 156115 4294967295 134512640 135726644 3221224576 3162354620 134604449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 182422 156115 300 300 0 182122 0 vsize: 729688 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 265209 0 0 0 75402 609 0 0 25 0 1 0 806662091 774909952 175283 4294967295 134512640 135726644 3221224576 3160859640 135280647 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 189187 175283 300 300 0 188887 0 vsize: 756748 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 274763 0 0 0 76380 631 0 0 25 0 1 0 806662091 789069824 184729 4294967295 134512640 135726644 3221224576 3177338320 135101187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 192644 184729 300 300 0 192344 0 vsize: 770576 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 274765 0 0 0 77380 632 0 0 25 0 1 0 806662091 784871424 184125 4294967295 134512640 135726644 3221224576 3221222976 135278565 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 191619 184125 300 300 0 191319 0 vsize: 766476 [startup+782.542 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 3062 Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 274765 0 0 0 77380 632 0 0 25 0 1 0 806662091 784871424 184125 4294967295 134512640 135726644 3221224576 3221222976 135278565 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 191619 184125 300 300 0 191319 0 vsize: 0 Child status: 1 Real time (s): 782.542 CPU time (s): 782.637 CPU user time (s): 775.945 CPU system time (s): 6.69198 CPU usage (%): 100.012 Max. virtual memory (Kb): 770576 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####