Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb |
MD5SUM | a8bcf2463daf8317f47d4d0efa977ac7 |
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 | 108540 |
Biggest coefficient in the objective function | 1475608576000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 416772837549750 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 1475608576000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 416772837549750 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.995848 |
Number of variables | 108540 |
Total number of constraints | 1042 |
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 | 1042 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 1500 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-28 13:18:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24794 boxname=wulflinc6 idbench=1266 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a8bcf2463daf8317f47d4d0efa977ac7 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ship12l.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ship12l.opb IDLAUNCH: 24794 /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: 695100 kB Buffers: 34496 kB Cached: 282916 kB SwapCached: 624 kB Active: 28672 kB Inactive: 290952 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 694848 kB SwapTotal: 2097136 kB SwapFree: 2095604 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5180 kB Slab: 14204 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 13:26:05 (client local time) WITH STATUS 1 IN 431.132 SECONDS stats: 24794 7 431.132 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.90 0.92 0.90 2/54 4723 Raw data (stat): 4723 (runsolver) R 4722 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806884660 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.0002 s] Raw data (loadavg): 0.92 0.93 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 2200 0 0 0 993 5 0 0 25 0 1 0 806884660 8089600 1525 4294967295 134512640 135726644 3221224576 3221221504 134542256 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1975 1525 300 300 0 1675 0 vsize: 7900 [startup+20.0028 s] Raw data (loadavg): 0.93 0.93 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 2766 0 0 0 1993 6 0 0 25 0 1 0 806884660 9576448 2082 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2338 2082 300 300 0 2038 0 vsize: 9352 [startup+30.0028 s] Raw data (loadavg): 0.94 0.93 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 3888 0 0 0 2991 8 0 0 25 0 1 0 806884660 13410304 2492 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3274 2492 300 300 0 2974 0 vsize: 13096 [startup+40.0027 s] Raw data (loadavg): 0.95 0.93 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 4150 0 0 0 3990 9 0 0 25 0 1 0 806884660 14086144 2749 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3439 2749 300 300 0 3139 0 vsize: 13756 [startup+50.0091 s] Raw data (loadavg): 0.95 0.93 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 4400 0 0 0 4990 10 0 0 25 0 1 0 806884660 14761984 2995 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3604 2995 300 300 0 3304 0 vsize: 14416 [startup+60.0092 s] Raw data (loadavg): 0.96 0.93 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 4623 0 0 0 5990 10 0 0 25 0 1 0 806884660 15437824 3215 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3769 3215 300 300 0 3469 0 vsize: 15076 [startup+70.009 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 4829 0 0 0 6990 11 0 0 25 0 1 0 806884660 15978496 3417 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3901 3417 300 300 0 3601 0 vsize: 15604 [startup+80.0095 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 5020 0 0 0 7990 11 0 0 25 0 1 0 806884660 16384000 3605 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4000 3605 300 300 0 3700 0 vsize: 16000 [startup+90.0096 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 5201 0 0 0 8990 11 0 0 25 0 1 0 806884660 16924672 3783 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4132 3783 300 300 0 3832 0 vsize: 16528 [startup+100.009 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 5373 0 0 0 9989 12 0 0 25 0 1 0 806884660 17330176 3952 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4231 3952 300 300 0 3931 0 vsize: 16924 [startup+110.01 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 7448 0 0 0 10986 16 0 0 25 0 1 0 806884660 25403392 4615 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4615 300 300 0 5902 0 vsize: 24808 [startup+120.011 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 7504 0 0 0 11986 16 0 0 25 0 1 0 806884660 25403392 4668 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4668 300 300 0 5902 0 vsize: 24808 [startup+130.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 7557 0 0 0 12986 16 0 0 25 0 1 0 806884660 25403392 4719 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4719 300 300 0 5902 0 vsize: 24808 [startup+140.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 7608 0 0 0 13986 17 0 0 25 0 1 0 806884660 25403392 4768 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4768 300 300 0 5902 0 vsize: 24808 [startup+150.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 7686 0 0 0 14986 17 0 0 25 0 1 0 806884660 25403392 4843 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4843 300 300 0 5902 0 vsize: 24808 [startup+160.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 7736 0 0 0 15986 17 0 0 25 0 1 0 806884660 25538560 4891 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6235 4891 300 300 0 5935 0 vsize: 24940 [startup+170.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 7870 0 0 0 16986 17 0 0 25 0 1 0 806884660 25808896 5023 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6301 5023 300 300 0 6001 0 vsize: 25204 [startup+180.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 7998 0 0 0 17986 18 0 0 25 0 1 0 806884660 26214400 5149 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6400 5149 300 300 0 6100 0 vsize: 25600 [startup+190.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 8125 0 0 0 18986 18 0 0 25 0 1 0 806884660 26484736 5274 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6466 5274 300 300 0 6166 0 vsize: 25864 [startup+200.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 8247 0 0 0 19986 18 0 0 25 0 1 0 806884660 26890240 5394 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6565 5394 300 300 0 6265 0 vsize: 26260 [startup+210.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 8369 0 0 0 20986 19 0 0 25 0 1 0 806884660 27160576 5514 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6631 5514 300 300 0 6331 0 vsize: 26524 [startup+220.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 8488 0 0 0 21985 19 0 0 25 0 1 0 806884660 27430912 5631 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6697 5631 300 300 0 6397 0 vsize: 26788 [startup+230.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 8604 0 0 0 22985 20 0 0 25 0 1 0 806884660 27836416 5745 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6796 5745 300 300 0 6496 0 vsize: 27184 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 8717 0 0 0 23984 21 0 0 25 0 1 0 806884660 28106752 5856 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6862 5856 300 300 0 6562 0 vsize: 27448 [startup+250.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 8827 0 0 0 24984 21 0 0 25 0 1 0 806884660 28377088 5965 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6928 5965 300 300 0 6628 0 vsize: 27712 [startup+260.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 8936 0 0 0 25984 21 0 0 25 0 1 0 806884660 28647424 6072 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6994 6072 300 300 0 6694 0 vsize: 27976 [startup+270.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 9042 0 0 0 26984 21 0 0 25 0 1 0 806884660 28917760 6176 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7060 6176 300 300 0 6760 0 vsize: 28240 [startup+280.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 9148 0 0 0 27984 22 0 0 25 0 1 0 806884660 29188096 6280 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7126 6280 300 300 0 6826 0 vsize: 28504 [startup+290.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 9252 0 0 0 28984 22 0 0 25 0 1 0 806884660 29458432 6383 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7192 6383 300 300 0 6892 0 vsize: 28768 [startup+300.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 9352 0 0 0 29984 22 0 0 25 0 1 0 806884660 29728768 6481 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7258 6481 300 300 0 6958 0 vsize: 29032 [startup+310.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 9454 0 0 0 30984 23 0 0 25 0 1 0 806884660 29999104 6581 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7324 6581 300 300 0 7024 0 vsize: 29296 [startup+320.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 9551 0 0 0 31984 23 0 0 25 0 1 0 806884660 30269440 6677 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7390 6677 300 300 0 7090 0 vsize: 29560 [startup+330.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 30935 0 0 0 32932 76 0 0 25 0 1 0 806884660 106975232 24922 4294967295 134512640 135726644 3221224576 3178471352 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26117 24922 300 300 0 25817 0 vsize: 104468 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 57842 0 0 0 33871 136 0 0 25 0 1 0 806884660 189554688 41620 4294967295 134512640 135726644 3221224576 3177993352 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46278 41621 300 300 0 45978 0 vsize: 185112 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 89321 0 0 0 34808 201 0 0 25 0 1 0 806884660 296144896 57034 4294967295 134512640 135726644 3221224576 3178252464 134767004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72301 57034 300 300 0 72001 0 vsize: 289204 [startup+360.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 120028 0 0 0 35746 263 0 0 25 0 1 0 806884660 371355648 75196 4294967295 134512640 135726644 3221224576 3177813752 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 90663 75196 300 300 0 90363 0 vsize: 362652 [startup+370.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 159029 0 0 0 36676 334 0 0 25 0 1 0 806884660 531963904 95622 4294967295 134512640 135726644 3221224576 3177826148 135277617 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 129874 95622 300 300 0 129574 0 vsize: 519496 [startup+380.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 173198 0 0 0 37647 363 0 0 25 0 1 0 806884660 536158208 108500 4294967295 134512640 135726644 3221224576 3177794880 134782666 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 130898 108500 300 300 0 130598 0 vsize: 523592 [startup+390.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 214209 0 0 0 38561 449 0 0 25 0 1 0 806884660 657141760 124701 4294967295 134512640 135726644 3221224576 3177791432 135282351 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160435 124701 300 300 0 160135 0 vsize: 641740 [startup+400.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 232323 0 0 0 39526 486 0 0 25 0 1 0 806884660 719446016 142588 4294967295 134512640 135726644 3221224576 3177885664 134767049 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 175646 142588 300 300 0 175346 0 vsize: 702584 [startup+410.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 253468 0 0 0 40481 531 0 0 25 0 1 0 806884660 752066560 163464 4294967295 134512640 135726644 3221224576 3177799264 134767079 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183610 163464 300 300 0 183310 0 vsize: 734440 [startup+420.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 255751 0 0 0 41476 536 0 0 25 0 1 0 806884660 756629504 165718 4294967295 134512640 135726644 3221224576 3214337808 135280475 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 184724 165718 300 300 0 184424 0 vsize: 738896 [startup+430.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 255753 0 0 0 42465 547 0 0 25 0 1 0 806884660 444137472 107911 4294967295 134512640 135726644 3221224576 3221222928 135280446 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 108432 107911 300 300 0 108132 0 vsize: 433728 [startup+431.044 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 4723 Raw data (stat): 4723 (pb2sat) R 4722 25568 25567 0 -1 0 255753 0 0 0 42465 547 0 0 25 0 1 0 806884660 444137472 107911 4294967295 134512640 135726644 3221224576 3221222928 135280446 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 108432 107911 300 300 0 108132 0 vsize: 0 Child status: 1 Real time (s): 431.044 CPU time (s): 431.132 CPU user time (s): 425.43 CPU system time (s): 5.70213 CPU usage (%): 100.021 Max. virtual memory (Kb): 738896 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####