Name | web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb |
MD5SUM | 89f41bbcf2b70665bd7071c5b58e0ec8 |
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 | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 323.626 |
Number of variables | 49621 |
Total number of constraints | 138346 |
Number of constraints which are clauses | 127390 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10956 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc9 THE 2005-09-23 15:22:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8544 boxname=wulflinc9 idbench=340 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 89f41bbcf2b70665bd7071c5b58e0ec8 /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb IDLAUNCH: 8544 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 911212 kB Buffers: 12232 kB Cached: 93576 kB SwapCached: 0 kB Active: 56716 kB Inactive: 52040 kB HighTotal: 131008 kB HighFree: 34272 kB LowTotal: 903652 kB LowFree: 876940 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 9128 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:30:17 (client local time) WITH STATUS 20 IN 469.081 SECONDS stats: 8544 7 469.081 20
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 16787/255623 Time: 22.9835/86400 c Decision: 16790/255623 Time: 44.7972/86400 c Decision: 16791/255623 Time: 59.7119/86400 c Decision: 16791/255623 Time: 68.4376/86400 c Decision: 16791/255623 Time: 75.8615/86400 c Decision: 16791/255623 Time: 87.1028/86400 c Decision: 16791/255623 Time: 97.3992/86400 c Decision: 16791/255623 Time: 107.569/86400 c Decision: 16791/255623 Time: 118.971/86400 c Decision: 16791/255623 Time: 128.855/86400 c Decision: 18105/255623 Time: 145.845/86400 c Decision: 18105/255623 Time: 154.171/86400 c Decision: 18105/255623 Time: 163.774/86400 c Decision: 18105/255623 Time: 174.274/86400 c Decision: 18105/255623 Time: 184.867/86400 c Decision: 18105/255623 Time: 195.977/86400 c Decision: 20495/255623 Time: 206.642/86400 c Decision: 20498/255623 Time: 226.365/86400 c Decision: 20498/255623 Time: 240.796/86400 c Decision: 20498/255623 Time: 252.328/86400 c Decision: 20498/255623 Time: 267.514/86400 c Decision: 20501/255623 Time: 291.062/86400 c Decision: 20600/255623 Time: 308.896/86400 c Decision: 24158/255623 Time: 324.884/86400 c Decision: 24158/255623 Time: 335.568/86400 c Decision: 24158/255623 Time: 341.863/86400 c Decision: 24208/255623 Time: 358.132/86400 c Decision: 25382/255623 Time: 374.19/86400 c Decision: 27723/255623 Time: 400.027/86400 c Decision: 27742/255623 Time: 409.942/86400 c Decision: 27742/255623 Time: 416.846/86400 c Decision: 27806/255623 Time: 423.166/86400 c Decision: 27806/255623 Time: 429.003/86400 c Decision: 27806/255623 Time: 434.526/86400 c Decision: 27806/255623 Time: 440.074/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/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21235338 1527808 2 4294967295 134512640 135987407 3221224544 3221224544 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9015/statm): 373 2 364 364 0 9 0 [pid=9015] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb [startup+10.0017 s] Raw data (loadavg): 0.83 0.93 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 5577 0 0 0 985 13 0 0 25 0 1 0 21235338 19562496 3641 4294967295 134512640 135987407 3221224544 3221221992 134578437 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9015/statm): 4776 3641 364 364 0 4412 0 [pid=9015] vsize: 19104 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 19104 [startup+20.0025 s] Raw data (loadavg): 0.85 0.93 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 24230 0 0 0 1938 57 0 0 25 0 1 0 21235338 74604544 13130 4294967295 134512640 135987407 3221224544 3221218224 134878095 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9015/statm): 18214 13130 364 364 0 17850 0 [pid=9015] vsize: 72856 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 72856 [startup+30.0032 s] Raw data (loadavg): 0.88 0.93 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 30844 0 0 0 2895 85 0 0 25 0 1 0 21235338 92057600 19164 4294967295 134512640 135987407 3221224544 3221223392 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 22475 19164 364 364 0 22111 0 [pid=9015] vsize: 89900 Current children cumulated CPU time (s) 29.8 Current children cumulated vsize (Kb) 89900 [startup+40.004 s] Raw data (loadavg): 0.89 0.93 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 31592 0 0 0 3863 96 0 0 25 0 1 0 21235338 95924224 19912 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 23419 19912 364 364 0 23055 0 [pid=9015] vsize: 93676 Current children cumulated CPU time (s) 39.59 Current children cumulated vsize (Kb) 93676 [startup+50.0048 s] Raw data (loadavg): 0.91 0.94 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 32333 0 0 0 4844 103 0 0 25 0 1 0 21235338 97071104 20153 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 23699 20153 364 364 0 23335 0 [pid=9015] vsize: 94796 Current children cumulated CPU time (s) 49.47 Current children cumulated vsize (Kb) 94796 [startup+60.0056 s] Raw data (loadavg): 0.92 0.94 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 32573 0 0 0 5813 113 0 0 25 0 1 0 21235338 98119680 20393 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 23955 20393 364 364 0 23591 0 [pid=9015] vsize: 95820 Current children cumulated CPU time (s) 59.26 Current children cumulated vsize (Kb) 95820 [startup+70.0053 s] Raw data (loadavg): 0.93 0.94 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 33171 0 0 0 6788 124 0 0 25 0 1 0 21235338 98512896 20491 4294967295 134512640 135987407 3221224544 3221223232 134811937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24051 20491 364 364 0 23687 0 [pid=9015] vsize: 96204 Current children cumulated CPU time (s) 69.12 Current children cumulated vsize (Kb) 96204 [startup+80.0061 s] Raw data (loadavg): 0.94 0.94 0.96 1/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 33253 0 0 0 7760 133 0 0 25 0 1 0 21235338 98906112 20573 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24147 20573 364 364 0 23783 0 [pid=9015] vsize: 96588 Current children cumulated CPU time (s) 78.93 Current children cumulated vsize (Kb) 96588 [startup+90.0059 s] Raw data (loadavg): 0.95 0.94 0.96 1/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 33776 0 0 0 8725 145 0 0 25 0 1 0 21235338 98906112 20596 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24147 20596 364 364 0 23783 0 [pid=9015] vsize: 96588 Current children cumulated CPU time (s) 88.7 Current children cumulated vsize (Kb) 96588 [startup+100.007 s] Raw data (loadavg): 0.96 0.94 0.96 1/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 34472 0 0 0 9695 156 0 0 25 0 1 0 21235338 99692544 20792 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24339 20792 364 364 0 23975 0 [pid=9015] vsize: 97356 Current children cumulated CPU time (s) 98.51 Current children cumulated vsize (Kb) 97356 [startup+110.007 s] Raw data (loadavg): 0.96 0.94 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 35094 0 0 0 10674 165 0 0 25 0 1 0 21235338 100085760 20914 4294967295 134512640 135987407 3221224544 3221223232 134812018 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24435 20914 364 364 0 24071 0 [pid=9015] vsize: 97740 Current children cumulated CPU time (s) 108.39 Current children cumulated vsize (Kb) 97740 [startup+120.007 s] Raw data (loadavg): 0.97 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 35655 0 0 0 11653 173 0 0 25 0 1 0 21235338 100417536 20975 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24516 20975 364 364 0 24152 0 [pid=9015] vsize: 98064 Current children cumulated CPU time (s) 118.26 Current children cumulated vsize (Kb) 98064 [startup+130.008 s] Raw data (loadavg): 0.97 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 36292 0 0 0 12627 182 0 0 25 0 1 0 21235338 100958208 21112 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24648 21112 364 364 0 24284 0 [pid=9015] vsize: 98592 Current children cumulated CPU time (s) 128.09 Current children cumulated vsize (Kb) 98592 [startup+140.009 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 36813 0 0 0 13595 194 0 0 25 0 1 0 21235338 100958208 21133 4294967295 134512640 135987407 3221224544 3221223232 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24648 21133 364 364 0 24284 0 [pid=9015] vsize: 98592 Current children cumulated CPU time (s) 137.89 Current children cumulated vsize (Kb) 98592 [startup+150.01 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 37378 0 0 0 14566 205 0 0 25 0 1 0 21235338 101154816 21198 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24696 21198 364 364 0 24332 0 [pid=9015] vsize: 98784 Current children cumulated CPU time (s) 147.71 Current children cumulated vsize (Kb) 98784 [startup+160.01 s] Raw data (loadavg): 0.98 0.95 0.96 1/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 37948 0 0 0 15544 214 0 0 25 0 1 0 21235338 101289984 21268 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24729 21268 364 364 0 24365 0 [pid=9015] vsize: 98916 Current children cumulated CPU time (s) 157.58 Current children cumulated vsize (Kb) 98916 [startup+170.01 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 37985 0 0 0 16510 224 0 0 25 0 1 0 21235338 101486592 21305 4294967295 134512640 135987407 3221224544 3221223232 134811972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24777 21305 364 364 0 24413 0 [pid=9015] vsize: 99108 Current children cumulated CPU time (s) 167.34 Current children cumulated vsize (Kb) 99108 [startup+180.01 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 38551 0 0 0 17487 232 0 0 25 0 1 0 21235338 101756928 21371 4294967295 134512640 135987407 3221224544 3221223264 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24843 21371 364 364 0 24479 0 [pid=9015] vsize: 99372 Current children cumulated CPU time (s) 177.19 Current children cumulated vsize (Kb) 99372 [startup+190.01 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 39058 0 0 0 18465 241 0 0 25 0 1 0 21235338 101756928 21378 4294967295 134512640 135987407 3221224544 3221223264 134814464 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24843 21378 364 364 0 24479 0 [pid=9015] vsize: 99372 Current children cumulated CPU time (s) 187.06 Current children cumulated vsize (Kb) 99372 [startup+200.01 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 39581 0 0 0 19437 252 0 0 25 0 1 0 21235338 101756928 21401 4294967295 134512640 135987407 3221224544 3221223296 134801347 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24843 21401 364 364 0 24479 0 [pid=9015] vsize: 99372 Current children cumulated CPU time (s) 196.89 Current children cumulated vsize (Kb) 99372 [startup+210.01 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 40092 0 0 0 20408 262 0 0 25 0 1 0 21235338 101920768 21412 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24883 21412 364 364 0 24519 0 [pid=9015] vsize: 99532 Current children cumulated CPU time (s) 206.7 Current children cumulated vsize (Kb) 99532 [startup+220.01 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 40632 0 0 0 21376 275 0 0 25 0 1 0 21235338 102055936 21452 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24916 21452 364 364 0 24552 0 [pid=9015] vsize: 99664 Current children cumulated CPU time (s) 216.51 Current children cumulated vsize (Kb) 99664 [startup+230.011 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 41151 0 0 0 22354 283 0 0 25 0 1 0 21235338 102055936 21471 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24916 21471 364 364 0 24552 0 [pid=9015] vsize: 99664 Current children cumulated CPU time (s) 226.37 Current children cumulated vsize (Kb) 99664 [startup+240.01 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 41677 0 0 0 23323 295 0 0 25 0 1 0 21235338 102055936 21497 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24916 21497 364 364 0 24552 0 [pid=9015] vsize: 99664 Current children cumulated CPU time (s) 236.18 Current children cumulated vsize (Kb) 99664 [startup+250.011 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 41706 0 0 0 24299 303 0 0 25 0 1 0 21235338 102055936 21526 4294967295 134512640 135987407 3221224544 3221223120 134801617 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9015/statm): 24916 21526 364 364 0 24552 0 [pid=9015] vsize: 99664 Current children cumulated CPU time (s) 246.02 Current children cumulated vsize (Kb) 99664 [startup+260.012 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 42247 0 0 0 25268 314 0 0 25 0 1 0 21235338 102191104 21567 4294967295 134512640 135987407 3221224544 3221223232 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 24949 21567 364 364 0 24585 0 [pid=9015] vsize: 99796 Current children cumulated CPU time (s) 255.82 Current children cumulated vsize (Kb) 99796 [startup+270.012 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 42972 0 0 0 26237 326 0 0 25 0 1 0 21235338 103542784 21792 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25279 21792 364 364 0 24915 0 [pid=9015] vsize: 101116 Current children cumulated CPU time (s) 265.63 Current children cumulated vsize (Kb) 101116 [startup+280.013 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 43014 0 0 0 27202 338 0 0 25 0 1 0 21235338 103677952 21834 4294967295 134512640 135987407 3221224544 3221223264 134813813 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25312 21834 364 364 0 24948 0 [pid=9015] vsize: 101248 Current children cumulated CPU time (s) 275.4 Current children cumulated vsize (Kb) 101248 [startup+290.013 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 43563 0 0 0 28167 349 0 0 25 0 1 0 21235338 103813120 21883 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25345 21883 364 364 0 24981 0 [pid=9015] vsize: 101380 Current children cumulated CPU time (s) 285.16 Current children cumulated vsize (Kb) 101380 [startup+300.014 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 44120 0 0 0 29138 359 0 0 25 0 1 0 21235338 104083456 21940 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25411 21940 364 364 0 25047 0 [pid=9015] vsize: 101644 Current children cumulated CPU time (s) 294.97 Current children cumulated vsize (Kb) 101644 [startup+310.014 s] Raw data (loadavg): 0.99 0.96 0.96 1/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 44159 0 0 0 30104 370 0 0 25 0 1 0 21235338 104218624 21979 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 21979 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 304.74 Current children cumulated vsize (Kb) 101776 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 44662 0 0 0 31067 383 0 0 25 0 1 0 21235338 106266624 22482 4294967295 134512640 135987407 3221224544 3221222912 134828866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25944 22482 364 364 0 25580 0 [pid=9015] vsize: 103776 Current children cumulated CPU time (s) 314.5 Current children cumulated vsize (Kb) 103776 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 44670 0 0 0 32030 395 0 0 25 0 1 0 21235338 104218624 21990 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 21990 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 324.25 Current children cumulated vsize (Kb) 101776 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 45198 0 0 0 32992 406 0 0 25 0 1 0 21235338 104218624 22018 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22018 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 333.98 Current children cumulated vsize (Kb) 101776 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 45229 0 0 0 33959 416 0 0 25 0 1 0 21235338 104218624 22049 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9015/statm): 25444 22049 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 343.75 Current children cumulated vsize (Kb) 101776 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 45762 0 0 0 34929 427 0 0 25 0 1 0 21235338 104218624 22082 4294967295 134512640 135987407 3221224544 3221223392 134790082 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22082 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 353.56 Current children cumulated vsize (Kb) 101776 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 46298 0 0 0 35897 438 0 0 25 0 1 0 21235338 104218624 22118 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22118 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 363.35 Current children cumulated vsize (Kb) 101776 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 46815 0 0 0 36867 450 0 0 25 0 1 0 21235338 104218624 22135 4294967295 134512640 135987407 3221224544 3221223232 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22135 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 373.17 Current children cumulated vsize (Kb) 101776 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 47320 0 0 0 37831 462 0 0 25 0 1 0 21235338 104218624 22140 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22140 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 382.93 Current children cumulated vsize (Kb) 101776 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 47344 0 0 0 38801 472 0 0 25 0 1 0 21235338 104218624 22164 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22164 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 392.73 Current children cumulated vsize (Kb) 101776 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 47864 0 0 0 39766 485 0 0 18 0 1 0 21235338 104218624 22184 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22184 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 402.51 Current children cumulated vsize (Kb) 101776 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 47893 0 0 0 40729 496 0 0 25 0 1 0 21235338 104218624 22213 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22213 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 412.25 Current children cumulated vsize (Kb) 101776 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 47922 0 0 0 41698 508 0 0 25 0 1 0 21235338 104218624 22242 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22242 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 422.06 Current children cumulated vsize (Kb) 101776 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 48486 0 0 0 42671 519 0 0 25 0 1 0 21235338 104218624 22306 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25444 22306 364 364 0 25080 0 [pid=9015] vsize: 101776 Current children cumulated CPU time (s) 431.9 Current children cumulated vsize (Kb) 101776 [startup+450.019 s] Raw data (loadavg): 1.07 0.99 0.97 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 49540 0 0 0 43644 529 0 0 25 0 1 0 21235338 104345600 22360 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25475 22360 364 364 0 25111 0 [pid=9015] vsize: 101900 Current children cumulated CPU time (s) 441.73 Current children cumulated vsize (Kb) 101900 [startup+460.019 s] Raw data (loadavg): 1.06 0.99 0.97 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 50061 0 0 0 44616 541 0 0 25 0 1 0 21235338 104345600 22381 4294967295 134512640 135987407 3221224544 3221223120 134931901 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25475 22381 364 364 0 25111 0 [pid=9015] vsize: 101900 Current children cumulated CPU time (s) 451.57 Current children cumulated vsize (Kb) 101900 [startup+470.019 s] Raw data (loadavg): 1.05 0.99 0.97 2/55 9015 Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 51135 0 0 0 45590 550 0 0 25 0 1 0 21235338 104476672 22455 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9015/statm): 25507 22455 364 364 0 25143 0 [pid=9015] vsize: 102028 Current children cumulated CPU time (s) 461.4 Current children cumulated vsize (Kb) 102028 One traced child (pid=9015) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 477.798 CPU time (s): 469.081 CPU user time (s): 463.466 CPU system time (s): 5.61515 CPU usage (%): 98.1755 Max. virtual memory (cumulated for all children) (Kb): 103776
ERROR: no interpretation found !