Name | web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb |
MD5SUM | e4be8a88d340bbbbfb27e034f74a6524 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 65 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 254 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 148.053 |
Number of variables | 40605 |
Total number of constraints | 118930 |
Number of constraints which are clauses | 117190 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1740 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
LAUNCH ON wulflinc24 THE 2005-09-23 15:21:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8538 boxname=wulflinc24 idbench=334 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e4be8a88d340bbbbfb27e034f74a6524 /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.tag14.ucl.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.tag14.ucl.opb IDLAUNCH: 8538 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.047 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.047 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: 894808 kB Buffers: 14868 kB Cached: 105696 kB SwapCached: 0 kB Active: 69568 kB Inactive: 53908 kB HighTotal: 131008 kB HighFree: 23380 kB LowTotal: 903652 kB LowFree: 871428 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10788 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 15:26:46 (client local time) WITH STATUS 20 IN 297.814 SECONDS stats: 8538 7 297.814 20
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 1753/71495 Time: 77.9462/86400 c Decision: 1753/71495 Time: 86.0699/86400 c Decision: 1753/71495 Time: 97.9071/86400 c Decision: 1753/71495 Time: 104.538/86400 c Decision: 1753/71495 Time: 107.111/86400 c Decision: 1753/71495 Time: 113.873/86400 c Decision: 1753/71495 Time: 125.21/86400 c Decision: 1753/71495 Time: 132.582/86400 c Decision: 1753/71495 Time: 137.626/86400 c Decision: 1753/71495 Time: 143.579/86400 c Decision: 1753/71495 Time: 148.562/86400 c Decision: 1753/71495 Time: 158.805/86400 c Decision: 1753/71495 Time: 167.368/86400 c Decision: 1753/71495 Time: 174.214/86400 c Decision: 1753/71495 Time: 180.51/86400 c Decision: 1757/71495 Time: 192.918/86400 c Decision: 3172/71495 Time: 205.619/86400 c Decision: 3172/71495 Time: 213.865/86400 c Decision: 3173/71495 Time: 222.744/86400 c Decision: 3749/71495 Time: 229.219/86400 c Decision: 3750/71495 Time: 237.28/86400 c Decision: 3751/71495 Time: 246.225/86400 c Decision: 3756/71495 Time: 255.59/86400 c Decision: 3756/71495 Time: 264.183/86400 c Decision: 3760/71495 Time: 272.312/86400 s UNSATISFIABLE
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/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21224740 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7785/statm): 373 2 364 364 0 9 0 [pid=7785] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.tag14.ucl.opb [startup+10.0014 s] Raw data (loadavg): 0.81 0.91 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 5465 0 0 0 980 17 0 0 25 0 1 0 21224740 19255296 3533 4294967295 134512640 135987407 3221224560 3221222032 134607677 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7785/statm): 4701 3533 364 364 0 4337 0 [pid=7785] vsize: 18804 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 18804 [startup+20.0021 s] Raw data (loadavg): 0.84 0.92 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 11691 0 0 0 1948 39 0 0 25 0 1 0 21224740 39153664 7562 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 9559 7562 364 364 0 9195 0 [pid=7785] vsize: 38236 Current children cumulated CPU time (s) 19.87 Current children cumulated vsize (Kb) 38236 [startup+30.0027 s] Raw data (loadavg): 0.87 0.92 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 12481 0 0 0 2923 48 0 0 25 0 1 0 21224740 42827776 8352 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 10456 8352 364 364 0 10092 0 [pid=7785] vsize: 41824 Current children cumulated CPU time (s) 29.71 Current children cumulated vsize (Kb) 41824 [startup+40.0024 s] Raw data (loadavg): 0.89 0.92 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 12987 0 0 0 3911 53 0 0 25 0 1 0 21224740 45260800 8858 4294967295 134512640 135987407 3221224560 3221223340 134812407 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 11050 8858 364 364 0 10686 0 [pid=7785] vsize: 44200 Current children cumulated CPU time (s) 39.64 Current children cumulated vsize (Kb) 44200 [startup+50.0031 s] Raw data (loadavg): 0.90 0.92 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 13288 0 0 0 4896 59 0 0 25 0 1 0 21224740 46456832 9093 4294967295 134512640 135987407 3221224560 3221223312 134801247 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 11342 9093 364 364 0 10978 0 [pid=7785] vsize: 45368 Current children cumulated CPU time (s) 49.55 Current children cumulated vsize (Kb) 45368 [startup+60.0028 s] Raw data (loadavg): 0.92 0.92 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 13434 0 0 0 5887 62 0 0 25 0 1 0 21224740 46592000 9239 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 11375 9239 364 364 0 11011 0 [pid=7785] vsize: 45500 Current children cumulated CPU time (s) 59.49 Current children cumulated vsize (Kb) 45500 [startup+70.0025 s] Raw data (loadavg): 0.93 0.93 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 13635 0 0 0 6876 66 0 0 25 0 1 0 21224740 47124480 9407 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 11505 9407 364 364 0 11141 0 [pid=7785] vsize: 46020 Current children cumulated CPU time (s) 69.42 Current children cumulated vsize (Kb) 46020 [startup+80.0032 s] Raw data (loadavg): 0.94 0.93 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 13690 0 0 0 7870 68 0 0 25 0 1 0 21224740 51318784 9462 4294967295 134512640 135987407 3221224560 3221223376 134824512 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 12529 9462 364 364 0 12165 0 [pid=7785] vsize: 50116 Current children cumulated CPU time (s) 79.38 Current children cumulated vsize (Kb) 50116 [startup+90.0029 s] Raw data (loadavg): 0.95 0.93 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 13810 0 0 0 8864 72 0 0 25 0 1 0 21224740 51318784 9582 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 12529 9582 364 364 0 12165 0 [pid=7785] vsize: 50116 Current children cumulated CPU time (s) 89.36 Current children cumulated vsize (Kb) 50116 [startup+100.004 s] Raw data (loadavg): 0.96 0.93 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 14113 0 0 0 9840 81 0 0 25 0 1 0 21224740 51847168 9745 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7785/statm): 12658 9745 364 364 0 12294 0 [pid=7785] vsize: 50632 Current children cumulated CPU time (s) 99.21 Current children cumulated vsize (Kb) 50632 [startup+110.004 s] Raw data (loadavg): 0.96 0.93 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 14665 0 0 0 10825 87 0 0 25 0 1 0 21224740 53792768 10124 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13133 10124 364 364 0 12769 0 [pid=7785] vsize: 52532 Current children cumulated CPU time (s) 109.12 Current children cumulated vsize (Kb) 52532 [startup+120.004 s] Raw data (loadavg): 0.97 0.94 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 15042 0 0 0 11812 92 0 0 25 0 1 0 21224740 53927936 10221 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13166 10221 364 364 0 12802 0 [pid=7785] vsize: 52664 Current children cumulated CPU time (s) 119.04 Current children cumulated vsize (Kb) 52664 [startup+130.005 s] Raw data (loadavg): 0.97 0.94 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 15407 0 0 0 12794 99 0 0 25 0 1 0 21224740 54063104 10306 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13199 10306 364 364 0 12835 0 [pid=7785] vsize: 52796 Current children cumulated CPU time (s) 128.93 Current children cumulated vsize (Kb) 52796 [startup+140.004 s] Raw data (loadavg): 0.98 0.94 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 15685 0 0 0 13773 106 0 0 25 0 1 0 21224740 54599680 10444 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13330 10444 364 364 0 12966 0 [pid=7785] vsize: 53320 Current children cumulated CPU time (s) 138.79 Current children cumulated vsize (Kb) 53320 [startup+150.005 s] Raw data (loadavg): 0.98 0.94 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 15836 0 0 0 14761 111 0 0 25 0 1 0 21224740 54599680 10455 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13330 10455 364 364 0 12966 0 [pid=7785] vsize: 53320 Current children cumulated CPU time (s) 148.72 Current children cumulated vsize (Kb) 53320 [startup+160.005 s] Raw data (loadavg): 0.98 0.94 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 16124 0 0 0 15740 118 0 0 25 0 1 0 21224740 54599680 10463 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13330 10463 364 364 0 12966 0 [pid=7785] vsize: 53320 Current children cumulated CPU time (s) 158.58 Current children cumulated vsize (Kb) 53320 [startup+170.006 s] Raw data (loadavg): 0.98 0.94 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 16320 0 0 0 16726 123 0 0 25 0 1 0 21224740 54870016 10519 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13396 10519 364 364 0 13032 0 [pid=7785] vsize: 53584 Current children cumulated CPU time (s) 168.49 Current children cumulated vsize (Kb) 53584 [startup+180.005 s] Raw data (loadavg): 0.99 0.94 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 16576 0 0 0 17704 131 0 0 25 0 1 0 21224740 55410688 10635 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 10635 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 178.35 Current children cumulated vsize (Kb) 54112 [startup+190.005 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 16863 0 0 0 18692 135 0 0 25 0 1 0 21224740 55410688 10642 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7785/statm): 13528 10642 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 188.27 Current children cumulated vsize (Kb) 54112 [startup+200.006 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 17010 0 0 0 19680 139 0 0 25 0 1 0 21224740 55410688 10649 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 10649 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 198.19 Current children cumulated vsize (Kb) 54112 [startup+210.005 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 17165 0 0 0 20670 143 0 0 25 0 1 0 21224740 55410688 10664 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 10664 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 208.13 Current children cumulated vsize (Kb) 54112 [startup+220.005 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 17181 0 0 0 21661 146 0 0 25 0 1 0 21224740 55410688 10680 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 10680 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 218.07 Current children cumulated vsize (Kb) 54112 [startup+230.006 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 17489 0 0 0 22654 149 0 0 25 0 1 0 21224740 55410688 10708 4294967295 134512640 135987407 3221224560 3221223200 134821238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 10708 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 228.03 Current children cumulated vsize (Kb) 54112 [startup+240.005 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 17741 0 0 0 23647 152 0 0 25 0 1 0 21224740 55410688 10820 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 10820 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 237.99 Current children cumulated vsize (Kb) 54112 [startup+250.005 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 18021 0 0 0 24638 155 0 0 25 0 1 0 21224740 55410688 10960 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 10960 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 247.93 Current children cumulated vsize (Kb) 54112 [startup+260.006 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 18213 0 0 0 25632 157 0 0 25 0 1 0 21224740 55410688 11012 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 11012 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 257.89 Current children cumulated vsize (Kb) 54112 [startup+270.005 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 18359 0 0 0 26625 159 0 0 25 0 1 0 21224740 55410688 11018 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 11018 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 267.84 Current children cumulated vsize (Kb) 54112 [startup+280.005 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 18659 0 0 0 27618 162 0 0 25 0 1 0 21224740 55410688 11038 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 11038 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 277.8 Current children cumulated vsize (Kb) 54112 [startup+290.006 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 18932 0 0 0 28611 165 0 0 25 0 1 0 21224740 55410688 11171 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7785/statm): 13528 11171 364 364 0 13164 0 [pid=7785] vsize: 54112 Current children cumulated CPU time (s) 287.76 Current children cumulated vsize (Kb) 54112 [startup+300.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7785 Raw data (/proc/7785/stat): 7785 (pb2sat) R 7784 7785 4059 0 -1 0 19057 0 0 0 29605 168 0 0 25 0 1 0 21224740 44163072 9263 4294967295 134512640 135987407 3221224560 3221223384 135544177 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7785/statm): 10782 9263 364 364 0 10418 0 [pid=7785] vsize: 43128 Current children cumulated CPU time (s) 297.73 Current children cumulated vsize (Kb) 43128 One traced child (pid=7785) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 300.086 CPU time (s): 297.814 CPU user time (s): 296.113 CPU system time (s): 1.70074 CPU usage (%): 99.2428 Max. virtual memory (cumulated for all children) (Kb): 54112
ERROR: no interpretation found !