Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb |
MD5SUM | 14da1db0c6acfbdddee3af5ad3788f2d |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12128256 |
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 | 1548380176990 |
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 | 1548380176990 |
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 | 1229.65 |
Number of variables | 7936 |
Total number of constraints | 296 |
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 | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 960 |
LAUNCH ON wulflinc13 THE 2005-09-23 17:18:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8908 boxname=wulflinc13 idbench=704 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 14da1db0c6acfbdddee3af5ad3788f2d /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-ran8x32.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-ran8x32.opb IDLAUNCH: 8908 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.180 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.180 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 969968 kB Buffers: 344 kB Cached: 47188 kB SwapCached: 0 kB Active: 15796 kB Inactive: 34640 kB HighTotal: 131008 kB HighFree: 79604 kB LowTotal: 903652 kB LowFree: 890364 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8720 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:39:12 (client local time) WITH STATUS 0 IN 1204.55 SECONDS stats: 8908 7 1204.55 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 27286/344759 Time: 39.9019/86400 c Decision: 27289/344759 Time: 49.3545/86400 c Decision: 27289/344759 Time: 60.5368/86400 c Decision: 27289/344759 Time: 71.9641/86400 c Decision: 27289/344759 Time: 80.7227/86400 c Decision: 27289/344759 Time: 91.0132/86400 c Decision: 27289/344759 Time: 100.22/86400 c Decision: 27289/344759 Time: 110.493/86400 c Decision: 27289/344759 Time: 118.892/86400 c Decision: 27289/344759 Time: 127.874/86400 c Decision: 27289/344759 Time: 137.319/86400 c Decision: 27289/344759 Time: 147.094/86400 c Decision: 27289/344759 Time: 154.651/86400 c Decision: 27289/344759 Time: 164.345/86400 c Decision: 27289/344759 Time: 173.475/86400 c Decision: 27289/344759 Time: 184.488/86400 c Decision: 27289/344759 Time: 193.437/86400 c Decision: 27289/344759 Time: 203.641/86400 c Decision: 27289/344759 Time: 212.469/86400 c Decision: 27289/344759 Time: 220.271/86400 c Decision: 27289/344759 Time: 230.491/86400 c Decision: 27289/344759 Time: 237.891/86400 c Decision: 27289/344759 Time: 247/86400 c Decision: 27289/344759 Time: 255.684/86400 c Decision: 27289/344759 Time: 262.862/86400 c Decision: 27289/344759 Time: 271.108/86400 c Decision: 27289/344759 Time: 280.314/86400 c Decision: 27289/344759 Time: 289.458/86400 c Decision: 27289/344759 Time: 299.733/86400 c Decision: 27289/344759 Time: 310.544/86400 c Decision: 27289/344759 Time: 320.396/86400 c Decision: 27289/344759 Time: 329.734/86400 c Decision: 27289/344759 Time: 339.957/86400 c Decision: 27289/344759 Time: 350.689/86400 c Decision: 27289/344759 Time: 360.866/86400 c Decision: 27289/344759 Time: 372.008/86400 c Decision: 27289/344759 Time: 382.05/86400 c Decision: 27289/344759 Time: 391.204/86400 c Decision: 27289/344759 Time: 401.353/86400 c Decision: 27289/344759 Time: 410.674/86400 c Decision: 27289/344759 Time: 423.58/86400 c Decision: 27289/344759 Time: 433.071/86400 c Decision: 27289/344759 Time: 443.202/86400 c Decision: 27289/344759 Time: 455.133/86400 c Decision: 27289/344759 Time: 464.71/86400 c Decision: 27289/344759 Time: 477.407/86400 c Decision: 27289/344759 Time: 487.297/86400 c Decision: 27289/344759 Time: 500.146/86400 c Decision: 27289/344759 Time: 512.098/86400 c Decision: 27289/344759 Time: 521.8/86400 c Decision: 27289/344759 Time: 535.627/86400 c Decision: 27289/344759 Time: 547.238/86400 c Decision: 27289/344759 Time: 556.994/86400 c Decision: 27289/344759 Time: 567.957/86400 c Decision: 27289/344759 Time: 580.026/86400 c Decision: 27289/344759 Time: 592.731/86400 c Decision: 27289/344759 Time: 601.959/86400 c Decision: 27289/344759 Time: 613.313/86400 c Decision: 27289/344759 Time: 626.977/86400 c Decision: 27289/344759 Time: 639.258/86400 c Decision: 27289/344759 Time: 649.775/86400 c Decision: 27289/344759 Time: 663.504/86400 c Decision: 27289/344759 Time: 675.339/86400 c Decision: 27289/344759 Time: 687.736/86400 c Decision: 27289/344759 Time: 698.81/86400 c Decision: 27289/344759 Time: 711.514/86400 c Decision: 27289/344759 Time: 723.382/86400 c Decision: 27289/344759 Time: 735.447/86400 c Decision: 27289/344759 Time: 747.256/86400 c Decision: 27289/344759 Time: 760.231/86400 c Decision: 27289/344759 Time: 773.718/86400 c Decision: 27289/344759 Time: 785.656/86400 c Decision: 27289/344759 Time: 800.58/86400 c Decision: 27289/344759 Time: 811.331/86400 c Decision: 27297/344759 Time: 832.197/86400 c Decision: 27297/344759 Time: 846.791/86400 c Decision: 27297/344759 Time: 865.064/86400 c Decision: 27297/344759 Time: 879.564/86400 c Decision: 27297/344759 Time: 894.152/86400 c Decision: 27297/344759 Time: 907.999/86400 c Decision: 27297/344759 Time: 923.762/86400 c Decision: 27297/344759 Time: 934.531/86400 c Decision: 27297/344759 Time: 947.864/86400 c Decision: 27297/344759 Time: 961.758/86400 c Decision: 27297/344759 Time: 978.068/86400 c Decision: 27297/344759 Time: 995.014/86400 c Decision: 27297/344759 Time: 1010.28/86400 c Decision: 27297/344759 Time: 1026.21/86400 c Decision: 27297/344759 Time: 1038.9/86400 c Decision: 27297/344759 Time: 1051/86400 c Decision: 27297/344759 Time: 1070.16/86400 c Decision: 27297/344759 Time: 1084.09/86400 c Decision: 27297/344759 Time: 1098.45/86400 c Decision: 27297/344759 Time: 1113.08/86400 c Decision: 27297/344759 Time: 1129.24/86400 c Decision: 27297/344759 Time: 1153.91/86400 c Decision: 27297/344759 Time: 1166.53/86400 c Decision: 27297/344759 Time: 1181.45/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/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21927853 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 373 2 364 364 0 9 0 [pid=8454] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-ran8x32.opb [startup+10.0023 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 27362 0 0 0 934 62 0 0 25 0 1 0 21927853 81743872 16221 4294967295 134512640 135987407 3221224560 3221046848 134878317 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 19957 16221 364 364 0 19593 0 [pid=8454] vsize: 79828 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 79828 [startup+20.003 s] Raw data (loadavg): 0.99 0.98 0.93 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 51215 0 0 0 1857 127 0 0 25 0 1 0 21927853 164511744 28263 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 40164 28263 364 364 0 39800 0 [pid=8454] vsize: 160656 Current children cumulated CPU time (s) 19.84 Current children cumulated vsize (Kb) 160656 [startup+30.0036 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 52220 0 0 0 2793 150 0 0 18 0 1 0 21927853 169070592 29268 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 41277 29268 364 364 0 40913 0 [pid=8454] vsize: 165108 Current children cumulated CPU time (s) 29.43 Current children cumulated vsize (Kb) 165108 [startup+40.0033 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 52559 0 0 0 3722 173 0 0 22 0 1 0 21927853 170586112 29607 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 41647 29607 364 364 0 41283 0 [pid=8454] vsize: 166588 Current children cumulated CPU time (s) 38.95 Current children cumulated vsize (Kb) 166588 [startup+50.0039 s] Raw data (loadavg): 1.07 1.00 0.94 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 52830 0 0 0 4642 200 0 0 25 0 1 0 21927853 171945984 29878 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8454/statm): 41979 29878 364 364 0 41615 0 [pid=8454] vsize: 167916 Current children cumulated CPU time (s) 48.42 Current children cumulated vsize (Kb) 167916 [startup+60.0046 s] Raw data (loadavg): 1.06 1.00 0.94 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 53777 0 0 0 5589 220 0 0 25 0 1 0 21927853 173109248 30151 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 42263 30151 364 364 0 41899 0 [pid=8454] vsize: 169052 Current children cumulated CPU time (s) 58.09 Current children cumulated vsize (Kb) 169052 [startup+70.0053 s] Raw data (loadavg): 1.05 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 54727 0 0 0 6540 239 0 0 25 0 1 0 21927853 174419968 30427 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 42583 30427 364 364 0 42219 0 [pid=8454] vsize: 170332 Current children cumulated CPU time (s) 67.79 Current children cumulated vsize (Kb) 170332 [startup+80.0069 s] Raw data (loadavg): 1.04 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 55713 0 0 0 7487 259 0 0 17 0 1 0 21927853 176189440 30739 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 43015 30739 364 364 0 42651 0 [pid=8454] vsize: 172060 Current children cumulated CPU time (s) 77.46 Current children cumulated vsize (Kb) 172060 [startup+90.0076 s] Raw data (loadavg): 1.04 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 55842 0 0 0 8431 278 0 0 25 0 1 0 21927853 176779264 30868 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43159 30868 364 364 0 42795 0 [pid=8454] vsize: 172636 Current children cumulated CPU time (s) 87.09 Current children cumulated vsize (Kb) 172636 [startup+100.007 s] Raw data (loadavg): 1.03 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 57271 0 0 0 9369 300 0 0 25 0 1 0 21927853 179933184 31623 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43929 31623 364 364 0 43565 0 [pid=8454] vsize: 175716 Current children cumulated CPU time (s) 96.69 Current children cumulated vsize (Kb) 175716 [startup+110.008 s] Raw data (loadavg): 1.02 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 58026 0 0 0 10319 318 0 0 25 0 1 0 21927853 177532928 31030 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43343 31030 364 364 0 42979 0 [pid=8454] vsize: 173372 Current children cumulated CPU time (s) 106.37 Current children cumulated vsize (Kb) 173372 [startup+120.009 s] Raw data (loadavg): 1.02 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 58725 0 0 0 11273 334 0 0 25 0 1 0 21927853 180494336 31729 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44066 31729 364 364 0 43702 0 [pid=8454] vsize: 176264 Current children cumulated CPU time (s) 116.07 Current children cumulated vsize (Kb) 176264 [startup+130.009 s] Raw data (loadavg): 1.02 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 58824 0 0 0 12219 353 0 0 25 0 1 0 21927853 178262016 31154 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43521 31154 364 364 0 43157 0 [pid=8454] vsize: 174084 Current children cumulated CPU time (s) 125.72 Current children cumulated vsize (Kb) 174084 [startup+140.009 s] Raw data (loadavg): 1.09 1.02 0.94 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 60264 0 0 0 13164 373 0 0 25 0 1 0 21927853 178655232 31246 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43617 31246 364 364 0 43253 0 [pid=8454] vsize: 174468 Current children cumulated CPU time (s) 135.37 Current children cumulated vsize (Kb) 174468 [startup+150.009 s] Raw data (loadavg): 1.07 1.02 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 60308 0 0 0 14100 395 0 0 25 0 1 0 21927853 178966528 31290 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 43693 31290 364 364 0 43329 0 [pid=8454] vsize: 174772 Current children cumulated CPU time (s) 144.95 Current children cumulated vsize (Kb) 174772 [startup+160.009 s] Raw data (loadavg): 1.06 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 61047 0 0 0 15040 416 0 0 25 0 1 0 21927853 179130368 31355 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43733 31355 364 364 0 43369 0 [pid=8454] vsize: 174932 Current children cumulated CPU time (s) 154.56 Current children cumulated vsize (Kb) 174932 [startup+170.01 s] Raw data (loadavg): 1.05 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 61764 0 0 0 15969 441 0 0 25 0 1 0 21927853 179294208 31398 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 43773 31398 364 364 0 43409 0 [pid=8454] vsize: 175092 Current children cumulated CPU time (s) 164.1 Current children cumulated vsize (Kb) 175092 [startup+180.011 s] Raw data (loadavg): 1.04 1.01 0.94 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 61880 0 0 0 16901 464 0 0 25 0 1 0 21927853 180047872 31514 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31514 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 173.65 Current children cumulated vsize (Kb) 175828 [startup+190.011 s] Raw data (loadavg): 1.04 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 62567 0 0 0 17849 482 0 0 25 0 1 0 21927853 180047872 31527 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31527 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 183.31 Current children cumulated vsize (Kb) 175828 [startup+200.011 s] Raw data (loadavg): 1.03 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 63252 0 0 0 18779 505 0 0 25 0 1 0 21927853 180047872 31538 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31538 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 192.84 Current children cumulated vsize (Kb) 175828 [startup+210.012 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 63934 0 0 0 19720 525 0 0 25 0 1 0 21927853 180047872 31546 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31546 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 202.45 Current children cumulated vsize (Kb) 175828 [startup+220.012 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 64618 0 0 0 20651 549 0 0 25 0 1 0 21927853 180047872 31556 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31556 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 212 Current children cumulated vsize (Kb) 175828 [startup+230.013 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 65302 0 0 0 21580 574 0 0 25 0 1 0 21927853 180047872 31566 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31566 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 221.54 Current children cumulated vsize (Kb) 175828 [startup+240.012 s] Raw data (loadavg): 1.01 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 65988 0 0 0 22515 596 0 0 25 0 1 0 21927853 180047872 31578 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 43957 31578 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 231.11 Current children cumulated vsize (Kb) 175828 [startup+250.012 s] Raw data (loadavg): 1.01 1.01 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 66676 0 0 0 23446 620 0 0 25 0 1 0 21927853 180047872 31592 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31592 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 240.66 Current children cumulated vsize (Kb) 175828 [startup+260.013 s] Raw data (loadavg): 1.01 1.00 0.94 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 67360 0 0 0 24392 639 0 0 25 0 1 0 21927853 180047872 31602 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31602 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 250.31 Current children cumulated vsize (Kb) 175828 [startup+270.012 s] Raw data (loadavg): 1.01 1.00 0.94 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 68052 0 0 0 25330 661 0 0 25 0 1 0 21927853 180047872 31620 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43957 31620 364 364 0 43593 0 [pid=8454] vsize: 175828 Current children cumulated CPU time (s) 259.91 Current children cumulated vsize (Kb) 175828 [startup+280.013 s] Raw data (loadavg): 1.01 1.00 0.94 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 68743 0 0 0 26266 680 0 0 25 0 1 0 21927853 180183040 31637 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43990 31637 364 364 0 43626 0 [pid=8454] vsize: 175960 Current children cumulated CPU time (s) 269.46 Current children cumulated vsize (Kb) 175960 [startup+290.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 69447 0 0 0 27198 703 0 0 25 0 1 0 21927853 180183040 31667 4294967295 134512640 135987407 3221224560 3221223280 134814116 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43990 31667 364 364 0 43626 0 [pid=8454] vsize: 175960 Current children cumulated CPU time (s) 279.01 Current children cumulated vsize (Kb) 175960 [startup+300.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 70135 0 0 0 28133 723 0 0 25 0 1 0 21927853 180183040 31681 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 43990 31681 364 364 0 43626 0 [pid=8454] vsize: 175960 Current children cumulated CPU time (s) 288.56 Current children cumulated vsize (Kb) 175960 [startup+310.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 70829 0 0 0 29075 744 0 0 25 0 1 0 21927853 180318208 31701 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44023 31701 364 364 0 43659 0 [pid=8454] vsize: 176092 Current children cumulated CPU time (s) 298.19 Current children cumulated vsize (Kb) 176092 [startup+320.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 71541 0 0 0 30016 765 0 0 25 0 1 0 21927853 180453376 31739 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44056 31739 364 364 0 43692 0 [pid=8454] vsize: 176224 Current children cumulated CPU time (s) 307.81 Current children cumulated vsize (Kb) 176224 [startup+330.014 s] Raw data (loadavg): 1.00 1.00 0.94 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 72234 0 0 0 30960 784 0 0 25 0 1 0 21927853 180453376 31758 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44056 31758 364 364 0 43692 0 [pid=8454] vsize: 176224 Current children cumulated CPU time (s) 317.44 Current children cumulated vsize (Kb) 176224 [startup+340.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 72927 0 0 0 31905 804 0 0 25 0 1 0 21927853 180592640 31777 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44090 31777 364 364 0 43726 0 [pid=8454] vsize: 176360 Current children cumulated CPU time (s) 327.09 Current children cumulated vsize (Kb) 176360 [startup+350.015 s] Raw data (loadavg): 1.07 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 72952 0 0 0 32849 823 0 0 25 0 1 0 21927853 180592640 31802 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44090 31802 364 364 0 43726 0 [pid=8454] vsize: 176360 Current children cumulated CPU time (s) 336.72 Current children cumulated vsize (Kb) 176360 [startup+360.015 s] Raw data (loadavg): 1.06 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 73650 0 0 0 33789 844 0 0 25 0 1 0 21927853 180740096 31826 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44126 31826 364 364 0 43762 0 [pid=8454] vsize: 176504 Current children cumulated CPU time (s) 346.33 Current children cumulated vsize (Kb) 176504 [startup+370.015 s] Raw data (loadavg): 1.05 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 74353 0 0 0 34722 865 0 0 25 0 1 0 21927853 183500800 32529 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44800 32529 364 364 0 44436 0 [pid=8454] vsize: 179200 Current children cumulated CPU time (s) 355.87 Current children cumulated vsize (Kb) 179200 [startup+380.016 s] Raw data (loadavg): 1.04 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 74371 0 0 0 35649 888 0 0 25 0 1 0 21927853 180740096 31873 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44126 31873 364 364 0 43762 0 [pid=8454] vsize: 176504 Current children cumulated CPU time (s) 365.37 Current children cumulated vsize (Kb) 176504 [startup+390.015 s] Raw data (loadavg): 1.12 1.03 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 75067 0 0 0 36595 909 0 0 25 0 1 0 21927853 180871168 31895 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44158 31895 364 364 0 43794 0 [pid=8454] vsize: 176632 Current children cumulated CPU time (s) 375.04 Current children cumulated vsize (Kb) 176632 [startup+400.015 s] Raw data (loadavg): 1.10 1.03 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 75767 0 0 0 37529 931 0 0 24 0 1 0 21927853 180871168 31921 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44158 31921 364 364 0 43794 0 [pid=8454] vsize: 176632 Current children cumulated CPU time (s) 384.6 Current children cumulated vsize (Kb) 176632 [startup+410.016 s] Raw data (loadavg): 1.08 1.03 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 76454 0 0 0 38479 949 0 0 25 0 1 0 21927853 181002240 31934 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44190 31934 364 364 0 43826 0 [pid=8454] vsize: 176760 Current children cumulated CPU time (s) 394.28 Current children cumulated vsize (Kb) 176760 [startup+420.015 s] Raw data (loadavg): 1.07 1.03 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 77150 0 0 0 39417 971 0 0 25 0 1 0 21927853 181002240 31956 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44190 31956 364 364 0 43826 0 [pid=8454] vsize: 176760 Current children cumulated CPU time (s) 403.88 Current children cumulated vsize (Kb) 176760 [startup+430.016 s] Raw data (loadavg): 1.06 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 77844 0 0 0 40356 993 0 0 25 0 1 0 21927853 181002240 31976 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44190 31976 364 364 0 43826 0 [pid=8454] vsize: 176760 Current children cumulated CPU time (s) 413.49 Current children cumulated vsize (Kb) 176760 [startup+440.017 s] Raw data (loadavg): 1.05 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 78548 0 0 0 41298 1015 0 0 25 0 1 0 21927853 181137408 32006 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44223 32006 364 364 0 43859 0 [pid=8454] vsize: 176892 Current children cumulated CPU time (s) 423.13 Current children cumulated vsize (Kb) 176892 [startup+450.016 s] Raw data (loadavg): 1.04 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 79242 0 0 0 42239 1035 0 0 25 0 1 0 21927853 181137408 32026 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44223 32026 364 364 0 43859 0 [pid=8454] vsize: 176892 Current children cumulated CPU time (s) 432.74 Current children cumulated vsize (Kb) 176892 [startup+460.017 s] Raw data (loadavg): 1.03 1.02 0.95 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 79923 0 0 0 43189 1052 0 0 25 0 1 0 21927853 181137408 32033 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44223 32033 364 364 0 43859 0 [pid=8454] vsize: 176892 Current children cumulated CPU time (s) 442.41 Current children cumulated vsize (Kb) 176892 [startup+470.018 s] Raw data (loadavg): 1.03 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 80619 0 0 0 44131 1071 0 0 25 0 1 0 21927853 181268480 32055 4294967295 134512640 135987407 3221224560 3221223136 134801552 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44255 32055 364 364 0 43891 0 [pid=8454] vsize: 177020 Current children cumulated CPU time (s) 452.02 Current children cumulated vsize (Kb) 177020 [startup+480.018 s] Raw data (loadavg): 1.02 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 81319 0 0 0 45067 1092 0 0 25 0 1 0 21927853 181268480 32081 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44255 32081 364 364 0 43891 0 [pid=8454] vsize: 177020 Current children cumulated CPU time (s) 461.59 Current children cumulated vsize (Kb) 177020 [startup+490.018 s] Raw data (loadavg): 1.02 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 82008 0 0 0 46006 1114 0 0 25 0 1 0 21927853 184029184 32770 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44929 32770 364 364 0 44565 0 [pid=8454] vsize: 179716 Current children cumulated CPU time (s) 471.2 Current children cumulated vsize (Kb) 179716 [startup+500.019 s] Raw data (loadavg): 1.02 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 82700 0 0 0 46947 1134 0 0 25 0 1 0 21927853 184164352 32788 4294967295 134512640 135987407 3221224560 3221222920 134827502 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44962 32788 364 364 0 44598 0 [pid=8454] vsize: 179848 Current children cumulated CPU time (s) 480.81 Current children cumulated vsize (Kb) 179848 [startup+510.019 s] Raw data (loadavg): 1.01 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 82752 0 0 0 47879 1157 0 0 23 0 1 0 21927853 181538816 32166 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44321 32166 364 364 0 43957 0 [pid=8454] vsize: 177284 Current children cumulated CPU time (s) 490.36 Current children cumulated vsize (Kb) 177284 [startup+520.019 s] Raw data (loadavg): 1.01 1.02 0.95 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 83434 0 0 0 48832 1174 0 0 25 0 1 0 21927853 181538816 32174 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44321 32174 364 364 0 43957 0 [pid=8454] vsize: 177284 Current children cumulated CPU time (s) 500.06 Current children cumulated vsize (Kb) 177284 [startup+530.021 s] Raw data (loadavg): 1.01 1.02 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 84131 0 0 0 49773 1195 0 0 25 0 1 0 21927853 181538816 32197 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44321 32197 364 364 0 43957 0 [pid=8454] vsize: 177284 Current children cumulated CPU time (s) 509.68 Current children cumulated vsize (Kb) 177284 [startup+540.021 s] Raw data (loadavg): 1.01 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 84867 0 0 0 50715 1217 0 0 21 0 1 0 21927853 181809152 32259 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44387 32259 364 364 0 44023 0 [pid=8454] vsize: 177548 Current children cumulated CPU time (s) 519.32 Current children cumulated vsize (Kb) 177548 [startup+550.021 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 85568 0 0 0 51659 1239 0 0 25 0 1 0 21927853 181952512 32286 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44422 32286 364 364 0 44058 0 [pid=8454] vsize: 177688 Current children cumulated CPU time (s) 528.98 Current children cumulated vsize (Kb) 177688 [startup+560.022 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 86252 0 0 0 52599 1259 0 0 17 0 1 0 21927853 181952512 32296 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44422 32296 364 364 0 44058 0 [pid=8454] vsize: 177688 Current children cumulated CPU time (s) 538.58 Current children cumulated vsize (Kb) 177688 [startup+570.021 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 86505 0 0 0 53527 1285 0 0 20 0 1 0 21927853 183001088 32549 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44678 32549 364 364 0 44314 0 [pid=8454] vsize: 178712 Current children cumulated CPU time (s) 548.12 Current children cumulated vsize (Kb) 178712 [startup+580.022 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 87195 0 0 0 54478 1302 0 0 25 0 1 0 21927853 183001088 32565 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44678 32565 364 364 0 44314 0 [pid=8454] vsize: 178712 Current children cumulated CPU time (s) 557.8 Current children cumulated vsize (Kb) 178712 [startup+590.023 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 87883 0 0 0 55424 1319 0 0 25 0 1 0 21927853 183001088 32579 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44678 32579 364 364 0 44314 0 [pid=8454] vsize: 178712 Current children cumulated CPU time (s) 567.43 Current children cumulated vsize (Kb) 178712 [startup+600.023 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 88567 0 0 0 56374 1336 0 0 25 0 1 0 21927853 183001088 32589 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44678 32589 364 364 0 44314 0 [pid=8454] vsize: 178712 Current children cumulated CPU time (s) 577.1 Current children cumulated vsize (Kb) 178712 [startup+610.024 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 89261 0 0 0 57314 1359 0 0 25 0 1 0 21927853 183144448 32609 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44713 32609 364 364 0 44349 0 [pid=8454] vsize: 178852 Current children cumulated CPU time (s) 586.73 Current children cumulated vsize (Kb) 178852 [startup+620.024 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 90015 0 0 0 58261 1378 0 0 25 0 1 0 21927853 183418880 32689 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44780 32689 364 364 0 44416 0 [pid=8454] vsize: 179120 Current children cumulated CPU time (s) 596.39 Current children cumulated vsize (Kb) 179120 [startup+630.024 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 90030 0 0 0 59196 1400 0 0 25 0 1 0 21927853 183418880 32704 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44780 32704 364 364 0 44416 0 [pid=8454] vsize: 179120 Current children cumulated CPU time (s) 605.96 Current children cumulated vsize (Kb) 179120 [startup+640.024 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 90720 0 0 0 60143 1418 0 0 25 0 1 0 21927853 183418880 32720 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44780 32720 364 364 0 44416 0 [pid=8454] vsize: 179120 Current children cumulated CPU time (s) 615.61 Current children cumulated vsize (Kb) 179120 [startup+650.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 91419 0 0 0 61085 1437 0 0 25 0 1 0 21927853 183558144 32745 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44814 32745 364 364 0 44450 0 [pid=8454] vsize: 179256 Current children cumulated CPU time (s) 625.22 Current children cumulated vsize (Kb) 179256 [startup+660.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 92104 0 0 0 62037 1455 0 0 25 0 1 0 21927853 183558144 32756 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44814 32756 364 364 0 44450 0 [pid=8454] vsize: 179256 Current children cumulated CPU time (s) 634.92 Current children cumulated vsize (Kb) 179256 [startup+670.025 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 92792 0 0 0 62996 1470 0 0 23 0 1 0 21927853 183558144 32770 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44814 32770 364 364 0 44450 0 [pid=8454] vsize: 179256 Current children cumulated CPU time (s) 644.66 Current children cumulated vsize (Kb) 179256 [startup+680.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 92830 0 0 0 63948 1487 0 0 25 0 1 0 21927853 183746560 32808 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44860 32808 364 364 0 44496 0 [pid=8454] vsize: 179440 Current children cumulated CPU time (s) 654.35 Current children cumulated vsize (Kb) 179440 [startup+690.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 93515 0 0 0 64888 1511 0 0 25 0 1 0 21927853 183746560 32819 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44860 32819 364 364 0 44496 0 [pid=8454] vsize: 179440 Current children cumulated CPU time (s) 663.99 Current children cumulated vsize (Kb) 179440 [startup+700.027 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 94199 0 0 0 65838 1529 0 0 25 0 1 0 21927853 183746560 32829 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44860 32829 364 364 0 44496 0 [pid=8454] vsize: 179440 Current children cumulated CPU time (s) 673.67 Current children cumulated vsize (Kb) 179440 [startup+710.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 94887 0 0 0 66779 1550 0 0 25 0 1 0 21927853 183746560 32843 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44860 32843 364 364 0 44496 0 [pid=8454] vsize: 179440 Current children cumulated CPU time (s) 683.29 Current children cumulated vsize (Kb) 179440 [startup+720.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 95578 0 0 0 67722 1571 0 0 25 0 1 0 21927853 183746560 32860 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 44860 32860 364 364 0 44496 0 [pid=8454] vsize: 179440 Current children cumulated CPU time (s) 692.93 Current children cumulated vsize (Kb) 179440 [startup+730.028 s] Raw data (loadavg): 1.07 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 95609 0 0 0 68662 1588 0 0 25 0 1 0 21927853 183902208 32891 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44898 32891 364 364 0 44534 0 [pid=8454] vsize: 179592 Current children cumulated CPU time (s) 702.5 Current children cumulated vsize (Kb) 179592 [startup+740.028 s] Raw data (loadavg): 1.06 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 96299 0 0 0 69606 1609 0 0 25 0 1 0 21927853 183902208 32907 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44898 32907 364 364 0 44534 0 [pid=8454] vsize: 179592 Current children cumulated CPU time (s) 712.15 Current children cumulated vsize (Kb) 179592 [startup+750.027 s] Raw data (loadavg): 1.05 1.01 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 96993 0 0 0 70552 1630 0 0 25 0 1 0 21927853 183902208 32927 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 44898 32927 364 364 0 44534 0 [pid=8454] vsize: 179592 Current children cumulated CPU time (s) 721.82 Current children cumulated vsize (Kb) 179592 [startup+760.028 s] Raw data (loadavg): 1.12 1.03 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 97760 0 0 0 71502 1649 0 0 25 0 1 0 21927853 184320000 33020 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45000 33020 364 364 0 44636 0 [pid=8454] vsize: 180000 Current children cumulated CPU time (s) 731.51 Current children cumulated vsize (Kb) 180000 [startup+770.028 s] Raw data (loadavg): 1.10 1.03 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 97771 0 0 0 72445 1669 0 0 25 0 1 0 21927853 184320000 33031 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 45000 33031 364 364 0 44636 0 [pid=8454] vsize: 180000 Current children cumulated CPU time (s) 741.14 Current children cumulated vsize (Kb) 180000 [startup+780.029 s] Raw data (loadavg): 1.09 1.03 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 97786 0 0 0 73381 1691 0 0 25 0 1 0 21927853 184320000 33046 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45000 33046 364 364 0 44636 0 [pid=8454] vsize: 180000 Current children cumulated CPU time (s) 750.72 Current children cumulated vsize (Kb) 180000 [startup+790.03 s] Raw data (loadavg): 1.07 1.03 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 98475 0 0 0 74319 1714 0 0 25 0 1 0 21927853 184320000 33061 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45000 33061 364 364 0 44636 0 [pid=8454] vsize: 180000 Current children cumulated CPU time (s) 760.33 Current children cumulated vsize (Kb) 180000 [startup+800.029 s] Raw data (loadavg): 1.06 1.03 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 99187 0 0 0 75261 1736 0 0 25 0 1 0 21927853 184594432 33099 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45067 33099 364 364 0 44703 0 [pid=8454] vsize: 180268 Current children cumulated CPU time (s) 769.97 Current children cumulated vsize (Kb) 180268 [startup+810.03 s] Raw data (loadavg): 1.05 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 99875 0 0 0 76205 1757 0 0 25 0 1 0 21927853 184594432 33113 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 45067 33113 364 364 0 44703 0 [pid=8454] vsize: 180268 Current children cumulated CPU time (s) 779.62 Current children cumulated vsize (Kb) 180268 [startup+820.03 s] Raw data (loadavg): 1.04 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 100628 0 0 0 77152 1772 0 0 25 0 1 0 21927853 184889344 33192 4294967295 134512640 135987407 3221224560 3221223376 134876847 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45139 33192 364 364 0 44775 0 [pid=8454] vsize: 180556 Current children cumulated CPU time (s) 789.24 Current children cumulated vsize (Kb) 180556 [startup+830.031 s] Raw data (loadavg): 1.04 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 100642 0 0 0 78092 1791 0 0 25 0 1 0 21927853 184889344 33206 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45139 33206 364 364 0 44775 0 [pid=8454] vsize: 180556 Current children cumulated CPU time (s) 798.83 Current children cumulated vsize (Kb) 180556 [startup+840.031 s] Raw data (loadavg): 1.03 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 101460 0 0 0 79030 1813 0 0 25 0 1 0 21927853 185479168 33350 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45283 33350 364 364 0 44919 0 [pid=8454] vsize: 181132 Current children cumulated CPU time (s) 808.43 Current children cumulated vsize (Kb) 181132 [startup+850.031 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 102164 0 0 0 79966 1836 0 0 25 0 1 0 21927853 185626624 33380 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45319 33380 364 364 0 44955 0 [pid=8454] vsize: 181276 Current children cumulated CPU time (s) 818.02 Current children cumulated vsize (Kb) 181276 [startup+860.031 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 102847 0 0 0 80904 1857 0 0 25 0 1 0 21927853 185626624 33389 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45319 33389 364 364 0 44955 0 [pid=8454] vsize: 181276 Current children cumulated CPU time (s) 827.61 Current children cumulated vsize (Kb) 181276 [startup+870.032 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 103184 0 0 0 81849 1877 0 0 25 0 1 0 21927853 187084800 33726 4294967295 134512640 135987407 3221224560 3221223120 134788460 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45675 33726 364 364 0 45311 0 [pid=8454] vsize: 182700 Current children cumulated CPU time (s) 837.26 Current children cumulated vsize (Kb) 182700 [startup+880.033 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 103200 0 0 0 82783 1900 0 0 25 0 1 0 21927853 187232256 33742 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45711 33742 364 364 0 45347 0 [pid=8454] vsize: 182844 Current children cumulated CPU time (s) 846.83 Current children cumulated vsize (Kb) 182844 [startup+890.033 s] Raw data (loadavg): 1.01 1.02 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 103892 0 0 0 83727 1919 0 0 25 0 1 0 21927853 187232256 33760 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45711 33760 364 364 0 45347 0 [pid=8454] vsize: 182844 Current children cumulated CPU time (s) 856.46 Current children cumulated vsize (Kb) 182844 [startup+900.034 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 104637 0 0 0 84681 1935 0 0 25 0 1 0 21927853 187568128 33831 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 45793 33831 364 364 0 45429 0 [pid=8454] vsize: 183172 Current children cumulated CPU time (s) 866.16 Current children cumulated vsize (Kb) 183172 [startup+910.035 s] Raw data (loadavg): 1.01 1.01 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 104926 0 0 0 85623 1956 0 0 25 0 1 0 21927853 188825600 34120 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46100 34120 364 364 0 45736 0 [pid=8454] vsize: 184400 Current children cumulated CPU time (s) 875.79 Current children cumulated vsize (Kb) 184400 [startup+920.035 s] Raw data (loadavg): 1.01 1.01 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 105640 0 0 0 86582 1970 0 0 25 0 1 0 21927853 188973056 34160 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46136 34160 364 364 0 45772 0 [pid=8454] vsize: 184544 Current children cumulated CPU time (s) 885.52 Current children cumulated vsize (Kb) 184544 [startup+930.036 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 106329 0 0 0 87519 1991 0 0 25 0 1 0 21927853 191733760 34849 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 46810 34849 364 364 0 46446 0 [pid=8454] vsize: 187240 Current children cumulated CPU time (s) 895.1 Current children cumulated vsize (Kb) 187240 [startup+940.037 s] Raw data (loadavg): 1.00 1.01 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 106533 0 0 0 88464 2010 0 0 25 0 1 0 21927853 190119936 34379 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46416 34379 364 364 0 46052 0 [pid=8454] vsize: 185664 Current children cumulated CPU time (s) 904.74 Current children cumulated vsize (Kb) 185664 [startup+950.036 s] Raw data (loadavg): 1.00 1.01 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 107269 0 0 0 89410 2026 0 0 25 0 1 0 21927853 190316544 34441 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46464 34441 364 364 0 46100 0 [pid=8454] vsize: 185856 Current children cumulated CPU time (s) 914.36 Current children cumulated vsize (Kb) 185856 [startup+960.037 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 107984 0 0 0 90352 2047 0 0 25 0 1 0 21927853 193273856 35156 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 47186 35156 364 364 0 46822 0 [pid=8454] vsize: 188744 Current children cumulated CPU time (s) 923.99 Current children cumulated vsize (Kb) 188744 [startup+970.038 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 108010 0 0 0 91299 2063 0 0 25 0 1 0 21927853 190513152 34508 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 46512 34508 364 364 0 46148 0 [pid=8454] vsize: 186048 Current children cumulated CPU time (s) 933.62 Current children cumulated vsize (Kb) 186048 [startup+980.038 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 108688 0 0 0 92249 2082 0 0 22 0 1 0 21927853 190513152 34512 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 46512 34512 364 364 0 46148 0 [pid=8454] vsize: 186048 Current children cumulated CPU time (s) 943.31 Current children cumulated vsize (Kb) 186048 [startup+990.039 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 109366 0 0 0 93188 2103 0 0 25 0 1 0 21927853 190513152 34516 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46512 34516 364 364 0 46148 0 [pid=8454] vsize: 186048 Current children cumulated CPU time (s) 952.91 Current children cumulated vsize (Kb) 186048 [startup+1000.04 s] Raw data (loadavg): 1.00 1.01 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 109377 0 0 0 94130 2124 0 0 25 0 1 0 21927853 190513152 34527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46512 34527 364 364 0 46148 0 [pid=8454] vsize: 186048 Current children cumulated CPU time (s) 962.54 Current children cumulated vsize (Kb) 186048 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 110123 0 0 0 95069 2146 0 0 25 0 1 0 21927853 190906368 34599 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46608 34599 364 364 0 46244 0 [pid=8454] vsize: 186432 Current children cumulated CPU time (s) 972.15 Current children cumulated vsize (Kb) 186432 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 110859 0 0 0 96022 2164 0 0 25 0 1 0 21927853 191102976 34661 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46656 34661 364 364 0 46292 0 [pid=8454] vsize: 186624 Current children cumulated CPU time (s) 981.86 Current children cumulated vsize (Kb) 186624 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 110917 0 0 0 96958 2186 0 0 20 0 1 0 21927853 191299584 34719 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46704 34719 364 364 0 46340 0 [pid=8454] vsize: 186816 Current children cumulated CPU time (s) 991.44 Current children cumulated vsize (Kb) 186816 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 111612 0 0 0 97916 2201 0 0 25 0 1 0 21927853 191496192 34740 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46752 34740 364 364 0 46388 0 [pid=8454] vsize: 187008 Current children cumulated CPU time (s) 1001.17 Current children cumulated vsize (Kb) 187008 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 112363 0 0 0 98871 2216 0 0 25 0 1 0 21927853 191827968 34817 4294967295 134512640 135987407 3221224560 3221223376 134876863 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46833 34817 364 364 0 46469 0 [pid=8454] vsize: 187332 Current children cumulated CPU time (s) 1010.87 Current children cumulated vsize (Kb) 187332 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 112460 0 0 0 99822 2232 0 0 25 0 1 0 21927853 192417792 34914 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46977 34914 364 364 0 46613 0 [pid=8454] vsize: 187908 Current children cumulated CPU time (s) 1020.54 Current children cumulated vsize (Kb) 187908 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 113157 0 0 0 100764 2255 0 0 25 0 1 0 21927853 192417792 34937 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 46977 34937 364 364 0 46613 0 [pid=8454] vsize: 187908 Current children cumulated CPU time (s) 1030.19 Current children cumulated vsize (Kb) 187908 [startup+1080.04 s] Raw data (loadavg): 1.07 1.02 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 113175 0 0 0 101707 2273 0 0 25 0 1 0 21927853 192614400 34955 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47025 34955 364 364 0 46661 0 [pid=8454] vsize: 188100 Current children cumulated CPU time (s) 1039.8 Current children cumulated vsize (Kb) 188100 [startup+1090.04 s] Raw data (loadavg): 1.06 1.02 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 113859 0 0 0 102658 2289 0 0 25 0 1 0 21927853 192614400 34965 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47025 34965 364 364 0 46661 0 [pid=8454] vsize: 188100 Current children cumulated CPU time (s) 1049.47 Current children cumulated vsize (Kb) 188100 [startup+1100.04 s] Raw data (loadavg): 1.05 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 114544 0 0 0 103602 2308 0 0 25 0 1 0 21927853 192614400 34976 4294967295 134512640 135987407 3221224560 3221223376 134824282 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47025 34976 364 364 0 46661 0 [pid=8454] vsize: 188100 Current children cumulated CPU time (s) 1059.1 Current children cumulated vsize (Kb) 188100 [startup+1110.04 s] Raw data (loadavg): 1.04 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 115237 0 0 0 104544 2331 0 0 25 0 1 0 21927853 192614400 34995 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 47025 34995 364 364 0 46661 0 [pid=8454] vsize: 188100 Current children cumulated CPU time (s) 1068.75 Current children cumulated vsize (Kb) 188100 [startup+1120.04 s] Raw data (loadavg): 1.04 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 115290 0 0 0 105483 2352 0 0 25 0 1 0 21927853 192753664 35048 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47059 35048 364 364 0 46695 0 [pid=8454] vsize: 188236 Current children cumulated CPU time (s) 1078.35 Current children cumulated vsize (Kb) 188236 [startup+1130.04 s] Raw data (loadavg): 1.03 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 116021 0 0 0 106440 2367 0 0 25 0 1 0 21927853 193146880 35105 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47155 35105 364 364 0 46791 0 [pid=8454] vsize: 188620 Current children cumulated CPU time (s) 1088.07 Current children cumulated vsize (Kb) 188620 [startup+1140.04 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 116028 0 0 0 107379 2388 0 0 25 0 1 0 21927853 193146880 35112 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47155 35112 364 364 0 46791 0 [pid=8454] vsize: 188620 Current children cumulated CPU time (s) 1097.67 Current children cumulated vsize (Kb) 188620 [startup+1150.04 s] Raw data (loadavg): 1.02 1.01 0.97 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 116746 0 0 0 108324 2408 0 0 25 0 1 0 21927853 193343488 35156 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47203 35156 364 364 0 46839 0 [pid=8454] vsize: 188812 Current children cumulated CPU time (s) 1107.32 Current children cumulated vsize (Kb) 188812 [startup+1160.04 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 117464 0 0 0 109273 2425 0 0 25 0 1 0 21927853 193540096 35200 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47251 35200 364 364 0 46887 0 [pid=8454] vsize: 189004 Current children cumulated CPU time (s) 1116.98 Current children cumulated vsize (Kb) 189004 [startup+1170.04 s] Raw data (loadavg): 1.01 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 117495 0 0 0 110216 2445 0 0 25 0 1 0 21927853 193540096 35231 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47251 35231 364 364 0 46887 0 [pid=8454] vsize: 189004 Current children cumulated CPU time (s) 1126.61 Current children cumulated vsize (Kb) 189004 [startup+1180.04 s] Raw data (loadavg): 1.01 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 118175 0 0 0 111170 2462 0 0 24 0 1 0 21927853 193540096 35237 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8454/statm): 47251 35237 364 364 0 46887 0 [pid=8454] vsize: 189004 Current children cumulated CPU time (s) 1136.32 Current children cumulated vsize (Kb) 189004 [startup+1190.04 s] Raw data (loadavg): 1.01 1.01 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 118880 0 0 0 112127 2476 0 0 25 0 1 0 21927853 193736704 35268 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47299 35268 364 364 0 46935 0 [pid=8454] vsize: 189196 Current children cumulated CPU time (s) 1146.03 Current children cumulated vsize (Kb) 189196 [startup+1200.04 s] Raw data (loadavg): 1.01 1.00 0.97 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 119158 0 0 0 113069 2495 0 0 19 0 1 0 21927853 195080192 35546 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47627 35546 364 364 0 47263 0 [pid=8454] vsize: 190508 Current children cumulated CPU time (s) 1155.64 Current children cumulated vsize (Kb) 190508 [startup+1210.04 s] Raw data (loadavg): 1.08 1.02 0.97 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 119273 0 0 0 114015 2516 0 0 25 0 1 0 21927853 195530752 35661 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47737 35661 364 364 0 47373 0 [pid=8454] vsize: 190948 Current children cumulated CPU time (s) 1165.31 Current children cumulated vsize (Kb) 190948 [startup+1220.04 s] Raw data (loadavg): 1.07 1.02 0.97 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 119979 0 0 0 114972 2533 0 0 18 0 1 0 21927853 195719168 35693 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8454/statm): 47783 35693 364 364 0 47419 0 [pid=8454] vsize: 191132 Current children cumulated CPU time (s) 1175.05 Current children cumulated vsize (Kb) 191132 [startup+1230.04 s] Raw data (loadavg): 1.06 1.02 0.97 1/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 120664 0 0 0 115915 2552 0 0 25 0 1 0 21927853 195719168 35704 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8454/statm): 47783 35704 364 364 0 47419 0 [pid=8454] vsize: 191132 Current children cumulated CPU time (s) 1184.67 Current children cumulated vsize (Kb) 191132 [startup+1240.04 s] Raw data (loadavg): 1.05 1.02 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 120769 0 0 0 116860 2571 0 0 25 0 1 0 21927853 196308992 35809 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8454/statm): 47927 35809 364 364 0 47563 0 [pid=8454] vsize: 191708 Current children cumulated CPU time (s) 1194.31 Current children cumulated vsize (Kb) 191708 [startup+1250.05 s] Raw data (loadavg): 1.04 1.02 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 121490 0 0 0 117802 2591 0 0 25 0 1 0 21927853 196702208 35856 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 48023 35856 364 364 0 47659 0 [pid=8454] vsize: 192092 Current children cumulated CPU time (s) 1203.93 Current children cumulated vsize (Kb) 192092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.05 s] Raw data (loadavg): 1.04 1.02 0.97 2/55 8454 Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 121490 0 0 0 117802 2591 0 0 25 0 1 0 21927853 196702208 35856 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8454/statm): 48023 35856 364 364 0 47659 0 [pid=8454] vsize: 192092 Current children cumulated CPU time (s) 1203.93 Current children cumulated vsize (Kb) 192092 Sending SIGTERM to -8454 Sleeping 2 seconds One traced child (pid=8454) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1250.66 CPU time (s): 1204.55 CPU user time (s): 1178.57 CPU system time (s): 25.985 CPU usage (%): 96.3132 Max. virtual memory (cumulated for all children) (Kb): 192092
ERROR: no interpretation found !