Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb |
MD5SUM | 10d985feb1b2e2f9239f0fbace6cd870 |
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 | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39138571845 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39138571845 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.960853 |
Number of variables | 105000 |
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 | 21 |
Maximum length of a constraint | 2000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-28 13:48:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25001 boxname=wulflinc4 idbench=1473 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 10d985feb1b2e2f9239f0fbace6cd870 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370b.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370b.opb IDLAUNCH: 25001 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 451.169 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: 701824 kB Buffers: 34012 kB Cached: 277604 kB SwapCached: 640 kB Active: 37828 kB Inactive: 275948 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 701572 kB SwapTotal: 2097136 kB SwapFree: 2095656 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5304 kB Slab: 13328 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 13:55:15 (client local time) WITH STATUS 1 IN 415.291 SECONDS stats: 25001 7 415.291 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.97 0.98 0.91 2/54 31087 Raw data (stat): 31087 (runsolver) R 31086 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 807053467 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0009 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 2211 0 0 0 995 3 0 0 25 0 1 0 807053467 8089600 1535 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1975 1535 300 300 0 1675 0 vsize: 7900 [startup+20.0016 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 2753 0 0 0 1993 4 0 0 25 0 1 0 807053467 9441280 2068 4294967295 134512640 135726644 3221224592 3221221536 134541101 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2305 2068 300 300 0 2005 0 vsize: 9220 [startup+30.0027 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 3892 0 0 0 2990 7 0 0 25 0 1 0 807053467 13410304 2495 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3274 2495 300 300 0 2974 0 vsize: 13096 [startup+40.0033 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 4169 0 0 0 3989 8 0 0 25 0 1 0 807053467 14221312 2767 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3472 2767 300 300 0 3172 0 vsize: 13888 [startup+50.0032 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 4427 0 0 0 4989 9 0 0 25 0 1 0 807053467 14897152 3021 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3637 3021 300 300 0 3337 0 vsize: 14548 [startup+60.0041 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 4654 0 0 0 5988 9 0 0 25 0 1 0 807053467 15437824 3244 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3769 3244 300 300 0 3469 0 vsize: 15076 [startup+70.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 4860 0 0 0 6988 10 0 0 25 0 1 0 807053467 15978496 3447 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3901 3447 300 300 0 3601 0 vsize: 15604 [startup+80.0051 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 5051 0 0 0 7988 10 0 0 25 0 1 0 807053467 16519168 3635 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4033 3635 300 300 0 3733 0 vsize: 16132 [startup+90.0057 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 5227 0 0 0 8987 12 0 0 25 0 1 0 807053467 16924672 3808 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4132 3808 300 300 0 3832 0 vsize: 16528 [startup+100.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 5398 0 0 0 9986 12 0 0 25 0 1 0 807053467 17465344 3976 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4264 3976 300 300 0 3964 0 vsize: 17056 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 7457 0 0 0 10981 17 0 0 25 0 1 0 807053467 25403392 4623 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4623 300 300 0 5902 0 vsize: 24808 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 7513 0 0 0 11981 17 0 0 25 0 1 0 807053467 25403392 4676 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4676 300 300 0 5902 0 vsize: 24808 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 7566 0 0 0 12981 17 0 0 25 0 1 0 807053467 25403392 4727 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4727 300 300 0 5902 0 vsize: 24808 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 7619 0 0 0 13981 17 0 0 25 0 1 0 807053467 25403392 4777 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4777 300 300 0 5902 0 vsize: 24808 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 7695 0 0 0 14981 18 0 0 25 0 1 0 807053467 25403392 4851 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4851 300 300 0 5902 0 vsize: 24808 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 7762 0 0 0 15980 18 0 0 25 0 1 0 807053467 25538560 4916 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6235 4916 300 300 0 5935 0 vsize: 24940 [startup+170.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 7894 0 0 0 16980 19 0 0 25 0 1 0 807053467 25944064 5046 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6334 5046 300 300 0 6034 0 vsize: 25336 [startup+180.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8025 0 0 0 17979 20 0 0 25 0 1 0 807053467 26214400 5174 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6400 5174 300 300 0 6100 0 vsize: 25600 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8151 0 0 0 18979 20 0 0 25 0 1 0 807053467 26619904 5298 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6499 5298 300 300 0 6199 0 vsize: 25996 [startup+200.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8274 0 0 0 19979 20 0 0 25 0 1 0 807053467 26890240 5419 4294967295 134512640 135726644 3221224592 3221221680 134556179 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6565 5419 300 300 0 6265 0 vsize: 26260 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8393 0 0 0 20979 20 0 0 25 0 1 0 807053467 27160576 5537 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6631 5537 300 300 0 6331 0 vsize: 26524 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8510 0 0 0 21979 21 0 0 25 0 1 0 807053467 27566080 5652 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6730 5652 300 300 0 6430 0 vsize: 26920 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8627 0 0 0 22978 21 0 0 25 0 1 0 807053467 27836416 5767 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6796 5767 300 300 0 6496 0 vsize: 27184 [startup+240.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8739 0 0 0 23978 22 0 0 25 0 1 0 807053467 28106752 5877 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6862 5877 300 300 0 6562 0 vsize: 27448 [startup+250.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8850 0 0 0 24978 22 0 0 25 0 1 0 807053467 28377088 5986 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6928 5986 300 300 0 6628 0 vsize: 27712 [startup+260.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 8959 0 0 0 25977 22 0 0 25 0 1 0 807053467 28647424 6093 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6994 6093 300 300 0 6694 0 vsize: 27976 [startup+270.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 9065 0 0 0 26977 22 0 0 25 0 1 0 807053467 29052928 6198 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7093 6198 300 300 0 6793 0 vsize: 28372 [startup+280.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 9170 0 0 0 27978 22 0 0 25 0 1 0 807053467 29323264 6301 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7159 6301 300 300 0 6859 0 vsize: 28636 [startup+290.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 9274 0 0 0 28976 23 0 0 25 0 1 0 807053467 29593600 6403 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7225 6403 300 300 0 6925 0 vsize: 28900 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 9375 0 0 0 29976 23 0 0 25 0 1 0 807053467 29863936 6503 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7291 6503 300 300 0 6991 0 vsize: 29164 [startup+310.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 44268 0 0 0 30903 97 0 0 25 0 1 0 807053467 154181632 31279 4294967295 134512640 135726644 3221224592 3182299696 134782642 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37642 31279 300 300 0 37342 0 vsize: 150568 [startup+320.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 70636 0 0 0 31846 154 0 0 25 0 1 0 807053467 237641728 48210 4294967295 134512640 135726644 3221224592 3183019216 134780440 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 58018 48210 300 300 0 57718 0 vsize: 232072 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 96249 0 0 0 32796 205 0 0 25 0 1 0 807053467 298098688 63908 4294967295 134512640 135726644 3221224592 3179618896 134782992 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 72778 63909 300 300 0 72478 0 vsize: 291112 [startup+340.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 126255 0 0 0 33731 270 0 0 25 0 1 0 807053467 407666688 81424 4294967295 134512640 135726644 3221224592 3183116832 134766513 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99528 81424 300 300 0 99228 0 vsize: 398112 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 168027 0 0 0 34649 352 0 0 25 0 1 0 807053467 541417472 104619 4294967295 134512640 135726644 3221224592 3180355764 135277540 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 132182 104619 300 300 0 131882 0 vsize: 528728 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 191605 0 0 0 35598 403 0 0 25 0 1 0 807053467 746942464 126968 4294967295 134512640 135726644 3221224592 3182391008 134784885 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 182359 126972 300 300 0 182059 0 vsize: 729436 [startup+370.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 216698 0 0 0 36537 464 0 0 25 0 1 0 807053467 683749376 127299 4294967295 134512640 135726644 3221224592 3183982968 135282351 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 166931 127300 300 300 0 166631 0 vsize: 667724 [startup+380.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 236347 0 0 0 37491 511 0 0 25 0 1 0 807053467 711999488 146721 4294967295 134512640 135726644 3221224592 3179779296 134782642 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 173828 146721 300 300 0 173528 0 vsize: 695312 [startup+390.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 256113 0 0 0 38447 555 0 0 25 0 1 0 807053467 739979264 166263 4294967295 134512640 135726644 3221224592 3183635368 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 180659 166263 300 300 0 180359 0 vsize: 722636 [startup+400.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 271747 0 0 0 39405 594 0 0 25 0 1 0 807053467 812613632 181716 4294967295 134512640 135726644 3221224592 3179755752 135282351 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 198392 181716 300 300 0 198092 0 vsize: 793568 [startup+410.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 271983 0 0 0 40404 595 0 0 25 0 1 0 807053467 811966464 181538 4294967295 134512640 135726644 3221224592 3221222484 134541694 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 198234 181538 300 300 0 197934 0 vsize: 792936 [startup+415.315 s] Raw data (loadavg): 0.99 0.98 0.91 1/53 31087 Raw data (stat): 31087 (pb2sat) R 31086 21152 21151 0 -1 0 271983 0 0 0 40404 595 0 0 25 0 1 0 807053467 811966464 181538 4294967295 134512640 135726644 3221224592 3221222484 134541694 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 198234 181538 300 300 0 197934 0 vsize: 0 Child status: 1 Real time (s): 415.314 CPU time (s): 415.291 CPU user time (s): 408.968 CPU system time (s): 6.32304 CPU usage (%): 99.9944 Max. virtual memory (Kb): 793568 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####