Name | mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb |
MD5SUM | ddd1f838c1e3a248aad1987162b1d40d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 739133 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2520 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 666682247 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 666682247 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1228.53 |
Number of variables | 2520 |
Total number of constraints | 142 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 142 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 240 |
LAUNCH ON wulflinc4 THE 2005-09-23 18:48:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9283 boxname=wulflinc4 idbench=1079 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ddd1f838c1e3a248aad1987162b1d40d /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x12.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x12.opb IDLAUNCH: 9283 /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: 957364 kB Buffers: 264 kB Cached: 60120 kB SwapCached: 0 kB Active: 14200 kB Inactive: 49032 kB HighTotal: 131008 kB HighFree: 66528 kB LowTotal: 903652 kB LowFree: 890836 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8388 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 19:10:04 (client local time) WITH STATUS 0 IN 1204.88 SECONDS stats: 9283 7 1204.88 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 8203/62269 Time: 9.51455/86400 c Decision: 8203/62269 Time: 14.8987/86400 c Decision: 8203/62269 Time: 18.5252/86400 c Decision: 8203/62269 Time: 21.9547/86400 c Decision: 8203/62269 Time: 26.234/86400 c Decision: 8203/62269 Time: 31.1543/86400 c Decision: 8203/62269 Time: 35.1657/86400 c Decision: 8203/62269 Time: 39.36/86400 c Decision: 8203/62269 Time: 44.6172/86400 c Decision: 8203/62269 Time: 47.8637/86400 c Decision: 8203/62269 Time: 51.9411/86400 c Decision: 8203/62269 Time: 56.1715/86400 c Decision: 8203/62269 Time: 60.6458/86400 c Decision: 8203/62269 Time: 65.645/86400 c Decision: 8203/62269 Time: 69.4804/86400 c Decision: 8203/62269 Time: 71.4531/86400 c Decision: 8203/62269 Time: 76.6383/86400 c Decision: 8203/62269 Time: 80.3318/86400 c Decision: 8203/62269 Time: 84.9701/86400 c Decision: 8203/62269 Time: 89.9033/86400 c Decision: 8203/62269 Time: 95.1965/86400 c Decision: 8203/62269 Time: 99.1419/86400 c Decision: 8203/62269 Time: 103.759/86400 c Decision: 8203/62269 Time: 108.212/86400 c Decision: 8203/62269 Time: 113.321/86400 c Decision: 8203/62269 Time: 118.368/86400 c Decision: 8206/62269 Time: 122.658/86400 c Decision: 8206/62269 Time: 126.806/86400 c Decision: 8212/62269 Time: 132.262/86400 c Decision: 8212/62269 Time: 136.448/86400 c Decision: 8212/62269 Time: 141.816/86400 c Decision: 8212/62269 Time: 146.906/86400 c Decision: 8212/62269 Time: 151.132/86400 c Decision: 8212/62269 Time: 156.418/86400 c Decision: 8212/62269 Time: 161.088/86400 c Decision: 8212/62269 Time: 165.884/86400 c Decision: 8212/62269 Time: 170.415/86400 c Decision: 8212/62269 Time: 176.135/86400 c Decision: 8212/62269 Time: 181.069/86400 c Decision: 8212/62269 Time: 184.243/86400 c Decision: 8212/62269 Time: 189.637/86400 c Decision: 8212/62269 Time: 194.546/86400 c Decision: 8212/62269 Time: 200.667/86400 c Decision: 8212/62269 Time: 205.929/86400 c Decision: 8212/62269 Time: 209.076/86400 c Decision: 8212/62269 Time: 213.782/86400 c Decision: 8212/62269 Time: 218.677/86400 c Decision: 8212/62269 Time: 223.682/86400 c Decision: 8212/62269 Time: 228.171/86400 c Decision: 8212/62269 Time: 232.907/86400 c Decision: 8212/62269 Time: 237.7/86400 c Decision: 8212/62269 Time: 242.435/86400 c Decision: 8212/62269 Time: 246.507/86400 c Decision: 8212/62269 Time: 251.897/86400 c Decision: 8212/62269 Time: 256.839/86400 c Decision: 8212/62269 Time: 262.388/86400 c Decision: 8212/62269 Time: 266.983/86400 c Decision: 8212/62269 Time: 271.87/86400 c Decision: 8212/62269 Time: 276.522/86400 c Decision: 8212/62269 Time: 281.207/86400 c Decision: 8212/62269 Time: 286.129/86400 c Decision: 8212/62269 Time: 291.666/86400 c Decision: 8212/62269 Time: 294.776/86400 c Decision: 8212/62269 Time: 299.385/86400 c Decision: 8212/62269 Time: 304.316/86400 c Decision: 8212/62269 Time: 309.471/86400 c Decision: 8212/62269 Time: 313.509/86400 c Decision: 8212/62269 Time: 318.583/86400 c Decision: 8212/62269 Time: 323.9/86400 c Decision: 8212/62269 Time: 328.239/86400 c Decision: 8212/62269 Time: 333.421/86400 c Decision: 8212/62269 Time: 338.249/86400 c Decision: 8212/62269 Time: 343.776/86400 c Decision: 8212/62269 Time: 348.384/86400 c Decision: 8212/62269 Time: 352.663/86400 c Decision: 8212/62269 Time: 356.633/86400 c Decision: 8212/62269 Time: 361.237/86400 c Decision: 8212/62269 Time: 365.932/86400 c Decision: 8212/62269 Time: 370.121/86400 c Decision: 8212/62269 Time: 374.935/86400 c Decision: 8212/62269 Time: 379.31/86400 c Decision: 8212/62269 Time: 383.787/86400 c Decision: 8212/62269 Time: 388.435/86400 c Decision: 8212/62269 Time: 392.605/86400 c Decision: 8212/62269 Time: 397.374/86400 c Decision: 8212/62269 Time: 402.712/86400 c Decision: 8212/62269 Time: 406.901/86400 c Decision: 8212/62269 Time: 411.566/86400 c Decision: 8212/62269 Time: 416.383/86400 c Decision: 8212/62269 Time: 421.646/86400 c Decision: 8212/62269 Time: 425.981/86400 c Decision: 8212/62269 Time: 430.719/86400 c Decision: 8212/62269 Time: 435.683/86400 c Decision: 8212/62269 Time: 440.006/86400 c Decision: 8212/62269 Time: 445.379/86400 c Decision: 8212/62269 Time: 450.12/86400 c Decision: 8212/62269 Time: 455.772/86400 c Decision: 8212/62269 Time: 460.809/86400 c Decision: 8218/62269 Time: 468.296/86400 c Decision: 8218/62269 Time: 472.677/86400 c Decision: 8218/62269 Time: 477.986/86400 c Decision: 8218/62269 Time: 482.886/86400 c Decision: 8218/62269 Time: 488.562/86400 c Decision: 8218/62269 Time: 493.502/86400 c Decision: 8218/62269 Time: 498.437/86400 c Decision: 8218/62269 Time: 503.707/86400 c Decision: 8218/62269 Time: 507.99/86400 c Decision: 8218/62269 Time: 513.986/86400 c Decision: 8218/62269 Time: 519.318/86400 c Decision: 8218/62269 Time: 524.601/86400 c Decision: 8218/62269 Time: 529.635/86400 c Decision: 8218/62269 Time: 534.182/86400 c Decision: 8218/62269 Time: 538.531/86400 c Decision: 8218/62269 Time: 543.809/86400 c Decision: 8218/62269 Time: 548.947/86400 c Decision: 8218/62269 Time: 555.11/86400 c Decision: 8218/62269 Time: 560.004/86400 c Decision: 8218/62269 Time: 565.21/86400 c Decision: 8218/62269 Time: 570.391/86400 c Decision: 8218/62269 Time: 576.164/86400 c Decision: 8218/62269 Time: 582.218/86400 c Decision: 8218/62269 Time: 587.268/86400 c Decision: 8218/62269 Time: 590.491/86400 c Decision: 8218/62269 Time: 596.392/86400 c Decision: 8218/62269 Time: 601.285/86400 c Decision: 8218/62269 Time: 606.519/86400 c Decision: 8218/62269 Time: 611.374/86400 c Decision: 8218/62269 Time: 617.19/86400 c Decision: 8218/62269 Time: 622.822/86400 c Decision: 8218/62269 Time: 628.579/86400 c Decision: 8218/62269 Time: 634.222/86400 c Decision: 8218/62269 Time: 640.114/86400 c Decision: 8218/62269 Time: 645.813/86400 c Decision: 8218/62269 Time: 651.133/86400 c Decision: 8218/62269 Time: 657.292/86400 c Decision: 8218/62269 Time: 663.851/86400 c Decision: 8218/62269 Time: 668.354/86400 c Decision: 8218/62269 Time: 673.093/86400 c Decision: 8218/62269 Time: 678.534/86400 c Decision: 8218/62269 Time: 683.67/86400 c Decision: 8218/62269 Time: 688.91/86400 c Decision: 8218/62269 Time: 694.779/86400 c Decision: 8218/62269 Time: 701.102/86400 c Decision: 8218/62269 Time: 707.042/86400 c Decision: 8218/62269 Time: 712.648/86400 c Decision: 8218/62269 Time: 718.339/86400 c Decision: 8218/62269 Time: 723.51/86400 c Decision: 8218/62269 Time: 728.594/86400 c Decision: 8218/62269 Time: 733.649/86400 c Decision: 8218/62269 Time: 739.277/86400 c Decision: 8218/62269 Time: 745.966/86400 c Decision: 8218/62269 Time: 751.806/86400 c Decision: 8218/62269 Time: 758.129/86400 c Decision: 8218/62269 Time: 763.298/86400 c Decision: 8218/62269 Time: 768.93/86400 c Decision: 8218/62269 Time: 775.242/86400 c Decision: 8218/62269 Time: 779.755/86400 c Decision: 8218/62269 Time: 785.36/86400 c Decision: 8218/62269 Time: 790.545/86400 c Decision: 8218/62269 Time: 794.991/86400 c Decision: 8218/62269 Time: 801.315/86400 c Decision: 8218/62269 Time: 807.17/86400 c Decision: 8218/62269 Time: 812.746/86400 c Decision: 8218/62269 Time: 819.251/86400 c Decision: 8218/62269 Time: 824.776/86400 c Decision: 8218/62269 Time: 830.661/86400 c Decision: 8218/62269 Time: 837.535/86400 c Decision: 8218/62269 Time: 843.404/86400 c Decision: 8218/62269 Time: 849.667/86400 c Decision: 8218/62269 Time: 855.88/86400 c Decision: 8218/62269 Time: 862.219/86400 c Decision: 8218/62269 Time: 867.148/86400 c Decision: 8218/62269 Time: 873.599/86400 c Decision: 8218/62269 Time: 879.315/86400 c Decision: 8218/62269 Time: 885.192/86400 c Decision: 8218/62269 Time: 892.727/86400 c Decision: 8218/62269 Time: 899.304/86400 c Decision: 8218/62269 Time: 904.659/86400 c Decision: 8218/62269 Time: 910.83/86400 c Decision: 8218/62269 Time: 916.974/86400 c Decision: 8218/62269 Time: 924.096/86400 c Decision: 8218/62269 Time: 929.366/86400 c Decision: 8218/62269 Time: 936.228/86400 c Decision: 8218/62269 Time: 943.086/86400 c Decision: 8218/62269 Time: 950.327/86400 c Decision: 8218/62269 Time: 957.489/86400 c Decision: 8218/62269 Time: 965.126/86400 c Decision: 8218/62269 Time: 972.47/86400 c Decision: 8218/62269 Time: 979.929/86400 c Decision: 8218/62269 Time: 986.955/86400 c Decision: 8218/62269 Time: 995.724/86400 c Decision: 8218/62269 Time: 1003.44/86400 c Decision: 8218/62269 Time: 1011.39/86400 c Decision: 8218/62269 Time: 1020.22/86400 c Decision: 8218/62269 Time: 1027.35/86400 c Decision: 8218/62269 Time: 1035.33/86400 c Decision: 8218/62269 Time: 1042.98/86400 c Decision: 8218/62269 Time: 1051.33/86400 c Decision: 8218/62269 Time: 1059.36/86400 c Decision: 8218/62269 Time: 1067.84/86400 c Decision: 8218/62269 Time: 1075.61/86400 c Decision: 8218/62269 Time: 1083.13/86400 c Decision: 8218/62269 Time: 1090.58/86400 c Decision: 8218/62269 Time: 1098.51/86400 c Decision: 8218/62269 Time: 1106.04/86400 c Decision: 8218/62269 Time: 1112.85/86400 c Decision: 8218/62269 Time: 1120.11/86400 c Decision: 8218/62269 Time: 1127.6/86400 c Decision: 8218/62269 Time: 1135.82/86400 c Decision: 8218/62269 Time: 1143.74/86400 c Decision: 8218/62269 Time: 1153.11/86400 c Decision: 8218/62269 Time: 1160.36/86400 c Decision: 8218/62269 Time: 1167.94/86400 c Decision: 8218/62269 Time: 1176.16/86400 c Decision: 8218/62269 Time: 1185.06/86400 c Decision: 8218/62269 Time: 1193.81/86400 c Decision: 8218/62269 Time: 1201.35/86400s UNKNOWN
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/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22489034 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 373 2 364 364 0 9 0 [pid=10872] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x12.opb [startup+10.0026 s] Raw data (loadavg): 0.93 0.95 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 8353 0 0 0 930 36 0 0 25 0 1 0 22489034 25939968 5502 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 6333 5502 364 364 0 5969 0 [pid=10872] vsize: 25332 Current children cumulated CPU time (s) 9.66 Current children cumulated vsize (Kb) 25332 [startup+20.0035 s] Raw data (loadavg): 0.94 0.96 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 9035 0 0 0 1854 62 0 0 25 0 1 0 22489034 27779072 5940 4294967295 134512640 135987407 3221224560 3221223248 134812157 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 6782 5940 364 364 0 6418 0 [pid=10872] vsize: 27128 Current children cumulated CPU time (s) 19.16 Current children cumulated vsize (Kb) 27128 [startup+30.0043 s] Raw data (loadavg): 0.95 0.96 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 9469 0 0 0 2775 88 0 0 25 0 1 0 22489034 28434432 6130 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 6942 6130 364 364 0 6578 0 [pid=10872] vsize: 27768 Current children cumulated CPU time (s) 28.63 Current children cumulated vsize (Kb) 27768 [startup+40.0052 s] Raw data (loadavg): 0.95 0.96 0.94 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 9903 0 0 0 3692 116 0 0 25 0 1 0 22489034 28745728 6198 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 7018 6198 364 364 0 6654 0 [pid=10872] vsize: 28072 Current children cumulated CPU time (s) 38.08 Current children cumulated vsize (Kb) 28072 [startup+50.0051 s] Raw data (loadavg): 0.96 0.96 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 10221 0 0 0 4596 147 0 0 25 0 1 0 22489034 29057024 6272 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10872/statm): 7094 6272 364 364 0 6730 0 [pid=10872] vsize: 28376 Current children cumulated CPU time (s) 47.43 Current children cumulated vsize (Kb) 28376 [startup+60.006 s] Raw data (loadavg): 0.97 0.96 0.94 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 10565 0 0 0 5519 175 0 0 25 0 1 0 22489034 29351936 6372 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10872/statm): 7166 6372 364 364 0 6802 0 [pid=10872] vsize: 28664 Current children cumulated CPU time (s) 56.94 Current children cumulated vsize (Kb) 28664 [startup+70.0068 s] Raw data (loadavg): 0.97 0.96 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 10890 0 0 0 6424 209 0 0 25 0 1 0 22489034 29650944 6453 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 7239 6453 364 364 0 6875 0 [pid=10872] vsize: 28956 Current children cumulated CPU time (s) 66.33 Current children cumulated vsize (Kb) 28956 [startup+80.0077 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 11355 0 0 0 7344 237 0 0 25 0 1 0 22489034 29962240 6552 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 7315 6552 364 364 0 6951 0 [pid=10872] vsize: 29260 Current children cumulated CPU time (s) 75.81 Current children cumulated vsize (Kb) 29260 [startup+90.0085 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 11646 0 0 0 8250 270 0 0 25 0 1 0 22489034 30126080 6599 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 7355 6599 364 364 0 6991 0 [pid=10872] vsize: 29420 Current children cumulated CPU time (s) 85.2 Current children cumulated vsize (Kb) 29420 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 11968 0 0 0 9158 302 0 0 25 0 1 0 22489034 30285824 6677 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 7394 6677 364 364 0 7030 0 [pid=10872] vsize: 29576 Current children cumulated CPU time (s) 94.6 Current children cumulated vsize (Kb) 29576 [startup+110.009 s] Raw data (loadavg): 0.98 0.96 0.94 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 12260 0 0 0 10050 335 0 0 25 0 1 0 22489034 30449664 6725 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 7434 6725 364 364 0 7070 0 [pid=10872] vsize: 29736 Current children cumulated CPU time (s) 103.85 Current children cumulated vsize (Kb) 29736 [startup+120.009 s] Raw data (loadavg): 1.07 0.98 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 12571 0 0 0 10957 368 0 0 25 0 1 0 22489034 30740480 6792 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 7505 6792 364 364 0 7141 0 [pid=10872] vsize: 30020 Current children cumulated CPU time (s) 113.25 Current children cumulated vsize (Kb) 30020 [startup+130.01 s] Raw data (loadavg): 1.06 0.98 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 12854 0 0 0 11852 403 0 0 25 0 1 0 22489034 30740480 6831 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 7505 6831 364 364 0 7141 0 [pid=10872] vsize: 30020 Current children cumulated CPU time (s) 122.55 Current children cumulated vsize (Kb) 30020 [startup+140.01 s] Raw data (loadavg): 1.05 0.98 0.94 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 13144 0 0 0 12749 441 0 0 25 0 1 0 22489034 30871552 6877 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10872/statm): 7537 6877 364 364 0 7173 0 [pid=10872] vsize: 30148 Current children cumulated CPU time (s) 131.9 Current children cumulated vsize (Kb) 30148 [startup+150.011 s] Raw data (loadavg): 1.04 0.98 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 13443 0 0 0 13652 474 0 0 25 0 1 0 22489034 31006720 6932 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 7570 6932 364 364 0 7206 0 [pid=10872] vsize: 30280 Current children cumulated CPU time (s) 141.26 Current children cumulated vsize (Kb) 30280 [startup+160.012 s] Raw data (loadavg): 1.03 0.98 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 13725 0 0 0 14562 504 0 0 25 0 1 0 22489034 31006720 6970 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 7570 6970 364 364 0 7206 0 [pid=10872] vsize: 30280 Current children cumulated CPU time (s) 150.66 Current children cumulated vsize (Kb) 30280 [startup+170.011 s] Raw data (loadavg): 1.03 0.98 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 14027 0 0 0 15467 537 0 0 25 0 1 0 22489034 35471360 7028 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 8660 7028 364 364 0 8296 0 [pid=10872] vsize: 34640 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 34640 [startup+180.012 s] Raw data (loadavg): 1.02 0.98 0.94 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 14191 0 0 0 16373 570 0 0 25 0 1 0 22489034 35471360 7070 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 8660 7070 364 364 0 8296 0 [pid=10872] vsize: 34640 Current children cumulated CPU time (s) 169.43 Current children cumulated vsize (Kb) 34640 [startup+190.013 s] Raw data (loadavg): 1.10 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 14486 0 0 0 17275 602 0 0 25 0 1 0 22489034 35741696 7121 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 8726 7121 364 364 0 8362 0 [pid=10872] vsize: 34904 Current children cumulated CPU time (s) 178.77 Current children cumulated vsize (Kb) 34904 [startup+200.013 s] Raw data (loadavg): 1.08 1.00 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 14810 0 0 0 18198 630 0 0 25 0 1 0 22489034 35905536 7201 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 8766 7201 364 364 0 8402 0 [pid=10872] vsize: 35064 Current children cumulated CPU time (s) 188.28 Current children cumulated vsize (Kb) 35064 [startup+210.014 s] Raw data (loadavg): 1.07 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 15092 0 0 0 19115 659 0 0 25 0 1 0 22489034 36069376 7239 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 8806 7239 364 364 0 8442 0 [pid=10872] vsize: 35224 Current children cumulated CPU time (s) 197.74 Current children cumulated vsize (Kb) 35224 [startup+220.015 s] Raw data (loadavg): 1.06 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 15236 0 0 0 20027 686 0 0 25 0 1 0 22489034 36069376 7261 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 8806 7261 364 364 0 8442 0 [pid=10872] vsize: 35224 Current children cumulated CPU time (s) 207.13 Current children cumulated vsize (Kb) 35224 [startup+230.016 s] Raw data (loadavg): 1.05 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 15663 0 0 0 20941 717 0 0 25 0 1 0 22489034 36204544 7322 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 8839 7322 364 364 0 8475 0 [pid=10872] vsize: 35356 Current children cumulated CPU time (s) 216.58 Current children cumulated vsize (Kb) 35356 [startup+240.016 s] Raw data (loadavg): 1.04 1.00 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 15819 0 0 0 21846 750 0 0 25 0 1 0 22489034 36343808 7356 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 8873 7356 364 364 0 8509 0 [pid=10872] vsize: 35492 Current children cumulated CPU time (s) 225.96 Current children cumulated vsize (Kb) 35492 [startup+250.015 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 16115 0 0 0 22755 780 0 0 25 0 1 0 22489034 36478976 7408 4294967295 134512640 135987407 3221224560 3221223280 134813850 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 8906 7408 364 364 0 8542 0 [pid=10872] vsize: 35624 Current children cumulated CPU time (s) 235.35 Current children cumulated vsize (Kb) 35624 [startup+260.016 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 16395 0 0 0 23654 815 0 0 25 0 1 0 22489034 36478976 7444 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 8906 7444 364 364 0 8542 0 [pid=10872] vsize: 35624 Current children cumulated CPU time (s) 244.69 Current children cumulated vsize (Kb) 35624 [startup+270.017 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 18250 0 0 0 24571 846 0 0 25 0 1 0 22489034 43061248 7518 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10513 7518 364 364 0 10149 0 [pid=10872] vsize: 42052 Current children cumulated CPU time (s) 254.17 Current children cumulated vsize (Kb) 42052 [startup+280.019 s] Raw data (loadavg): 1.02 1.00 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 18527 0 0 0 25485 876 0 0 25 0 1 0 22489034 43061248 7551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10513 7551 364 364 0 10149 0 [pid=10872] vsize: 42052 Current children cumulated CPU time (s) 263.61 Current children cumulated vsize (Kb) 42052 [startup+290.02 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 18812 0 0 0 26392 910 0 0 25 0 1 0 22489034 43192320 7592 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10545 7592 364 364 0 10181 0 [pid=10872] vsize: 42180 Current children cumulated CPU time (s) 273.02 Current children cumulated vsize (Kb) 42180 [startup+300.02 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 18985 0 0 0 27297 941 0 0 25 0 1 0 22489034 43192320 7643 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10545 7643 364 364 0 10181 0 [pid=10872] vsize: 42180 Current children cumulated CPU time (s) 282.38 Current children cumulated vsize (Kb) 42180 [startup+310.021 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 19272 0 0 0 28210 971 0 0 25 0 1 0 22489034 43331584 7686 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10579 7686 364 364 0 10215 0 [pid=10872] vsize: 42316 Current children cumulated CPU time (s) 291.81 Current children cumulated vsize (Kb) 42316 [startup+320.02 s] Raw data (loadavg): 1.01 1.00 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 19575 0 0 0 29117 1001 0 0 25 0 1 0 22489034 43474944 7745 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10614 7745 364 364 0 10250 0 [pid=10872] vsize: 42456 Current children cumulated CPU time (s) 301.18 Current children cumulated vsize (Kb) 42456 [startup+330.022 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 19878 0 0 0 30023 1032 0 0 25 0 1 0 22489034 43610112 7804 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10647 7804 364 364 0 10283 0 [pid=10872] vsize: 42588 Current children cumulated CPU time (s) 310.55 Current children cumulated vsize (Kb) 42588 [startup+340.023 s] Raw data (loadavg): 1.09 1.02 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 20151 0 0 0 30930 1064 0 0 25 0 1 0 22489034 43741184 7833 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10679 7833 364 364 0 10315 0 [pid=10872] vsize: 42716 Current children cumulated CPU time (s) 319.94 Current children cumulated vsize (Kb) 42716 [startup+350.023 s] Raw data (loadavg): 1.07 1.01 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 20441 0 0 0 31836 1097 0 0 25 0 1 0 22489034 43741184 7879 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10679 7879 364 364 0 10315 0 [pid=10872] vsize: 42716 Current children cumulated CPU time (s) 329.33 Current children cumulated vsize (Kb) 42716 [startup+360.024 s] Raw data (loadavg): 1.06 1.01 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 20720 0 0 0 32734 1131 0 0 25 0 1 0 22489034 43876352 7914 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10712 7914 364 364 0 10348 0 [pid=10872] vsize: 42848 Current children cumulated CPU time (s) 338.65 Current children cumulated vsize (Kb) 42848 [startup+370.024 s] Raw data (loadavg): 1.05 1.01 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 21009 0 0 0 33649 1161 0 0 25 0 1 0 22489034 43876352 7959 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10712 7959 364 364 0 10348 0 [pid=10872] vsize: 42848 Current children cumulated CPU time (s) 348.1 Current children cumulated vsize (Kb) 42848 [startup+380.025 s] Raw data (loadavg): 1.04 1.01 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 21187 0 0 0 34562 1190 0 0 25 0 1 0 22489034 44011520 8015 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10745 8015 364 364 0 10381 0 [pid=10872] vsize: 42980 Current children cumulated CPU time (s) 357.52 Current children cumulated vsize (Kb) 42980 [startup+390.026 s] Raw data (loadavg): 1.04 1.01 0.95 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 21474 0 0 0 35474 1220 0 0 25 0 1 0 22489034 44146688 8058 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10778 8058 364 364 0 10414 0 [pid=10872] vsize: 43112 Current children cumulated CPU time (s) 366.94 Current children cumulated vsize (Kb) 43112 [startup+400.026 s] Raw data (loadavg): 1.03 1.01 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 21768 0 0 0 36372 1256 0 0 25 0 1 0 22489034 44146688 8108 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10778 8108 364 364 0 10414 0 [pid=10872] vsize: 43112 Current children cumulated CPU time (s) 376.28 Current children cumulated vsize (Kb) 43112 [startup+410.027 s] Raw data (loadavg): 1.02 1.01 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 22049 0 0 0 37289 1283 0 0 25 0 1 0 22489034 44277760 8145 4294967295 134512640 135987407 3221224560 3221223312 134801174 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10810 8145 364 364 0 10446 0 [pid=10872] vsize: 43240 Current children cumulated CPU time (s) 385.72 Current children cumulated vsize (Kb) 43240 [startup+420.027 s] Raw data (loadavg): 1.02 1.01 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 22459 0 0 0 38209 1308 0 0 25 0 1 0 22489034 44908544 8311 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10964 8311 364 364 0 10600 0 [pid=10872] vsize: 43856 Current children cumulated CPU time (s) 395.17 Current children cumulated vsize (Kb) 43856 [startup+430.028 s] Raw data (loadavg): 1.02 1.01 0.95 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 22631 0 0 0 39126 1335 0 0 25 0 1 0 22489034 44408832 8239 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10842 8239 364 364 0 10478 0 [pid=10872] vsize: 43368 Current children cumulated CPU time (s) 404.61 Current children cumulated vsize (Kb) 43368 [startup+440.029 s] Raw data (loadavg): 1.09 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 22925 0 0 0 40038 1365 0 0 25 0 1 0 22489034 44544000 8289 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10875 8289 364 364 0 10511 0 [pid=10872] vsize: 43500 Current children cumulated CPU time (s) 414.03 Current children cumulated vsize (Kb) 43500 [startup+450.03 s] Raw data (loadavg): 1.08 1.02 0.96 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 23213 0 0 0 40958 1391 0 0 25 0 1 0 22489034 44679168 8333 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10908 8333 364 364 0 10544 0 [pid=10872] vsize: 43632 Current children cumulated CPU time (s) 423.49 Current children cumulated vsize (Kb) 43632 [startup+460.031 s] Raw data (loadavg): 1.07 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 23514 0 0 0 41883 1416 0 0 25 0 1 0 22489034 44810240 8390 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10940 8390 364 364 0 10576 0 [pid=10872] vsize: 43760 Current children cumulated CPU time (s) 432.99 Current children cumulated vsize (Kb) 43760 [startup+470.031 s] Raw data (loadavg): 1.06 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 23811 0 0 0 42795 1446 0 0 25 0 1 0 22489034 44810240 8443 4294967295 134512640 135987407 3221224560 3221223280 134814123 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 10940 8443 364 364 0 10576 0 [pid=10872] vsize: 43760 Current children cumulated CPU time (s) 442.41 Current children cumulated vsize (Kb) 43760 [startup+480.032 s] Raw data (loadavg): 1.12 1.03 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 24106 0 0 0 43711 1475 0 0 25 0 1 0 22489034 44945408 8494 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 10973 8494 364 364 0 10609 0 [pid=10872] vsize: 43892 Current children cumulated CPU time (s) 451.86 Current children cumulated vsize (Kb) 43892 [startup+490.033 s] Raw data (loadavg): 1.10 1.03 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 24378 0 0 0 44643 1499 0 0 25 0 1 0 22489034 45080576 8522 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11006 8522 364 364 0 10642 0 [pid=10872] vsize: 44024 Current children cumulated CPU time (s) 461.42 Current children cumulated vsize (Kb) 44024 [startup+500.034 s] Raw data (loadavg): 1.08 1.03 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 24661 0 0 0 45566 1526 0 0 25 0 1 0 22489034 45219840 8561 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11040 8561 364 364 0 10676 0 [pid=10872] vsize: 44160 Current children cumulated CPU time (s) 470.92 Current children cumulated vsize (Kb) 44160 [startup+510.035 s] Raw data (loadavg): 1.07 1.03 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 24957 0 0 0 46480 1556 0 0 25 0 1 0 22489034 45219840 8613 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11040 8613 364 364 0 10676 0 [pid=10872] vsize: 44160 Current children cumulated CPU time (s) 480.36 Current children cumulated vsize (Kb) 44160 [startup+520.036 s] Raw data (loadavg): 1.06 1.03 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 25110 0 0 0 47405 1582 0 0 25 0 1 0 22489034 45350912 8644 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11072 8644 364 364 0 10708 0 [pid=10872] vsize: 44288 Current children cumulated CPU time (s) 489.87 Current children cumulated vsize (Kb) 44288 [startup+530.037 s] Raw data (loadavg): 1.05 1.03 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 25403 0 0 0 48327 1610 0 0 25 0 1 0 22489034 45481984 8693 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11104 8693 364 364 0 10740 0 [pid=10872] vsize: 44416 Current children cumulated CPU time (s) 499.37 Current children cumulated vsize (Kb) 44416 [startup+540.038 s] Raw data (loadavg): 1.04 1.03 0.96 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 25699 0 0 0 49247 1638 0 0 25 0 1 0 22489034 45621248 8745 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11138 8745 364 364 0 10774 0 [pid=10872] vsize: 44552 Current children cumulated CPU time (s) 508.85 Current children cumulated vsize (Kb) 44552 [startup+550.037 s] Raw data (loadavg): 1.04 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 25982 0 0 0 50173 1662 0 0 25 0 1 0 22489034 45621248 8784 4294967295 134512640 135987407 3221224560 3221223056 134878001 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11138 8784 364 364 0 10774 0 [pid=10872] vsize: 44552 Current children cumulated CPU time (s) 518.35 Current children cumulated vsize (Kb) 44552 [startup+560.038 s] Raw data (loadavg): 1.03 1.02 0.96 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 26147 0 0 0 51090 1688 0 0 25 0 1 0 22489034 45756416 8827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11171 8827 364 364 0 10807 0 [pid=10872] vsize: 44684 Current children cumulated CPU time (s) 527.78 Current children cumulated vsize (Kb) 44684 [startup+570.039 s] Raw data (loadavg): 1.02 1.02 0.96 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 26419 0 0 0 51996 1719 0 0 25 0 1 0 22489034 45756416 8855 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11171 8855 364 364 0 10807 0 [pid=10872] vsize: 44684 Current children cumulated CPU time (s) 537.15 Current children cumulated vsize (Kb) 44684 [startup+580.04 s] Raw data (loadavg): 1.02 1.02 0.96 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 26724 0 0 0 52927 1744 0 0 25 0 1 0 22489034 45903872 8916 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11207 8916 364 364 0 10843 0 [pid=10872] vsize: 44828 Current children cumulated CPU time (s) 546.71 Current children cumulated vsize (Kb) 44828 [startup+590.04 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 26893 0 0 0 53855 1771 0 0 25 0 1 0 22489034 45903872 8963 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11207 8963 364 364 0 10843 0 [pid=10872] vsize: 44828 Current children cumulated CPU time (s) 556.26 Current children cumulated vsize (Kb) 44828 [startup+600.04 s] Raw data (loadavg): 1.01 1.02 0.96 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 27181 0 0 0 54785 1794 0 0 25 0 1 0 22489034 46034944 9007 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11239 9007 364 364 0 10875 0 [pid=10872] vsize: 44956 Current children cumulated CPU time (s) 565.79 Current children cumulated vsize (Kb) 44956 [startup+610.041 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 27466 0 0 0 55705 1821 0 0 25 0 1 0 22489034 46170112 9048 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11272 9048 364 364 0 10908 0 [pid=10872] vsize: 45088 Current children cumulated CPU time (s) 575.26 Current children cumulated vsize (Kb) 45088 [startup+620.04 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 27750 0 0 0 56628 1847 0 0 25 0 1 0 22489034 46170112 9088 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11272 9088 364 364 0 10908 0 [pid=10872] vsize: 45088 Current children cumulated CPU time (s) 584.75 Current children cumulated vsize (Kb) 45088 [startup+630.041 s] Raw data (loadavg): 1.01 1.02 0.96 1/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 28051 0 0 0 57560 1871 0 0 25 0 1 0 22489034 46329856 9145 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11311 9145 364 364 0 10947 0 [pid=10872] vsize: 45244 Current children cumulated CPU time (s) 594.31 Current children cumulated vsize (Kb) 45244 [startup+640.042 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 28208 0 0 0 58470 1903 0 0 25 0 1 0 22489034 46329856 9180 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11311 9180 364 364 0 10947 0 [pid=10872] vsize: 45244 Current children cumulated CPU time (s) 603.73 Current children cumulated vsize (Kb) 45244 [startup+650.042 s] Raw data (loadavg): 1.00 1.02 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 28489 0 0 0 59391 1929 0 0 25 0 1 0 22489034 46465024 9217 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11344 9217 364 364 0 10980 0 [pid=10872] vsize: 45376 Current children cumulated CPU time (s) 613.2 Current children cumulated vsize (Kb) 45376 [startup+660.043 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10872 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 28764 0 0 0 60320 1952 0 0 25 0 1 0 22489034 46465024 9248 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11344 9248 364 364 0 10980 0 [pid=10872] vsize: 45376 Current children cumulated CPU time (s) 622.72 Current children cumulated vsize (Kb) 45376 [startup+670.043 s] Raw data (loadavg): 1.00 1.01 0.96 2/58 10875 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 29044 0 0 0 61239 1978 0 0 25 0 1 0 22489034 46596096 9284 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11376 9284 364 364 0 11012 0 [pid=10872] vsize: 45504 Current children cumulated CPU time (s) 632.17 Current children cumulated vsize (Kb) 45504 [startup+680.044 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10927 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 29191 0 0 0 62151 2010 0 0 25 0 1 0 22489034 46596096 9309 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11376 9309 364 364 0 11012 0 [pid=10872] vsize: 45504 Current children cumulated CPU time (s) 641.61 Current children cumulated vsize (Kb) 45504 [startup+690.045 s] Raw data (loadavg): 1.00 1.01 0.96 1/55 10927 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 29471 0 0 0 63081 2035 0 0 25 0 1 0 22489034 46596096 9345 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11376 9345 364 364 0 11012 0 [pid=10872] vsize: 45504 Current children cumulated CPU time (s) 651.16 Current children cumulated vsize (Kb) 45504 [startup+700.044 s] Raw data (loadavg): 1.00 1.01 0.96 1/55 10927 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 29752 0 0 0 64008 2061 0 0 25 0 1 0 22489034 46727168 9382 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11408 9382 364 364 0 11044 0 [pid=10872] vsize: 45632 Current children cumulated CPU time (s) 660.69 Current children cumulated vsize (Kb) 45632 [startup+710.045 s] Raw data (loadavg): 1.00 1.01 0.96 1/55 10927 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 29922 0 0 0 64929 2087 0 0 25 0 1 0 22489034 46727168 9430 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11408 9430 364 364 0 11044 0 [pid=10872] vsize: 45632 Current children cumulated CPU time (s) 670.16 Current children cumulated vsize (Kb) 45632 [startup+720.045 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10927 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 30217 0 0 0 65854 2110 0 0 25 0 1 0 22489034 46858240 9481 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11440 9481 364 364 0 11076 0 [pid=10872] vsize: 45760 Current children cumulated CPU time (s) 679.64 Current children cumulated vsize (Kb) 45760 [startup+730.046 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10929 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 30502 0 0 0 66769 2140 0 0 25 0 1 0 22489034 46989312 9522 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11472 9522 364 364 0 11108 0 [pid=10872] vsize: 45888 Current children cumulated CPU time (s) 689.09 Current children cumulated vsize (Kb) 45888 [startup+740.046 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10931 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 30770 0 0 0 67699 2166 0 0 25 0 1 0 22489034 46989312 9546 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11472 9546 364 364 0 11108 0 [pid=10872] vsize: 45888 Current children cumulated CPU time (s) 698.65 Current children cumulated vsize (Kb) 45888 [startup+750.047 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 30925 0 0 0 68624 2192 0 0 25 0 1 0 22489034 46989312 9579 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11472 9579 364 364 0 11108 0 [pid=10872] vsize: 45888 Current children cumulated CPU time (s) 708.16 Current children cumulated vsize (Kb) 45888 [startup+760.048 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 31213 0 0 0 69547 2220 0 0 25 0 1 0 22489034 47120384 9623 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11504 9623 364 364 0 11140 0 [pid=10872] vsize: 46016 Current children cumulated CPU time (s) 717.67 Current children cumulated vsize (Kb) 46016 [startup+770.047 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 31505 0 0 0 70471 2246 0 0 25 0 1 0 22489034 47263744 9671 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 11539 9671 364 364 0 11175 0 [pid=10872] vsize: 46156 Current children cumulated CPU time (s) 727.17 Current children cumulated vsize (Kb) 46156 [startup+780.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 31797 0 0 0 71391 2272 0 0 25 0 1 0 22489034 47263744 9719 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11539 9719 364 364 0 11175 0 [pid=10872] vsize: 46156 Current children cumulated CPU time (s) 736.63 Current children cumulated vsize (Kb) 46156 [startup+790.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 31964 0 0 0 72319 2299 0 0 25 0 1 0 22489034 47394816 9764 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11571 9764 364 364 0 11207 0 [pid=10872] vsize: 46284 Current children cumulated CPU time (s) 746.18 Current children cumulated vsize (Kb) 46284 [startup+800.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 32237 0 0 0 73243 2325 0 0 25 0 1 0 22489034 47394816 9793 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 11571 9793 364 364 0 11207 0 [pid=10872] vsize: 46284 Current children cumulated CPU time (s) 755.68 Current children cumulated vsize (Kb) 46284 [startup+810.05 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 32396 0 0 0 74165 2351 0 0 25 0 1 0 22489034 55918592 9830 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 13652 9830 364 364 0 13288 0 [pid=10872] vsize: 54608 Current children cumulated CPU time (s) 765.16 Current children cumulated vsize (Kb) 54608 [startup+820.051 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 32677 0 0 0 75085 2380 0 0 25 0 1 0 22489034 55918592 9867 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 13652 9867 364 364 0 13288 0 [pid=10872] vsize: 54608 Current children cumulated CPU time (s) 774.65 Current children cumulated vsize (Kb) 54608 [startup+830.052 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 32951 0 0 0 76007 2408 0 0 25 0 1 0 22489034 55918592 9897 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13652 9897 364 364 0 13288 0 [pid=10872] vsize: 54608 Current children cumulated CPU time (s) 784.15 Current children cumulated vsize (Kb) 54608 [startup+840.052 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 33238 0 0 0 76939 2431 0 0 25 0 1 0 22489034 56049664 9940 4294967295 134512640 135987407 3221224560 3221223424 134813115 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13684 9940 364 364 0 13320 0 [pid=10872] vsize: 54736 Current children cumulated CPU time (s) 793.7 Current children cumulated vsize (Kb) 54736 [startup+850.052 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 33413 0 0 0 77862 2456 0 0 25 0 1 0 22489034 56049664 9993 4294967295 134512640 135987407 3221224560 3221223280 134814041 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 13684 9993 364 364 0 13320 0 [pid=10872] vsize: 54736 Current children cumulated CPU time (s) 803.18 Current children cumulated vsize (Kb) 54736 [startup+860.053 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 33692 0 0 0 78791 2479 0 0 20 0 1 0 22489034 56180736 10028 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13716 10028 364 364 0 13352 0 [pid=10872] vsize: 54864 Current children cumulated CPU time (s) 812.7 Current children cumulated vsize (Kb) 54864 [startup+870.053 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 33978 0 0 0 79723 2502 0 0 25 0 1 0 22489034 56315904 10070 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13749 10070 364 364 0 13385 0 [pid=10872] vsize: 54996 Current children cumulated CPU time (s) 822.25 Current children cumulated vsize (Kb) 54996 [startup+880.054 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 34150 0 0 0 80650 2525 0 0 25 0 1 0 22489034 56315904 10120 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 13749 10120 364 364 0 13385 0 [pid=10872] vsize: 54996 Current children cumulated CPU time (s) 831.75 Current children cumulated vsize (Kb) 54996 [startup+890.055 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 34418 0 0 0 81590 2546 0 0 25 0 1 0 22489034 56446976 10144 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 13781 10144 364 364 0 13417 0 [pid=10872] vsize: 55124 Current children cumulated CPU time (s) 841.36 Current children cumulated vsize (Kb) 55124 [startup+900.055 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 34592 0 0 0 82523 2568 0 0 25 0 1 0 22489034 56446976 10196 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13781 10196 364 364 0 13417 0 [pid=10872] vsize: 55124 Current children cumulated CPU time (s) 850.91 Current children cumulated vsize (Kb) 55124 [startup+910.056 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 34880 0 0 0 83452 2591 0 0 25 0 1 0 22489034 56582144 10240 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13814 10240 364 364 0 13450 0 [pid=10872] vsize: 55256 Current children cumulated CPU time (s) 860.43 Current children cumulated vsize (Kb) 55256 [startup+920.056 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 35162 0 0 0 84388 2613 0 0 25 0 1 0 22489034 56582144 10278 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 13814 10278 364 364 0 13450 0 [pid=10872] vsize: 55256 Current children cumulated CPU time (s) 870.01 Current children cumulated vsize (Kb) 55256 [startup+930.057 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 35327 0 0 0 85321 2636 0 0 25 0 1 0 22489034 56721408 10321 4294967295 134512640 135987407 3221224560 3221223328 134812414 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13848 10321 364 364 0 13484 0 [pid=10872] vsize: 55392 Current children cumulated CPU time (s) 879.57 Current children cumulated vsize (Kb) 55392 [startup+940.058 s] Raw data (loadavg): 1.08 1.02 0.97 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 35618 0 0 0 86244 2661 0 0 25 0 1 0 22489034 56881152 10368 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 13887 10368 364 364 0 13523 0 [pid=10872] vsize: 55548 Current children cumulated CPU time (s) 889.05 Current children cumulated vsize (Kb) 55548 [startup+950.058 s] Raw data (loadavg): 1.07 1.02 0.97 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 35774 0 0 0 87180 2683 0 0 25 0 1 0 22489034 56881152 10402 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13887 10402 364 364 0 13523 0 [pid=10872] vsize: 55548 Current children cumulated CPU time (s) 898.63 Current children cumulated vsize (Kb) 55548 [startup+960.059 s] Raw data (loadavg): 1.06 1.01 0.97 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 36064 0 0 0 88114 2708 0 0 25 0 1 0 22489034 57024512 10448 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13922 10448 364 364 0 13558 0 [pid=10872] vsize: 55688 Current children cumulated CPU time (s) 908.22 Current children cumulated vsize (Kb) 55688 [startup+970.059 s] Raw data (loadavg): 1.05 1.01 0.97 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 36227 0 0 0 89043 2732 0 0 25 0 1 0 22489034 57024512 10489 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13922 10489 364 364 0 13558 0 [pid=10872] vsize: 55688 Current children cumulated CPU time (s) 917.75 Current children cumulated vsize (Kb) 55688 [startup+980.06 s] Raw data (loadavg): 1.04 1.01 0.97 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 36498 0 0 0 89976 2753 0 0 25 0 1 0 22489034 57159680 10516 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13955 10516 364 364 0 13591 0 [pid=10872] vsize: 55820 Current children cumulated CPU time (s) 927.29 Current children cumulated vsize (Kb) 55820 [startup+990.061 s] Raw data (loadavg): 1.03 1.01 0.97 1/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 36643 0 0 0 90900 2779 0 0 25 0 1 0 22489034 57159680 10539 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13955 10539 364 364 0 13591 0 [pid=10872] vsize: 55820 Current children cumulated CPU time (s) 936.79 Current children cumulated vsize (Kb) 55820 [startup+1000.06 s] Raw data (loadavg): 1.03 1.01 0.97 1/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 36913 0 0 0 91831 2803 0 0 25 0 1 0 22489034 57294848 10565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 13988 10565 364 364 0 13624 0 [pid=10872] vsize: 55952 Current children cumulated CPU time (s) 946.34 Current children cumulated vsize (Kb) 55952 [startup+1010.06 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 10933 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37067 0 0 0 92761 2826 0 0 25 0 1 0 22489034 57294848 10597 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 13988 10597 364 364 0 13624 0 [pid=10872] vsize: 55952 Current children cumulated CPU time (s) 955.87 Current children cumulated vsize (Kb) 55952 [startup+1020.06 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37226 0 0 0 93696 2850 0 0 25 0 1 0 22489034 57430016 10634 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14021 10634 364 364 0 13657 0 [pid=10872] vsize: 56084 Current children cumulated CPU time (s) 965.46 Current children cumulated vsize (Kb) 56084 [startup+1030.06 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37512 0 0 0 94635 2873 0 0 25 0 1 0 22489034 58068992 10798 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 14177 10798 364 364 0 13813 0 [pid=10872] vsize: 56708 Current children cumulated CPU time (s) 975.08 Current children cumulated vsize (Kb) 56708 [startup+1040.06 s] Raw data (loadavg): 1.01 1.01 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37673 0 0 0 95570 2895 0 0 25 0 1 0 22489034 57569280 10715 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14055 10715 364 364 0 13691 0 [pid=10872] vsize: 56220 Current children cumulated CPU time (s) 984.65 Current children cumulated vsize (Kb) 56220 [startup+1050.06 s] Raw data (loadavg): 1.01 1.01 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37823 0 0 0 96509 2918 0 0 25 0 1 0 22489034 57700352 10743 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14087 10743 364 364 0 13723 0 [pid=10872] vsize: 56348 Current children cumulated CPU time (s) 994.27 Current children cumulated vsize (Kb) 56348 [startup+1060.07 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37971 0 0 0 97437 2942 0 0 25 0 1 0 22489034 57700352 10769 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14087 10769 364 364 0 13723 0 [pid=10872] vsize: 56348 Current children cumulated CPU time (s) 1003.79 Current children cumulated vsize (Kb) 56348 [startup+1070.07 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 38128 0 0 0 98368 2964 0 0 25 0 1 0 22489034 57839616 10804 4294967295 134512640 135987407 3221224560 3221223248 134812112 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14121 10804 364 364 0 13757 0 [pid=10872] vsize: 56484 Current children cumulated CPU time (s) 1013.32 Current children cumulated vsize (Kb) 56484 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 38400 0 0 0 99308 2983 0 0 25 0 1 0 22489034 57839616 10832 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14121 10832 364 364 0 13757 0 [pid=10872] vsize: 56484 Current children cumulated CPU time (s) 1022.91 Current children cumulated vsize (Kb) 56484 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 38555 0 0 0 100247 3003 0 0 25 0 1 0 22489034 57839616 10865 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14121 10865 364 364 0 13757 0 [pid=10872] vsize: 56484 Current children cumulated CPU time (s) 1032.5 Current children cumulated vsize (Kb) 56484 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 38716 0 0 0 101181 3027 0 0 25 0 1 0 22489034 57995264 10904 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 14159 10904 364 364 0 13795 0 [pid=10872] vsize: 56636 Current children cumulated CPU time (s) 1042.08 Current children cumulated vsize (Kb) 56636 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 38875 0 0 0 102114 3053 0 0 25 0 1 0 22489034 58134528 10941 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14193 10941 364 364 0 13829 0 [pid=10872] vsize: 56772 Current children cumulated CPU time (s) 1051.67 Current children cumulated vsize (Kb) 56772 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 39024 0 0 0 103041 3078 0 0 25 0 1 0 22489034 58134528 10968 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14193 10968 364 364 0 13829 0 [pid=10872] vsize: 56772 Current children cumulated CPU time (s) 1061.19 Current children cumulated vsize (Kb) 56772 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 39306 0 0 0 103980 3099 0 0 25 0 1 0 22489034 58277888 11006 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14228 11006 364 364 0 13864 0 [pid=10872] vsize: 56912 Current children cumulated CPU time (s) 1070.79 Current children cumulated vsize (Kb) 56912 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 39470 0 0 0 104920 3120 0 0 25 0 1 0 22489034 58429440 11048 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 14265 11048 364 364 0 13901 0 [pid=10872] vsize: 57060 Current children cumulated CPU time (s) 1080.4 Current children cumulated vsize (Kb) 57060 [startup+1150.07 s] Raw data (loadavg): 1.07 1.02 0.97 1/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 39624 0 0 0 105854 3145 0 0 25 0 1 0 22489034 58429440 11080 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14265 11080 364 364 0 13901 0 [pid=10872] vsize: 57060 Current children cumulated CPU time (s) 1089.99 Current children cumulated vsize (Kb) 57060 [startup+1160.07 s] Raw data (loadavg): 1.06 1.02 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 39774 0 0 0 106783 3169 0 0 25 0 1 0 22489034 58429440 11108 4294967295 134512640 135987407 3221224560 3221223376 134816513 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 14265 11108 364 364 0 13901 0 [pid=10872] vsize: 57060 Current children cumulated CPU time (s) 1099.52 Current children cumulated vsize (Kb) 57060 [startup+1170.07 s] Raw data (loadavg): 1.05 1.01 0.97 1/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 40052 0 0 0 107723 3188 0 0 25 0 1 0 22489034 58560512 11142 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10872/statm): 14297 11142 364 364 0 13933 0 [pid=10872] vsize: 57188 Current children cumulated CPU time (s) 1109.11 Current children cumulated vsize (Kb) 57188 [startup+1180.07 s] Raw data (loadavg): 1.04 1.01 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40197 0 0 0 108651 3211 0 0 25 0 1 0 22489034 58560512 11165 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14297 11165 364 364 0 13933 0 [pid=10872] vsize: 57188 Current children cumulated CPU time (s) 1118.62 Current children cumulated vsize (Kb) 57188 [startup+1190.07 s] Raw data (loadavg): 1.04 1.01 0.97 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40367 0 0 0 109588 3233 0 0 25 0 1 0 22489034 58695680 11213 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14330 11213 364 364 0 13966 0 [pid=10872] vsize: 57320 Current children cumulated CPU time (s) 1128.21 Current children cumulated vsize (Kb) 57320 [startup+1200.07 s] Raw data (loadavg): 1.10 1.03 0.98 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40496 0 0 0 110519 3258 0 0 25 0 1 0 22489034 58695680 11220 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10872/statm): 14330 11220 364 364 0 13966 0 [pid=10872] vsize: 57320 Current children cumulated CPU time (s) 1137.77 Current children cumulated vsize (Kb) 57320 [startup+1210.08 s] Raw data (loadavg): 1.09 1.03 0.98 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40760 0 0 0 111457 3277 0 0 25 0 1 0 22489034 58830848 11240 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14363 11240 364 364 0 13999 0 [pid=10872] vsize: 57452 Current children cumulated CPU time (s) 1147.34 Current children cumulated vsize (Kb) 57452 [startup+1220.08 s] Raw data (loadavg): 1.15 1.04 0.98 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40906 0 0 0 112397 3297 0 0 25 0 1 0 22489034 58830848 11264 4294967295 134512640 135987407 3221224560 3221223368 135477852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14363 11264 364 364 0 13999 0 [pid=10872] vsize: 57452 Current children cumulated CPU time (s) 1156.94 Current children cumulated vsize (Kb) 57452 [startup+1230.08 s] Raw data (loadavg): 1.13 1.04 0.98 1/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 41055 0 0 0 113328 3321 0 0 25 0 1 0 22489034 58830848 11291 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14363 11291 364 364 0 13999 0 [pid=10872] vsize: 57452 Current children cumulated CPU time (s) 1166.49 Current children cumulated vsize (Kb) 57452 [startup+1240.08 s] Raw data (loadavg): 1.11 1.04 0.98 1/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 41212 0 0 0 114257 3348 0 0 25 0 1 0 22489034 58970112 11326 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14397 11326 364 364 0 14033 0 [pid=10872] vsize: 57588 Current children cumulated CPU time (s) 1176.05 Current children cumulated vsize (Kb) 57588 [startup+1250.08 s] Raw data (loadavg): 1.09 1.04 0.98 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 41363 0 0 0 115189 3371 0 0 25 0 1 0 22489034 58970112 11355 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14397 11355 364 364 0 14033 0 [pid=10872] vsize: 57588 Current children cumulated CPU time (s) 1185.6 Current children cumulated vsize (Kb) 57588 [startup+1260.08 s] Raw data (loadavg): 1.08 1.03 0.98 2/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 41517 0 0 0 116116 3399 0 0 25 0 1 0 22489034 58970112 11387 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14397 11387 364 364 0 14033 0 [pid=10872] vsize: 57588 Current children cumulated CPU time (s) 1195.15 Current children cumulated vsize (Kb) 57588 [startup+1270.08 s] Raw data (loadavg): 1.06 1.03 0.98 1/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 41778 0 0 0 117053 3421 0 0 25 0 1 0 22489034 59105280 11404 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14430 11404 364 364 0 14066 0 [pid=10872] vsize: 57720 Current children cumulated CPU time (s) 1204.74 Current children cumulated vsize (Kb) 57720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1270.08 s] Raw data (loadavg): 1.06 1.03 0.98 1/55 10935 Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 41778 0 0 0 117053 3421 0 0 25 0 1 0 22489034 59105280 11404 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10872/statm): 14430 11404 364 364 0 14066 0 [pid=10872] vsize: 57720 Current children cumulated CPU time (s) 1204.74 Current children cumulated vsize (Kb) 57720 Sending SIGTERM to -10872 Sleeping 2 seconds One traced child (pid=10872) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1270.21 CPU time (s): 1204.88 CPU user time (s): 1170.64 CPU system time (s): 34.2368 CPU usage (%): 94.8566 Max. virtual memory (cumulated for all children) (Kb): 57720
ERROR: no interpretation found !