Name | submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb |
MD5SUM | ba9cd165dfff9daff67f98334a7b589e |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 16 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.011997 |
Number of variables | 300 |
Total number of constraints | 50 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc18 THE 2005-09-23 13:59:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8206 boxname=wulflinc18 idbench=2 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ba9cd165dfff9daff67f98334a7b589e /oldhome/oroussel/tmp/wulflinc18/normalized-chnl10_15_pb.cnf.cr.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-chnl10_15_pb.cnf.cr.opb IDLAUNCH: 8206 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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.061 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: 940708 kB Buffers: 13896 kB Cached: 60700 kB SwapCached: 0 kB Active: 44280 kB Inactive: 33172 kB HighTotal: 131008 kB HighFree: 66024 kB LowTotal: 903652 kB LowFree: 874684 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10892 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 14:08:10 (client local time) WITH STATUS 20 IN 535.763 SECONDS stats: 8206 7 535.763 20
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 280/860 Time: 11.1953/86400 c Decision: 280/860 Time: 11.7842/86400 c Decision: 280/860 Time: 12.3771/86400 c Decision: 280/860 Time: 13/86400 c Decision: 280/860 Time: 13.7949/86400 c Decision: 280/860 Time: 14.6348/86400 c Decision: 280/860 Time: 15.4986/86400 c Decision: 280/860 Time: 16.3145/86400 c Decision: 280/860 Time: 17.3004/86400 c Decision: 280/860 Time: 18.4302/86400 c Decision: 280/860 Time: 19.542/86400 c Decision: 280/860 Time: 20.7738/86400 c Decision: 280/860 Time: 21.9987/86400 c Decision: 280/860 Time: 23.2285/86400 c Decision: 280/860 Time: 24.5283/86400 c Decision: 280/860 Time: 25.9241/86400 c Decision: 280/860 Time: 27.3798/86400 c Decision: 280/860 Time: 28.7836/86400 c Decision: 280/860 Time: 30.3794/86400 c Decision: 280/860 Time: 32.0131/86400 c Decision: 280/860 Time: 33.7779/86400 c Decision: 280/860 Time: 35.5516/86400 c Decision: 280/860 Time: 37.2703/86400 c Decision: 280/860 Time: 39.185/86400 c Decision: 280/860 Time: 41.1157/86400 c Decision: 280/860 Time: 43.3924/86400 c Decision: 280/860 Time: 45.5141/86400 c Decision: 280/860 Time: 47.7957/86400 c Decision: 280/860 Time: 49.9664/86400 c Decision: 280/860 Time: 52.328/86400 c Decision: 280/860 Time: 54.9177/86400 c Decision: 280/860 Time: 57.2903/86400 c Decision: 280/860 Time: 59.6069/86400 c Decision: 280/860 Time: 61.9606/86400 c Decision: 280/860 Time: 64.8181/86400 c Decision: 280/860 Time: 67.0898/86400 c Decision: 280/860 Time: 69.8334/86400 c Decision: 280/860 Time: 72.234/86400 c Decision: 280/860 Time: 74.8136/86400 c Decision: 280/860 Time: 76.9513/86400 c Decision: 280/860 Time: 79.6009/86400 c Decision: 280/860 Time: 81.9425/86400 c Decision: 280/860 Time: 84.4102/86400 c Decision: 280/860 Time: 86.7108/86400 c Decision: 280/860 Time: 88.9715/86400 c Decision: 280/860 Time: 91.4151/86400 c Decision: 280/860 Time: 93.5448/86400 c Decision: 280/860 Time: 96.2104/86400 c Decision: 280/860 Time: 98.988/86400 c Decision: 280/860 Time: 101.366/86400 c Decision: 280/860 Time: 103.934/86400 c Decision: 280/860 Time: 106.401/86400 c Decision: 280/860 Time: 108.795/86400 c Decision: 280/860 Time: 111.427/86400 c Decision: 280/860 Time: 113.926/86400 c Decision: 280/860 Time: 116.889/86400 c Decision: 280/860 Time: 120.27/86400 c Decision: 280/860 Time: 122.793/86400 c Decision: 280/860 Time: 125.066/86400 c Decision: 280/860 Time: 127.872/86400 c Decision: 280/860 Time: 130.447/86400 c Decision: 280/860 Time: 133.07/86400 c Decision: 280/860 Time: 135.358/86400 c Decision: 280/860 Time: 138.28/86400 c Decision: 280/860 Time: 140.812/86400 c Decision: 280/860 Time: 143.575/86400 c Decision: 280/860 Time: 146.057/86400 c Decision: 280/860 Time: 148.633/86400 c Decision: 280/860 Time: 151.678/86400 c Decision: 280/860 Time: 154.24/86400 c Decision: 280/860 Time: 157.108/86400 c Decision: 280/860 Time: 159.836/86400 c Decision: 280/860 Time: 163.124/86400 c Decision: 280/860 Time: 166.321/86400 c Decision: 280/860 Time: 169.534/86400 c Decision: 280/860 Time: 172.91/86400 c Decision: 280/860 Time: 176.536/86400 c Decision: 280/860 Time: 179.346/86400 c Decision: 280/860 Time: 182.568/86400 c Decision: 280/860 Time: 185.97/86400 c Decision: 280/860 Time: 189.983/86400 c Decision: 280/860 Time: 192.994/86400 c Decision: 280/860 Time: 196.918/86400 c Decision: 280/860 Time: 200.923/86400 c Decision: 280/860 Time: 204.89/86400 c Decision: 280/860 Time: 208.678/86400 c Decision: 280/860 Time: 212.463/86400 c Decision: 280/860 Time: 216.353/86400 c Decision: 280/860 Time: 220.191/86400 c Decision: 280/860 Time: 224.009/86400 c Decision: 280/860 Time: 228.206/86400 c Decision: 280/860 Time: 232.181/86400 c Decision: 280/860 Time: 235.398/86400 c Decision: 280/860 Time: 239.305/86400 c Decision: 280/860 Time: 243.658/86400 c Decision: 280/860 Time: 246.839/86400 c Decision: 280/860 Time: 250.822/86400 c Decision: 280/860 Time: 255.508/86400 c Decision: 280/860 Time: 259.942/86400 c Decision: 280/860 Time: 263.639/86400 c Decision: 280/860 Time: 268.755/86400 c Decision: 280/860 Time: 273.122/86400 c Decision: 280/860 Time: 277.714/86400 c Decision: 280/860 Time: 282.955/86400 c Decision: 280/860 Time: 287.28/86400 c Decision: 280/860 Time: 292.357/86400 c Decision: 280/860 Time: 298.141/86400 c Decision: 280/860 Time: 303.447/86400 c Decision: 280/860 Time: 307.985/86400 c Decision: 280/860 Time: 314.807/86400 c Decision: 280/860 Time: 320.791/86400 c Decision: 280/860 Time: 326.743/86400 c Decision: 281/860 Time: 338.595/86400 c Decision: 281/860 Time: 343.714/86400 c Decision: 281/860 Time: 348.12/86400 c Decision: 283/860 Time: 359.736/86400 c Decision: 283/860 Time: 364.376/86400 c Decision: 283/860 Time: 369.955/86400 c Decision: 283/860 Time: 374.247/86400 c Decision: 283/860 Time: 380.186/86400 c Decision: 283/860 Time: 387.338/86400 c Decision: 286/860 Time: 404.286/86400 c Decision: 287/860 Time: 417.287/86400 c Decision: 287/860 Time: 423.042/86400 c Decision: 292/860 Time: 448.526/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/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 17 0 1 0 0 0 0 0 21 0 1 0 20734199 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 373 2 364 364 0 9 0 [pid=5707] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-chnl10_15_pb.cnf.cr.opb [startup+10.0429 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 5707 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 1064 0 8 0 948 15 0 0 25 0 1 0 20734199 7294976 1004 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 1781 1004 364 364 0 1417 0 [pid=5707] vsize: 7124 Current children cumulated CPU time (s) 9.63 Current children cumulated vsize (Kb) 7124 [startup+20.0439 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 5707 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 1778 0 8 0 1909 32 0 0 25 0 1 0 20734199 8155136 1718 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 1991 1718 364 364 0 1627 0 [pid=5707] vsize: 7964 Current children cumulated CPU time (s) 19.41 Current children cumulated vsize (Kb) 7964 [startup+30.0448 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 5707 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 2313 0 8 0 2880 44 0 0 25 0 1 0 20734199 13430784 2156 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 3279 2156 364 364 0 2915 0 [pid=5707] vsize: 13116 Current children cumulated CPU time (s) 29.24 Current children cumulated vsize (Kb) 13116 [startup+40.0447 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 5707 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 2700 0 8 0 3853 54 0 0 25 0 1 0 20734199 14184448 2543 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 3463 2543 364 364 0 3099 0 [pid=5707] vsize: 13852 Current children cumulated CPU time (s) 39.07 Current children cumulated vsize (Kb) 13852 [startup+50.0457 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 5707 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 3058 0 8 0 4833 61 0 0 25 0 1 0 20734199 14741504 2901 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 3599 2901 364 364 0 3235 0 [pid=5707] vsize: 14396 Current children cumulated CPU time (s) 48.94 Current children cumulated vsize (Kb) 14396 [startup+60.0456 s] Raw data (loadavg): 1.05 1.00 1.00 2/55 5762 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 3294 0 8 0 5807 74 0 0 25 0 1 0 20734199 15134720 3137 4294967295 134512640 135987407 3221224560 3221223136 134892990 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 3695 3137 364 364 0 3331 0 [pid=5707] vsize: 14780 Current children cumulated CPU time (s) 58.81 Current children cumulated vsize (Kb) 14780 [startup+70.0465 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 5762 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 3730 0 8 0 6790 80 0 0 25 0 1 0 20734199 16117760 3380 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 3935 3380 364 364 0 3571 0 [pid=5707] vsize: 15740 Current children cumulated CPU time (s) 68.7 Current children cumulated vsize (Kb) 15740 [startup+80.0474 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 5762 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 3815 0 8 0 7770 88 0 0 25 0 1 0 20734199 16314368 3465 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 3983 3465 364 364 0 3619 0 [pid=5707] vsize: 15932 Current children cumulated CPU time (s) 78.58 Current children cumulated vsize (Kb) 15932 [startup+90.0473 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 5762 Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 3927 0 8 0 8752 96 0 0 25 0 1 0 20734199 16707584 3577 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/5707/statm): 4079 3577 364 364 0 3715 0 [pid=5707] vsize: 16316 Current children cumulated CPU time (s) 88.48 Current children cumulated vsize (Kb) 16316 [startup+100.047 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 5762 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4048 0 8 0 9736 102 0 0 25 0 1 0 20734199 25292800 3698 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 6175 3698 364 364 0 5811 0 [pid=5707] vsize: 24700 Current children cumulated CPU time (s) 98.38 Current children cumulated vsize (Kb) 24700 [startup+110.048 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 5762 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4277 0 8 0 10718 109 0 0 25 0 1 0 20734199 25653248 3927 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 6263 3927 364 364 0 5899 0 [pid=5707] vsize: 25052 Current children cumulated CPU time (s) 108.27 Current children cumulated vsize (Kb) 25052 [startup+120.049 s] Raw data (loadavg): 1.09 1.02 1.00 2/55 5764 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4472 0 8 0 11703 114 0 0 25 0 1 0 20734199 25849856 4122 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 6311 4122 364 364 0 5947 0 [pid=5707] vsize: 25244 Current children cumulated CPU time (s) 118.17 Current children cumulated vsize (Kb) 25244 [startup+130.05 s] Raw data (loadavg): 1.08 1.02 1.00 2/55 5766 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4595 0 8 0 12688 119 0 0 25 0 1 0 20734199 25985024 4245 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 6344 4245 364 364 0 5980 0 [pid=5707] vsize: 25376 Current children cumulated CPU time (s) 128.07 Current children cumulated vsize (Kb) 25376 [startup+140.05 s] Raw data (loadavg): 1.06 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4711 0 8 0 13670 127 0 0 25 0 1 0 20734199 26120192 4361 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/5707/statm): 6377 4361 364 364 0 6013 0 [pid=5707] vsize: 25508 Current children cumulated CPU time (s) 137.97 Current children cumulated vsize (Kb) 25508 [startup+150.051 s] Raw data (loadavg): 1.13 1.03 1.01 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4815 0 8 0 14654 133 0 0 24 0 1 0 20734199 26660864 4465 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 6509 4465 364 364 0 6145 0 [pid=5707] vsize: 26036 Current children cumulated CPU time (s) 147.87 Current children cumulated vsize (Kb) 26036 [startup+160.051 s] Raw data (loadavg): 1.11 1.03 1.01 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 5053 0 8 0 15637 139 0 0 25 0 1 0 20734199 27607040 4703 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 6740 4703 364 364 0 6376 0 [pid=5707] vsize: 26960 Current children cumulated CPU time (s) 157.76 Current children cumulated vsize (Kb) 26960 [startup+170.052 s] Raw data (loadavg): 1.09 1.03 1.01 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 5199 0 8 0 16623 144 0 0 25 0 1 0 20734199 28282880 4849 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 6905 4849 364 364 0 6541 0 [pid=5707] vsize: 27620 Current children cumulated CPU time (s) 167.67 Current children cumulated vsize (Kb) 27620 [startup+180.052 s] Raw data (loadavg): 1.08 1.03 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 5374 0 8 0 17610 150 0 0 25 0 1 0 20734199 28688384 5024 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7004 5024 364 364 0 6640 0 [pid=5707] vsize: 28016 Current children cumulated CPU time (s) 177.6 Current children cumulated vsize (Kb) 28016 [startup+190.052 s] Raw data (loadavg): 1.07 1.03 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 5608 0 8 0 18594 156 0 0 25 0 1 0 20734199 29093888 5258 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7103 5258 364 364 0 6739 0 [pid=5707] vsize: 28412 Current children cumulated CPU time (s) 187.5 Current children cumulated vsize (Kb) 28412 [startup+200.051 s] Raw data (loadavg): 1.06 1.02 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 6108 0 8 0 19581 162 0 0 25 0 1 0 20734199 30937088 5373 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7553 5373 364 364 0 7189 0 [pid=5707] vsize: 30212 Current children cumulated CPU time (s) 197.43 Current children cumulated vsize (Kb) 30212 [startup+210.051 s] Raw data (loadavg): 1.05 1.02 1.00 1/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 6328 0 8 0 20569 166 0 0 25 0 1 0 20734199 31072256 5593 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7586 5593 364 364 0 7222 0 [pid=5707] vsize: 30344 Current children cumulated CPU time (s) 207.35 Current children cumulated vsize (Kb) 30344 [startup+220.052 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6403 0 8 0 21558 170 0 0 25 0 1 0 20734199 31072256 5668 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7586 5668 364 364 0 7222 0 [pid=5707] vsize: 30344 Current children cumulated CPU time (s) 217.28 Current children cumulated vsize (Kb) 30344 [startup+230.052 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6624 0 8 0 22546 174 0 0 25 0 1 0 20734199 31342592 5889 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7652 5889 364 364 0 7288 0 [pid=5707] vsize: 30608 Current children cumulated CPU time (s) 227.2 Current children cumulated vsize (Kb) 30608 [startup+240.052 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6676 0 8 0 23535 178 0 0 25 0 1 0 20734199 31477760 5941 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7685 5941 364 364 0 7321 0 [pid=5707] vsize: 30740 Current children cumulated CPU time (s) 237.13 Current children cumulated vsize (Kb) 30740 [startup+250.053 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6723 0 8 0 24525 181 0 0 25 0 1 0 20734199 31612928 5988 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7718 5988 364 364 0 7354 0 [pid=5707] vsize: 30872 Current children cumulated CPU time (s) 247.06 Current children cumulated vsize (Kb) 30872 [startup+260.053 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6747 0 8 0 25514 186 0 0 25 0 1 0 20734199 31612928 6012 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7718 6012 364 364 0 7354 0 [pid=5707] vsize: 30872 Current children cumulated CPU time (s) 257 Current children cumulated vsize (Kb) 30872 [startup+270.054 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6825 0 8 0 26503 192 0 0 25 0 1 0 20734199 31612928 6090 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7718 6090 364 364 0 7354 0 [pid=5707] vsize: 30872 Current children cumulated CPU time (s) 266.95 Current children cumulated vsize (Kb) 30872 [startup+280.054 s] Raw data (loadavg): 1.01 1.02 1.00 1/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 6859 0 8 0 27494 195 0 0 25 0 1 0 20734199 31612928 6124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7718 6124 364 364 0 7354 0 [pid=5707] vsize: 30872 Current children cumulated CPU time (s) 276.89 Current children cumulated vsize (Kb) 30872 [startup+290.054 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7002 0 8 0 28483 199 0 0 25 0 1 0 20734199 32018432 6267 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7817 6267 364 364 0 7453 0 [pid=5707] vsize: 31268 Current children cumulated CPU time (s) 286.82 Current children cumulated vsize (Kb) 31268 [startup+300.054 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7130 0 8 0 29473 203 0 0 25 0 1 0 20734199 32153600 6395 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7850 6395 364 364 0 7486 0 [pid=5707] vsize: 31400 Current children cumulated CPU time (s) 296.76 Current children cumulated vsize (Kb) 31400 [startup+310.054 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7279 0 8 0 30461 208 0 0 25 0 1 0 20734199 32153600 6544 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7850 6544 364 364 0 7486 0 [pid=5707] vsize: 31400 Current children cumulated CPU time (s) 306.69 Current children cumulated vsize (Kb) 31400 [startup+320.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7432 0 8 0 31454 211 0 0 25 0 1 0 20734199 32288768 6697 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7883 6697 364 364 0 7519 0 [pid=5707] vsize: 31532 Current children cumulated CPU time (s) 316.65 Current children cumulated vsize (Kb) 31532 [startup+330.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7511 0 8 0 32446 214 0 0 25 0 1 0 20734199 32423936 6776 4294967295 134512640 135987407 3221224560 3221223280 134813836 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7916 6776 364 364 0 7552 0 [pid=5707] vsize: 31664 Current children cumulated CPU time (s) 326.6 Current children cumulated vsize (Kb) 31664 [startup+340.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7572 0 8 0 33439 217 0 0 25 0 1 0 20734199 32694272 6837 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7982 6837 364 364 0 7618 0 [pid=5707] vsize: 31928 Current children cumulated CPU time (s) 336.56 Current children cumulated vsize (Kb) 31928 [startup+350.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7714 0 8 0 34429 221 0 0 25 0 1 0 20734199 32694272 6979 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 7982 6979 364 364 0 7618 0 [pid=5707] vsize: 31928 Current children cumulated CPU time (s) 346.5 Current children cumulated vsize (Kb) 31928 [startup+360.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7854 0 8 0 35420 223 0 0 25 0 1 0 20734199 32829440 7119 4294967295 134512640 135987407 3221224560 3221223020 135481615 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 8015 7119 364 364 0 7651 0 [pid=5707] vsize: 32060 Current children cumulated CPU time (s) 356.43 Current children cumulated vsize (Kb) 32060 [startup+370.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7910 0 8 0 36411 226 0 0 25 0 1 0 20734199 32829440 7175 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 8015 7175 364 364 0 7651 0 [pid=5707] vsize: 32060 Current children cumulated CPU time (s) 366.37 Current children cumulated vsize (Kb) 32060 [startup+380.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7925 0 8 0 37404 228 0 0 25 0 1 0 20734199 32829440 7190 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 8015 7190 364 364 0 7651 0 [pid=5707] vsize: 32060 Current children cumulated CPU time (s) 376.32 Current children cumulated vsize (Kb) 32060 [startup+390.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7976 0 8 0 38396 232 0 0 25 0 1 0 20734199 33099776 7241 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 8081 7241 364 364 0 7717 0 [pid=5707] vsize: 32324 Current children cumulated CPU time (s) 386.28 Current children cumulated vsize (Kb) 32324 [startup+400.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8030 0 8 0 39390 234 0 0 25 0 1 0 20734199 33370112 7295 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 8147 7295 364 364 0 7783 0 [pid=5707] vsize: 32588 Current children cumulated CPU time (s) 396.24 Current children cumulated vsize (Kb) 32588 [startup+410.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5768 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8095 0 8 0 40381 238 0 0 25 0 1 0 20734199 33640448 7360 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 8213 7360 364 364 0 7849 0 [pid=5707] vsize: 32852 Current children cumulated CPU time (s) 406.19 Current children cumulated vsize (Kb) 32852 [startup+420.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8215 0 8 0 41373 242 0 0 25 0 1 0 20734199 50417664 7480 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12309 7480 364 364 0 11945 0 [pid=5707] vsize: 49236 Current children cumulated CPU time (s) 416.15 Current children cumulated vsize (Kb) 49236 [startup+430.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8341 0 8 0 42366 245 0 0 25 0 1 0 20734199 50417664 7606 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12309 7606 364 364 0 11945 0 [pid=5707] vsize: 49236 Current children cumulated CPU time (s) 426.11 Current children cumulated vsize (Kb) 49236 [startup+440.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8435 0 8 0 43362 248 0 0 25 0 1 0 20734199 50417664 7700 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12309 7700 364 364 0 11945 0 [pid=5707] vsize: 49236 Current children cumulated CPU time (s) 436.1 Current children cumulated vsize (Kb) 49236 [startup+450.057 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 8559 0 8 0 44353 251 0 0 25 0 1 0 20734199 50417664 7824 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12309 7824 364 364 0 11945 0 [pid=5707] vsize: 49236 Current children cumulated CPU time (s) 446.04 Current children cumulated vsize (Kb) 49236 [startup+460.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8663 0 8 0 45348 254 0 0 25 0 1 0 20734199 50417664 7928 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12309 7928 364 364 0 11945 0 [pid=5707] vsize: 49236 Current children cumulated CPU time (s) 456.02 Current children cumulated vsize (Kb) 49236 [startup+470.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8789 0 8 0 46341 257 0 0 25 0 1 0 20734199 50552832 8054 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12342 8054 364 364 0 11978 0 [pid=5707] vsize: 49368 Current children cumulated CPU time (s) 465.98 Current children cumulated vsize (Kb) 49368 [startup+480.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8924 0 8 0 47334 260 0 0 25 0 1 0 20734199 50688000 8189 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12375 8189 364 364 0 12011 0 [pid=5707] vsize: 49500 Current children cumulated CPU time (s) 475.94 Current children cumulated vsize (Kb) 49500 [startup+490.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9037 0 8 0 48327 263 0 0 25 0 1 0 20734199 50688000 8302 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12375 8302 364 364 0 12011 0 [pid=5707] vsize: 49500 Current children cumulated CPU time (s) 485.9 Current children cumulated vsize (Kb) 49500 [startup+500.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9161 0 8 0 49319 267 0 0 25 0 1 0 20734199 50688000 8426 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12375 8426 364 364 0 12011 0 [pid=5707] vsize: 49500 Current children cumulated CPU time (s) 495.86 Current children cumulated vsize (Kb) 49500 [startup+510.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9287 0 8 0 50309 270 0 0 25 0 1 0 20734199 50688000 8552 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12375 8552 364 364 0 12011 0 [pid=5707] vsize: 49500 Current children cumulated CPU time (s) 505.79 Current children cumulated vsize (Kb) 49500 [startup+520.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9389 0 8 0 51304 272 0 0 25 0 1 0 20734199 50688000 8654 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12375 8654 364 364 0 12011 0 [pid=5707] vsize: 49500 Current children cumulated CPU time (s) 515.76 Current children cumulated vsize (Kb) 49500 [startup+530.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9496 0 8 0 52299 275 0 0 25 0 1 0 20734199 50823168 8761 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/5707/statm): 12408 8761 364 364 0 12044 0 [pid=5707] vsize: 49632 Current children cumulated CPU time (s) 525.74 Current children cumulated vsize (Kb) 49632 [startup+540.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 5770 Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9594 0 8 0 53294 278 0 0 25 0 1 0 20734199 17399808 3581 4294967295 134512640 135987407 3221224560 3221223400 135544177 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/5707/statm): 4248 3581 364 364 0 3884 0 [pid=5707] vsize: 16992 Current children cumulated CPU time (s) 535.72 Current children cumulated vsize (Kb) 16992 One traced child (pid=5707) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 540.102 CPU time (s): 535.763 CPU user time (s): 532.969 CPU system time (s): 2.79357 CPU usage (%): 99.1966 Max. virtual memory (cumulated for all children) (Kb): 49632
ERROR: no interpretation found !