Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3703.opb |
MD5SUM | a137a4431766bfb5dcfb15040aa6f686 |
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 | 154999 |
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 | 29657420026984 |
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 | 29657420026984 |
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.43978 |
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 wulflinc17 THE 2005-05-28 12:43:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24609 boxname=wulflinc17 idbench=1081 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a137a4431766bfb5dcfb15040aa6f686 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-n3703.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-n3703.opb IDLAUNCH: 24609 /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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 752824 kB Buffers: 34856 kB Cached: 215980 kB SwapCached: 628 kB Active: 29000 kB Inactive: 223968 kB HighTotal: 131008 kB HighFree: 15904 kB LowTotal: 903652 kB LowFree: 736920 kB SwapTotal: 2097892 kB SwapFree: 2096376 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5144 kB Slab: 23024 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 12:56:36 (client local time) WITH STATUS 1 IN 782.881 SECONDS stats: 24609 7 782.881 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.93 0.98 0.92 2/54 21209 Raw data (stat): 21209 (runsolver) R 21208 7475 7474 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864907140 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.0006 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 2210 0 0 0 994 5 0 0 25 0 1 0 864907140 8089600 1534 4294967295 134512640 135726644 3221224576 3221221760 134606725 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1975 1534 300 300 0 1675 0 vsize: 7900 [startup+20.0008 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 2749 0 0 0 1991 7 0 0 25 0 1 0 864907140 9441280 2064 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2305 2064 300 300 0 2005 0 vsize: 9220 [startup+30.0003 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 3887 0 0 0 2989 9 0 0 25 0 1 0 864907140 13410304 2490 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3274 2490 300 300 0 2974 0 vsize: 13096 [startup+40.001 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 4151 0 0 0 3989 10 0 0 25 0 1 0 864907140 14086144 2749 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3439 2749 300 300 0 3139 0 vsize: 13756 [startup+50.0019 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 4403 0 0 0 4987 11 0 0 25 0 1 0 864907140 14761984 2997 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3604 2997 300 300 0 3304 0 vsize: 14416 [startup+60.0012 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 4628 0 0 0 5986 12 0 0 25 0 1 0 864907140 15437824 3218 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3769 3218 300 300 0 3469 0 vsize: 15076 [startup+70.0008 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 4834 0 0 0 6985 13 0 0 25 0 1 0 864907140 15978496 3421 4294967295 134512640 135726644 3221224576 3221221520 134541150 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3901 3421 300 300 0 3601 0 vsize: 15604 [startup+80.0008 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 5027 0 0 0 7984 14 0 0 25 0 1 0 864907140 16384000 3611 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4000 3611 300 300 0 3700 0 vsize: 16000 [startup+90.001 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 5209 0 0 0 8984 15 0 0 25 0 1 0 864907140 16924672 3790 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4132 3790 300 300 0 3832 0 vsize: 16528 [startup+100.001 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 5381 0 0 0 9983 16 0 0 25 0 1 0 864907140 17330176 3959 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4231 3959 300 300 0 3931 0 vsize: 16924 [startup+110.001 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 7452 0 0 0 10978 21 0 0 25 0 1 0 864907140 25403392 4618 4294967295 134512640 135726644 3221224576 3221221512 135280859 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4618 300 300 0 5902 0 vsize: 24808 [startup+120.001 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 7508 0 0 0 11977 22 0 0 25 0 1 0 864907140 25403392 4671 4294967295 134512640 135726644 3221224576 3221221664 134556181 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 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 7560 0 0 0 12977 22 0 0 25 0 1 0 864907140 25403392 4721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4721 300 300 0 5902 0 vsize: 24808 [startup+140.001 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 7613 0 0 0 13977 22 0 0 25 0 1 0 864907140 25403392 4771 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4771 300 300 0 5902 0 vsize: 24808 [startup+150.001 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 7690 0 0 0 14977 22 0 0 25 0 1 0 864907140 25403392 4846 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4846 300 300 0 5902 0 vsize: 24808 [startup+160 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 7747 0 0 0 15976 23 0 0 25 0 1 0 864907140 25538560 4901 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6235 4901 300 300 0 5935 0 vsize: 24940 [startup+170.001 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 7879 0 0 0 16976 23 0 0 25 0 1 0 864907140 25808896 5031 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6301 5031 300 300 0 6001 0 vsize: 25204 [startup+180 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8010 0 0 0 17975 24 0 0 25 0 1 0 864907140 26214400 5160 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6400 5160 300 300 0 6100 0 vsize: 25600 [startup+190.001 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8138 0 0 0 18975 24 0 0 25 0 1 0 864907140 26484736 5286 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6466 5286 300 300 0 6166 0 vsize: 25864 [startup+200.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8262 0 0 0 19975 25 0 0 25 0 1 0 864907140 26890240 5408 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6565 5408 300 300 0 6265 0 vsize: 26260 [startup+210.001 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8383 0 0 0 20975 25 0 0 25 0 1 0 864907140 27160576 5527 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6631 5527 300 300 0 6331 0 vsize: 26524 [startup+220.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8501 0 0 0 21973 26 0 0 25 0 1 0 864907140 27430912 5643 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6697 5643 300 300 0 6397 0 vsize: 26788 [startup+230.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8618 0 0 0 22973 26 0 0 25 0 1 0 864907140 27836416 5758 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6796 5758 300 300 0 6496 0 vsize: 27184 [startup+240.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8732 0 0 0 23973 27 0 0 25 0 1 0 864907140 28106752 5870 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6862 5870 300 300 0 6562 0 vsize: 27448 [startup+250.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8845 0 0 0 24973 27 0 0 25 0 1 0 864907140 28377088 5981 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6928 5981 300 300 0 6628 0 vsize: 27712 [startup+260.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 8955 0 0 0 25973 27 0 0 25 0 1 0 864907140 28647424 6089 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6994 6089 300 300 0 6694 0 vsize: 27976 [startup+270.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9062 0 0 0 26973 28 0 0 25 0 1 0 864907140 28917760 6195 4294967295 134512640 135726644 3221224576 3221221208 135282351 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7060 6195 300 300 0 6760 0 vsize: 28240 [startup+280.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9167 0 0 0 27972 28 0 0 25 0 1 0 864907140 29323264 6298 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7159 6298 300 300 0 6859 0 vsize: 28636 [startup+290.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9272 0 0 0 28972 28 0 0 25 0 1 0 864907140 29593600 6401 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7225 6401 300 300 0 6925 0 vsize: 28900 [startup+300.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9374 0 0 0 29972 28 0 0 25 0 1 0 864907140 29863936 6502 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7291 6502 300 300 0 6991 0 vsize: 29164 [startup+310.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9475 0 0 0 30972 29 0 0 25 0 1 0 864907140 30134272 6601 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7357 6601 300 300 0 7057 0 vsize: 29428 [startup+320.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9575 0 0 0 31972 29 0 0 25 0 1 0 864907140 30269440 6699 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7390 6699 300 300 0 7090 0 vsize: 29560 [startup+330.003 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9673 0 0 0 32972 29 0 0 25 0 1 0 864907140 30539776 6796 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7456 6796 300 300 0 7156 0 vsize: 29824 [startup+340.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9769 0 0 0 33971 30 0 0 25 0 1 0 864907140 30810112 6890 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7522 6890 300 300 0 7222 0 vsize: 30088 [startup+350.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9862 0 0 0 34970 30 0 0 25 0 1 0 864907140 31080448 6982 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7588 6982 300 300 0 7288 0 vsize: 30352 [startup+360.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 9955 0 0 0 35969 31 0 0 25 0 1 0 864907140 31350784 7073 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7654 7073 300 300 0 7354 0 vsize: 30616 [startup+370.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10048 0 0 0 36969 31 0 0 25 0 1 0 864907140 31621120 7165 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7720 7165 300 300 0 7420 0 vsize: 30880 [startup+380.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10140 0 0 0 37969 31 0 0 25 0 1 0 864907140 31891456 7255 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7786 7255 300 300 0 7486 0 vsize: 31144 [startup+390.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10231 0 0 0 38969 31 0 0 25 0 1 0 864907140 32026624 7345 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7819 7345 300 300 0 7519 0 vsize: 31276 [startup+400.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10320 0 0 0 39968 32 0 0 25 0 1 0 864907140 32296960 7432 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7885 7432 300 300 0 7585 0 vsize: 31540 [startup+410.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10407 0 0 0 40967 33 0 0 25 0 1 0 864907140 32567296 7518 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7951 7518 300 300 0 7651 0 vsize: 31804 [startup+420.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10494 0 0 0 41968 33 0 0 25 0 1 0 864907140 32702464 7604 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7984 7604 300 300 0 7684 0 vsize: 31936 [startup+430.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10582 0 0 0 42967 33 0 0 25 0 1 0 864907140 32972800 7690 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8050 7690 300 300 0 7750 0 vsize: 32200 [startup+440.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10666 0 0 0 43968 33 0 0 25 0 1 0 864907140 33243136 7773 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8116 7773 300 300 0 7816 0 vsize: 32464 [startup+450.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10750 0 0 0 44967 34 0 0 25 0 1 0 864907140 33378304 7856 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8149 7856 300 300 0 7849 0 vsize: 32596 [startup+460.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10834 0 0 0 45967 34 0 0 25 0 1 0 864907140 33648640 7938 4294967295 134512640 135726644 3221224576 3221221520 134541101 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8215 7938 300 300 0 7915 0 vsize: 32860 [startup+470.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 10916 0 0 0 46966 34 0 0 25 0 1 0 864907140 33918976 8019 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8281 8019 300 300 0 7981 0 vsize: 33124 [startup+480.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 14817 0 0 0 47961 40 0 0 25 0 1 0 864907140 49254400 9101 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9101 300 300 0 11725 0 vsize: 48100 [startup+490.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 14846 0 0 0 48961 40 0 0 25 0 1 0 864907140 49254400 9128 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9128 300 300 0 11725 0 vsize: 48100 [startup+500.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 14875 0 0 0 49962 40 0 0 25 0 1 0 864907140 49254400 9156 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9156 300 300 0 11725 0 vsize: 48100 [startup+510.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 14903 0 0 0 50962 40 0 0 25 0 1 0 864907140 49254400 9183 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9183 300 300 0 11725 0 vsize: 48100 [startup+520.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 14931 0 0 0 51962 40 0 0 25 0 1 0 864907140 49254400 9209 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9209 300 300 0 11725 0 vsize: 48100 [startup+530.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 14958 0 0 0 52961 40 0 0 25 0 1 0 864907140 49254400 9235 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9235 300 300 0 11725 0 vsize: 48100 [startup+540.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 14985 0 0 0 53960 41 0 0 25 0 1 0 864907140 49254400 9261 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9261 300 300 0 11725 0 vsize: 48100 [startup+550.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15012 0 0 0 54960 41 0 0 25 0 1 0 864907140 49254400 9287 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9287 300 300 0 11725 0 vsize: 48100 [startup+560.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15039 0 0 0 55960 41 0 0 25 0 1 0 864907140 49254400 9313 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9313 300 300 0 11725 0 vsize: 48100 [startup+570.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15066 0 0 0 56960 42 0 0 25 0 1 0 864907140 49254400 9338 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9338 300 300 0 11725 0 vsize: 48100 [startup+580.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15092 0 0 0 57960 42 0 0 25 0 1 0 864907140 49254400 9363 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9363 300 300 0 11725 0 vsize: 48100 [startup+590.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15118 0 0 0 58959 42 0 0 25 0 1 0 864907140 49254400 9388 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9388 300 300 0 11725 0 vsize: 48100 [startup+600.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15144 0 0 0 59958 42 0 0 25 0 1 0 864907140 49254400 9413 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9413 300 300 0 11725 0 vsize: 48100 [startup+610.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15180 0 0 0 60958 42 0 0 25 0 1 0 864907140 49254400 9448 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9448 300 300 0 11725 0 vsize: 48100 [startup+620.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15222 0 0 0 61958 42 0 0 25 0 1 0 864907140 49254400 9488 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9488 300 300 0 11725 0 vsize: 48100 [startup+630.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15247 0 0 0 62959 42 0 0 25 0 1 0 864907140 49254400 9512 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9512 300 300 0 11725 0 vsize: 48100 [startup+640.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15272 0 0 0 63959 43 0 0 25 0 1 0 864907140 49254400 9536 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9536 300 300 0 11725 0 vsize: 48100 [startup+650.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15297 0 0 0 64958 43 0 0 25 0 1 0 864907140 49254400 9560 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9560 300 300 0 11725 0 vsize: 48100 [startup+660.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15321 0 0 0 65957 43 0 0 25 0 1 0 864907140 49254400 9583 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9583 300 300 0 11725 0 vsize: 48100 [startup+670.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 15355 0 0 0 66957 43 0 0 25 0 1 0 864907140 49389568 9616 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12058 9616 300 300 0 11758 0 vsize: 48232 [startup+680.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 52837 0 0 0 67875 126 0 0 25 0 1 0 864907140 183361536 39258 4294967295 134512640 135726644 3221224576 3160518400 134780362 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44766 39258 300 300 0 44466 0 vsize: 179064 [startup+690.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 85061 0 0 0 68807 194 0 0 25 0 1 0 864907140 282976256 59010 4294967295 134512640 135726644 3221224576 3162773392 134784431 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 69086 59011 300 300 0 68786 0 vsize: 276344 [startup+700.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 106381 0 0 0 69763 239 0 0 25 0 1 0 864907140 334921728 73962 4294967295 134512640 135726644 3221224576 3165170064 134767052 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81768 73962 300 300 0 81468 0 vsize: 327072 [startup+710.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 136222 0 0 0 70698 304 0 0 25 0 1 0 864907140 443949056 91311 4294967295 134512640 135726644 3221224576 3162144128 134766529 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 108386 91312 300 300 0 108086 0 vsize: 433544 [startup+720.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 175606 0 0 0 71621 380 0 0 25 0 1 0 864907140 570675200 111105 4294967295 134512640 135726644 3221224576 3160558492 134604449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 139325 111105 300 300 0 139025 0 vsize: 557300 [startup+730.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 207641 0 0 0 72559 443 0 0 25 0 1 0 864907140 772005888 142913 4294967295 134512640 135726644 3221224576 3161342592 134784885 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 188478 142917 300 300 0 188178 0 vsize: 753912 [startup+740.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 227962 0 0 0 73511 491 0 0 25 0 1 0 864907140 722329600 138463 4294967295 134512640 135726644 3221224576 3160784396 135297998 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 176350 138464 300 300 0 176050 0 vsize: 705400 [startup+750.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 248105 0 0 0 74467 535 0 0 25 0 1 0 864907140 750985216 158376 4294967295 134512640 135726644 3221224576 3161055728 134554691 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183346 158377 300 300 0 183046 0 vsize: 733384 [startup+760.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 267913 0 0 0 75422 580 0 0 25 0 1 0 864907140 779100160 177958 4294967295 134512640 135726644 3221224576 3162091888 135278576 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 190210 177958 300 300 0 189910 0 vsize: 760840 [startup+770.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 274696 0 0 0 76411 594 0 0 25 0 1 0 864907140 789745664 184662 4294967295 134512640 135726644 3221224576 3175350480 135298156 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 192809 184662 300 300 0 192509 0 vsize: 771236 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 274698 0 0 0 77411 594 0 0 25 0 1 0 864907140 785547264 184058 4294967295 134512640 135726644 3221224576 3221223004 135280433 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 191784 184058 300 300 0 191484 0 vsize: 767136 [startup+782.856 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 21209 Raw data (stat): 21209 (pb2sat) R 21208 7475 7474 0 -1 0 274698 0 0 0 77411 594 0 0 25 0 1 0 864907140 785547264 184058 4294967295 134512640 135726644 3221224576 3221223004 135280433 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 191784 184058 300 300 0 191484 0 vsize: 0 Child status: 1 Real time (s): 782.855 CPU time (s): 782.881 CPU user time (s): 776.565 CPU system time (s): 6.31604 CPU usage (%): 100.003 Max. virtual memory (Kb): 771236 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####