Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb |
MD5SUM | 3d8e7805538589672f96799acf97ae3f |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10237643 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1558042522197 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1558042522197 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1226.32 |
Number of variables | 7936 |
Total number of constraints | 288 |
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 | 288 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 480 |
LAUNCH ON wulflinc15 THE 2005-09-23 17:17:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8904 boxname=wulflinc15 idbench=700 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3d8e7805538589672f96799acf97ae3f /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-ran16x16.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-ran16x16.opb IDLAUNCH: 8904 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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.045 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 896624 kB Buffers: 4264 kB Cached: 113580 kB SwapCached: 0 kB Active: 18576 kB Inactive: 102192 kB HighTotal: 131008 kB HighFree: 81452 kB LowTotal: 903652 kB LowFree: 815172 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 11620 kB Committed_AS: 63632 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:38:50 (client local time) WITH STATUS 0 IN 1203.91 SECONDS stats: 8904 7 1203.91 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 27578/265268 Time: 31.8122/86400 c Decision: 27578/265268 Time: 43.4434/86400 c Decision: 27578/265268 Time: 51.8061/86400 c Decision: 27578/265268 Time: 61.2507/86400 c Decision: 27578/265268 Time: 67.5167/86400 c Decision: 27578/265268 Time: 74.3457/86400 c Decision: 27578/265268 Time: 83.2843/86400 c Decision: 27578/265268 Time: 87.9466/86400 c Decision: 27578/265268 Time: 96.6923/86400 c Decision: 27578/265268 Time: 102.889/86400 c Decision: 27578/265268 Time: 112.011/86400 c Decision: 27578/265268 Time: 120.769/86400 c Decision: 27578/265268 Time: 127.863/86400 c Decision: 27578/265268 Time: 135.459/86400 c Decision: 27578/265268 Time: 142.962/86400 c Decision: 27578/265268 Time: 152.393/86400 c Decision: 27578/265268 Time: 160.498/86400 c Decision: 27578/265268 Time: 168.172/86400 c Decision: 27578/265268 Time: 176.015/86400 c Decision: 27578/265268 Time: 183.856/86400 c Decision: 27578/265268 Time: 193.152/86400 c Decision: 27578/265268 Time: 201.763/86400 c Decision: 27578/265268 Time: 209.59/86400 c Decision: 27578/265268 Time: 216.837/86400 c Decision: 27578/265268 Time: 223.792/86400 c Decision: 27578/265268 Time: 232.631/86400 c Decision: 27578/265268 Time: 241.223/86400 c Decision: 27578/265268 Time: 249.176/86400 c Decision: 27578/265268 Time: 257.839/86400 c Decision: 27578/265268 Time: 265.021/86400 c Decision: 27578/265268 Time: 273.148/86400 c Decision: 27578/265268 Time: 281.108/86400 c Decision: 27578/265268 Time: 289.51/86400 c Decision: 27578/265268 Time: 297.492/86400 c Decision: 27578/265268 Time: 306.633/86400 c Decision: 27578/265268 Time: 315.291/86400 c Decision: 27578/265268 Time: 323.416/86400 c Decision: 27578/265268 Time: 329.754/86400 c Decision: 27578/265268 Time: 336.447/86400 c Decision: 27578/265268 Time: 343.639/86400 c Decision: 27578/265268 Time: 351.01/86400 c Decision: 27578/265268 Time: 357.943/86400 c Decision: 27578/265268 Time: 364.514/86400 c Decision: 27578/265268 Time: 373.56/86400 c Decision: 27578/265268 Time: 381.802/86400 c Decision: 27578/265268 Time: 389.845/86400 c Decision: 27578/265268 Time: 396.596/86400 c Decision: 27578/265268 Time: 404.02/86400 c Decision: 27578/265268 Time: 411.418/86400 c Decision: 27578/265268 Time: 419.021/86400 c Decision: 27578/265268 Time: 427.551/86400 c Decision: 27578/265268 Time: 434.892/86400 c Decision: 27578/265268 Time: 442.936/86400 c Decision: 27578/265268 Time: 450.015/86400 c Decision: 27578/265268 Time: 457.249/86400 c Decision: 27578/265268 Time: 467.003/86400 c Decision: 27578/265268 Time: 474.333/86400 c Decision: 27578/265268 Time: 481.891/86400 c Decision: 27578/265268 Time: 489.426/86400 c Decision: 27578/265268 Time: 497.105/86400 c Decision: 27578/265268 Time: 505.336/86400 c Decision: 27578/265268 Time: 512.515/86400 c Decision: 27578/265268 Time: 519.662/86400 c Decision: 27578/265268 Time: 526.93/86400 c Decision: 27578/265268 Time: 535.374/86400 c Decision: 27578/265268 Time: 544.998/86400 c Decision: 27578/265268 Time: 553.169/86400 c Decision: 27578/265268 Time: 561.591/86400 c Decision: 27578/265268 Time: 570.38/86400 c Decision: 27578/265268 Time: 578.424/86400 c Decision: 27578/265268 Time: 587.054/86400 c Decision: 27578/265268 Time: 595.489/86400 c Decision: 27578/265268 Time: 603.451/86400 c Decision: 27578/265268 Time: 610.806/86400 c Decision: 27578/265268 Time: 617.876/86400 c Decision: 27578/265268 Time: 626.157/86400 c Decision: 27578/265268 Time: 633.45/86400 c Decision: 27578/265268 Time: 640.224/86400 c Decision: 27578/265268 Time: 647.877/86400 c Decision: 27578/265268 Time: 655.501/86400 c Decision: 27578/265268 Time: 664.971/86400 c Decision: 27578/265268 Time: 672.772/86400 c Decision: 27578/265268 Time: 679.52/86400 c Decision: 27578/265268 Time: 685.563/86400 c Decision: 27578/265268 Time: 690.573/86400 c Decision: 27578/265268 Time: 699.409/86400 c Decision: 27578/265268 Time: 708.629/86400 c Decision: 27578/265268 Time: 716.91/86400 c Decision: 27578/265268 Time: 723.402/86400 c Decision: 27578/265268 Time: 730.941/86400 c Decision: 27578/265268 Time: 739.453/86400 c Decision: 27578/265268 Time: 745.686/86400 c Decision: 27578/265268 Time: 753.274/86400 c Decision: 27578/265268 Time: 760.255/86400 c Decision: 27578/265268 Time: 767.555/86400 c Decision: 27578/265268 Time: 776.589/86400 c Decision: 27578/265268 Time: 784.618/86400 c Decision: 27578/265268 Time: 791.912/86400 c Decision: 27578/265268 Time: 800.459/86400 c Decision: 27578/265268 Time: 807.964/86400 c Decision: 27578/265268 Time: 816.024/86400 c Decision: 27578/265268 Time: 823.082/86400 c Decision: 27578/265268 Time: 830.913/86400 c Decision: 27578/265268 Time: 838.676/86400 c Decision: 27578/265268 Time: 846.645/86400 c Decision: 27578/265268 Time: 855.214/86400 c Decision: 27578/265268 Time: 862.322/86400 c Decision: 27578/265268 Time: 870.823/86400 c Decision: 27578/265268 Time: 879.666/86400 c Decision: 27578/265268 Time: 887.7/86400 c Decision: 27578/265268 Time: 897.277/86400 c Decision: 27578/265268 Time: 905.429/86400 c Decision: 27578/265268 Time: 913.785/86400 c Decision: 27578/265268 Time: 921.292/86400 c Decision: 27578/265268 Time: 928.813/86400 c Decision: 27578/265268 Time: 937.357/86400 c Decision: 27578/265268 Time: 945.283/86400 c Decision: 27578/265268 Time: 951.006/86400 c Decision: 27578/265268 Time: 958.883/86400 c Decision: 27578/265268 Time: 965.949/86400 c Decision: 27578/265268 Time: 973.976/86400 c Decision: 27578/265268 Time: 982.467/86400 c Decision: 27578/265268 Time: 990.3/86400 c Decision: 27578/265268 Time: 998.714/86400 c Decision: 27578/265268 Time: 1006.35/86400 c Decision: 27578/265268 Time: 1015.27/86400 c Decision: 27578/265268 Time: 1022.61/86400 c Decision: 27578/265268 Time: 1030.37/86400 c Decision: 27578/265268 Time: 1037.53/86400 c Decision: 27578/265268 Time: 1045.14/86400 c Decision: 27578/265268 Time: 1053.67/86400 c Decision: 27578/265268 Time: 1061.92/86400 c Decision: 27578/265268 Time: 1070.52/86400 c Decision: 27578/265268 Time: 1079.38/86400 c Decision: 27578/265268 Time: 1087.35/86400 c Decision: 27578/265268 Time: 1096.71/86400 c Decision: 27578/265268 Time: 1104.75/86400 c Decision: 27578/265268 Time: 1112.81/86400 c Decision: 27578/265268 Time: 1121.14/86400 c Decision: 27578/265268 Time: 1128.69/86400 c Decision: 27578/265268 Time: 1138.74/86400 c Decision: 27578/265268 Time: 1147.14/86400 c Decision: 27578/265268 Time: 1155.81/86400 c Decision: 27578/265268 Time: 1163.57/86400 c Decision: 27578/265268 Time: 1172.42/86400 c Decision: 27578/265268 Time: 1181.1/86400 c Decision: 27578/265268 Time: 1189.39/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/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 21923043 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 373 2 364 364 0 9 0 [pid=8002] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-ran16x16.opb [startup+10.0022 s] Raw data (loadavg): 0.87 0.96 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 27124 0 0 0 928 69 0 0 25 0 1 0 21923043 80412672 15979 4294967295 134512640 135987407 3221224560 3221122208 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 19632 15979 364 364 0 19268 0 [pid=8002] vsize: 78528 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 78528 [startup+20.003 s] Raw data (loadavg): 0.89 0.96 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 39824 0 0 0 1869 108 0 0 25 0 1 0 21923043 119590912 23250 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 29197 23250 364 364 0 28833 0 [pid=8002] vsize: 116788 Current children cumulated CPU time (s) 19.77 Current children cumulated vsize (Kb) 116788 [startup+30.0038 s] Raw data (loadavg): 0.90 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 40012 0 0 0 2839 119 0 0 25 0 1 0 21923043 120037376 23438 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 29306 23438 364 364 0 28942 0 [pid=8002] vsize: 117224 Current children cumulated CPU time (s) 29.58 Current children cumulated vsize (Kb) 117224 [startup+40.0047 s] Raw data (loadavg): 0.92 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 40181 0 0 0 3815 128 0 0 25 0 1 0 21923043 120348672 23607 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 29382 23607 364 364 0 29018 0 [pid=8002] vsize: 117528 Current children cumulated CPU time (s) 39.43 Current children cumulated vsize (Kb) 117528 [startup+50.0054 s] Raw data (loadavg): 0.93 0.97 0.98 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 41309 0 0 0 4757 150 0 0 25 0 1 0 21923043 122798080 24216 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 29980 24216 364 364 0 29616 0 [pid=8002] vsize: 119920 Current children cumulated CPU time (s) 49.07 Current children cumulated vsize (Kb) 119920 [startup+60.0063 s] Raw data (loadavg): 0.94 0.97 0.98 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 42740 0 0 0 5698 175 0 0 25 0 1 0 21923043 127062016 25128 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 31021 25128 364 364 0 30657 0 [pid=8002] vsize: 124084 Current children cumulated CPU time (s) 58.73 Current children cumulated vsize (Kb) 124084 [startup+70.0061 s] Raw data (loadavg): 0.95 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 43135 0 0 0 6640 195 0 0 25 0 1 0 21923043 128708608 25523 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 31423 25523 364 364 0 31059 0 [pid=8002] vsize: 125692 Current children cumulated CPU time (s) 68.35 Current children cumulated vsize (Kb) 125692 [startup+80.0069 s] Raw data (loadavg): 0.96 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 43912 0 0 0 7592 213 0 0 25 0 1 0 21923043 129765376 25781 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 31681 25781 364 364 0 31317 0 [pid=8002] vsize: 126724 Current children cumulated CPU time (s) 78.05 Current children cumulated vsize (Kb) 126724 [startup+90.0078 s] Raw data (loadavg): 0.96 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 45071 0 0 0 8551 227 0 0 18 0 1 0 21923043 130244608 25902 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 31798 25902 364 364 0 31434 0 [pid=8002] vsize: 127192 Current children cumulated CPU time (s) 87.78 Current children cumulated vsize (Kb) 127192 [startup+100.008 s] Raw data (loadavg): 0.97 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 45719 0 0 0 9492 248 0 0 25 0 1 0 21923043 130850816 26031 4294967295 134512640 135987407 3221224560 3221223136 134801612 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 31946 26031 364 364 0 31582 0 [pid=8002] vsize: 127784 Current children cumulated CPU time (s) 97.4 Current children cumulated vsize (Kb) 127784 [startup+110.008 s] Raw data (loadavg): 0.97 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 45770 0 0 0 10436 267 0 0 25 0 1 0 21923043 131194880 26082 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32030 26082 364 364 0 31666 0 [pid=8002] vsize: 128120 Current children cumulated CPU time (s) 107.03 Current children cumulated vsize (Kb) 128120 [startup+120.009 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 46882 0 0 0 11391 284 0 0 25 0 1 0 21923043 131522560 26156 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32110 26156 364 364 0 31746 0 [pid=8002] vsize: 128440 Current children cumulated CPU time (s) 116.75 Current children cumulated vsize (Kb) 128440 [startup+130.01 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 47489 0 0 0 12330 304 0 0 19 0 1 0 21923043 131883008 26244 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32198 26244 364 364 0 31834 0 [pid=8002] vsize: 128792 Current children cumulated CPU time (s) 126.34 Current children cumulated vsize (Kb) 128792 [startup+140.01 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 48020 0 0 0 13262 326 0 0 25 0 1 0 21923043 132046848 26256 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32238 26256 364 364 0 31874 0 [pid=8002] vsize: 128952 Current children cumulated CPU time (s) 135.88 Current children cumulated vsize (Kb) 128952 [startup+150.011 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 48585 0 0 0 14188 353 0 0 25 0 1 0 21923043 132210688 26302 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 32278 26302 364 364 0 31914 0 [pid=8002] vsize: 129112 Current children cumulated CPU time (s) 145.41 Current children cumulated vsize (Kb) 129112 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 49490 0 0 0 15120 375 0 0 25 0 1 0 21923043 134668288 26688 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32878 26688 364 364 0 32514 0 [pid=8002] vsize: 131512 Current children cumulated CPU time (s) 154.95 Current children cumulated vsize (Kb) 131512 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 50337 0 0 0 16054 398 0 0 25 0 1 0 21923043 133132288 26497 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32503 26497 364 364 0 32139 0 [pid=8002] vsize: 130012 Current children cumulated CPU time (s) 164.52 Current children cumulated vsize (Kb) 130012 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.98 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 50933 0 0 0 16980 421 0 0 22 0 1 0 21923043 133525504 26574 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 32599 26574 364 364 0 32235 0 [pid=8002] vsize: 130396 Current children cumulated CPU time (s) 174.01 Current children cumulated vsize (Kb) 130396 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 51457 0 0 0 17903 449 0 0 25 0 1 0 21923043 133525504 26579 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32599 26579 364 364 0 32235 0 [pid=8002] vsize: 130396 Current children cumulated CPU time (s) 183.52 Current children cumulated vsize (Kb) 130396 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 51994 0 0 0 18821 479 0 0 25 0 1 0 21923043 133525504 26597 4294967295 134512640 135987407 3221224560 3221223408 134790016 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32599 26597 364 364 0 32235 0 [pid=8002] vsize: 130396 Current children cumulated CPU time (s) 193 Current children cumulated vsize (Kb) 130396 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 52639 0 0 0 19744 507 0 0 25 0 1 0 21923043 134115328 26723 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32743 26723 364 364 0 32379 0 [pid=8002] vsize: 130972 Current children cumulated CPU time (s) 202.51 Current children cumulated vsize (Kb) 130972 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 53168 0 0 0 20668 535 0 0 25 0 1 0 21923043 134279168 26733 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32783 26733 364 364 0 32419 0 [pid=8002] vsize: 131132 Current children cumulated CPU time (s) 212.03 Current children cumulated vsize (Kb) 131132 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 53713 0 0 0 21584 565 0 0 25 0 1 0 21923043 134279168 26759 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32783 26759 364 364 0 32419 0 [pid=8002] vsize: 131132 Current children cumulated CPU time (s) 221.49 Current children cumulated vsize (Kb) 131132 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 54773 0 0 0 22503 593 0 0 25 0 1 0 21923043 134443008 26781 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 32823 26781 364 364 0 32459 0 [pid=8002] vsize: 131292 Current children cumulated CPU time (s) 230.96 Current children cumulated vsize (Kb) 131292 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.98 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 55387 0 0 0 23418 626 0 0 25 0 1 0 21923043 134836224 26876 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32919 26876 364 364 0 32555 0 [pid=8002] vsize: 131676 Current children cumulated CPU time (s) 240.44 Current children cumulated vsize (Kb) 131676 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 55976 0 0 0 24347 650 0 0 25 0 1 0 21923043 135032832 26946 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 32967 26946 364 364 0 32603 0 [pid=8002] vsize: 131868 Current children cumulated CPU time (s) 249.97 Current children cumulated vsize (Kb) 131868 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.98 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 56574 0 0 0 25261 678 0 0 25 0 1 0 21923043 135426048 27025 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33063 27025 364 364 0 32699 0 [pid=8002] vsize: 132252 Current children cumulated CPU time (s) 259.39 Current children cumulated vsize (Kb) 132252 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 57221 0 0 0 26187 704 0 0 25 0 1 0 21923043 136015872 27153 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33207 27153 364 364 0 32843 0 [pid=8002] vsize: 132828 Current children cumulated CPU time (s) 268.91 Current children cumulated vsize (Kb) 132828 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 58288 0 0 0 27118 728 0 0 25 0 1 0 21923043 136212480 27182 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33255 27182 364 364 0 32891 0 [pid=8002] vsize: 133020 Current children cumulated CPU time (s) 278.46 Current children cumulated vsize (Kb) 133020 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 58818 0 0 0 28048 754 0 0 17 0 1 0 21923043 136212480 27193 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33255 27193 364 364 0 32891 0 [pid=8002] vsize: 133020 Current children cumulated CPU time (s) 288.02 Current children cumulated vsize (Kb) 133020 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 59360 0 0 0 28961 784 0 0 21 0 1 0 21923043 136212480 27216 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33255 27216 364 364 0 32891 0 [pid=8002] vsize: 133020 Current children cumulated CPU time (s) 297.45 Current children cumulated vsize (Kb) 133020 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.98 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 59956 0 0 0 29876 815 0 0 17 0 1 0 21923043 136544256 27293 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33336 27293 364 364 0 32972 0 [pid=8002] vsize: 133344 Current children cumulated CPU time (s) 306.91 Current children cumulated vsize (Kb) 133344 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 60685 0 0 0 30797 842 0 0 25 0 1 0 21923043 137527296 27503 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33576 27503 364 364 0 33212 0 [pid=8002] vsize: 134304 Current children cumulated CPU time (s) 316.39 Current children cumulated vsize (Kb) 134304 [startup+340.02 s] Raw data (loadavg): 1.07 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 61231 0 0 0 31715 868 0 0 25 0 1 0 21923043 137527296 27530 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33576 27530 364 364 0 33212 0 [pid=8002] vsize: 134304 Current children cumulated CPU time (s) 325.83 Current children cumulated vsize (Kb) 134304 [startup+350.02 s] Raw data (loadavg): 1.06 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 61755 0 0 0 32641 892 0 0 25 0 1 0 21923043 137527296 27535 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33576 27535 364 364 0 33212 0 [pid=8002] vsize: 134304 Current children cumulated CPU time (s) 335.33 Current children cumulated vsize (Kb) 134304 [startup+360.021 s] Raw data (loadavg): 1.05 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 62843 0 0 0 33570 916 0 0 25 0 1 0 21923043 137723904 27585 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33624 27585 364 364 0 33260 0 [pid=8002] vsize: 134496 Current children cumulated CPU time (s) 344.86 Current children cumulated vsize (Kb) 134496 [startup+370.021 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 63397 0 0 0 34493 944 0 0 23 0 1 0 21923043 137920512 27620 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33672 27620 364 364 0 33308 0 [pid=8002] vsize: 134688 Current children cumulated CPU time (s) 354.37 Current children cumulated vsize (Kb) 134688 [startup+380.022 s] Raw data (loadavg): 1.04 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 64450 0 0 0 35426 967 0 0 25 0 1 0 21923043 137920512 27635 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33672 27635 364 364 0 33308 0 [pid=8002] vsize: 134688 Current children cumulated CPU time (s) 363.93 Current children cumulated vsize (Kb) 134688 [startup+390.023 s] Raw data (loadavg): 1.03 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 64998 0 0 0 36351 993 0 0 25 0 1 0 21923043 137920512 27664 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33672 27664 364 364 0 33308 0 [pid=8002] vsize: 134688 Current children cumulated CPU time (s) 373.44 Current children cumulated vsize (Kb) 134688 [startup+400.024 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 65633 0 0 0 37276 1018 0 0 24 0 1 0 21923043 138510336 27780 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33816 27780 364 364 0 33452 0 [pid=8002] vsize: 135264 Current children cumulated CPU time (s) 382.94 Current children cumulated vsize (Kb) 135264 [startup+410.025 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 66188 0 0 0 38187 1051 0 0 18 0 1 0 21923043 138706944 27816 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33864 27816 364 364 0 33500 0 [pid=8002] vsize: 135456 Current children cumulated CPU time (s) 392.38 Current children cumulated vsize (Kb) 135456 [startup+420.025 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 67279 0 0 0 39121 1075 0 0 25 0 1 0 21923043 138903552 27869 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33912 27869 364 364 0 33548 0 [pid=8002] vsize: 135648 Current children cumulated CPU time (s) 401.96 Current children cumulated vsize (Kb) 135648 [startup+430.026 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 67809 0 0 0 40040 1102 0 0 20 0 1 0 21923043 138903552 27880 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33912 27880 364 364 0 33548 0 [pid=8002] vsize: 135648 Current children cumulated CPU time (s) 411.42 Current children cumulated vsize (Kb) 135648 [startup+440.026 s] Raw data (loadavg): 1.01 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 68359 0 0 0 40954 1134 0 0 22 0 1 0 21923043 138903552 27911 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33912 27911 364 364 0 33548 0 [pid=8002] vsize: 135648 Current children cumulated CPU time (s) 420.88 Current children cumulated vsize (Kb) 135648 [startup+450.025 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 68910 0 0 0 41870 1162 0 0 25 0 1 0 21923043 138903552 27943 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33912 27943 364 364 0 33548 0 [pid=8002] vsize: 135648 Current children cumulated CPU time (s) 430.32 Current children cumulated vsize (Kb) 135648 [startup+460.026 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 69971 0 0 0 42802 1184 0 0 25 0 1 0 21923043 139100160 27966 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33960 27966 364 364 0 33596 0 [pid=8002] vsize: 135840 Current children cumulated CPU time (s) 439.86 Current children cumulated vsize (Kb) 135840 [startup+470.027 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 70500 0 0 0 43737 1207 0 0 25 0 1 0 21923043 139100160 27976 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33960 27976 364 364 0 33596 0 [pid=8002] vsize: 135840 Current children cumulated CPU time (s) 449.44 Current children cumulated vsize (Kb) 135840 [startup+480.028 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 71033 0 0 0 44669 1229 0 0 25 0 1 0 21923043 139100160 27990 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33960 27990 364 364 0 33596 0 [pid=8002] vsize: 135840 Current children cumulated CPU time (s) 458.98 Current children cumulated vsize (Kb) 135840 [startup+490.028 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 71576 0 0 0 45593 1254 0 0 24 0 1 0 21923043 139100160 28014 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33960 28014 364 364 0 33596 0 [pid=8002] vsize: 135840 Current children cumulated CPU time (s) 468.47 Current children cumulated vsize (Kb) 135840 [startup+500.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 72132 0 0 0 46520 1280 0 0 25 0 1 0 21923043 139100160 28051 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 33960 28051 364 364 0 33596 0 [pid=8002] vsize: 135840 Current children cumulated CPU time (s) 478 Current children cumulated vsize (Kb) 135840 [startup+510.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 73177 0 0 0 47455 1304 0 0 25 0 1 0 21923043 139100160 28058 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 33960 28058 364 364 0 33596 0 [pid=8002] vsize: 135840 Current children cumulated CPU time (s) 487.59 Current children cumulated vsize (Kb) 135840 [startup+520.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 73719 0 0 0 48372 1332 0 0 25 0 1 0 21923043 139296768 28081 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34008 28081 364 364 0 33644 0 [pid=8002] vsize: 136032 Current children cumulated CPU time (s) 497.04 Current children cumulated vsize (Kb) 136032 [startup+530.03 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 74291 0 0 0 49290 1358 0 0 24 0 1 0 21923043 139493376 28134 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34056 28134 364 364 0 33692 0 [pid=8002] vsize: 136224 Current children cumulated CPU time (s) 506.48 Current children cumulated vsize (Kb) 136224 [startup+540.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 74840 0 0 0 50221 1383 0 0 25 0 1 0 21923043 139493376 28164 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34056 28164 364 364 0 33692 0 [pid=8002] vsize: 136224 Current children cumulated CPU time (s) 516.04 Current children cumulated vsize (Kb) 136224 [startup+550.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 75888 0 0 0 51148 1408 0 0 17 0 1 0 21923043 139493376 28174 4294967295 134512640 135987407 3221224560 3221223168 135293405 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34056 28174 364 364 0 33692 0 [pid=8002] vsize: 136224 Current children cumulated CPU time (s) 525.56 Current children cumulated vsize (Kb) 136224 [startup+560.031 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 76421 0 0 0 52064 1438 0 0 25 0 1 0 21923043 139493376 28188 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34056 28188 364 364 0 33692 0 [pid=8002] vsize: 136224 Current children cumulated CPU time (s) 535.02 Current children cumulated vsize (Kb) 136224 [startup+570.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 76954 0 0 0 52990 1463 0 0 25 0 1 0 21923043 139493376 28202 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34056 28202 364 364 0 33692 0 [pid=8002] vsize: 136224 Current children cumulated CPU time (s) 544.53 Current children cumulated vsize (Kb) 136224 [startup+580.033 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 77529 0 0 0 53910 1491 0 0 25 0 1 0 21923043 139776000 28258 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34125 28258 364 364 0 33761 0 [pid=8002] vsize: 136500 Current children cumulated CPU time (s) 554.01 Current children cumulated vsize (Kb) 136500 [startup+590.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 78088 0 0 0 54840 1515 0 0 22 0 1 0 21923043 139939840 28298 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34165 28298 364 364 0 33801 0 [pid=8002] vsize: 136660 Current children cumulated CPU time (s) 563.55 Current children cumulated vsize (Kb) 136660 [startup+600.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 78681 0 0 0 55773 1538 0 0 17 0 1 0 21923043 140271616 28372 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34246 28372 364 364 0 33882 0 [pid=8002] vsize: 136984 Current children cumulated CPU time (s) 573.11 Current children cumulated vsize (Kb) 136984 [startup+610.034 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 79742 0 0 0 56701 1564 0 0 25 0 1 0 21923043 142397440 28914 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34765 28914 364 364 0 34401 0 [pid=8002] vsize: 139060 Current children cumulated CPU time (s) 582.65 Current children cumulated vsize (Kb) 139060 [startup+620.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 80275 0 0 0 57626 1588 0 0 25 0 1 0 21923043 140271616 28409 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34246 28409 364 364 0 33882 0 [pid=8002] vsize: 136984 Current children cumulated CPU time (s) 592.14 Current children cumulated vsize (Kb) 136984 [startup+630.035 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 80803 0 0 0 58553 1614 0 0 25 0 1 0 21923043 140271616 28418 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34246 28418 364 364 0 33882 0 [pid=8002] vsize: 136984 Current children cumulated CPU time (s) 601.67 Current children cumulated vsize (Kb) 136984 [startup+640.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 81409 0 0 0 59476 1643 0 0 25 0 1 0 21923043 140664832 28505 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34342 28505 364 364 0 33978 0 [pid=8002] vsize: 137368 Current children cumulated CPU time (s) 611.19 Current children cumulated vsize (Kb) 137368 [startup+650.036 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 81974 0 0 0 60406 1669 0 0 25 0 1 0 21923043 140861440 28551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34390 28551 364 364 0 34026 0 [pid=8002] vsize: 137560 Current children cumulated CPU time (s) 620.75 Current children cumulated vsize (Kb) 137560 [startup+660.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 83102 0 0 0 61337 1693 0 0 25 0 1 0 21923043 143380480 29160 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 35005 29160 364 364 0 34641 0 [pid=8002] vsize: 140020 Current children cumulated CPU time (s) 630.3 Current children cumulated vsize (Kb) 140020 [startup+670.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 83633 0 0 0 62266 1717 0 0 25 0 1 0 21923043 141254656 28653 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34486 28653 364 364 0 34122 0 [pid=8002] vsize: 137944 Current children cumulated CPU time (s) 639.83 Current children cumulated vsize (Kb) 137944 [startup+680.037 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 84157 0 0 0 63182 1744 0 0 25 0 1 0 21923043 141254656 28658 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34486 28658 364 364 0 34122 0 [pid=8002] vsize: 137944 Current children cumulated CPU time (s) 649.26 Current children cumulated vsize (Kb) 137944 [startup+690.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 84682 0 0 0 64113 1769 0 0 19 0 1 0 21923043 141254656 28664 4294967295 134512640 135987407 3221224560 3221223364 135368735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34486 28664 364 364 0 34122 0 [pid=8002] vsize: 137944 Current children cumulated CPU time (s) 658.82 Current children cumulated vsize (Kb) 137944 [startup+700.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 85770 0 0 0 65057 1788 0 0 25 0 1 0 21923043 141451264 28714 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34534 28714 364 364 0 34170 0 [pid=8002] vsize: 138136 Current children cumulated CPU time (s) 668.45 Current children cumulated vsize (Kb) 138136 [startup+710.039 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 86304 0 0 0 65998 1812 0 0 25 0 1 0 21923043 141451264 28729 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34534 28729 364 364 0 34170 0 [pid=8002] vsize: 138136 Current children cumulated CPU time (s) 678.1 Current children cumulated vsize (Kb) 138136 [startup+720.039 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 86851 0 0 0 66927 1837 0 0 21 0 1 0 21923043 141451264 28757 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34534 28757 364 364 0 34170 0 [pid=8002] vsize: 138136 Current children cumulated CPU time (s) 687.64 Current children cumulated vsize (Kb) 138136 [startup+730.039 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 87405 0 0 0 67870 1860 0 0 25 0 1 0 21923043 141582336 28792 4294967295 134512640 135987407 3221224560 3221223280 134814275 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34566 28792 364 364 0 34202 0 [pid=8002] vsize: 138264 Current children cumulated CPU time (s) 697.3 Current children cumulated vsize (Kb) 138264 [startup+740.04 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 88479 0 0 0 68813 1881 0 0 25 0 1 0 21923043 141582336 28828 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 34566 28828 364 364 0 34202 0 [pid=8002] vsize: 138264 Current children cumulated CPU time (s) 706.94 Current children cumulated vsize (Kb) 138264 [startup+750.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 89037 0 0 0 69746 1903 0 0 25 0 1 0 21923043 141737984 28867 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 34604 28867 364 364 0 34240 0 [pid=8002] vsize: 138416 Current children cumulated CPU time (s) 716.49 Current children cumulated vsize (Kb) 138416 [startup+760.041 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 95762 0 0 0 70649 1946 0 0 25 0 1 0 21923043 167100416 28928 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 40796 28928 364 364 0 40432 0 [pid=8002] vsize: 163184 Current children cumulated CPU time (s) 725.95 Current children cumulated vsize (Kb) 163184 [startup+770.041 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 96814 0 0 0 71579 1972 0 0 25 0 1 0 21923043 169226240 29461 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41315 29461 364 364 0 40951 0 [pid=8002] vsize: 165260 Current children cumulated CPU time (s) 735.51 Current children cumulated vsize (Kb) 165260 [startup+780.042 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 97366 0 0 0 72508 1995 0 0 25 0 1 0 21923043 167297024 28975 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 40844 28975 364 364 0 40480 0 [pid=8002] vsize: 163376 Current children cumulated CPU time (s) 745.03 Current children cumulated vsize (Kb) 163376 [startup+790.041 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 97898 0 0 0 73450 2014 0 0 25 0 1 0 21923043 167297024 28988 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3225643616 0 0 17 0 0 0 Raw data (/proc/8002/statm): 40844 28988 364 364 0 40480 0 [pid=8002] vsize: 163376 Current children cumulated CPU time (s) 754.64 Current children cumulated vsize (Kb) 163376 [startup+800.041 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 98444 0 0 0 74377 2040 0 0 25 0 1 0 21923043 167297024 29015 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 40844 29015 364 364 0 40480 0 [pid=8002] vsize: 163376 Current children cumulated CPU time (s) 764.17 Current children cumulated vsize (Kb) 163376 [startup+810.042 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 99506 0 0 0 75306 2065 0 0 17 0 1 0 21923043 167297024 29039 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 40844 29039 364 364 0 40480 0 [pid=8002] vsize: 163376 Current children cumulated CPU time (s) 773.71 Current children cumulated vsize (Kb) 163376 [startup+820.042 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 99551 0 0 0 76233 2092 0 0 25 0 1 0 21923043 167460864 29084 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 40884 29084 364 364 0 40520 0 [pid=8002] vsize: 163536 Current children cumulated CPU time (s) 783.25 Current children cumulated vsize (Kb) 163536 [startup+830.043 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 100090 0 0 0 77162 2117 0 0 25 0 1 0 21923043 167460864 29104 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 40884 29104 364 364 0 40520 0 [pid=8002] vsize: 163536 Current children cumulated CPU time (s) 792.79 Current children cumulated vsize (Kb) 163536 [startup+840.042 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 100689 0 0 0 78085 2144 0 0 22 0 1 0 21923043 167854080 29184 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 40980 29184 364 364 0 40616 0 [pid=8002] vsize: 163920 Current children cumulated CPU time (s) 802.29 Current children cumulated vsize (Kb) 163920 [startup+850.042 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 101252 0 0 0 79012 2170 0 0 25 0 1 0 21923043 168050688 29228 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41028 29228 364 364 0 40664 0 [pid=8002] vsize: 164112 Current children cumulated CPU time (s) 811.82 Current children cumulated vsize (Kb) 164112 [startup+860.043 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 102333 0 0 0 79940 2195 0 0 25 0 1 0 21923043 168050688 29271 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41028 29271 364 364 0 40664 0 [pid=8002] vsize: 164112 Current children cumulated CPU time (s) 821.35 Current children cumulated vsize (Kb) 164112 [startup+870.044 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 102863 0 0 0 80871 2219 0 0 25 0 1 0 21923043 168050688 29282 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41028 29282 364 364 0 40664 0 [pid=8002] vsize: 164112 Current children cumulated CPU time (s) 830.9 Current children cumulated vsize (Kb) 164112 [startup+880.045 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 103411 0 0 0 81792 2248 0 0 25 0 1 0 21923043 168247296 29311 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41076 29311 364 364 0 40712 0 [pid=8002] vsize: 164304 Current children cumulated CPU time (s) 840.4 Current children cumulated vsize (Kb) 164304 [startup+890.044 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 103957 0 0 0 82715 2277 0 0 25 0 1 0 21923043 168247296 29338 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 41076 29338 364 364 0 40712 0 [pid=8002] vsize: 164304 Current children cumulated CPU time (s) 849.92 Current children cumulated vsize (Kb) 164304 [startup+900.044 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 105020 0 0 0 83650 2300 0 0 25 0 1 0 21923043 168247296 29363 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 41076 29363 364 364 0 40712 0 [pid=8002] vsize: 164304 Current children cumulated CPU time (s) 859.5 Current children cumulated vsize (Kb) 164304 [startup+910.045 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 105553 0 0 0 84588 2319 0 0 25 0 1 0 21923043 168247296 29377 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 41076 29377 364 364 0 40712 0 [pid=8002] vsize: 164304 Current children cumulated CPU time (s) 869.07 Current children cumulated vsize (Kb) 164304 [startup+920.046 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 106100 0 0 0 85518 2344 0 0 25 0 1 0 21923043 168443904 29405 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41124 29405 364 364 0 40760 0 [pid=8002] vsize: 164496 Current children cumulated CPU time (s) 878.62 Current children cumulated vsize (Kb) 164496 [startup+930.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 106673 0 0 0 86446 2367 0 0 22 0 1 0 21923043 168640512 29459 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 41172 29459 364 364 0 40808 0 [pid=8002] vsize: 164688 Current children cumulated CPU time (s) 888.13 Current children cumulated vsize (Kb) 164688 [startup+940.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 107222 0 0 0 87373 2393 0 0 17 0 1 0 21923043 168640512 29489 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41172 29489 364 364 0 40808 0 [pid=8002] vsize: 164688 Current children cumulated CPU time (s) 897.66 Current children cumulated vsize (Kb) 164688 [startup+950.046 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 107754 0 0 0 88289 2425 0 0 25 0 1 0 21923043 168640512 29502 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41172 29502 364 364 0 40808 0 [pid=8002] vsize: 164688 Current children cumulated CPU time (s) 907.14 Current children cumulated vsize (Kb) 164688 [startup+960.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 108287 0 0 0 89228 2447 0 0 25 0 1 0 21923043 168640512 29516 4294967295 134512640 135987407 3221224560 3221223424 134812629 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41172 29516 364 364 0 40808 0 [pid=8002] vsize: 164688 Current children cumulated CPU time (s) 916.75 Current children cumulated vsize (Kb) 164688 [startup+970.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 109352 0 0 0 90169 2468 0 0 25 0 1 0 21923043 168640512 29543 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41172 29543 364 364 0 40808 0 [pid=8002] vsize: 164688 Current children cumulated CPU time (s) 926.37 Current children cumulated vsize (Kb) 164688 [startup+980.048 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 109906 0 0 0 91091 2496 0 0 25 0 1 0 21923043 168804352 29578 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 41212 29578 364 364 0 40848 0 [pid=8002] vsize: 164848 Current children cumulated CPU time (s) 935.87 Current children cumulated vsize (Kb) 164848 [startup+990.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 110465 0 0 0 92023 2517 0 0 25 0 1 0 21923043 168980480 29618 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 41255 29618 364 364 0 40891 0 [pid=8002] vsize: 165020 Current children cumulated CPU time (s) 945.4 Current children cumulated vsize (Kb) 165020 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 111033 0 0 0 92960 2540 0 0 25 0 1 0 21923043 169177088 29667 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 41303 29667 364 364 0 40939 0 [pid=8002] vsize: 165212 Current children cumulated CPU time (s) 955 Current children cumulated vsize (Kb) 165212 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 112090 0 0 0 93909 2558 0 0 25 0 1 0 21923043 169177088 29686 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 41303 29686 364 364 0 40939 0 [pid=8002] vsize: 165212 Current children cumulated CPU time (s) 964.67 Current children cumulated vsize (Kb) 165212 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 112625 0 0 0 94839 2582 0 0 23 0 1 0 21923043 185954304 29702 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45399 29702 364 364 0 45035 0 [pid=8002] vsize: 181596 Current children cumulated CPU time (s) 974.21 Current children cumulated vsize (Kb) 181596 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 113175 0 0 0 95776 2605 0 0 20 0 1 0 21923043 185954304 29733 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45399 29733 364 364 0 45035 0 [pid=8002] vsize: 181596 Current children cumulated CPU time (s) 983.81 Current children cumulated vsize (Kb) 181596 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 113715 0 0 0 96718 2625 0 0 25 0 1 0 21923043 185954304 29754 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45399 29754 364 364 0 45035 0 [pid=8002] vsize: 181596 Current children cumulated CPU time (s) 993.43 Current children cumulated vsize (Kb) 181596 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 114768 0 0 0 97647 2651 0 0 25 0 1 0 21923043 185954304 29769 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45399 29769 364 364 0 45035 0 [pid=8002] vsize: 181596 Current children cumulated CPU time (s) 1002.98 Current children cumulated vsize (Kb) 181596 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 115310 0 0 0 98575 2676 0 0 25 0 1 0 21923043 186089472 29792 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45432 29792 364 364 0 45068 0 [pid=8002] vsize: 181728 Current children cumulated CPU time (s) 1012.51 Current children cumulated vsize (Kb) 181728 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 115848 0 0 0 99495 2703 0 0 25 0 1 0 21923043 186089472 29811 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45432 29811 364 364 0 45068 0 [pid=8002] vsize: 181728 Current children cumulated CPU time (s) 1021.98 Current children cumulated vsize (Kb) 181728 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 116383 0 0 0 100425 2727 0 0 25 0 1 0 21923043 186089472 29827 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45432 29827 364 364 0 45068 0 [pid=8002] vsize: 181728 Current children cumulated CPU time (s) 1031.52 Current children cumulated vsize (Kb) 181728 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 116925 0 0 0 101350 2753 0 0 18 0 1 0 21923043 186089472 29850 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45432 29850 364 364 0 45068 0 [pid=8002] vsize: 181728 Current children cumulated CPU time (s) 1041.03 Current children cumulated vsize (Kb) 181728 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 117983 0 0 0 102280 2779 0 0 25 0 1 0 21923043 186089472 29870 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45432 29870 364 364 0 45068 0 [pid=8002] vsize: 181728 Current children cumulated CPU time (s) 1050.59 Current children cumulated vsize (Kb) 181728 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 118534 0 0 0 103208 2804 0 0 25 0 1 0 21923043 186224640 29902 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45465 29902 364 364 0 45101 0 [pid=8002] vsize: 181860 Current children cumulated CPU time (s) 1060.12 Current children cumulated vsize (Kb) 181860 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 119082 0 0 0 104143 2826 0 0 25 0 1 0 21923043 186363904 29931 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45499 29931 364 364 0 45135 0 [pid=8002] vsize: 181996 Current children cumulated CPU time (s) 1069.69 Current children cumulated vsize (Kb) 181996 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 119621 0 0 0 105072 2851 0 0 25 0 1 0 21923043 186363904 29951 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45499 29951 364 364 0 45135 0 [pid=8002] vsize: 181996 Current children cumulated CPU time (s) 1079.23 Current children cumulated vsize (Kb) 181996 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 120160 0 0 0 105995 2877 0 0 22 0 1 0 21923043 186363904 29971 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45499 29971 364 364 0 45135 0 [pid=8002] vsize: 181996 Current children cumulated CPU time (s) 1088.72 Current children cumulated vsize (Kb) 181996 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 120728 0 0 0 106927 2900 0 0 25 0 1 0 21923043 186511360 30020 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45535 30020 364 364 0 45171 0 [pid=8002] vsize: 182140 Current children cumulated CPU time (s) 1098.27 Current children cumulated vsize (Kb) 182140 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 121783 0 0 0 107865 2923 0 0 25 0 1 0 21923043 188637184 30556 4294967295 134512640 135987407 3221224560 3221222920 134827505 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 46054 30556 364 364 0 45690 0 [pid=8002] vsize: 184216 Current children cumulated CPU time (s) 1107.88 Current children cumulated vsize (Kb) 184216 [startup+1170.06 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 122319 0 0 0 108806 2946 0 0 25 0 1 0 21923043 186511360 30054 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45535 30054 364 364 0 45171 0 [pid=8002] vsize: 182140 Current children cumulated CPU time (s) 1117.52 Current children cumulated vsize (Kb) 182140 [startup+1180.06 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 122884 0 0 0 109729 2971 0 0 25 0 1 0 21923043 186642432 30100 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45567 30100 364 364 0 45203 0 [pid=8002] vsize: 182268 Current children cumulated CPU time (s) 1127 Current children cumulated vsize (Kb) 182268 [startup+1190.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 123419 0 0 0 110654 2996 0 0 21 0 1 0 21923043 186642432 30116 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45567 30116 364 364 0 45203 0 [pid=8002] vsize: 182268 Current children cumulated CPU time (s) 1136.5 Current children cumulated vsize (Kb) 182268 [startup+1200.06 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 123966 0 0 0 111588 3022 0 0 25 0 1 0 21923043 186773504 30144 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45599 30144 364 364 0 45235 0 [pid=8002] vsize: 182396 Current children cumulated CPU time (s) 1146.1 Current children cumulated vsize (Kb) 182396 [startup+1210.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 124510 0 0 0 112527 3043 0 0 25 0 1 0 21923043 186908672 30169 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45632 30169 364 364 0 45268 0 [pid=8002] vsize: 182528 Current children cumulated CPU time (s) 1155.7 Current children cumulated vsize (Kb) 182528 [startup+1220.06 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 125044 0 0 0 113458 3065 0 0 25 0 1 0 21923043 186908672 30184 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45632 30184 364 364 0 45268 0 [pid=8002] vsize: 182528 Current children cumulated CPU time (s) 1165.23 Current children cumulated vsize (Kb) 182528 [startup+1230.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 125586 0 0 0 114386 3090 0 0 25 0 1 0 21923043 186908672 30207 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45632 30207 364 364 0 45268 0 [pid=8002] vsize: 182528 Current children cumulated CPU time (s) 1174.76 Current children cumulated vsize (Kb) 182528 [startup+1240.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 126124 0 0 0 115313 3115 0 0 25 0 1 0 21923043 186908672 30226 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45632 30226 364 364 0 45268 0 [pid=8002] vsize: 182528 Current children cumulated CPU time (s) 1184.28 Current children cumulated vsize (Kb) 182528 [startup+1250.06 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 127194 0 0 0 116250 3139 0 0 25 0 1 0 21923043 187072512 30258 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8002/statm): 45672 30258 364 364 0 45308 0 [pid=8002] vsize: 182688 Current children cumulated CPU time (s) 1193.89 Current children cumulated vsize (Kb) 182688 [startup+1260.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 127728 0 0 0 117182 3164 0 0 25 0 1 0 21923043 187072512 30273 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45672 30273 364 364 0 45308 0 [pid=8002] vsize: 182688 Current children cumulated CPU time (s) 1203.46 Current children cumulated vsize (Kb) 182688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1260.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8002 Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 127728 0 0 0 117182 3164 0 0 25 0 1 0 21923043 187072512 30273 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8002/statm): 45672 30273 364 364 0 45308 0 [pid=8002] vsize: 182688 Current children cumulated CPU time (s) 1203.46 Current children cumulated vsize (Kb) 182688 Sending SIGTERM to -8002 Sleeping 2 seconds One traced child (pid=8002) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1260.51 CPU time (s): 1203.91 CPU user time (s): 1172.21 CPU system time (s): 31.7022 CPU usage (%): 95.5099 Max. virtual memory (cumulated for all children) (Kb): 184216
ERROR: no interpretation found !