Name | submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb |
MD5SUM | 6292e63147fb202dc159fbf5a9ff5c77 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4882 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 33355 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 33355 |
Number of bits of the biggest sum of numbers | 16 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1196.31 |
Number of variables | 771 |
Total number of constraints | 1951 |
Number of constraints which are clauses | 1949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
LAUNCH ON wulflinc4 THE 2005-09-23 15:05:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8452 boxname=wulflinc4 idbench=248 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6292e63147fb202dc159fbf5a9ff5c77 /oldhome/oroussel/tmp/wulflinc4/normalized-C432.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-C432.opb IDLAUNCH: 8452 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 935912 kB Buffers: 11852 kB Cached: 70088 kB SwapCached: 0 kB Active: 44124 kB Inactive: 40676 kB HighTotal: 131008 kB HighFree: 56644 kB LowTotal: 903652 kB LowFree: 879268 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 32 kB Writeback: 0 kB Mapped: 6976 kB Slab: 8384 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:11:20 (client local time) WITH STATUS 1 IN 320.662 SECONDS stats: 8452 7 320.662 1
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 31981 c big objective detected c trying from 0 to 511 c trying from 512 to 1023 c trying from 1024 to 1535 Unexpected exception : St9bad_alloc
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21151384 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 373 2 364 364 0 9 0 [pid=8229] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-C432.opb [startup+10.0025 s] Raw data (loadavg): 0.87 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 30078 0 0 0 925 68 0 0 25 0 1 0 21151384 98070528 18962 4294967295 134512640 135987407 3221224576 3221202432 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 23943 18962 364 364 0 23579 0 [pid=8229] vsize: 95772 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 95772 [startup+20.0034 s] Raw data (loadavg): 0.89 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 59359 0 0 0 1864 127 0 0 25 0 1 0 21151384 190922752 37049 4294967295 134512640 135987407 3221224576 3221157708 134636959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 46612 37049 364 364 0 46248 0 [pid=8229] vsize: 186448 Current children cumulated CPU time (s) 19.91 Current children cumulated vsize (Kb) 186448 [startup+30.0043 s] Raw data (loadavg): 0.90 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 81416 0 0 0 2807 179 0 0 25 0 1 0 21151384 263188480 57984 4294967295 134512640 135987407 3221224576 3221009952 134887887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 64255 57984 364 364 0 63891 0 [pid=8229] vsize: 257020 Current children cumulated CPU time (s) 29.86 Current children cumulated vsize (Kb) 257020 [startup+40.0051 s] Raw data (loadavg): 0.92 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 117500 0 0 0 3731 254 0 0 25 0 1 0 21151384 369516544 71880 4294967295 134512640 135987407 3221224576 3221001920 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 90214 71880 364 364 0 89850 0 [pid=8229] vsize: 360856 Current children cumulated CPU time (s) 39.85 Current children cumulated vsize (Kb) 360856 [startup+50.005 s] Raw data (loadavg): 0.93 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 127151 0 0 0 4710 274 0 0 25 0 1 0 21151384 375058432 81338 4294967295 134512640 135987407 3221224576 3221090912 134559706 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 91567 81338 364 364 0 91203 0 [pid=8229] vsize: 366268 Current children cumulated CPU time (s) 49.84 Current children cumulated vsize (Kb) 366268 [startup+60.0059 s] Raw data (loadavg): 0.94 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 140673 0 0 0 5682 301 0 0 25 0 1 0 21151384 429293568 94667 4294967295 134512640 135987407 3221224576 3221217184 134636949 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 104808 94667 364 364 0 104444 0 [pid=8229] vsize: 419232 Current children cumulated CPU time (s) 59.83 Current children cumulated vsize (Kb) 419232 [startup+70.0067 s] Raw data (loadavg): 0.95 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 204649 0 0 0 6548 430 0 0 25 0 1 0 21151384 661549056 114499 4294967295 134512640 135987407 3221224576 3221189824 134876447 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 161511 114499 364 364 0 161147 0 [pid=8229] vsize: 646044 Current children cumulated CPU time (s) 69.78 Current children cumulated vsize (Kb) 646044 [startup+80.0085 s] Raw data (loadavg): 0.96 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 216767 0 0 0 7520 456 0 0 25 0 1 0 21151384 685408256 121749 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 167336 121749 364 364 0 166972 0 [pid=8229] vsize: 669344 Current children cumulated CPU time (s) 79.76 Current children cumulated vsize (Kb) 669344 [startup+90.0084 s] Raw data (loadavg): 0.96 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 217098 0 0 0 8519 457 0 0 25 0 1 0 21151384 686333952 121950 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 167562 121950 364 364 0 167198 0 [pid=8229] vsize: 670248 Current children cumulated CPU time (s) 89.76 Current children cumulated vsize (Kb) 670248 [startup+100.008 s] Raw data (loadavg): 0.97 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 218049 0 0 0 9516 459 0 0 25 0 1 0 21151384 689496064 122512 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 168334 122512 364 364 0 167970 0 [pid=8229] vsize: 673336 Current children cumulated CPU time (s) 99.75 Current children cumulated vsize (Kb) 673336 [startup+110.009 s] Raw data (loadavg): 0.97 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 218389 0 0 0 10514 461 0 0 25 0 1 0 21151384 690282496 122658 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 168526 122658 364 364 0 168162 0 [pid=8229] vsize: 674104 Current children cumulated CPU time (s) 109.75 Current children cumulated vsize (Kb) 674104 [startup+120.009 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 218662 0 0 0 11513 461 0 0 25 0 1 0 21151384 690823168 122866 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 168658 122866 364 364 0 168294 0 [pid=8229] vsize: 674632 Current children cumulated CPU time (s) 119.74 Current children cumulated vsize (Kb) 674632 [startup+130.01 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219198 0 0 0 12511 463 0 0 25 0 1 0 21151384 692330496 123174 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 169026 123174 364 364 0 168662 0 [pid=8229] vsize: 676104 Current children cumulated CPU time (s) 129.74 Current children cumulated vsize (Kb) 676104 [startup+140.011 s] Raw data (loadavg): 0.98 0.97 0.98 3/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219398 0 0 0 13509 464 0 0 25 0 1 0 21151384 693121024 123245 4294967295 134512640 135987407 3221224576 3221223232 134812304 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 169219 123245 364 364 0 168855 0 [pid=8229] vsize: 676876 Current children cumulated CPU time (s) 139.73 Current children cumulated vsize (Kb) 676876 [startup+150.011 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219500 0 0 0 14508 465 0 0 25 0 1 0 21151384 693440512 123314 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 169297 123314 364 364 0 168933 0 [pid=8229] vsize: 677188 Current children cumulated CPU time (s) 149.73 Current children cumulated vsize (Kb) 677188 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219655 0 0 0 15508 465 0 0 25 0 1 0 21151384 693964800 123340 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 169425 123340 364 364 0 169061 0 [pid=8229] vsize: 677700 Current children cumulated CPU time (s) 159.73 Current children cumulated vsize (Kb) 677700 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219793 0 0 0 16507 465 0 0 25 0 1 0 21151384 694226944 123413 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 169489 123413 364 364 0 169125 0 [pid=8229] vsize: 677956 Current children cumulated CPU time (s) 169.72 Current children cumulated vsize (Kb) 677956 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220226 0 0 0 17506 466 0 0 25 0 1 0 21151384 695152640 123652 4294967295 134512640 135987407 3221224576 3221223188 135477972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 169715 123652 364 364 0 169351 0 [pid=8229] vsize: 678860 Current children cumulated CPU time (s) 179.72 Current children cumulated vsize (Kb) 678860 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220229 0 0 0 18505 466 0 0 25 0 1 0 21151384 695152640 123655 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 169715 123655 364 364 0 169351 0 [pid=8229] vsize: 678860 Current children cumulated CPU time (s) 189.71 Current children cumulated vsize (Kb) 678860 [startup+200.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220494 0 0 0 19504 467 0 0 25 0 1 0 21151384 695676928 123791 4294967295 134512640 135987407 3221224576 3221223136 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 169843 123791 364 364 0 169479 0 [pid=8229] vsize: 679372 Current children cumulated CPU time (s) 199.71 Current children cumulated vsize (Kb) 679372 [startup+210.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220746 0 0 0 20503 468 0 0 25 0 1 0 21151384 696340480 123914 4294967295 134512640 135987407 3221224576 3221223200 134801142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 170005 123914 364 364 0 169641 0 [pid=8229] vsize: 680020 Current children cumulated CPU time (s) 209.71 Current children cumulated vsize (Kb) 680020 [startup+220.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220748 0 0 0 21502 468 0 0 25 0 1 0 21151384 696340480 123916 4294967295 134512640 135987407 3221224576 3221223136 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 170005 123916 364 364 0 169641 0 [pid=8229] vsize: 680020 Current children cumulated CPU time (s) 219.7 Current children cumulated vsize (Kb) 680020 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220751 0 0 0 22501 469 0 0 25 0 1 0 21151384 696340480 123919 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 170005 123919 364 364 0 169641 0 [pid=8229] vsize: 680020 Current children cumulated CPU time (s) 229.7 Current children cumulated vsize (Kb) 680020 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220752 0 0 0 23501 469 0 0 25 0 1 0 21151384 696340480 123920 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 170005 123920 364 364 0 169641 0 [pid=8229] vsize: 680020 Current children cumulated CPU time (s) 239.7 Current children cumulated vsize (Kb) 680020 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220899 0 0 0 24500 469 0 0 25 0 1 0 21151384 696864768 123938 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 170133 123938 364 364 0 169769 0 [pid=8229] vsize: 680532 Current children cumulated CPU time (s) 249.69 Current children cumulated vsize (Kb) 680532 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 221560 0 0 0 25498 471 0 0 25 0 1 0 21151384 698892288 124599 4294967295 134512640 135987407 3221224576 3221223152 134931260 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 170628 124599 364 364 0 170264 0 [pid=8229] vsize: 682512 Current children cumulated CPU time (s) 259.69 Current children cumulated vsize (Kb) 682512 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 254845 0 0 0 26404 556 0 0 25 0 1 0 21151384 819462144 157811 4294967295 134512640 135987407 3221224576 3221158924 134865970 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 200064 157811 364 364 0 199700 0 [pid=8229] vsize: 800256 Current children cumulated CPU time (s) 269.6 Current children cumulated vsize (Kb) 800256 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 267012 0 0 0 27382 579 0 0 25 0 1 0 21151384 819462144 169764 4294967295 134512640 135987407 3221224576 3221024828 135499903 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 200064 169764 364 364 0 199700 0 [pid=8229] vsize: 800256 Current children cumulated CPU time (s) 279.61 Current children cumulated vsize (Kb) 800256 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 275948 0 0 0 28366 594 0 0 25 0 1 0 21151384 821084160 178550 4294967295 134512640 135987407 3221224576 3221062476 135499903 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 200460 178550 364 364 0 200096 0 [pid=8229] vsize: 801840 Current children cumulated CPU time (s) 289.6 Current children cumulated vsize (Kb) 801840 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 287641 0 0 0 29344 615 0 0 25 0 1 0 21151384 833114112 190039 4294967295 134512640 135987407 3221224576 3220982920 134893009 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 203397 190039 364 364 0 203033 0 [pid=8229] vsize: 813588 Current children cumulated CPU time (s) 299.59 Current children cumulated vsize (Kb) 813588 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 301752 0 0 0 30312 646 0 0 25 0 1 0 21151384 855957504 203952 4294967295 134512640 135987407 3221224576 3221166048 134862238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 208974 203952 364 364 0 208610 0 [pid=8229] vsize: 835896 Current children cumulated CPU time (s) 309.58 Current children cumulated vsize (Kb) 835896 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8229 Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 307891 0 0 0 31285 671 0 0 25 0 1 0 21151384 566046720 137737 4294967295 134512640 135987407 3221224576 3221223360 134892999 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8229/statm): 138195 137737 364 364 0 137831 0 [pid=8229] vsize: 552780 Current children cumulated CPU time (s) 319.56 Current children cumulated vsize (Kb) 552780 One traced child (pid=8229) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 321.113 CPU time (s): 320.662 CPU user time (s): 313.667 CPU system time (s): 6.99494 CPU usage (%): 99.8596 Max. virtual memory (cumulated for all children) (Kb): 835896
ERROR: no interpretation found !