Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb |
MD5SUM | 389a3363aac4cd4681aed244ad9f1688 |
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 | 39143259648 |
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 | 39143259648 |
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.975851 |
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 wulflinc19 THE 2005-05-28 13:46:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24990 boxname=wulflinc19 idbench=1462 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 389a3363aac4cd4681aed244ad9f1688 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-n3700.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-n3700.opb IDLAUNCH: 24990 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 928552 kB Buffers: 6648 kB Cached: 77660 kB SwapCached: 1032 kB Active: 25948 kB Inactive: 60540 kB HighTotal: 131008 kB HighFree: 63000 kB LowTotal: 903652 kB LowFree: 865552 kB SwapTotal: 2097892 kB SwapFree: 2095980 kB Dirty: 24 kB Writeback: 0 kB Mapped: 4896 kB Slab: 13772 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 13:53:33 (client local time) WITH STATUS 1 IN 416.604 SECONDS stats: 24990 7 416.604 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.91 2/54 21286 Raw data (stat): 21286 (runsolver) R 21285 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865265559 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.0007 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 2146 0 0 0 994 5 0 0 25 0 1 0 865265559 7954432 1471 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1942 1471 300 300 0 1642 0 vsize: 7768 [startup+20.0015 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 2667 0 0 0 1992 7 0 0 25 0 1 0 865265559 9306112 1983 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2272 1983 300 300 0 1972 0 vsize: 9088 [startup+30.0022 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 3844 0 0 0 2989 11 0 0 25 0 1 0 865265559 13410304 2448 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3274 2448 300 300 0 2974 0 vsize: 13096 [startup+40.003 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 4067 0 0 0 3988 11 0 0 25 0 1 0 865265559 13950976 2667 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3406 2667 300 300 0 3106 0 vsize: 13624 [startup+50.0028 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 4330 0 0 0 4987 12 0 0 25 0 1 0 865265559 14626816 2925 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3571 2925 300 300 0 3271 0 vsize: 14284 [startup+60.0036 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 4566 0 0 0 5986 13 0 0 25 0 1 0 865265559 15167488 3157 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3703 3157 300 300 0 3403 0 vsize: 14812 [startup+70.0035 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 4776 0 0 0 6986 14 0 0 25 0 1 0 865265559 15843328 3364 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3868 3364 300 300 0 3568 0 vsize: 15472 [startup+80.0042 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 4972 0 0 0 7986 14 0 0 25 0 1 0 865265559 16248832 3557 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3967 3557 300 300 0 3667 0 vsize: 15868 [startup+90.004 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 5157 0 0 0 8986 15 0 0 25 0 1 0 865265559 16789504 3739 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4099 3739 300 300 0 3799 0 vsize: 16396 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 5332 0 0 0 9984 16 0 0 25 0 1 0 865265559 17195008 3911 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4198 3911 300 300 0 3898 0 vsize: 16792 [startup+110.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 5500 0 0 0 10983 17 0 0 25 0 1 0 865265559 17735680 4076 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4330 4076 300 300 0 4030 0 vsize: 17320 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 7493 0 0 0 11979 22 0 0 25 0 1 0 865265559 25403392 4657 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4657 300 300 0 5902 0 vsize: 24808 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 7548 0 0 0 12979 22 0 0 25 0 1 0 865265559 25403392 4709 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4709 300 300 0 5902 0 vsize: 24808 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 7601 0 0 0 13978 22 0 0 25 0 1 0 865265559 25403392 4760 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4760 300 300 0 5902 0 vsize: 24808 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 7678 0 0 0 14978 23 0 0 25 0 1 0 865265559 25403392 4835 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4835 300 300 0 5902 0 vsize: 24808 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 7729 0 0 0 15977 23 0 0 25 0 1 0 865265559 25403392 4883 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4883 300 300 0 5902 0 vsize: 24808 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 7855 0 0 0 16976 24 0 0 25 0 1 0 865265559 25808896 5007 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6301 5007 300 300 0 6001 0 vsize: 25204 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 7986 0 0 0 17976 24 0 0 25 0 1 0 865265559 26079232 5136 4294967295 134512640 135726644 3221224576 3221221520 134541148 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6367 5136 300 300 0 6067 0 vsize: 25468 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 8114 0 0 0 18976 25 0 0 25 0 1 0 865265559 26484736 5262 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6466 5262 300 300 0 6166 0 vsize: 25864 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 8240 0 0 0 19976 25 0 0 25 0 1 0 865265559 26755072 5386 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6532 5386 300 300 0 6232 0 vsize: 26128 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 8361 0 0 0 20975 26 0 0 25 0 1 0 865265559 27160576 5505 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6631 5505 300 300 0 6331 0 vsize: 26524 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 8481 0 0 0 21975 26 0 0 25 0 1 0 865265559 27430912 5623 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6697 5623 300 300 0 6397 0 vsize: 26788 [startup+230.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 8598 0 0 0 22974 27 0 0 25 0 1 0 865265559 27701248 5738 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6763 5738 300 300 0 6463 0 vsize: 27052 [startup+240.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 8711 0 0 0 23974 27 0 0 25 0 1 0 865265559 28106752 5849 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6862 5849 300 300 0 6562 0 vsize: 27448 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 8822 0 0 0 24974 28 0 0 25 0 1 0 865265559 28377088 5959 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6928 5959 300 300 0 6628 0 vsize: 27712 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 8932 0 0 0 25974 28 0 0 25 0 1 0 865265559 28647424 6067 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6994 6067 300 300 0 6694 0 vsize: 27976 [startup+270.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 9039 0 0 0 26973 29 0 0 25 0 1 0 865265559 28917760 6172 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7060 6172 300 300 0 6760 0 vsize: 28240 [startup+280.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 9146 0 0 0 27973 29 0 0 25 0 1 0 865265559 29188096 6277 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7126 6277 300 300 0 6826 0 vsize: 28504 [startup+290.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 9250 0 0 0 28972 30 0 0 25 0 1 0 865265559 29458432 6380 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7192 6380 300 300 0 6892 0 vsize: 28768 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 9352 0 0 0 29972 30 0 0 25 0 1 0 865265559 29728768 6480 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7258 6480 300 300 0 6958 0 vsize: 29032 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 34167 0 0 0 30915 87 0 0 25 0 1 0 865265559 114712576 27349 4294967295 134512640 135726644 3221224576 3180077752 135282351 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28006 27349 300 300 0 27706 0 vsize: 112024 [startup+320.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 62774 0 0 0 31850 152 0 0 25 0 1 0 865265559 240627712 46537 4294967295 134512640 135726644 3221224576 3183295392 134784885 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 58747 46541 300 300 0 58447 0 vsize: 234988 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 92800 0 0 0 32785 218 0 0 25 0 1 0 865265559 297963520 60519 4294967295 134512640 135726644 3221224576 3181087352 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 72745 60519 300 300 0 72445 0 vsize: 290980 [startup+340.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 120863 0 0 0 33723 280 0 0 25 0 1 0 865265559 399691776 76095 4294967295 134512640 135726644 3221224576 3184364000 135105719 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97581 76095 300 300 0 97281 0 vsize: 390324 [startup+350.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 150933 0 0 0 34661 342 0 0 25 0 1 0 865265559 585691136 105520 4294967295 134512640 135726644 3221224576 3180240560 134771720 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 142991 105522 300 300 0 142691 0 vsize: 571964 [startup+360.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 177841 0 0 0 35606 397 0 0 25 0 1 0 865265559 545746944 113256 4294967295 134512640 135726644 3221224576 3181016880 134782642 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 133239 113257 300 300 0 132939 0 vsize: 532956 [startup+370.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 214311 0 0 0 36523 481 0 0 25 0 1 0 865265559 679964672 124930 4294967295 134512640 135726644 3221224576 3187562000 134780348 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 166007 124930 300 300 0 165707 0 vsize: 664028 [startup+380.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 232151 0 0 0 37483 520 0 0 25 0 1 0 865265559 706187264 142565 4294967295 134512640 135726644 3221224576 3182049292 134604449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 172409 142567 300 300 0 172109 0 vsize: 689636 [startup+390.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 251766 0 0 0 38439 564 0 0 25 0 1 0 865265559 734302208 161955 4294967295 134512640 135726644 3221224576 3180737728 134554683 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 179273 161957 300 300 0 178973 0 vsize: 717092 [startup+400.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 267392 0 0 0 39403 600 0 0 25 0 1 0 865265559 806801408 177401 4294967295 134512640 135726644 3221224576 3179552952 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 196973 177401 300 300 0 196673 0 vsize: 787892 [startup+410.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 271257 0 0 0 40395 609 0 0 25 0 1 0 865265559 813121536 181223 4294967295 134512640 135726644 3221224576 3214915880 135102849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 198516 181223 300 300 0 198216 0 vsize: 794064 [startup+416.576 s] Raw data (loadavg): 0.99 0.98 0.91 1/53 21286 Raw data (stat): 21286 (pb2sat) R 21285 10795 10794 0 -1 0 271257 0 0 0 40395 609 0 0 25 0 1 0 865265559 813121536 181223 4294967295 134512640 135726644 3221224576 3214915880 135102849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 198516 181223 300 300 0 198216 0 vsize: 0 Child status: 1 Real time (s): 416.575 CPU time (s): 416.604 CPU user time (s): 410.141 CPU system time (s): 6.46302 CPU usage (%): 100.007 Max. virtual memory (Kb): 794064 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####