| Name | mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-ran14x18_1.opb |
| MD5SUM | d1752d9737bcd79380522c97c646ca71 |
| Bench Category | optimization, big integers (OPTBIGINT) |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 10877893 |
| Optimality of the best value was proved | NO |
| Number of terms in the objective function | 7812 |
| 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 | 1450667950777 |
| 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 | 1450667950777 |
| 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 | 1227.68 |
| Number of variables | 7812 |
| Total number of constraints | 536 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 252 |
| Number of constraints which are nor clauses,nor cardinality constraints | 284 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 540 |
LAUNCH ON wulflinc28 THE 2005-09-23 17:26:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8941 boxname=wulflinc28 idbench=737 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d1752d9737bcd79380522c97c646ca71 /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-ran14x18_1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-ran14x18_1.opb IDLAUNCH: 8941 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 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 : 3 cpu MHz : 451.188 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: 936156 kB Buffers: 12044 kB Cached: 69420 kB SwapCached: 0 kB Active: 44320 kB Inactive: 40040 kB HighTotal: 131008 kB HighFree: 57400 kB LowTotal: 903652 kB LowFree: 878756 kB SwapTotal: 2097640 kB SwapFree: 2097640 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 8580 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:47:02 (client local time) WITH STATUS 0 IN 1201.72 SECONDS stats: 8941 7 1201.72 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 26387/271498 Time: 50.4363/86400 c Decision: 26387/271498 Time: 57.3333/86400 c Decision: 26387/271498 Time: 63.6943/86400 c Decision: 26387/271498 Time: 69.7584/86400 c Decision: 26387/271498 Time: 75.1006/86400 c Decision: 26387/271498 Time: 81.2846/86400 c Decision: 26387/271498 Time: 86.5258/86400 c Decision: 26387/271498 Time: 93.3118/86400 c Decision: 26387/271498 Time: 98.942/86400 c Decision: 26387/271498 Time: 104.462/86400 c Decision: 26387/271498 Time: 111.628/86400 c Decision: 26387/271498 Time: 117.235/86400 c Decision: 26387/271498 Time: 122.952/86400 c Decision: 26387/271498 Time: 128.188/86400 c Decision: 26387/271498 Time: 134.048/86400 c Decision: 26387/271498 Time: 140.22/86400 c Decision: 26387/271498 Time: 145.397/86400 c Decision: 26387/271498 Time: 150.664/86400 c Decision: 26387/271498 Time: 156.571/86400 c Decision: 26387/271498 Time: 162.733/86400 c Decision: 26387/271498 Time: 168.717/86400 c Decision: 26387/271498 Time: 174.291/86400 c Decision: 26387/271498 Time: 179.452/86400 c Decision: 26387/271498 Time: 185.603/86400 c Decision: 26387/271498 Time: 190.603/86400 c Decision: 26387/271498 Time: 197.979/86400 c Decision: 26387/271498 Time: 203.982/86400 c Decision: 26387/271498 Time: 208.798/86400 c Decision: 26387/271498 Time: 214.829/86400 c Decision: 26387/271498 Time: 221.031/86400 c Decision: 26387/271498 Time: 228.543/86400 c Decision: 26387/271498 Time: 233.897/86400 c Decision: 26387/271498 Time: 239.791/86400 c Decision: 26387/271498 Time: 245.741/86400 c Decision: 26387/271498 Time: 252.057/86400 c Decision: 26387/271498 Time: 259.08/86400 c Decision: 26387/271498 Time: 265.248/86400 c Decision: 26387/271498 Time: 271.348/86400 c Decision: 26387/271498 Time: 277.426/86400 c Decision: 26387/271498 Time: 283.765/86400 c Decision: 26387/271498 Time: 290.946/86400 c Decision: 26387/271498 Time: 297.236/86400 c Decision: 26387/271498 Time: 302.903/86400 c Decision: 26387/271498 Time: 308.017/86400 c Decision: 26387/271498 Time: 314.295/86400 c Decision: 26387/271498 Time: 321.754/86400 c Decision: 26387/271498 Time: 327.672/86400 c Decision: 26387/271498 Time: 333.982/86400 c Decision: 26387/271498 Time: 340.526/86400 c Decision: 26387/271498 Time: 346.721/86400 c Decision: 26387/271498 Time: 354.391/86400 c Decision: 26387/271498 Time: 360.645/86400 c Decision: 26387/271498 Time: 366.566/86400 c Decision: 26387/271498 Time: 372.798/86400 c Decision: 26387/271498 Time: 378.448/86400 c Decision: 26387/271498 Time: 385.803/86400 c Decision: 26387/271498 Time: 391.615/86400 c Decision: 26387/271498 Time: 397.377/86400 c Decision: 26387/271498 Time: 403.492/86400 c Decision: 26387/271498 Time: 410.073/86400 c Decision: 26387/271498 Time: 417.062/86400 c Decision: 26387/271498 Time: 423.733/86400 c Decision: 26387/271498 Time: 430.458/86400 c Decision: 26387/271498 Time: 435.7/86400 c Decision: 26387/271498 Time: 442.762/86400 c Decision: 26387/271498 Time: 449.864/86400 c Decision: 26387/271498 Time: 455.792/86400 c Decision: 26387/271498 Time: 461.874/86400 c Decision: 26387/271498 Time: 467.987/86400 c Decision: 26387/271498 Time: 474.378/86400 c Decision: 26387/271498 Time: 481.111/86400 c Decision: 26387/271498 Time: 487.537/86400 c Decision: 26387/271498 Time: 493.584/86400 c Decision: 26387/271498 Time: 499.701/86400 c Decision: 26387/271498 Time: 505.872/86400 c Decision: 26387/271498 Time: 511.94/86400 c Decision: 26387/271498 Time: 517.948/86400 c Decision: 26387/271498 Time: 524.584/86400 c Decision: 26387/271498 Time: 530.95/86400 c Decision: 26387/271498 Time: 536.388/86400 c Decision: 26387/271498 Time: 543.258/86400 c Decision: 26387/271498 Time: 549.547/86400 c Decision: 26387/271498 Time: 556.107/86400 c Decision: 26387/271498 Time: 562.217/86400 c Decision: 26387/271498 Time: 567.654/86400 c Decision: 26387/271498 Time: 575.136/86400 c Decision: 26387/271498 Time: 581.902/86400 c Decision: 26387/271498 Time: 588.066/86400 c Decision: 26387/271498 Time: 594.093/86400 c Decision: 26387/271498 Time: 601.098/86400 c Decision: 26387/271498 Time: 609.125/86400 c Decision: 26387/271498 Time: 616.002/86400 c Decision: 26387/271498 Time: 621.972/86400 c Decision: 26387/271498 Time: 628.799/86400 c Decision: 26387/271498 Time: 634.518/86400 c Decision: 26387/271498 Time: 642.122/86400 c Decision: 26387/271498 Time: 647.482/86400 c Decision: 26387/271498 Time: 653.609/86400 c Decision: 26387/271498 Time: 659.758/86400 c Decision: 26387/271498 Time: 666.372/86400 c Decision: 26387/271498 Time: 673.829/86400 c Decision: 26387/271498 Time: 680.695/86400 c Decision: 26387/271498 Time: 687.995/86400 c Decision: 26387/271498 Time: 693.93/86400 c Decision: 26387/271498 Time: 700.39/86400 c Decision: 26387/271498 Time: 708.489/86400 c Decision: 26387/271498 Time: 714.693/86400 c Decision: 26387/271498 Time: 721.808/86400 c Decision: 26387/271498 Time: 728.155/86400 c Decision: 26387/271498 Time: 734.995/86400 c Decision: 26387/271498 Time: 743.019/86400 c Decision: 26387/271498 Time: 749.519/86400 c Decision: 26387/271498 Time: 755.862/86400 c Decision: 26387/271498 Time: 762.144/86400 c Decision: 26387/271498 Time: 769.09/86400 c Decision: 26387/271498 Time: 776.348/86400 c Decision: 26387/271498 Time: 783.391/86400 c Decision: 26387/271498 Time: 789.775/86400 c Decision: 26387/271498 Time: 796.709/86400 c Decision: 26387/271498 Time: 803.595/86400 c Decision: 26387/271498 Time: 811.3/86400 c Decision: 26387/271498 Time: 817.677/86400 c Decision: 26387/271498 Time: 823.907/86400 c Decision: 26387/271498 Time: 830.689/86400 c Decision: 26387/271498 Time: 836.82/86400 c Decision: 26387/271498 Time: 845.242/86400 c Decision: 26387/271498 Time: 852.867/86400 c Decision: 26387/271498 Time: 859.568/86400 c Decision: 26387/271498 Time: 866.415/86400 c Decision: 26387/271498 Time: 873.485/86400 c Decision: 26387/271498 Time: 881.623/86400 c Decision: 26387/271498 Time: 888.604/86400 c Decision: 26387/271498 Time: 895.786/86400 c Decision: 26387/271498 Time: 903.575/86400 c Decision: 26387/271498 Time: 910.196/86400 c Decision: 26387/271498 Time: 918.419/86400 c Decision: 26387/271498 Time: 924.945/86400 c Decision: 26387/271498 Time: 931.632/86400 c Decision: 26387/271498 Time: 939.41/86400 c Decision: 26387/271498 Time: 947.12/86400 c Decision: 26387/271498 Time: 955.35/86400 c Decision: 26387/271498 Time: 962.095/86400 c Decision: 26387/271498 Time: 969.916/86400 c Decision: 26387/271498 Time: 978.157/86400 c Decision: 26387/271498 Time: 985.429/86400 c Decision: 26387/271498 Time: 993.441/86400 c Decision: 26387/271498 Time: 1000.38/86400 c Decision: 26387/271498 Time: 1008.29/86400 c Decision: 26387/271498 Time: 1015.47/86400 c Decision: 26387/271498 Time: 1022.03/86400 c Decision: 26387/271498 Time: 1029.16/86400 c Decision: 26387/271498 Time: 1035.38/86400 c Decision: 26387/271498 Time: 1041.84/86400 c Decision: 26387/271498 Time: 1049.55/86400 c Decision: 26387/271498 Time: 1057.36/86400 c Decision: 26387/271498 Time: 1066.08/86400 c Decision: 26387/271498 Time: 1073.11/86400 c Decision: 26387/271498 Time: 1079.82/86400 c Decision: 26387/271498 Time: 1086.5/86400 c Decision: 26387/271498 Time: 1094.24/86400 c Decision: 26387/271498 Time: 1102.83/86400 c Decision: 26387/271498 Time: 1110.47/86400 c Decision: 26387/271498 Time: 1116.76/86400 c Decision: 26387/271498 Time: 1125.01/86400 c Decision: 26387/271498 Time: 1133.53/86400 c Decision: 26387/271498 Time: 1142.57/86400 c Decision: 26387/271498 Time: 1150.04/86400 c Decision: 26387/271498 Time: 1158.21/86400 c Decision: 26387/271498 Time: 1166.01/86400 c Decision: 26387/271498 Time: 1173.61/86400 c Decision: 26387/271498 Time: 1182.89/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/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21938764 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 373 2 364 364 0 9 0 [pid=9263] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-ran14x18_1.opb [startup+10.0022 s] Raw data (loadavg): 0.86 0.94 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 26994 0 0 0 928 69 0 0 25 0 1 0 21938764 80420864 15851 4294967295 134512640 135987407 3221224560 3221096704 134537491 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 19634 15851 364 364 0 19270 0 [pid=9263] vsize: 78536 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 78536 [startup+20.0038 s] Raw data (loadavg): 0.88 0.94 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 40757 0 0 0 1852 113 0 0 25 0 1 0 21938764 122163200 24165 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 29825 24165 364 364 0 29461 0 [pid=9263] vsize: 119300 Current children cumulated CPU time (s) 19.65 Current children cumulated vsize (Kb) 119300 [startup+30.0045 s] Raw data (loadavg): 0.90 0.94 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 41360 0 0 0 2813 128 0 0 25 0 1 0 21938764 124555264 24768 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 30409 24768 364 364 0 30045 0 [pid=9263] vsize: 121636 Current children cumulated CPU time (s) 29.41 Current children cumulated vsize (Kb) 121636 [startup+40.0042 s] Raw data (loadavg): 0.91 0.94 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 41564 0 0 0 3754 147 0 0 25 0 1 0 21938764 125485056 24972 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 30636 24972 364 364 0 30272 0 [pid=9263] vsize: 122544 Current children cumulated CPU time (s) 39.01 Current children cumulated vsize (Kb) 122544 [startup+50.0049 s] Raw data (loadavg): 0.92 0.94 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 42006 0 0 0 4699 167 0 0 25 0 1 0 21938764 127234048 25414 4294967295 134512640 135987407 3221224560 3221223424 134812635 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31063 25414 364 364 0 30699 0 [pid=9263] vsize: 124252 Current children cumulated CPU time (s) 48.66 Current children cumulated vsize (Kb) 124252 [startup+60.0046 s] Raw data (loadavg): 0.94 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 42194 0 0 0 5641 188 0 0 25 0 1 0 21938764 127987712 25602 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31247 25602 364 364 0 30883 0 [pid=9263] vsize: 124988 Current children cumulated CPU time (s) 58.29 Current children cumulated vsize (Kb) 124988 [startup+70.0053 s] Raw data (loadavg): 0.94 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 42822 0 0 0 6590 203 0 0 25 0 1 0 21938764 128282624 25699 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31319 25699 364 364 0 30955 0 [pid=9263] vsize: 125276 Current children cumulated CPU time (s) 67.93 Current children cumulated vsize (Kb) 125276 [startup+80.0059 s] Raw data (loadavg): 0.95 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 43957 0 0 0 7535 223 0 0 25 0 1 0 21938764 128577536 25772 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31391 25772 364 364 0 31027 0 [pid=9263] vsize: 125564 Current children cumulated CPU time (s) 77.58 Current children cumulated vsize (Kb) 125564 [startup+90.0066 s] Raw data (loadavg): 0.96 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 44531 0 0 0 8475 244 0 0 25 0 1 0 21938764 128577536 25815 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31391 25815 364 364 0 31027 0 [pid=9263] vsize: 125564 Current children cumulated CPU time (s) 87.19 Current children cumulated vsize (Kb) 125564 [startup+100.007 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 45638 0 0 0 9434 259 0 0 25 0 1 0 21938764 128724992 25860 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31427 25860 364 364 0 31063 0 [pid=9263] vsize: 125708 Current children cumulated CPU time (s) 96.93 Current children cumulated vsize (Kb) 125708 [startup+110.008 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 46733 0 0 0 10372 281 0 0 25 0 1 0 21938764 128860160 25893 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31460 25893 364 364 0 31096 0 [pid=9263] vsize: 125840 Current children cumulated CPU time (s) 106.53 Current children cumulated vsize (Kb) 125840 [startup+120.009 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 47322 0 0 0 11311 304 0 0 25 0 1 0 21938764 129146880 25951 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31530 25951 364 364 0 31166 0 [pid=9263] vsize: 126120 Current children cumulated CPU time (s) 116.15 Current children cumulated vsize (Kb) 126120 [startup+130.009 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 48409 0 0 0 12255 327 0 0 25 0 1 0 21938764 129146880 25976 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31530 25976 364 364 0 31166 0 [pid=9263] vsize: 126120 Current children cumulated CPU time (s) 125.82 Current children cumulated vsize (Kb) 126120 [startup+140.009 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 49511 0 0 0 13185 352 0 0 25 0 1 0 21938764 131461120 26547 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 32095 26547 364 364 0 31731 0 [pid=9263] vsize: 128380 Current children cumulated CPU time (s) 135.37 Current children cumulated vsize (Kb) 128380 [startup+150.01 s] Raw data (loadavg): 0.98 0.95 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 50085 0 0 0 14124 374 0 0 25 0 1 0 21938764 129421312 26059 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31597 26059 364 364 0 31233 0 [pid=9263] vsize: 126388 Current children cumulated CPU time (s) 144.98 Current children cumulated vsize (Kb) 126388 [startup+160.009 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 51189 0 0 0 15066 395 0 0 25 0 1 0 21938764 129421312 26101 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31597 26101 364 364 0 31233 0 [pid=9263] vsize: 126388 Current children cumulated CPU time (s) 154.61 Current children cumulated vsize (Kb) 126388 [startup+170.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 52275 0 0 0 16006 414 0 0 25 0 1 0 21938764 129421312 26125 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31597 26125 364 364 0 31233 0 [pid=9263] vsize: 126388 Current children cumulated CPU time (s) 164.2 Current children cumulated vsize (Kb) 126388 [startup+180.011 s] Raw data (loadavg): 0.99 0.96 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 52850 0 0 0 16934 440 0 0 25 0 1 0 21938764 129556480 26169 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31630 26169 364 364 0 31266 0 [pid=9263] vsize: 126520 Current children cumulated CPU time (s) 173.74 Current children cumulated vsize (Kb) 126520 [startup+190.01 s] Raw data (loadavg): 0.99 0.96 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 53406 0 0 0 17875 465 0 0 25 0 1 0 21938764 129687552 26194 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31662 26194 364 364 0 31298 0 [pid=9263] vsize: 126648 Current children cumulated CPU time (s) 183.4 Current children cumulated vsize (Kb) 126648 [startup+200.011 s] Raw data (loadavg): 0.99 0.96 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 54526 0 0 0 18821 484 0 0 25 0 1 0 21938764 129835008 26252 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31698 26252 364 364 0 31334 0 [pid=9263] vsize: 126792 Current children cumulated CPU time (s) 193.05 Current children cumulated vsize (Kb) 126792 [startup+210.012 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 55074 0 0 0 19746 509 0 0 25 0 1 0 21938764 129835008 26269 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31698 26269 364 364 0 31334 0 [pid=9263] vsize: 126792 Current children cumulated CPU time (s) 202.55 Current children cumulated vsize (Kb) 126792 [startup+220.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 55184 0 0 0 20688 529 0 0 25 0 1 0 21938764 130289664 26379 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31809 26379 364 364 0 31445 0 [pid=9263] vsize: 127236 Current children cumulated CPU time (s) 212.17 Current children cumulated vsize (Kb) 127236 [startup+230.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 55740 0 0 0 21619 553 0 0 25 0 1 0 21938764 130289664 26404 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31809 26404 364 364 0 31445 0 [pid=9263] vsize: 127236 Current children cumulated CPU time (s) 221.72 Current children cumulated vsize (Kb) 127236 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 56294 0 0 0 22537 581 0 0 25 0 1 0 21938764 130289664 26427 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31809 26427 364 364 0 31445 0 [pid=9263] vsize: 127236 Current children cumulated CPU time (s) 231.18 Current children cumulated vsize (Kb) 127236 [startup+250.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 57383 0 0 0 23469 604 0 0 25 0 1 0 21938764 130424832 26454 4294967295 134512640 135987407 3221224560 3221223312 134882523 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31842 26454 364 364 0 31478 0 [pid=9263] vsize: 127368 Current children cumulated CPU time (s) 240.73 Current children cumulated vsize (Kb) 127368 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 57943 0 0 0 24401 625 0 0 19 0 1 0 21938764 130424832 26483 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31842 26483 364 364 0 31478 0 [pid=9263] vsize: 127368 Current children cumulated CPU time (s) 250.26 Current children cumulated vsize (Kb) 127368 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 59033 0 0 0 25324 652 0 0 25 0 1 0 21938764 130560000 26511 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31875 26511 364 364 0 31511 0 [pid=9263] vsize: 127500 Current children cumulated CPU time (s) 259.76 Current children cumulated vsize (Kb) 127500 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 59605 0 0 0 26252 679 0 0 25 0 1 0 21938764 130699264 26552 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31909 26552 364 364 0 31545 0 [pid=9263] vsize: 127636 Current children cumulated CPU time (s) 269.31 Current children cumulated vsize (Kb) 127636 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 60715 0 0 0 27193 700 0 0 25 0 1 0 21938764 130895872 26600 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31957 26600 364 364 0 31593 0 [pid=9263] vsize: 127828 Current children cumulated CPU time (s) 278.93 Current children cumulated vsize (Kb) 127828 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 61265 0 0 0 28121 725 0 0 25 0 1 0 21938764 130895872 26619 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31957 26619 364 364 0 31593 0 [pid=9263] vsize: 127828 Current children cumulated CPU time (s) 288.46 Current children cumulated vsize (Kb) 127828 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 62357 0 0 0 29055 747 0 0 25 0 1 0 21938764 130895872 26649 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31957 26649 364 364 0 31593 0 [pid=9263] vsize: 127828 Current children cumulated CPU time (s) 298.02 Current children cumulated vsize (Kb) 127828 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 62908 0 0 0 29984 772 0 0 25 0 1 0 21938764 130895872 26669 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31957 26669 364 364 0 31593 0 [pid=9263] vsize: 127828 Current children cumulated CPU time (s) 307.56 Current children cumulated vsize (Kb) 127828 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 63990 0 0 0 30912 797 0 0 25 0 1 0 21938764 130895872 26689 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31957 26689 364 364 0 31593 0 [pid=9263] vsize: 127828 Current children cumulated CPU time (s) 317.09 Current children cumulated vsize (Kb) 127828 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 64023 0 0 0 31831 823 0 0 25 0 1 0 21938764 131031040 26722 4294967295 134512640 135987407 3221224560 3221223200 134789464 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 31990 26722 364 364 0 31626 0 [pid=9263] vsize: 127960 Current children cumulated CPU time (s) 326.54 Current children cumulated vsize (Kb) 127960 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 65107 0 0 0 32774 845 0 0 25 0 1 0 21938764 131031040 26744 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 31990 26744 364 364 0 31626 0 [pid=9263] vsize: 127960 Current children cumulated CPU time (s) 336.19 Current children cumulated vsize (Kb) 127960 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 65667 0 0 0 33695 873 0 0 25 0 1 0 21938764 131174400 26773 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 32025 26773 364 364 0 31661 0 [pid=9263] vsize: 128100 Current children cumulated CPU time (s) 345.68 Current children cumulated vsize (Kb) 128100 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 66756 0 0 0 34626 896 0 0 25 0 1 0 21938764 131174400 26800 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 32025 26800 364 364 0 31661 0 [pid=9263] vsize: 128100 Current children cumulated CPU time (s) 355.22 Current children cumulated vsize (Kb) 128100 [startup+380.021 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 73459 0 0 0 35532 939 0 0 25 0 1 0 21938764 156340224 26827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38169 26827 364 364 0 37805 0 [pid=9263] vsize: 152676 Current children cumulated CPU time (s) 364.71 Current children cumulated vsize (Kb) 152676 [startup+390.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 74540 0 0 0 36470 962 0 0 25 0 1 0 21938764 156340224 26846 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38169 26846 364 364 0 37805 0 [pid=9263] vsize: 152676 Current children cumulated CPU time (s) 374.32 Current children cumulated vsize (Kb) 152676 [startup+400.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 75109 0 0 0 37402 986 0 0 25 0 1 0 21938764 156471296 26884 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38201 26884 364 364 0 37837 0 [pid=9263] vsize: 152804 Current children cumulated CPU time (s) 383.88 Current children cumulated vsize (Kb) 152804 [startup+410.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 76198 0 0 0 38332 1012 0 0 25 0 1 0 21938764 156471296 26911 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38201 26911 364 364 0 37837 0 [pid=9263] vsize: 152804 Current children cumulated CPU time (s) 393.44 Current children cumulated vsize (Kb) 152804 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 76756 0 0 0 39261 1038 0 0 25 0 1 0 21938764 156602368 26938 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38233 26938 364 364 0 37869 0 [pid=9263] vsize: 152932 Current children cumulated CPU time (s) 402.99 Current children cumulated vsize (Kb) 152932 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 77853 0 0 0 40195 1064 0 0 25 0 1 0 21938764 156733440 26973 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38265 26973 364 364 0 37901 0 [pid=9263] vsize: 153060 Current children cumulated CPU time (s) 412.59 Current children cumulated vsize (Kb) 153060 [startup+440.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 78411 0 0 0 41123 1089 0 0 25 0 1 0 21938764 156733440 27000 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38265 27000 364 364 0 37901 0 [pid=9263] vsize: 153060 Current children cumulated CPU time (s) 422.12 Current children cumulated vsize (Kb) 153060 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 79505 0 0 0 42065 1110 0 0 25 0 1 0 21938764 156733440 27032 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38265 27032 364 364 0 37901 0 [pid=9263] vsize: 153060 Current children cumulated CPU time (s) 431.75 Current children cumulated vsize (Kb) 153060 [startup+460.026 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 80088 0 0 0 43002 1134 0 0 25 0 1 0 21938764 157003776 27084 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38331 27084 364 364 0 37967 0 [pid=9263] vsize: 153324 Current children cumulated CPU time (s) 441.36 Current children cumulated vsize (Kb) 153324 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 80636 0 0 0 43932 1156 0 0 25 0 1 0 21938764 157003776 27101 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38331 27101 364 364 0 37967 0 [pid=9263] vsize: 153324 Current children cumulated CPU time (s) 450.88 Current children cumulated vsize (Kb) 153324 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 81188 0 0 0 44859 1181 0 0 25 0 1 0 21938764 157134848 27122 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38363 27122 364 364 0 37999 0 [pid=9263] vsize: 153452 Current children cumulated CPU time (s) 460.4 Current children cumulated vsize (Kb) 153452 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 82273 0 0 0 45791 1205 0 0 25 0 1 0 21938764 157134848 27145 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38363 27145 364 364 0 37999 0 [pid=9263] vsize: 153452 Current children cumulated CPU time (s) 469.96 Current children cumulated vsize (Kb) 153452 [startup+500.027 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 82832 0 0 0 46710 1232 0 0 25 0 1 0 21938764 157134848 27173 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38363 27173 364 364 0 37999 0 [pid=9263] vsize: 153452 Current children cumulated CPU time (s) 479.42 Current children cumulated vsize (Kb) 153452 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 83923 0 0 0 47641 1258 0 0 25 0 1 0 21938764 157270016 27202 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38396 27202 364 364 0 38032 0 [pid=9263] vsize: 153584 Current children cumulated CPU time (s) 488.99 Current children cumulated vsize (Kb) 153584 [startup+520.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 84481 0 0 0 48573 1282 0 0 17 0 1 0 21938764 157270016 27229 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38396 27229 364 364 0 38032 0 [pid=9263] vsize: 153584 Current children cumulated CPU time (s) 498.55 Current children cumulated vsize (Kb) 153584 [startup+530.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 85572 0 0 0 49505 1307 0 0 25 0 1 0 21938764 157270016 27258 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38396 27258 364 364 0 38032 0 [pid=9263] vsize: 153584 Current children cumulated CPU time (s) 508.12 Current children cumulated vsize (Kb) 153584 [startup+540.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 86140 0 0 0 50434 1333 0 0 25 0 1 0 21938764 157405184 27295 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38429 27295 364 364 0 38065 0 [pid=9263] vsize: 153716 Current children cumulated CPU time (s) 517.67 Current children cumulated vsize (Kb) 153716 [startup+550.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 87234 0 0 0 51384 1353 0 0 25 0 1 0 21938764 157544448 27327 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38463 27327 364 364 0 38099 0 [pid=9263] vsize: 153852 Current children cumulated CPU time (s) 527.37 Current children cumulated vsize (Kb) 153852 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 88329 0 0 0 52319 1378 0 0 25 0 1 0 21938764 159719424 27891 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38994 27891 364 364 0 38630 0 [pid=9263] vsize: 155976 Current children cumulated CPU time (s) 536.97 Current children cumulated vsize (Kb) 155976 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 88888 0 0 0 53253 1401 0 0 25 0 1 0 21938764 157675520 27388 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38495 27388 364 364 0 38131 0 [pid=9263] vsize: 153980 Current children cumulated CPU time (s) 546.54 Current children cumulated vsize (Kb) 153980 [startup+580.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 89974 0 0 0 54195 1422 0 0 25 0 1 0 21938764 157675520 27412 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38495 27412 364 364 0 38131 0 [pid=9263] vsize: 153980 Current children cumulated CPU time (s) 556.17 Current children cumulated vsize (Kb) 153980 [startup+590.03 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 90536 0 0 0 55132 1444 0 0 25 0 1 0 21938764 157675520 27443 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38495 27443 364 364 0 38131 0 [pid=9263] vsize: 153980 Current children cumulated CPU time (s) 565.76 Current children cumulated vsize (Kb) 153980 [startup+600.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 91626 0 0 0 56072 1467 0 0 25 0 1 0 21938764 157806592 27471 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38527 27471 364 364 0 38163 0 [pid=9263] vsize: 154108 Current children cumulated CPU time (s) 575.39 Current children cumulated vsize (Kb) 154108 [startup+610.03 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 92187 0 0 0 57003 1489 0 0 25 0 1 0 21938764 157806592 27501 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38527 27501 364 364 0 38163 0 [pid=9263] vsize: 154108 Current children cumulated CPU time (s) 584.92 Current children cumulated vsize (Kb) 154108 [startup+620.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 93265 0 0 0 57943 1510 0 0 25 0 1 0 21938764 159981568 28048 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 39058 28048 364 364 0 38694 0 [pid=9263] vsize: 156232 Current children cumulated CPU time (s) 594.53 Current children cumulated vsize (Kb) 156232 [startup+630.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 93830 0 0 0 58877 1535 0 0 25 0 1 0 21938764 157937664 27551 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38559 27551 364 364 0 38195 0 [pid=9263] vsize: 154236 Current children cumulated CPU time (s) 604.12 Current children cumulated vsize (Kb) 154236 [startup+640.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 94925 0 0 0 59817 1557 0 0 25 0 1 0 21938764 160112640 28115 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 39090 28115 364 364 0 38726 0 [pid=9263] vsize: 156360 Current children cumulated CPU time (s) 613.74 Current children cumulated vsize (Kb) 156360 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 95479 0 0 0 60758 1578 0 0 25 0 1 0 21938764 158068736 27607 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38591 27607 364 364 0 38227 0 [pid=9263] vsize: 154364 Current children cumulated CPU time (s) 623.36 Current children cumulated vsize (Kb) 154364 [startup+660.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 96043 0 0 0 61690 1603 0 0 25 0 1 0 21938764 158068736 27640 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 38591 27640 364 364 0 38227 0 [pid=9263] vsize: 154364 Current children cumulated CPU time (s) 632.93 Current children cumulated vsize (Kb) 154364 [startup+670.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 97127 0 0 0 62630 1623 0 0 25 0 1 0 21938764 158068736 27662 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 38591 27662 364 364 0 38227 0 [pid=9263] vsize: 154364 Current children cumulated CPU time (s) 642.53 Current children cumulated vsize (Kb) 154364 [startup+680.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 97700 0 0 0 63571 1645 0 0 25 0 1 0 21938764 174977024 27704 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42719 27704 364 364 0 42355 0 [pid=9263] vsize: 170876 Current children cumulated CPU time (s) 652.16 Current children cumulated vsize (Kb) 170876 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 98254 0 0 0 64515 1663 0 0 25 0 1 0 21938764 174977024 27727 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42719 27727 364 364 0 42355 0 [pid=9263] vsize: 170876 Current children cumulated CPU time (s) 661.78 Current children cumulated vsize (Kb) 170876 [startup+700.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 98821 0 0 0 65449 1684 0 0 25 0 1 0 21938764 174977024 27763 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42719 27763 364 364 0 42355 0 [pid=9263] vsize: 170876 Current children cumulated CPU time (s) 671.33 Current children cumulated vsize (Kb) 170876 [startup+710.035 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 99913 0 0 0 66385 1708 0 0 25 0 1 0 21938764 175108096 27793 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42751 27793 364 364 0 42387 0 [pid=9263] vsize: 171004 Current children cumulated CPU time (s) 680.93 Current children cumulated vsize (Kb) 171004 [startup+720.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 100469 0 0 0 67329 1728 0 0 25 0 1 0 21938764 175108096 27818 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42751 27818 364 364 0 42387 0 [pid=9263] vsize: 171004 Current children cumulated CPU time (s) 690.57 Current children cumulated vsize (Kb) 171004 [startup+730.035 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 101019 0 0 0 68266 1750 0 0 25 0 1 0 21938764 175108096 27837 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42751 27837 364 364 0 42387 0 [pid=9263] vsize: 171004 Current children cumulated CPU time (s) 700.16 Current children cumulated vsize (Kb) 171004 [startup+740.036 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 101577 0 0 0 69201 1773 0 0 25 0 1 0 21938764 175239168 27864 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42783 27864 364 364 0 42419 0 [pid=9263] vsize: 171132 Current children cumulated CPU time (s) 709.74 Current children cumulated vsize (Kb) 171132 [startup+750.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 102131 0 0 0 70141 1793 0 0 25 0 1 0 21938764 175239168 27887 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42783 27887 364 364 0 42419 0 [pid=9263] vsize: 171132 Current children cumulated CPU time (s) 719.34 Current children cumulated vsize (Kb) 171132 [startup+760.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 103213 0 0 0 71096 1810 0 0 25 0 1 0 21938764 175239168 27907 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42783 27907 364 364 0 42419 0 [pid=9263] vsize: 171132 Current children cumulated CPU time (s) 729.06 Current children cumulated vsize (Kb) 171132 [startup+770.036 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 103774 0 0 0 72026 1834 0 0 25 0 1 0 21938764 175370240 27937 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42815 27937 364 364 0 42451 0 [pid=9263] vsize: 171260 Current children cumulated CPU time (s) 738.6 Current children cumulated vsize (Kb) 171260 [startup+780.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 104335 0 0 0 72966 1855 0 0 25 0 1 0 21938764 175370240 27967 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42815 27967 364 364 0 42451 0 [pid=9263] vsize: 171260 Current children cumulated CPU time (s) 748.21 Current children cumulated vsize (Kb) 171260 [startup+790.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 104887 0 0 0 73908 1876 0 0 25 0 1 0 21938764 175370240 27988 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42815 27988 364 364 0 42451 0 [pid=9263] vsize: 171260 Current children cumulated CPU time (s) 757.84 Current children cumulated vsize (Kb) 171260 [startup+800.037 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 105446 0 0 0 74840 1899 0 0 25 0 1 0 21938764 175501312 28016 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42847 28016 364 364 0 42483 0 [pid=9263] vsize: 171388 Current children cumulated CPU time (s) 767.39 Current children cumulated vsize (Kb) 171388 [startup+810.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 106535 0 0 0 75782 1919 0 0 25 0 1 0 21938764 175501312 28043 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42847 28043 364 364 0 42483 0 [pid=9263] vsize: 171388 Current children cumulated CPU time (s) 777.01 Current children cumulated vsize (Kb) 171388 [startup+820.038 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 107102 0 0 0 76717 1942 0 0 25 0 1 0 21938764 175501312 28079 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42847 28079 364 364 0 42483 0 [pid=9263] vsize: 171388 Current children cumulated CPU time (s) 786.59 Current children cumulated vsize (Kb) 171388 [startup+830.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 108183 0 0 0 77666 1960 0 0 25 0 1 0 21938764 175661056 28098 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42886 28098 364 364 0 42522 0 [pid=9263] vsize: 171544 Current children cumulated CPU time (s) 796.26 Current children cumulated vsize (Kb) 171544 [startup+840.038 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 108750 0 0 0 78612 1978 0 0 25 0 1 0 21938764 175661056 28134 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42886 28134 364 364 0 42522 0 [pid=9263] vsize: 171544 Current children cumulated CPU time (s) 805.9 Current children cumulated vsize (Kb) 171544 [startup+850.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 109307 0 0 0 79545 2002 0 0 25 0 1 0 21938764 175792128 28160 4294967295 134512640 135987407 3221224560 3221223280 134813796 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42918 28160 364 364 0 42554 0 [pid=9263] vsize: 171672 Current children cumulated CPU time (s) 815.47 Current children cumulated vsize (Kb) 171672 [startup+860.039 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 110389 0 0 0 80495 2020 0 0 25 0 1 0 21938764 175792128 28180 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42918 28180 364 364 0 42554 0 [pid=9263] vsize: 171672 Current children cumulated CPU time (s) 825.15 Current children cumulated vsize (Kb) 171672 [startup+870.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 110414 0 0 0 81420 2045 0 0 25 0 1 0 21938764 175792128 28205 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42918 28205 364 364 0 42554 0 [pid=9263] vsize: 171672 Current children cumulated CPU time (s) 834.65 Current children cumulated vsize (Kb) 171672 [startup+880.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 111501 0 0 0 82359 2069 0 0 25 0 1 0 21938764 175792128 28230 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42918 28230 364 364 0 42554 0 [pid=9263] vsize: 171672 Current children cumulated CPU time (s) 844.28 Current children cumulated vsize (Kb) 171672 [startup+890.039 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 112068 0 0 0 83299 2090 0 0 25 0 1 0 21938764 175923200 28266 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42950 28266 364 364 0 42586 0 [pid=9263] vsize: 171800 Current children cumulated CPU time (s) 853.89 Current children cumulated vsize (Kb) 171800 [startup+900.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 112613 0 0 0 84243 2111 0 0 25 0 1 0 21938764 175923200 28280 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42950 28280 364 364 0 42586 0 [pid=9263] vsize: 171800 Current children cumulated CPU time (s) 863.54 Current children cumulated vsize (Kb) 171800 [startup+910.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 113702 0 0 0 85191 2132 0 0 25 0 1 0 21938764 175923200 28307 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42950 28307 364 364 0 42586 0 [pid=9263] vsize: 171800 Current children cumulated CPU time (s) 873.23 Current children cumulated vsize (Kb) 171800 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 114267 0 0 0 86132 2153 0 0 25 0 1 0 21938764 176082944 28341 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42989 28341 364 364 0 42625 0 [pid=9263] vsize: 171956 Current children cumulated CPU time (s) 882.85 Current children cumulated vsize (Kb) 171956 [startup+930.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 114824 0 0 0 87068 2175 0 0 25 0 1 0 21938764 176082944 28367 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 42989 28367 364 364 0 42625 0 [pid=9263] vsize: 171956 Current children cumulated CPU time (s) 892.43 Current children cumulated vsize (Kb) 171956 [startup+940.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 115904 0 0 0 88017 2192 0 0 25 0 1 0 21938764 176082944 28385 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 42989 28385 364 364 0 42625 0 [pid=9263] vsize: 171956 Current children cumulated CPU time (s) 902.09 Current children cumulated vsize (Kb) 171956 [startup+950.042 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 116460 0 0 0 88956 2212 0 0 25 0 1 0 21938764 176214016 28410 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43021 28410 364 364 0 42657 0 [pid=9263] vsize: 172084 Current children cumulated CPU time (s) 911.68 Current children cumulated vsize (Kb) 172084 [startup+960.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 117015 0 0 0 89901 2233 0 0 25 0 1 0 21938764 176214016 28434 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43021 28434 364 364 0 42657 0 [pid=9263] vsize: 172084 Current children cumulated CPU time (s) 921.34 Current children cumulated vsize (Kb) 172084 [startup+970.041 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 117567 0 0 0 90841 2253 0 0 25 0 1 0 21938764 176214016 28455 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43021 28455 364 364 0 42657 0 [pid=9263] vsize: 172084 Current children cumulated CPU time (s) 930.94 Current children cumulated vsize (Kb) 172084 [startup+980.042 s] Raw data (loadavg): 1.07 0.99 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 118122 0 0 0 91777 2276 0 0 25 0 1 0 21938764 176214016 28479 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43021 28479 364 364 0 42657 0 [pid=9263] vsize: 172084 Current children cumulated CPU time (s) 940.53 Current children cumulated vsize (Kb) 172084 [startup+990.042 s] Raw data (loadavg): 1.06 0.99 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 118689 0 0 0 92720 2298 0 0 25 0 1 0 21938764 176373760 28515 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43060 28515 364 364 0 42696 0 [pid=9263] vsize: 172240 Current children cumulated CPU time (s) 950.18 Current children cumulated vsize (Kb) 172240 [startup+1000.04 s] Raw data (loadavg): 1.05 0.99 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 119778 0 0 0 93666 2318 0 0 25 0 1 0 21938764 178548736 29073 4294967295 134512640 135987407 3221224560 3221222944 134829282 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43591 29073 364 364 0 43227 0 [pid=9263] vsize: 174364 Current children cumulated CPU time (s) 959.84 Current children cumulated vsize (Kb) 174364 [startup+1010.04 s] Raw data (loadavg): 1.04 0.99 0.97 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 120332 0 0 0 94615 2335 0 0 25 0 1 0 21938764 176373760 28565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43060 28565 364 364 0 42696 0 [pid=9263] vsize: 172240 Current children cumulated CPU time (s) 969.5 Current children cumulated vsize (Kb) 172240 [startup+1020.04 s] Raw data (loadavg): 1.03 0.99 0.97 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 120354 0 0 0 95547 2359 0 0 25 0 1 0 21938764 176521216 28587 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43096 28587 364 364 0 42732 0 [pid=9263] vsize: 172384 Current children cumulated CPU time (s) 979.06 Current children cumulated vsize (Kb) 172384 [startup+1030.04 s] Raw data (loadavg): 1.11 1.00 0.98 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 120916 0 0 0 96483 2380 0 0 25 0 1 0 21938764 176521216 28618 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43096 28618 364 364 0 42732 0 [pid=9263] vsize: 172384 Current children cumulated CPU time (s) 988.63 Current children cumulated vsize (Kb) 172384 [startup+1040.04 s] Raw data (loadavg): 1.09 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 122001 0 0 0 97428 2401 0 0 25 0 1 0 21938764 176521216 28641 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43096 28641 364 364 0 42732 0 [pid=9263] vsize: 172384 Current children cumulated CPU time (s) 998.29 Current children cumulated vsize (Kb) 172384 [startup+1050.04 s] Raw data (loadavg): 1.08 1.00 0.98 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 122552 0 0 0 98374 2420 0 0 25 0 1 0 21938764 176680960 28661 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43135 28661 364 364 0 42771 0 [pid=9263] vsize: 172540 Current children cumulated CPU time (s) 1007.94 Current children cumulated vsize (Kb) 172540 [startup+1060.05 s] Raw data (loadavg): 1.06 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 123104 0 0 0 99318 2439 0 0 25 0 1 0 21938764 176680960 28682 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43135 28682 364 364 0 42771 0 [pid=9263] vsize: 172540 Current children cumulated CPU time (s) 1017.57 Current children cumulated vsize (Kb) 172540 [startup+1070.04 s] Raw data (loadavg): 1.05 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 123656 0 0 0 100252 2463 0 0 25 0 1 0 21938764 176680960 28703 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43135 28703 364 364 0 42771 0 [pid=9263] vsize: 172540 Current children cumulated CPU time (s) 1027.15 Current children cumulated vsize (Kb) 172540 [startup+1080.05 s] Raw data (loadavg): 1.05 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 124747 0 0 0 101203 2484 0 0 25 0 1 0 21938764 176680960 28732 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43135 28732 364 364 0 42771 0 [pid=9263] vsize: 172540 Current children cumulated CPU time (s) 1036.87 Current children cumulated vsize (Kb) 172540 [startup+1090.05 s] Raw data (loadavg): 1.04 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 125300 0 0 0 102152 2502 0 0 25 0 1 0 21938764 176816128 28754 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43168 28754 364 364 0 42804 0 [pid=9263] vsize: 172672 Current children cumulated CPU time (s) 1046.54 Current children cumulated vsize (Kb) 172672 [startup+1100.05 s] Raw data (loadavg): 1.03 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 126387 0 0 0 103101 2521 0 0 25 0 1 0 21938764 176816128 28779 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43168 28779 364 364 0 42804 0 [pid=9263] vsize: 172672 Current children cumulated CPU time (s) 1056.22 Current children cumulated vsize (Kb) 172672 [startup+1110.05 s] Raw data (loadavg): 1.03 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 126942 0 0 0 104053 2541 0 0 25 0 1 0 21938764 176816128 28803 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43168 28803 364 364 0 42804 0 [pid=9263] vsize: 172672 Current children cumulated CPU time (s) 1065.94 Current children cumulated vsize (Kb) 172672 [startup+1120.05 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 127503 0 0 0 104993 2563 0 0 25 0 1 0 21938764 176951296 28833 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43201 28833 364 364 0 42837 0 [pid=9263] vsize: 172804 Current children cumulated CPU time (s) 1075.56 Current children cumulated vsize (Kb) 172804 [startup+1130.05 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 128051 0 0 0 105944 2581 0 0 25 0 1 0 21938764 176951296 28850 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43201 28850 364 364 0 42837 0 [pid=9263] vsize: 172804 Current children cumulated CPU time (s) 1085.25 Current children cumulated vsize (Kb) 172804 [startup+1140.05 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 129143 0 0 0 106890 2603 0 0 25 0 1 0 21938764 176951296 28880 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43201 28880 364 364 0 42837 0 [pid=9263] vsize: 172804 Current children cumulated CPU time (s) 1094.93 Current children cumulated vsize (Kb) 172804 [startup+1150.05 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 129715 0 0 0 107836 2623 0 0 25 0 1 0 21938764 177115136 28921 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43241 28921 364 364 0 42877 0 [pid=9263] vsize: 172964 Current children cumulated CPU time (s) 1104.59 Current children cumulated vsize (Kb) 172964 [startup+1160.05 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 130796 0 0 0 108781 2643 0 0 25 0 1 0 21938764 179290112 29471 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43772 29471 364 364 0 43408 0 [pid=9263] vsize: 175088 Current children cumulated CPU time (s) 1114.24 Current children cumulated vsize (Kb) 175088 [startup+1170.05 s] Raw data (loadavg): 1.01 1.00 0.98 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 131341 0 0 0 109737 2657 0 0 25 0 1 0 21938764 177115136 28954 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43241 28954 364 364 0 42877 0 [pid=9263] vsize: 172964 Current children cumulated CPU time (s) 1123.94 Current children cumulated vsize (Kb) 172964 [startup+1180.05 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 131371 0 0 0 110675 2678 0 0 25 0 1 0 21938764 177250304 28984 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43274 28984 364 364 0 42910 0 [pid=9263] vsize: 173096 Current children cumulated CPU time (s) 1133.53 Current children cumulated vsize (Kb) 173096 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 131922 0 0 0 111623 2699 0 0 25 0 1 0 21938764 177250304 29004 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43274 29004 364 364 0 42910 0 [pid=9263] vsize: 173096 Current children cumulated CPU time (s) 1143.22 Current children cumulated vsize (Kb) 173096 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.98 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 132477 0 0 0 112568 2718 0 0 25 0 1 0 21938764 177250304 29028 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43274 29028 364 364 0 42910 0 [pid=9263] vsize: 173096 Current children cumulated CPU time (s) 1152.86 Current children cumulated vsize (Kb) 173096 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 133556 0 0 0 113522 2737 0 0 25 0 1 0 21938764 179425280 29576 4294967295 134512640 135987407 3221224560 3221222976 134827674 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43805 29576 364 364 0 43441 0 [pid=9263] vsize: 175220 Current children cumulated CPU time (s) 1162.59 Current children cumulated vsize (Kb) 175220 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.98 1/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) T 9262 9263 4005 0 -1 0 134116 0 0 0 114469 2755 0 0 25 0 1 0 21938764 177385472 29074 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43307 29074 364 364 0 42943 0 [pid=9263] vsize: 173228 Current children cumulated CPU time (s) 1172.24 Current children cumulated vsize (Kb) 173228 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 134678 0 0 0 115420 2774 0 0 25 0 1 0 21938764 177385472 29105 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43307 29105 364 364 0 42943 0 [pid=9263] vsize: 173228 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (Kb) 173228 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 135239 0 0 0 116363 2795 0 0 25 0 1 0 21938764 177520640 29135 4294967295 134512640 135987407 3221224560 3221223232 134812237 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9263/statm): 43340 29135 364 364 0 42976 0 [pid=9263] vsize: 173360 Current children cumulated CPU time (s) 1191.58 Current children cumulated vsize (Kb) 173360 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 135783 0 0 0 117314 2812 0 0 25 0 1 0 21938764 177520640 29148 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43340 29148 364 364 0 42976 0 [pid=9263] vsize: 173360 Current children cumulated CPU time (s) 1201.26 Current children cumulated vsize (Kb) 173360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 9263 Raw data (/proc/9263/stat): 9263 (pb2sat) R 9262 9263 4005 0 -1 0 135783 0 0 0 117314 2812 0 0 25 0 1 0 21938764 177520640 29148 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9263/statm): 43340 29148 364 364 0 42976 0 [pid=9263] vsize: 173360 Current children cumulated CPU time (s) 1201.26 Current children cumulated vsize (Kb) 173360 Sending SIGTERM to -9263 Sleeping 2 seconds One traced child (pid=9263) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1250.51 CPU time (s): 1201.72 CPU user time (s): 1173.54 CPU system time (s): 28.1827 CPU usage (%): 96.0984 Max. virtual memory (cumulated for all children) (Kb): 175220
ERROR: no interpretation found !