Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb |
MD5SUM | 503b63cdbe2445afec2ea38c5efde5e4 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5722446 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 3720 |
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 | 679702048135 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 679702048135 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1230.83 |
Number of variables | 3720 |
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 | 31 |
Maximum length of a constraint | 360 |
LAUNCH ON wulflinc10 THE 2005-09-23 17:14:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8899 boxname=wulflinc10 idbench=695 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 503b63cdbe2445afec2ea38c5efde5e4 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-ran10x12.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-ran10x12.opb IDLAUNCH: 8899 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.193 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.193 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: 938312 kB Buffers: 11880 kB Cached: 67680 kB SwapCached: 0 kB Active: 44840 kB Inactive: 37644 kB HighTotal: 131008 kB HighFree: 59388 kB LowTotal: 903652 kB LowFree: 878924 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 52 kB Writeback: 0 kB Mapped: 6976 kB Slab: 8520 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:35:21 (client local time) WITH STATUS 0 IN 1208.54 SECONDS stats: 8899 7 1208.54 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 13241/90359 Time: 23.0255/86400 c Decision: 13241/90359 Time: 27.9438/86400 c Decision: 13251/90359 Time: 33.7499/86400 c Decision: 13251/90359 Time: 37.9392/86400 c Decision: 13251/90359 Time: 42.4026/86400 c Decision: 13251/90359 Time: 47.2368/86400 c Decision: 13251/90359 Time: 51.1632/86400 c Decision: 13251/90359 Time: 55.0956/86400 c Decision: 13251/90359 Time: 60.1759/86400 c Decision: 13251/90359 Time: 63.1844/86400 c Decision: 13251/90359 Time: 68.2516/86400 c Decision: 13251/90359 Time: 72.7369/86400 c Decision: 13251/90359 Time: 77.5322/86400 c Decision: 13251/90359 Time: 81.6576/86400 c Decision: 13251/90359 Time: 86.1869/86400 c Decision: 13251/90359 Time: 90.1103/86400 c Decision: 13251/90359 Time: 94.4556/86400 c Decision: 13251/90359 Time: 98.885/86400 c Decision: 13251/90359 Time: 104.013/86400 c Decision: 13251/90359 Time: 108.207/86400 c Decision: 13251/90359 Time: 113.019/86400 c Decision: 13251/90359 Time: 117.452/86400 c Decision: 13251/90359 Time: 122.636/86400 c Decision: 13251/90359 Time: 126.999/86400 c Decision: 13251/90359 Time: 131.127/86400 c Decision: 13251/90359 Time: 136.538/86400 c Decision: 13260/90359 Time: 145.248/86400 c Decision: 13260/90359 Time: 150.628/86400 c Decision: 13260/90359 Time: 155.221/86400 c Decision: 13260/90359 Time: 159.691/86400 c Decision: 13260/90359 Time: 164.068/86400 c Decision: 13260/90359 Time: 169.012/86400 c Decision: 13260/90359 Time: 173.653/86400 c Decision: 13260/90359 Time: 178.138/86400 c Decision: 13260/90359 Time: 182.631/86400 c Decision: 13260/90359 Time: 187.762/86400 c Decision: 13260/90359 Time: 193.123/86400 c Decision: 13260/90359 Time: 198.434/86400 c Decision: 13261/90359 Time: 204.546/86400 c Decision: 13262/90359 Time: 211.357/86400 c Decision: 13262/90359 Time: 216.752/86400 c Decision: 13262/90359 Time: 221.505/86400 c Decision: 13262/90359 Time: 226.732/86400 c Decision: 13262/90359 Time: 231.152/86400 c Decision: 13262/90359 Time: 236.72/86400 c Decision: 13262/90359 Time: 241.658/86400 c Decision: 13262/90359 Time: 246.312/86400 c Decision: 13262/90359 Time: 251.571/86400 c Decision: 13262/90359 Time: 256.173/86400 c Decision: 13262/90359 Time: 261.224/86400 c Decision: 13262/90359 Time: 265.687/86400 c Decision: 13262/90359 Time: 270.64/86400 c Decision: 13262/90359 Time: 275.008/86400 c Decision: 13262/90359 Time: 279.999/86400 c Decision: 13262/90359 Time: 284.769/86400 c Decision: 13262/90359 Time: 289.184/86400 c Decision: 13262/90359 Time: 293.367/86400 c Decision: 13262/90359 Time: 298.106/86400 c Decision: 13262/90359 Time: 303.088/86400 c Decision: 13262/90359 Time: 308.948/86400 c Decision: 13262/90359 Time: 314.527/86400 c Decision: 13262/90359 Time: 319.195/86400 c Decision: 13262/90359 Time: 323.941/86400 c Decision: 13262/90359 Time: 329.111/86400 c Decision: 13262/90359 Time: 334.317/86400 c Decision: 13262/90359 Time: 338.486/86400 c Decision: 13262/90359 Time: 342.442/86400 c Decision: 13262/90359 Time: 347.697/86400 c Decision: 13262/90359 Time: 352.093/86400 c Decision: 13262/90359 Time: 357.486/86400 c Decision: 13262/90359 Time: 362.201/86400 c Decision: 13262/90359 Time: 366.813/86400 c Decision: 13262/90359 Time: 370.205/86400 c Decision: 13262/90359 Time: 375.292/86400 c Decision: 13262/90359 Time: 379.552/86400 c Decision: 13262/90359 Time: 385.428/86400 c Decision: 13262/90359 Time: 390.653/86400 c Decision: 13262/90359 Time: 395.474/86400 c Decision: 13262/90359 Time: 400.312/86400 c Decision: 13262/90359 Time: 405.453/86400 c Decision: 13262/90359 Time: 410.911/86400 c Decision: 13262/90359 Time: 416.363/86400 c Decision: 13262/90359 Time: 421.333/86400 c Decision: 13262/90359 Time: 426.344/86400 c Decision: 13262/90359 Time: 431.379/86400 c Decision: 13262/90359 Time: 436.115/86400 c Decision: 13262/90359 Time: 441.508/86400 c Decision: 13262/90359 Time: 447.334/86400 c Decision: 13262/90359 Time: 451.564/86400 c Decision: 13262/90359 Time: 456.814/86400 c Decision: 13262/90359 Time: 462.026/86400 c Decision: 13262/90359 Time: 466.723/86400 c Decision: 13262/90359 Time: 471.518/86400 c Decision: 13262/90359 Time: 476.576/86400 c Decision: 13262/90359 Time: 481.824/86400 c Decision: 13262/90359 Time: 486.286/86400 c Decision: 13262/90359 Time: 490.904/86400 c Decision: 13262/90359 Time: 495.87/86400 c Decision: 13262/90359 Time: 501.501/86400 c Decision: 13262/90359 Time: 506.598/86400 c Decision: 13262/90359 Time: 511.894/86400 c Decision: 13262/90359 Time: 516.531/86400 c Decision: 13262/90359 Time: 521.678/86400 c Decision: 13262/90359 Time: 526.518/86400 c Decision: 13262/90359 Time: 532.29/86400 c Decision: 13262/90359 Time: 538.584/86400 c Decision: 13262/90359 Time: 544.226/86400 c Decision: 13262/90359 Time: 549.379/86400 c Decision: 13262/90359 Time: 554.499/86400 c Decision: 13262/90359 Time: 558.521/86400 c Decision: 13262/90359 Time: 564.244/86400 c Decision: 13262/90359 Time: 569.289/86400 c Decision: 13262/90359 Time: 575.341/86400 c Decision: 13262/90359 Time: 580.042/86400 c Decision: 13262/90359 Time: 585.485/86400 c Decision: 13262/90359 Time: 591.199/86400 c Decision: 13262/90359 Time: 596.029/86400 c Decision: 13262/90359 Time: 600.875/86400 c Decision: 13262/90359 Time: 605.023/86400 c Decision: 13262/90359 Time: 609.964/86400 c Decision: 13262/90359 Time: 616.311/86400 c Decision: 13262/90359 Time: 621.598/86400 c Decision: 13262/90359 Time: 627.257/86400 c Decision: 13262/90359 Time: 633.064/86400 c Decision: 13262/90359 Time: 638.019/86400 c Decision: 13262/90359 Time: 642.83/86400 c Decision: 13262/90359 Time: 648.553/86400 c Decision: 13262/90359 Time: 653.122/86400 c Decision: 13262/90359 Time: 659.002/86400 c Decision: 13262/90359 Time: 663.578/86400 c Decision: 13262/90359 Time: 669.111/86400 c Decision: 13262/90359 Time: 674.658/86400 c Decision: 13262/90359 Time: 680.531/86400 c Decision: 13262/90359 Time: 685.675/86400 c Decision: 13262/90359 Time: 691.402/86400 c Decision: 13262/90359 Time: 697.904/86400 c Decision: 13262/90359 Time: 703.697/86400 c Decision: 13262/90359 Time: 709.489/86400 c Decision: 13262/90359 Time: 714.415/86400 c Decision: 13262/90359 Time: 720.288/86400 c Decision: 13262/90359 Time: 726.413/86400 c Decision: 13262/90359 Time: 731.553/86400 c Decision: 13262/90359 Time: 737.124/86400 c Decision: 13262/90359 Time: 742.773/86400 c Decision: 13262/90359 Time: 748.727/86400 c Decision: 13262/90359 Time: 755.196/86400 c Decision: 13262/90359 Time: 760.976/86400 c Decision: 13262/90359 Time: 766.122/86400 c Decision: 13262/90359 Time: 771.765/86400 c Decision: 13262/90359 Time: 777.898/86400 c Decision: 13262/90359 Time: 783.352/86400 c Decision: 13262/90359 Time: 788.574/86400 c Decision: 13262/90359 Time: 795.163/86400 c Decision: 13262/90359 Time: 799.631/86400 c Decision: 13262/90359 Time: 805.263/86400 c Decision: 13262/90359 Time: 812.386/86400 c Decision: 13262/90359 Time: 818.51/86400 c Decision: 13262/90359 Time: 824.271/86400 c Decision: 13262/90359 Time: 830.693/86400 c Decision: 13262/90359 Time: 836.551/86400 c Decision: 13262/90359 Time: 842.939/86400 c Decision: 13262/90359 Time: 848.918/86400 c Decision: 13262/90359 Time: 853.922/86400 c Decision: 13262/90359 Time: 860.228/86400 c Decision: 13262/90359 Time: 865.726/86400 c Decision: 13262/90359 Time: 871.782/86400 c Decision: 13262/90359 Time: 877.682/86400 c Decision: 13262/90359 Time: 883.64/86400 c Decision: 13262/90359 Time: 889.394/86400 c Decision: 13262/90359 Time: 895.863/86400 c Decision: 13266/90359 Time: 904.041/86400 c Decision: 13266/90359 Time: 908.752/86400 c Decision: 13266/90359 Time: 914.903/86400 c Decision: 13266/90359 Time: 921.459/86400 c Decision: 13266/90359 Time: 927.961/86400 c Decision: 13266/90359 Time: 934.163/86400 c Decision: 13266/90359 Time: 940.191/86400 c Decision: 13266/90359 Time: 946.933/86400 c Decision: 13266/90359 Time: 952.528/86400 c Decision: 13266/90359 Time: 958.816/86400 c Decision: 13266/90359 Time: 965.126/86400 c Decision: 13266/90359 Time: 971.864/86400 c Decision: 13266/90359 Time: 977.291/86400 c Decision: 13266/90359 Time: 984.03/86400 c Decision: 13266/90359 Time: 989.426/86400 c Decision: 13266/90359 Time: 996.293/86400 c Decision: 13266/90359 Time: 1002.53/86400 c Decision: 13266/90359 Time: 1008.68/86400 c Decision: 13266/90359 Time: 1016.47/86400 c Decision: 13266/90359 Time: 1023.38/86400 c Decision: 13266/90359 Time: 1030.53/86400 c Decision: 13266/90359 Time: 1036.55/86400 c Decision: 13266/90359 Time: 1041.43/86400 c Decision: 13266/90359 Time: 1047.56/86400 c Decision: 13266/90359 Time: 1054.71/86400 c Decision: 13266/90359 Time: 1061.9/86400 c Decision: 13266/90359 Time: 1068.15/86400 c Decision: 13266/90359 Time: 1074.5/86400 c Decision: 13266/90359 Time: 1081.14/86400 c Decision: 13266/90359 Time: 1088.84/86400 c Decision: 13266/90359 Time: 1096.75/86400 c Decision: 13266/90359 Time: 1104.02/86400 c Decision: 13266/90359 Time: 1111.2/86400 c Decision: 13266/90359 Time: 1118.31/86400 c Decision: 13266/90359 Time: 1125.49/86400 c Decision: 13266/90359 Time: 1133.21/86400 c Decision: 13266/90359 Time: 1139.82/86400 c Decision: 13266/90359 Time: 1147.44/86400 c Decision: 13266/90359 Time: 1154.57/86400 c Decision: 13266/90359 Time: 1161.32/86400 c Decision: 13266/90359 Time: 1168.94/86400 c Decision: 13266/90359 Time: 1176.87/86400 c Decision: 13266/90359 Time: 1182.95/86400 c Decision: 13266/90359 Time: 1190.44/86400 c Decision: 13266/90359 Time: 1198.29/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/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21904957 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 373 2 364 364 0 9 0 [pid=7978] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-ran10x12.opb [startup+10.0019 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 13597 0 0 0 921 48 0 0 25 0 1 0 21904957 45137920 7909 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 11020 7909 364 364 0 10656 0 [pid=7978] vsize: 44080 Current children cumulated CPU time (s) 9.69 Current children cumulated vsize (Kb) 44080 [startup+20.0024 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 13874 0 0 0 1850 73 0 0 25 0 1 0 21904957 46080000 8186 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 11250 8186 364 364 0 10886 0 [pid=7978] vsize: 45000 Current children cumulated CPU time (s) 19.23 Current children cumulated vsize (Kb) 45000 [startup+30.002 s] Raw data (loadavg): 0.95 0.96 0.91 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 14422 0 0 0 2792 93 0 0 25 0 1 0 21904957 47767552 8557 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 11662 8557 364 364 0 11298 0 [pid=7978] vsize: 46648 Current children cumulated CPU time (s) 28.85 Current children cumulated vsize (Kb) 46648 [startup+40.0025 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 15038 0 0 0 3722 114 0 0 25 0 1 0 21904957 48857088 8819 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 11928 8819 364 364 0 11564 0 [pid=7978] vsize: 47712 Current children cumulated CPU time (s) 38.36 Current children cumulated vsize (Kb) 47712 [startup+50.0031 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 15473 0 0 0 4641 144 0 0 25 0 1 0 21904957 49250304 8900 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12024 8900 364 364 0 11660 0 [pid=7978] vsize: 48096 Current children cumulated CPU time (s) 47.85 Current children cumulated vsize (Kb) 48096 [startup+60.0036 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 15887 0 0 0 5550 177 0 0 25 0 1 0 21904957 49385472 8960 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12057 8960 364 364 0 11693 0 [pid=7978] vsize: 48228 Current children cumulated CPU time (s) 57.27 Current children cumulated vsize (Kb) 48228 [startup+70.0042 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 16325 0 0 0 6473 204 0 0 25 0 1 0 21904957 49528832 9044 4294967295 134512640 135987407 3221224560 3221223344 134812328 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12092 9044 364 364 0 11728 0 [pid=7978] vsize: 48368 Current children cumulated CPU time (s) 66.77 Current children cumulated vsize (Kb) 48368 [startup+80.0038 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 16807 0 0 0 7374 239 0 0 25 0 1 0 21904957 50106368 9172 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12233 9172 364 364 0 11869 0 [pid=7978] vsize: 48932 Current children cumulated CPU time (s) 76.13 Current children cumulated vsize (Kb) 48932 [startup+90.0043 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 17223 0 0 0 8274 274 0 0 25 0 1 0 21904957 50245632 9234 4294967295 134512640 135987407 3221224560 3221223332 134812413 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12267 9234 364 364 0 11903 0 [pid=7978] vsize: 49068 Current children cumulated CPU time (s) 85.48 Current children cumulated vsize (Kb) 49068 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 17849 0 0 0 9181 303 0 0 25 0 1 0 21904957 50540544 9329 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12339 9329 364 364 0 11975 0 [pid=7978] vsize: 49356 Current children cumulated CPU time (s) 94.84 Current children cumulated vsize (Kb) 49356 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 18264 0 0 0 10079 339 0 0 25 0 1 0 21904957 50688000 9390 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12375 9390 364 364 0 12011 0 [pid=7978] vsize: 49500 Current children cumulated CPU time (s) 104.18 Current children cumulated vsize (Kb) 49500 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 18693 0 0 0 10986 373 0 0 25 0 1 0 21904957 51011584 9465 4294967295 134512640 135987407 3221224560 3221223248 134811715 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12454 9465 364 364 0 12090 0 [pid=7978] vsize: 49816 Current children cumulated CPU time (s) 113.59 Current children cumulated vsize (Kb) 49816 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 19111 0 0 0 11888 404 0 0 25 0 1 0 21904957 51150848 9529 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12488 9529 364 364 0 12124 0 [pid=7978] vsize: 49952 Current children cumulated CPU time (s) 122.92 Current children cumulated vsize (Kb) 49952 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 19530 0 0 0 12781 439 0 0 25 0 1 0 21904957 51286016 9594 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12521 9594 364 364 0 12157 0 [pid=7978] vsize: 50084 Current children cumulated CPU time (s) 132.2 Current children cumulated vsize (Kb) 50084 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 19954 0 0 0 13681 474 0 0 25 0 1 0 21904957 51425280 9664 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12555 9664 364 364 0 12191 0 [pid=7978] vsize: 50220 Current children cumulated CPU time (s) 141.55 Current children cumulated vsize (Kb) 50220 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 20177 0 0 0 14571 511 0 0 25 0 1 0 21904957 51564544 9710 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12589 9710 364 364 0 12225 0 [pid=7978] vsize: 50356 Current children cumulated CPU time (s) 150.82 Current children cumulated vsize (Kb) 50356 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 20614 0 0 0 15458 551 0 0 25 0 1 0 21904957 51859456 9793 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7978/statm): 12661 9793 364 364 0 12297 0 [pid=7978] vsize: 50644 Current children cumulated CPU time (s) 160.09 Current children cumulated vsize (Kb) 50644 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 21020 0 0 0 16347 587 0 0 25 0 1 0 21904957 51859456 9845 4294967295 134512640 135987407 3221224560 3221223128 134801602 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7978/statm): 12661 9845 364 364 0 12297 0 [pid=7978] vsize: 50644 Current children cumulated CPU time (s) 169.34 Current children cumulated vsize (Kb) 50644 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 21446 0 0 0 17247 622 0 0 17 0 1 0 21904957 52150272 9917 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12732 9917 364 364 0 12368 0 [pid=7978] vsize: 50928 Current children cumulated CPU time (s) 178.69 Current children cumulated vsize (Kb) 50928 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 21853 0 0 0 18150 655 0 0 25 0 1 0 21904957 52314112 9970 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12772 9970 364 364 0 12408 0 [pid=7978] vsize: 51088 Current children cumulated CPU time (s) 188.05 Current children cumulated vsize (Kb) 51088 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 22246 0 0 0 19045 693 0 0 25 0 1 0 21904957 52314112 10009 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12772 10009 364 364 0 12408 0 [pid=7978] vsize: 51088 Current children cumulated CPU time (s) 197.38 Current children cumulated vsize (Kb) 51088 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 22469 0 0 0 19934 730 0 0 25 0 1 0 21904957 52449280 10055 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12805 10055 364 364 0 12441 0 [pid=7978] vsize: 51220 Current children cumulated CPU time (s) 206.64 Current children cumulated vsize (Kb) 51220 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 22863 0 0 0 20822 769 0 0 25 0 1 0 21904957 52580352 10095 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7978/statm): 12837 10095 364 364 0 12473 0 [pid=7978] vsize: 51348 Current children cumulated CPU time (s) 215.91 Current children cumulated vsize (Kb) 51348 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 23080 0 0 0 21712 807 0 0 25 0 1 0 21904957 52580352 10135 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12837 10135 364 364 0 12473 0 [pid=7978] vsize: 51348 Current children cumulated CPU time (s) 225.19 Current children cumulated vsize (Kb) 51348 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 23490 0 0 0 22618 837 0 0 25 0 1 0 21904957 52711424 10191 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12869 10191 364 364 0 12505 0 [pid=7978] vsize: 51476 Current children cumulated CPU time (s) 234.55 Current children cumulated vsize (Kb) 51476 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 23908 0 0 0 23512 873 0 0 23 0 1 0 21904957 52871168 10255 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12908 10255 364 364 0 12544 0 [pid=7978] vsize: 51632 Current children cumulated CPU time (s) 243.85 Current children cumulated vsize (Kb) 51632 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 24295 0 0 0 24405 909 0 0 25 0 1 0 21904957 53002240 10288 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12940 10288 364 364 0 12576 0 [pid=7978] vsize: 51760 Current children cumulated CPU time (s) 253.14 Current children cumulated vsize (Kb) 51760 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 24686 0 0 0 25290 948 0 0 25 0 1 0 21904957 53002240 10325 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12940 10325 364 364 0 12576 0 [pid=7978] vsize: 51760 Current children cumulated CPU time (s) 262.38 Current children cumulated vsize (Kb) 51760 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 25081 0 0 0 26187 986 0 0 25 0 1 0 21904957 53137408 10366 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7978/statm): 12973 10366 364 364 0 12609 0 [pid=7978] vsize: 51892 Current children cumulated CPU time (s) 271.73 Current children cumulated vsize (Kb) 51892 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 25475 0 0 0 27095 1014 0 0 25 0 1 0 21904957 53137408 10406 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 12973 10406 364 364 0 12609 0 [pid=7978] vsize: 51892 Current children cumulated CPU time (s) 281.09 Current children cumulated vsize (Kb) 51892 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 25878 0 0 0 27990 1048 0 0 25 0 1 0 21904957 53268480 10455 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13005 10455 364 364 0 12641 0 [pid=7978] vsize: 52020 Current children cumulated CPU time (s) 290.38 Current children cumulated vsize (Kb) 52020 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 26272 0 0 0 28904 1076 0 0 25 0 1 0 21904957 53403648 10495 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13038 10495 364 364 0 12674 0 [pid=7978] vsize: 52152 Current children cumulated CPU time (s) 299.8 Current children cumulated vsize (Kb) 52152 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 26669 0 0 0 29805 1110 0 0 25 0 1 0 21904957 53403648 10538 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13038 10538 364 364 0 12674 0 [pid=7978] vsize: 52152 Current children cumulated CPU time (s) 309.15 Current children cumulated vsize (Kb) 52152 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 27101 0 0 0 30709 1144 0 0 25 0 1 0 21904957 53706752 10616 4294967295 134512640 135987407 3221224560 3221223376 134876843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13112 10616 364 364 0 12748 0 [pid=7978] vsize: 52448 Current children cumulated CPU time (s) 318.53 Current children cumulated vsize (Kb) 52448 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 27319 0 0 0 31601 1180 0 0 25 0 1 0 21904957 53706752 10657 4294967295 134512640 135987407 3221224560 3221223280 134814142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13112 10657 364 364 0 12748 0 [pid=7978] vsize: 52448 Current children cumulated CPU time (s) 327.81 Current children cumulated vsize (Kb) 52448 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 27712 0 0 0 32494 1214 0 0 25 0 1 0 21904957 53841920 10696 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13145 10696 364 364 0 12781 0 [pid=7978] vsize: 52580 Current children cumulated CPU time (s) 337.08 Current children cumulated vsize (Kb) 52580 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 28291 0 0 0 33406 1244 0 0 25 0 1 0 21904957 54566912 10921 4294967295 134512640 135987407 3221224560 3221222920 134827505 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13322 10921 364 364 0 12958 0 [pid=7978] vsize: 53288 Current children cumulated CPU time (s) 346.5 Current children cumulated vsize (Kb) 53288 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 28525 0 0 0 34321 1273 0 0 25 0 1 0 21904957 53989376 10801 4294967295 134512640 135987407 3221224560 3221223280 134814552 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13181 10801 364 364 0 12817 0 [pid=7978] vsize: 52724 Current children cumulated CPU time (s) 355.94 Current children cumulated vsize (Kb) 52724 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 28929 0 0 0 35230 1302 0 0 25 0 1 0 21904957 54140928 10851 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13218 10851 364 364 0 12854 0 [pid=7978] vsize: 52872 Current children cumulated CPU time (s) 365.32 Current children cumulated vsize (Kb) 52872 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 29502 0 0 0 36144 1333 0 0 25 0 1 0 21904957 54140928 10893 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13218 10893 364 364 0 12854 0 [pid=7978] vsize: 52872 Current children cumulated CPU time (s) 374.77 Current children cumulated vsize (Kb) 52872 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 29903 0 0 0 37042 1364 0 0 25 0 1 0 21904957 54276096 10940 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13251 10940 364 364 0 12887 0 [pid=7978] vsize: 53004 Current children cumulated CPU time (s) 384.06 Current children cumulated vsize (Kb) 53004 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 30112 0 0 0 37940 1399 0 0 25 0 1 0 21904957 54411264 10972 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13284 10972 364 364 0 12920 0 [pid=7978] vsize: 53136 Current children cumulated CPU time (s) 393.39 Current children cumulated vsize (Kb) 53136 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 30499 0 0 0 38840 1430 0 0 25 0 1 0 21904957 54411264 11005 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13284 11005 364 364 0 12920 0 [pid=7978] vsize: 53136 Current children cumulated CPU time (s) 402.7 Current children cumulated vsize (Kb) 53136 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 30896 0 0 0 39747 1462 0 0 25 0 1 0 21904957 54546432 11048 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13317 11048 364 364 0 12953 0 [pid=7978] vsize: 53268 Current children cumulated CPU time (s) 412.09 Current children cumulated vsize (Kb) 53268 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 31291 0 0 0 40649 1497 0 0 25 0 1 0 21904957 54546432 11089 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7978/statm): 13317 11089 364 364 0 12953 0 [pid=7978] vsize: 53268 Current children cumulated CPU time (s) 421.46 Current children cumulated vsize (Kb) 53268 [startup+460.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 31681 0 0 0 41543 1534 0 0 25 0 1 0 21904957 54681600 11125 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13350 11125 364 364 0 12986 0 [pid=7978] vsize: 53400 Current children cumulated CPU time (s) 430.77 Current children cumulated vsize (Kb) 53400 [startup+470.011 s] Raw data (loadavg): 1.07 0.99 0.92 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 32072 0 0 0 42436 1571 0 0 25 0 1 0 21904957 54681600 11162 4294967295 134512640 135987407 3221224560 3221223324 134882505 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13350 11162 364 364 0 12986 0 [pid=7978] vsize: 53400 Current children cumulated CPU time (s) 440.07 Current children cumulated vsize (Kb) 53400 [startup+480.011 s] Raw data (loadavg): 1.06 0.99 0.92 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 32305 0 0 0 43336 1604 0 0 25 0 1 0 21904957 54837248 11218 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13388 11218 364 364 0 13024 0 [pid=7978] vsize: 53552 Current children cumulated CPU time (s) 449.4 Current children cumulated vsize (Kb) 53552 [startup+490.012 s] Raw data (loadavg): 1.05 0.99 0.92 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 32705 0 0 0 44232 1642 0 0 25 0 1 0 21904957 54837248 11264 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13388 11264 364 364 0 13024 0 [pid=7978] vsize: 53552 Current children cumulated CPU time (s) 458.74 Current children cumulated vsize (Kb) 53552 [startup+500.012 s] Raw data (loadavg): 1.04 0.99 0.92 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 33100 0 0 0 45140 1676 0 0 25 0 1 0 21904957 54968320 11305 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13420 11305 364 364 0 13056 0 [pid=7978] vsize: 53680 Current children cumulated CPU time (s) 468.16 Current children cumulated vsize (Kb) 53680 [startup+510.013 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 33477 0 0 0 46046 1707 0 0 25 0 1 0 21904957 55107584 11328 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13454 11328 364 364 0 13090 0 [pid=7978] vsize: 53816 Current children cumulated CPU time (s) 477.53 Current children cumulated vsize (Kb) 53816 [startup+520.013 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 33873 0 0 0 46950 1741 0 0 25 0 1 0 21904957 55107584 11370 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13454 11370 364 364 0 13090 0 [pid=7978] vsize: 53816 Current children cumulated CPU time (s) 486.91 Current children cumulated vsize (Kb) 53816 [startup+530.013 s] Raw data (loadavg): 1.10 1.00 0.92 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 34274 0 0 0 47862 1770 0 0 25 0 1 0 21904957 55107584 11417 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13454 11417 364 364 0 13090 0 [pid=7978] vsize: 53816 Current children cumulated CPU time (s) 496.32 Current children cumulated vsize (Kb) 53816 [startup+540.014 s] Raw data (loadavg): 1.08 1.00 0.92 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 34684 0 0 0 48766 1803 0 0 25 0 1 0 21904957 55390208 11473 4294967295 134512640 135987407 3221224560 3221223328 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13523 11473 364 364 0 13159 0 [pid=7978] vsize: 54092 Current children cumulated CPU time (s) 505.69 Current children cumulated vsize (Kb) 54092 [startup+550.013 s] Raw data (loadavg): 1.14 1.02 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 34895 0 0 0 49670 1835 0 0 25 0 1 0 21904957 55390208 11507 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13523 11507 364 364 0 13159 0 [pid=7978] vsize: 54092 Current children cumulated CPU time (s) 515.05 Current children cumulated vsize (Kb) 54092 [startup+560.014 s] Raw data (loadavg): 1.12 1.02 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 35295 0 0 0 50596 1859 0 0 25 0 1 0 21904957 55390208 11553 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13523 11553 364 364 0 13159 0 [pid=7978] vsize: 54092 Current children cumulated CPU time (s) 524.55 Current children cumulated vsize (Kb) 54092 [startup+570.013 s] Raw data (loadavg): 1.10 1.02 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 35692 0 0 0 51505 1889 0 0 25 0 1 0 21904957 55521280 11596 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13555 11596 364 364 0 13191 0 [pid=7978] vsize: 54220 Current children cumulated CPU time (s) 533.94 Current children cumulated vsize (Kb) 54220 [startup+580.013 s] Raw data (loadavg): 1.08 1.02 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 36083 0 0 0 52418 1922 0 0 25 0 1 0 21904957 55685120 11633 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13595 11633 364 364 0 13231 0 [pid=7978] vsize: 54380 Current children cumulated CPU time (s) 543.4 Current children cumulated vsize (Kb) 54380 [startup+590.013 s] Raw data (loadavg): 1.07 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 36292 0 0 0 53313 1956 0 0 25 0 1 0 21904957 55685120 11665 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13595 11665 364 364 0 13231 0 [pid=7978] vsize: 54380 Current children cumulated CPU time (s) 552.69 Current children cumulated vsize (Kb) 54380 [startup+600.014 s] Raw data (loadavg): 1.06 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 36702 0 0 0 54233 1983 0 0 25 0 1 0 21904957 55816192 11721 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13627 11721 364 364 0 13263 0 [pid=7978] vsize: 54508 Current children cumulated CPU time (s) 562.16 Current children cumulated vsize (Kb) 54508 [startup+610.015 s] Raw data (loadavg): 1.05 1.01 0.93 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 37098 0 0 0 55150 2012 0 0 25 0 1 0 21904957 55971840 11763 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13665 11763 364 364 0 13301 0 [pid=7978] vsize: 54660 Current children cumulated CPU time (s) 571.62 Current children cumulated vsize (Kb) 54660 [startup+620.014 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 37490 0 0 0 56066 2041 0 0 25 0 1 0 21904957 55971840 11801 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 13665 11801 364 364 0 13301 0 [pid=7978] vsize: 54660 Current children cumulated CPU time (s) 581.07 Current children cumulated vsize (Kb) 54660 [startup+630.015 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 37895 0 0 0 56988 2069 0 0 25 0 1 0 21904957 64491520 11852 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15745 11852 364 364 0 15381 0 [pid=7978] vsize: 62980 Current children cumulated CPU time (s) 590.57 Current children cumulated vsize (Kb) 62980 [startup+640.015 s] Raw data (loadavg): 1.03 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 38110 0 0 0 57900 2097 0 0 25 0 1 0 21904957 64622592 11890 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15777 11890 364 364 0 15413 0 [pid=7978] vsize: 63108 Current children cumulated CPU time (s) 599.97 Current children cumulated vsize (Kb) 63108 [startup+650.015 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 38682 0 0 0 58815 2127 0 0 25 0 1 0 21904957 64622592 11931 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15777 11931 364 364 0 15413 0 [pid=7978] vsize: 63108 Current children cumulated CPU time (s) 609.42 Current children cumulated vsize (Kb) 63108 [startup+660.016 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 38902 0 0 0 59726 2157 0 0 20 0 1 0 21904957 64757760 11974 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15810 11974 364 364 0 15446 0 [pid=7978] vsize: 63240 Current children cumulated CPU time (s) 618.83 Current children cumulated vsize (Kb) 63240 [startup+670.016 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 39295 0 0 0 60642 2188 0 0 19 0 1 0 21904957 64757760 12013 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15810 12013 364 364 0 15446 0 [pid=7978] vsize: 63240 Current children cumulated CPU time (s) 628.3 Current children cumulated vsize (Kb) 63240 [startup+680.015 s] Raw data (loadavg): 1.01 1.01 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 39695 0 0 0 61553 2220 0 0 25 0 1 0 21904957 64892928 12059 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15843 12059 364 364 0 15479 0 [pid=7978] vsize: 63372 Current children cumulated CPU time (s) 637.73 Current children cumulated vsize (Kb) 63372 [startup+690.016 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 40100 0 0 0 62472 2248 0 0 25 0 1 0 21904957 65024000 12110 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15875 12110 364 364 0 15511 0 [pid=7978] vsize: 63500 Current children cumulated CPU time (s) 647.2 Current children cumulated vsize (Kb) 63500 [startup+700.016 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 40316 0 0 0 63375 2282 0 0 25 0 1 0 21904957 65179648 12149 4294967295 134512640 135987407 3221224560 3221223376 134824806 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15913 12149 364 364 0 15549 0 [pid=7978] vsize: 63652 Current children cumulated CPU time (s) 656.57 Current children cumulated vsize (Kb) 63652 [startup+710.016 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 40694 0 0 0 64294 2310 0 0 25 0 1 0 21904957 65179648 12173 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15913 12173 364 364 0 15549 0 [pid=7978] vsize: 63652 Current children cumulated CPU time (s) 666.04 Current children cumulated vsize (Kb) 63652 [startup+720.018 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 41078 0 0 0 65213 2338 0 0 25 0 1 0 21904957 65179648 12203 4294967295 134512640 135987407 3221224560 3221223248 134811920 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15913 12203 364 364 0 15549 0 [pid=7978] vsize: 63652 Current children cumulated CPU time (s) 675.51 Current children cumulated vsize (Kb) 63652 [startup+730.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 41462 0 0 0 66129 2366 0 0 25 0 1 0 21904957 65314816 12233 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15946 12233 364 364 0 15582 0 [pid=7978] vsize: 63784 Current children cumulated CPU time (s) 684.95 Current children cumulated vsize (Kb) 63784 [startup+740.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 41688 0 0 0 67047 2394 0 0 25 0 1 0 21904957 65314816 12282 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 15946 12282 364 364 0 15582 0 [pid=7978] vsize: 63784 Current children cumulated CPU time (s) 694.41 Current children cumulated vsize (Kb) 63784 [startup+750.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 42097 0 0 0 67976 2415 0 0 25 0 1 0 21904957 65601536 12337 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16016 12337 364 364 0 15652 0 [pid=7978] vsize: 64064 Current children cumulated CPU time (s) 703.91 Current children cumulated vsize (Kb) 64064 [startup+760.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 42292 0 0 0 68889 2443 0 0 25 0 1 0 21904957 65601536 12355 4294967295 134512640 135987407 3221224560 3221223280 134813856 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16016 12355 364 364 0 15652 0 [pid=7978] vsize: 64064 Current children cumulated CPU time (s) 713.32 Current children cumulated vsize (Kb) 64064 [startup+770.019 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 42706 0 0 0 69816 2467 0 0 25 0 1 0 21904957 65732608 12415 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16048 12415 364 364 0 15684 0 [pid=7978] vsize: 64192 Current children cumulated CPU time (s) 722.83 Current children cumulated vsize (Kb) 64192 [startup+780.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 43094 0 0 0 70736 2495 0 0 25 0 1 0 21904957 65732608 12449 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16048 12449 364 364 0 15684 0 [pid=7978] vsize: 64192 Current children cumulated CPU time (s) 732.31 Current children cumulated vsize (Kb) 64192 [startup+790.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 43487 0 0 0 71650 2525 0 0 25 0 1 0 21904957 65867776 12488 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16081 12488 364 364 0 15717 0 [pid=7978] vsize: 64324 Current children cumulated CPU time (s) 741.75 Current children cumulated vsize (Kb) 64324 [startup+800.019 s] Raw data (loadavg): 1.08 1.02 0.94 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 43708 0 0 0 72564 2557 0 0 25 0 1 0 21904957 65867776 12532 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16081 12532 364 364 0 15717 0 [pid=7978] vsize: 64324 Current children cumulated CPU time (s) 751.21 Current children cumulated vsize (Kb) 64324 [startup+810.02 s] Raw data (loadavg): 1.15 1.03 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 44091 0 0 0 73490 2584 0 0 25 0 1 0 21904957 66007040 12561 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16115 12561 364 364 0 15751 0 [pid=7978] vsize: 64460 Current children cumulated CPU time (s) 760.74 Current children cumulated vsize (Kb) 64460 [startup+820.019 s] Raw data (loadavg): 1.12 1.03 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 44477 0 0 0 74406 2613 0 0 25 0 1 0 21904957 66732032 12770 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16292 12770 364 364 0 15928 0 [pid=7978] vsize: 65168 Current children cumulated CPU time (s) 770.19 Current children cumulated vsize (Kb) 65168 [startup+830.019 s] Raw data (loadavg): 1.10 1.03 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 44693 0 0 0 75319 2644 0 0 25 0 1 0 21904957 66007040 12632 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16115 12632 364 364 0 15751 0 [pid=7978] vsize: 64460 Current children cumulated CPU time (s) 779.63 Current children cumulated vsize (Kb) 64460 [startup+840.019 s] Raw data (loadavg): 1.09 1.03 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 45078 0 0 0 76233 2674 0 0 25 0 1 0 21904957 66142208 12663 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16148 12663 364 364 0 15784 0 [pid=7978] vsize: 64592 Current children cumulated CPU time (s) 789.07 Current children cumulated vsize (Kb) 64592 [startup+850.02 s] Raw data (loadavg): 1.07 1.03 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 45285 0 0 0 77145 2705 0 0 25 0 1 0 21904957 66142208 12693 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16148 12693 364 364 0 15784 0 [pid=7978] vsize: 64592 Current children cumulated CPU time (s) 798.5 Current children cumulated vsize (Kb) 64592 [startup+860.021 s] Raw data (loadavg): 1.06 1.03 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 45722 0 0 0 78082 2726 0 0 25 0 1 0 21904957 66338816 12776 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16196 12776 364 364 0 15832 0 [pid=7978] vsize: 64784 Current children cumulated CPU time (s) 808.08 Current children cumulated vsize (Kb) 64784 [startup+870.02 s] Raw data (loadavg): 1.05 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 46099 0 0 0 79013 2752 0 0 25 0 1 0 21904957 66469888 12799 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16228 12799 364 364 0 15864 0 [pid=7978] vsize: 64912 Current children cumulated CPU time (s) 817.65 Current children cumulated vsize (Kb) 64912 [startup+880.021 s] Raw data (loadavg): 1.04 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 46297 0 0 0 79931 2779 0 0 25 0 1 0 21904957 66469888 12820 4294967295 134512640 135987407 3221224560 3221223408 134790005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16228 12820 364 364 0 15864 0 [pid=7978] vsize: 64912 Current children cumulated CPU time (s) 827.1 Current children cumulated vsize (Kb) 64912 [startup+890.021 s] Raw data (loadavg): 1.04 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 46682 0 0 0 80850 2809 0 0 25 0 1 0 21904957 66469888 12851 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16228 12851 364 364 0 15864 0 [pid=7978] vsize: 64912 Current children cumulated CPU time (s) 836.59 Current children cumulated vsize (Kb) 64912 [startup+900.022 s] Raw data (loadavg): 1.03 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 46907 0 0 0 81767 2837 0 0 25 0 1 0 21904957 66600960 12899 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16260 12899 364 364 0 15896 0 [pid=7978] vsize: 65040 Current children cumulated CPU time (s) 846.04 Current children cumulated vsize (Kb) 65040 [startup+910.022 s] Raw data (loadavg): 1.02 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 47304 0 0 0 82703 2860 0 0 25 0 1 0 21904957 66732032 12942 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16292 12942 364 364 0 15928 0 [pid=7978] vsize: 65168 Current children cumulated CPU time (s) 855.63 Current children cumulated vsize (Kb) 65168 [startup+920.023 s] Raw data (loadavg): 1.02 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 47706 0 0 0 83630 2886 0 0 25 0 1 0 21904957 66867200 12990 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16325 12990 364 364 0 15961 0 [pid=7978] vsize: 65300 Current children cumulated CPU time (s) 865.16 Current children cumulated vsize (Kb) 65300 [startup+930.023 s] Raw data (loadavg): 1.02 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 47916 0 0 0 84545 2913 0 0 25 0 1 0 21904957 66867200 13023 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16325 13023 364 364 0 15961 0 [pid=7978] vsize: 65300 Current children cumulated CPU time (s) 874.58 Current children cumulated vsize (Kb) 65300 [startup+940.023 s] Raw data (loadavg): 1.01 1.02 0.94 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 48287 0 0 0 85464 2942 0 0 25 0 1 0 21904957 66867200 13040 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16325 13040 364 364 0 15961 0 [pid=7978] vsize: 65300 Current children cumulated CPU time (s) 884.06 Current children cumulated vsize (Kb) 65300 [startup+950.024 s] Raw data (loadavg): 1.01 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 48663 0 0 0 86378 2971 0 0 25 0 1 0 21904957 67727360 13239 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16535 13239 364 364 0 16171 0 [pid=7978] vsize: 66140 Current children cumulated CPU time (s) 893.49 Current children cumulated vsize (Kb) 66140 [startup+960.024 s] Raw data (loadavg): 1.01 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 48881 0 0 0 87301 2997 0 0 25 0 1 0 21904957 67002368 13103 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16358 13103 364 364 0 15994 0 [pid=7978] vsize: 65432 Current children cumulated CPU time (s) 902.98 Current children cumulated vsize (Kb) 65432 [startup+970.024 s] Raw data (loadavg): 1.01 1.02 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 49094 0 0 0 88224 3023 0 0 22 0 1 0 21904957 67137536 13139 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16391 13139 364 364 0 16027 0 [pid=7978] vsize: 65564 Current children cumulated CPU time (s) 912.47 Current children cumulated vsize (Kb) 65564 [startup+980.023 s] Raw data (loadavg): 1.01 1.01 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 49493 0 0 0 89148 3051 0 0 25 0 1 0 21904957 67137536 13184 4294967295 134512640 135987407 3221224560 3221223136 135486786 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16391 13184 364 364 0 16027 0 [pid=7978] vsize: 65564 Current children cumulated CPU time (s) 921.99 Current children cumulated vsize (Kb) 65564 [startup+990.024 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 49725 0 0 0 90068 3079 0 0 25 0 1 0 21904957 67272704 13239 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16424 13239 364 364 0 16060 0 [pid=7978] vsize: 65696 Current children cumulated CPU time (s) 931.47 Current children cumulated vsize (Kb) 65696 [startup+1000.02 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 50110 0 0 0 91001 3103 0 0 25 0 1 0 21904957 67420160 13270 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16460 13270 364 364 0 16096 0 [pid=7978] vsize: 65840 Current children cumulated CPU time (s) 941.04 Current children cumulated vsize (Kb) 65840 [startup+1010.02 s] Raw data (loadavg): 1.00 1.01 0.94 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 50326 0 0 0 91927 3129 0 0 25 0 1 0 21904957 67420160 13309 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16460 13309 364 364 0 16096 0 [pid=7978] vsize: 65840 Current children cumulated CPU time (s) 950.56 Current children cumulated vsize (Kb) 65840 [startup+1020.02 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 50726 0 0 0 92854 3155 0 0 25 0 1 0 21904957 67555328 13355 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16493 13355 364 364 0 16129 0 [pid=7978] vsize: 65972 Current children cumulated CPU time (s) 960.09 Current children cumulated vsize (Kb) 65972 [startup+1030.02 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 51122 0 0 0 93792 3179 0 0 25 0 1 0 21904957 67555328 13397 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16493 13397 364 364 0 16129 0 [pid=7978] vsize: 65972 Current children cumulated CPU time (s) 969.71 Current children cumulated vsize (Kb) 65972 [startup+1040.02 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 51323 0 0 0 94714 3206 0 0 25 0 1 0 21904957 67690496 13421 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16526 13421 364 364 0 16162 0 [pid=7978] vsize: 66104 Current children cumulated CPU time (s) 979.2 Current children cumulated vsize (Kb) 66104 [startup+1050.02 s] Raw data (loadavg): 1.00 1.01 0.94 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 51719 0 0 0 95645 3231 0 0 25 0 1 0 21904957 67878912 13463 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16572 13463 364 364 0 16208 0 [pid=7978] vsize: 66288 Current children cumulated CPU time (s) 988.76 Current children cumulated vsize (Kb) 66288 [startup+1060.02 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 51928 0 0 0 96568 3256 0 0 25 0 1 0 21904957 67878912 13495 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16572 13495 364 364 0 16208 0 [pid=7978] vsize: 66288 Current children cumulated CPU time (s) 998.24 Current children cumulated vsize (Kb) 66288 [startup+1070.03 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 52317 0 0 0 97508 3278 0 0 25 0 1 0 21904957 67878912 13530 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16572 13530 364 364 0 16208 0 [pid=7978] vsize: 66288 Current children cumulated CPU time (s) 1007.86 Current children cumulated vsize (Kb) 66288 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 52555 0 0 0 98446 3298 0 0 25 0 1 0 21904957 68071424 13591 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16619 13591 364 364 0 16255 0 [pid=7978] vsize: 66476 Current children cumulated CPU time (s) 1017.44 Current children cumulated vsize (Kb) 66476 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 52759 0 0 0 99379 3322 0 0 19 0 1 0 21904957 68206592 13618 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16652 13618 364 364 0 16288 0 [pid=7978] vsize: 66608 Current children cumulated CPU time (s) 1027.01 Current children cumulated vsize (Kb) 66608 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 53146 0 0 0 100319 3343 0 0 25 0 1 0 21904957 68206592 13651 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16652 13651 364 364 0 16288 0 [pid=7978] vsize: 66608 Current children cumulated CPU time (s) 1036.62 Current children cumulated vsize (Kb) 66608 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 53544 0 0 0 101255 3367 0 0 25 0 1 0 21904957 68341760 13695 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16685 13695 364 364 0 16321 0 [pid=7978] vsize: 66740 Current children cumulated CPU time (s) 1046.22 Current children cumulated vsize (Kb) 66740 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 53769 0 0 0 102192 3389 0 0 25 0 1 0 21904957 68341760 13743 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16685 13743 364 364 0 16321 0 [pid=7978] vsize: 66740 Current children cumulated CPU time (s) 1055.81 Current children cumulated vsize (Kb) 66740 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 53980 0 0 0 103118 3414 0 0 20 0 1 0 21904957 68476928 13777 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16718 13777 364 364 0 16354 0 [pid=7978] vsize: 66872 Current children cumulated CPU time (s) 1065.32 Current children cumulated vsize (Kb) 66872 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 54357 0 0 0 104053 3438 0 0 25 0 1 0 21904957 68476928 13800 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16718 13800 364 364 0 16354 0 [pid=7978] vsize: 66872 Current children cumulated CPU time (s) 1074.91 Current children cumulated vsize (Kb) 66872 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 54563 0 0 0 104981 3464 0 0 25 0 1 0 21904957 68476928 13829 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16718 13829 364 364 0 16354 0 [pid=7978] vsize: 66872 Current children cumulated CPU time (s) 1084.45 Current children cumulated vsize (Kb) 66872 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 54950 0 0 0 105921 3486 0 0 25 0 1 0 21904957 68612096 13862 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16751 13862 364 364 0 16387 0 [pid=7978] vsize: 67004 Current children cumulated CPU time (s) 1094.07 Current children cumulated vsize (Kb) 67004 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 55158 0 0 0 106844 3510 0 0 23 0 1 0 21904957 68612096 13893 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16751 13893 364 364 0 16387 0 [pid=7978] vsize: 67004 Current children cumulated CPU time (s) 1103.54 Current children cumulated vsize (Kb) 67004 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 55372 0 0 0 107771 3534 0 0 25 0 1 0 21904957 68747264 13930 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16784 13930 364 364 0 16420 0 [pid=7978] vsize: 67136 Current children cumulated CPU time (s) 1113.05 Current children cumulated vsize (Kb) 67136 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 55759 0 0 0 108699 3558 0 0 25 0 1 0 21904957 68747264 13963 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16784 13963 364 364 0 16420 0 [pid=7978] vsize: 67136 Current children cumulated CPU time (s) 1122.57 Current children cumulated vsize (Kb) 67136 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 55969 0 0 0 109618 3586 0 0 25 0 1 0 21904957 68882432 13996 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16817 13996 364 364 0 16453 0 [pid=7978] vsize: 67268 Current children cumulated CPU time (s) 1132.04 Current children cumulated vsize (Kb) 67268 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 56171 0 0 0 110553 3611 0 0 25 0 1 0 21904957 68882432 14021 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16817 14021 364 364 0 16453 0 [pid=7978] vsize: 67268 Current children cumulated CPU time (s) 1141.64 Current children cumulated vsize (Kb) 67268 [startup+1220.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 56371 0 0 0 111485 3635 0 0 25 0 1 0 21904957 68882432 14044 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7978/statm): 16817 14044 364 364 0 16453 0 [pid=7978] vsize: 67268 Current children cumulated CPU time (s) 1151.2 Current children cumulated vsize (Kb) 67268 [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 56758 0 0 0 112416 3660 0 0 25 0 1 0 21904957 69013504 14077 4294967295 134512640 135987407 3221224560 3221223424 134812752 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16849 14077 364 364 0 16485 0 [pid=7978] vsize: 67396 Current children cumulated CPU time (s) 1160.76 Current children cumulated vsize (Kb) 67396 [startup+1240.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) T 7977 7978 4061 0 -1 0 56970 0 0 0 113344 3684 0 0 25 0 1 0 21904957 69013504 14112 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7978/statm): 16849 14112 364 364 0 16485 0 [pid=7978] vsize: 67396 Current children cumulated CPU time (s) 1170.28 Current children cumulated vsize (Kb) 67396 [startup+1250.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 57166 0 0 0 114275 3709 0 0 25 0 1 0 21904957 69013504 14131 4294967295 134512640 135987407 3221224560 3221223248 134812123 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16849 14131 364 364 0 16485 0 [pid=7978] vsize: 67396 Current children cumulated CPU time (s) 1179.84 Current children cumulated vsize (Kb) 67396 [startup+1260.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 57548 0 0 0 115205 3734 0 0 25 0 1 0 21904957 69144576 14159 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16881 14159 364 364 0 16517 0 [pid=7978] vsize: 67524 Current children cumulated CPU time (s) 1189.39 Current children cumulated vsize (Kb) 67524 [startup+1270.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 57755 0 0 0 116129 3760 0 0 25 0 1 0 21904957 69144576 14189 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16881 14189 364 364 0 16517 0 [pid=7978] vsize: 67524 Current children cumulated CPU time (s) 1198.89 Current children cumulated vsize (Kb) 67524 [startup+1280.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 57964 0 0 0 117050 3785 0 0 25 0 1 0 21904957 69144576 14221 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16881 14221 364 364 0 16517 0 [pid=7978] vsize: 67524 Current children cumulated CPU time (s) 1208.35 Current children cumulated vsize (Kb) 67524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1280.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7978 Raw data (/proc/7978/stat): 7978 (pb2sat) R 7977 7978 4061 0 -1 0 57964 0 0 0 117050 3785 0 0 25 0 1 0 21904957 69144576 14221 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7978/statm): 16881 14221 364 364 0 16517 0 [pid=7978] vsize: 67524 Current children cumulated CPU time (s) 1208.35 Current children cumulated vsize (Kb) 67524 Sending SIGTERM to -7978 Sleeping 2 seconds One traced child (pid=7978) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1280.21 CPU time (s): 1208.54 CPU user time (s): 1170.65 CPU system time (s): 37.8862 CPU usage (%): 94.4018 Max. virtual memory (cumulated for all children) (Kb): 67524
ERROR: no interpretation found !