Name | web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb |
MD5SUM | 0e5bfa52e1e730089f4eefb216f69dfd |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 73 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 262 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 21380 |
Total number of constraints | 60984 |
Number of constraints which are clauses | 58828 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2156 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
LAUNCH ON wulflinc3 THE 2005-09-23 15:19:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8527 boxname=wulflinc3 idbench=323 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 0e5bfa52e1e730089f4eefb216f69dfd /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.burch_dill.8.accl.ucl.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.burch_dill.8.accl.ucl.opb IDLAUNCH: 8527 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.228 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.228 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: 936848 kB Buffers: 12428 kB Cached: 67948 kB SwapCached: 0 kB Active: 45796 kB Inactive: 37520 kB HighTotal: 131008 kB HighFree: 58660 kB LowTotal: 903652 kB LowFree: 878188 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 0 kB Writeback: 0 kB Mapped: 6976 kB Slab: 8800 kB Committed_AS: 63644 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:40:03 (client local time) WITH STATUS 0 IN 1209.35 SECONDS stats: 8527 7 1209.35 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 4693/65764 Time: 85.1241/86400 c Decision: 4693/65764 Time: 98.0111/86400 c Decision: 4697/65764 Time: 123.358/86400 c Decision: 4707/65764 Time: 144.982/86400 c Decision: 4717/65764 Time: 170.082/86400 c Decision: 4723/65764 Time: 197.779/86400 c Decision: 4723/65764 Time: 214.86/86400 c Decision: 4723/65764 Time: 231.039/86400 c Decision: 4731/65764 Time: 264.904/86400 c Decision: 4734/65764 Time: 270.842/86400 c Decision: 4734/65764 Time: 286.124/86400 c Decision: 4734/65764 Time: 301.071/86400 c Decision: 4754/65764 Time: 329.006/86400 c Decision: 4754/65764 Time: 341.919/86400 c Decision: 4754/65764 Time: 356.58/86400 c Decision: 4754/65764 Time: 371.741/86400 c Decision: 4810/65764 Time: 387.848/86400 c Decision: 4810/65764 Time: 402.48/86400 c Decision: 4810/65764 Time: 417.817/86400 c Decision: 4810/65764 Time: 433.313/86400 c Decision: 4810/65764 Time: 451.038/86400 c Decision: 4810/65764 Time: 464.638/86400 c Decision: 4810/65764 Time: 471.961/86400 c Decision: 4810/65764 Time: 489.778/86400 c Decision: 4811/65764 Time: 515.456/86400 c Decision: 4811/65764 Time: 531.575/86400 c Decision: 4814/65764 Time: 547.224/86400 c Decision: 4814/65764 Time: 564.653/86400 c Decision: 4814/65764 Time: 571.61/86400 c Decision: 4814/65764 Time: 589.851/86400 c Decision: 4814/65764 Time: 609.36/86400 c Decision: 4814/65764 Time: 626.39/86400 c Decision: 4814/65764 Time: 642.761/86400 c Decision: 4840/65764 Time: 661.981/86400 c Decision: 4840/65764 Time: 671.032/86400 c Decision: 4859/65764 Time: 694.851/86400 c Decision: 4859/65764 Time: 707.698/86400 c Decision: 8142/65764 Time: 731.71/86400 c Decision: 8142/65764 Time: 745.056/86400 c Decision: 8142/65764 Time: 760.236/86400 c Decision: 8142/65764 Time: 778.908/86400 c Decision: 8142/65764 Time: 795.855/86400 c Decision: 8142/65764 Time: 813.013/86400 c Decision: 8142/65764 Time: 821.774/86400 c Decision: 8142/65764 Time: 843.102/86400 c Decision: 8142/65764 Time: 859.591/86400 c Decision: 8142/65764 Time: 874.601/86400 c Decision: 8142/65764 Time: 889.855/86400 c Decision: 8147/65764 Time: 914.564/86400 c Decision: 8147/65764 Time: 924.034/86400 c Decision: 8147/65764 Time: 941.603/86400 c Decision: 8147/65764 Time: 958.132/86400 c Decision: 8147/65764 Time: 974.792/86400 c Decision: 8147/65764 Time: 991.997/86400 c Decision: 8147/65764 Time: 1008.74/86400 c Decision: 8174/65764 Time: 1026.85/86400 c Decision: 8174/65764 Time: 1040.42/86400 c Decision: 8174/65764 Time: 1061.04/86400 c Decision: 8174/65764 Time: 1072.29/86400 c Decision: 8174/65764 Time: 1087.94/86400 c Decision: 8174/65764 Time: 1109.23/86400 c Decision: 8174/65764 Time: 1129.23/86400 c Decision: 8174/65764 Time: 1145.09/86400 c Decision: 8174/65764 Time: 1162.56/86400 c Decision: 8174/65764 Time: 1179.77/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/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21232747 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 373 2 364 364 0 9 0 [pid=7944] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.burch_dill.8.accl.ucl.opb [startup+10.0012 s] Raw data (loadavg): 0.77 0.89 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 10086 0 0 0 963 27 0 0 25 0 1 0 21232747 33267712 6008 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 8122 6008 364 364 0 7758 0 [pid=7944] vsize: 32488 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (Kb) 32488 [startup+20.0021 s] Raw data (loadavg): 0.81 0.90 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 10591 0 0 0 1902 46 0 0 25 0 1 0 21232747 35434496 6513 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 8651 6513 364 364 0 8287 0 [pid=7944] vsize: 34604 Current children cumulated CPU time (s) 19.48 Current children cumulated vsize (Kb) 34604 [startup+30.0019 s] Raw data (loadavg): 0.84 0.90 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11206 0 0 0 2870 57 0 0 25 0 1 0 21232747 38481920 7128 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 9395 7128 364 364 0 9031 0 [pid=7944] vsize: 37580 Current children cumulated CPU time (s) 29.27 Current children cumulated vsize (Kb) 37580 [startup+40.0017 s] Raw data (loadavg): 0.86 0.90 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11356 0 0 0 3821 73 0 0 25 0 1 0 21232747 39038976 7278 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 9531 7278 364 364 0 9167 0 [pid=7944] vsize: 38124 Current children cumulated CPU time (s) 38.94 Current children cumulated vsize (Kb) 38124 [startup+50.0026 s] Raw data (loadavg): 0.88 0.91 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11487 0 0 0 4774 88 0 0 25 0 1 0 21232747 39432192 7409 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 9627 7409 364 364 0 9263 0 [pid=7944] vsize: 38508 Current children cumulated CPU time (s) 48.62 Current children cumulated vsize (Kb) 38508 [startup+60.0024 s] Raw data (loadavg): 0.90 0.91 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11649 0 0 0 5733 103 0 0 25 0 1 0 21232747 40292352 7571 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 9837 7571 364 364 0 9473 0 [pid=7944] vsize: 39348 Current children cumulated CPU time (s) 58.36 Current children cumulated vsize (Kb) 39348 [startup+70.0033 s] Raw data (loadavg): 0.91 0.91 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11776 0 0 0 6699 114 0 0 25 0 1 0 21232747 40759296 7698 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 9951 7698 364 364 0 9587 0 [pid=7944] vsize: 39804 Current children cumulated CPU time (s) 68.13 Current children cumulated vsize (Kb) 39804 [startup+80.0041 s] Raw data (loadavg): 0.93 0.91 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12005 0 0 0 7672 123 0 0 25 0 1 0 21232747 41975808 7927 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 10248 7927 364 364 0 9884 0 [pid=7944] vsize: 40992 Current children cumulated CPU time (s) 77.95 Current children cumulated vsize (Kb) 40992 [startup+90.0039 s] Raw data (loadavg): 0.94 0.92 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12179 0 0 0 8638 136 0 0 25 0 1 0 21232747 42921984 8101 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 10479 8101 364 364 0 10115 0 [pid=7944] vsize: 41916 Current children cumulated CPU time (s) 87.74 Current children cumulated vsize (Kb) 41916 [startup+100.004 s] Raw data (loadavg): 0.95 0.92 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12373 0 0 0 9603 148 0 0 25 0 1 0 21232747 43057152 8166 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 10512 8166 364 364 0 10148 0 [pid=7944] vsize: 42048 Current children cumulated CPU time (s) 97.51 Current children cumulated vsize (Kb) 42048 [startup+110.005 s] Raw data (loadavg): 0.95 0.92 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12623 0 0 0 10581 155 0 0 25 0 1 0 21232747 43732992 8287 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 10677 8287 364 364 0 10313 0 [pid=7944] vsize: 42708 Current children cumulated CPU time (s) 107.36 Current children cumulated vsize (Kb) 42708 [startup+120.006 s] Raw data (loadavg): 0.96 0.92 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12668 0 0 0 11551 166 0 0 25 0 1 0 21232747 44003328 8332 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 10743 8332 364 364 0 10379 0 [pid=7944] vsize: 42972 Current children cumulated CPU time (s) 117.17 Current children cumulated vsize (Kb) 42972 [startup+130.006 s] Raw data (loadavg): 0.97 0.92 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12680 0 0 0 12523 176 0 0 25 0 1 0 21232747 44003328 8344 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 10743 8344 364 364 0 10379 0 [pid=7944] vsize: 42972 Current children cumulated CPU time (s) 126.99 Current children cumulated vsize (Kb) 42972 [startup+140.006 s] Raw data (loadavg): 0.97 0.93 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12847 0 0 0 13492 185 0 0 25 0 1 0 21232747 44138496 8382 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 10776 8382 364 364 0 10412 0 [pid=7944] vsize: 43104 Current children cumulated CPU time (s) 136.77 Current children cumulated vsize (Kb) 43104 [startup+150.007 s] Raw data (loadavg): 0.98 0.93 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12867 0 0 0 14464 195 0 0 25 0 1 0 21232747 44138496 8402 4294967295 134512640 135987407 3221224560 3221223248 134811692 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 10776 8402 364 364 0 10412 0 [pid=7944] vsize: 43104 Current children cumulated CPU time (s) 146.59 Current children cumulated vsize (Kb) 43104 [startup+160.007 s] Raw data (loadavg): 0.98 0.93 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13055 0 0 0 15431 207 0 0 25 0 1 0 21232747 44408832 8461 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 10842 8461 364 364 0 10478 0 [pid=7944] vsize: 43368 Current children cumulated CPU time (s) 156.38 Current children cumulated vsize (Kb) 43368 [startup+170.008 s] Raw data (loadavg): 0.98 0.93 0.94 1/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 13121 0 0 0 16409 215 0 0 25 0 1 0 21232747 44679168 8527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 10908 8527 364 364 0 10544 0 [pid=7944] vsize: 43632 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (Kb) 43632 [startup+180.008 s] Raw data (loadavg): 0.98 0.93 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 13140 0 0 0 17379 224 0 0 25 0 1 0 21232747 44679168 8546 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 10908 8546 364 364 0 10544 0 [pid=7944] vsize: 43632 Current children cumulated CPU time (s) 176.03 Current children cumulated vsize (Kb) 43632 [startup+190.008 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13306 0 0 0 18354 233 0 0 25 0 1 0 21232747 44814336 8583 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 10941 8583 364 364 0 10577 0 [pid=7944] vsize: 43764 Current children cumulated CPU time (s) 185.87 Current children cumulated vsize (Kb) 43764 [startup+200.009 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13342 0 0 0 19318 247 0 0 25 0 1 0 21232747 44949504 8619 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 10974 8619 364 364 0 10610 0 [pid=7944] vsize: 43896 Current children cumulated CPU time (s) 195.65 Current children cumulated vsize (Kb) 43896 [startup+210.009 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13403 0 0 0 20291 257 0 0 25 0 1 0 21232747 45219840 8680 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 11040 8680 364 364 0 10676 0 [pid=7944] vsize: 44160 Current children cumulated CPU time (s) 205.48 Current children cumulated vsize (Kb) 44160 [startup+220.01 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13541 0 0 0 21266 265 0 0 25 0 1 0 21232747 45219840 8689 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 11040 8689 364 364 0 10676 0 [pid=7944] vsize: 44160 Current children cumulated CPU time (s) 215.31 Current children cumulated vsize (Kb) 44160 [startup+230.011 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13672 0 0 0 22241 274 0 0 25 0 1 0 21232747 45219840 8691 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 11040 8691 364 364 0 10676 0 [pid=7944] vsize: 44160 Current children cumulated CPU time (s) 225.15 Current children cumulated vsize (Kb) 44160 [startup+240.01 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13676 0 0 0 23214 284 0 0 25 0 1 0 21232747 45219840 8695 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 11040 8695 364 364 0 10676 0 [pid=7944] vsize: 44160 Current children cumulated CPU time (s) 234.98 Current children cumulated vsize (Kb) 44160 [startup+250.011 s] Raw data (loadavg): 0.99 0.94 0.94 1/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 13816 0 0 0 24192 291 0 0 25 0 1 0 21232747 45219840 8706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 11040 8706 364 364 0 10676 0 [pid=7944] vsize: 44160 Current children cumulated CPU time (s) 244.83 Current children cumulated vsize (Kb) 44160 [startup+260.011 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13842 0 0 0 25166 300 0 0 25 0 1 0 21232747 45219840 8732 4294967295 134512640 135987407 3221224560 3221223136 135486726 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 11040 8732 364 364 0 10676 0 [pid=7944] vsize: 44160 Current children cumulated CPU time (s) 254.66 Current children cumulated vsize (Kb) 44160 [startup+270.012 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13865 0 0 0 26143 309 0 0 25 0 1 0 21232747 45219840 8755 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 11040 8755 364 364 0 10676 0 [pid=7944] vsize: 44160 Current children cumulated CPU time (s) 264.52 Current children cumulated vsize (Kb) 44160 [startup+280.013 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14018 0 0 0 27118 318 0 0 25 0 1 0 21232747 49414144 8779 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12064 8779 364 364 0 11700 0 [pid=7944] vsize: 48256 Current children cumulated CPU time (s) 274.36 Current children cumulated vsize (Kb) 48256 [startup+290.013 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14192 0 0 0 28090 329 0 0 25 0 1 0 21232747 49414144 8824 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12064 8824 364 364 0 11700 0 [pid=7944] vsize: 48256 Current children cumulated CPU time (s) 284.19 Current children cumulated vsize (Kb) 48256 [startup+300.014 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14214 0 0 0 29064 336 0 0 25 0 1 0 21232747 49414144 8846 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12064 8846 364 364 0 11700 0 [pid=7944] vsize: 48256 Current children cumulated CPU time (s) 294 Current children cumulated vsize (Kb) 48256 [startup+310.013 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14347 0 0 0 30039 345 0 0 25 0 1 0 21232747 49414144 8850 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12064 8850 364 364 0 11700 0 [pid=7944] vsize: 48256 Current children cumulated CPU time (s) 303.84 Current children cumulated vsize (Kb) 48256 [startup+320.014 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14480 0 0 0 31015 353 0 0 25 0 1 0 21232747 49414144 8854 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12064 8854 364 364 0 11700 0 [pid=7944] vsize: 48256 Current children cumulated CPU time (s) 313.68 Current children cumulated vsize (Kb) 48256 [startup+330.014 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 14483 0 0 0 31992 361 0 0 25 0 1 0 21232747 49414144 8857 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12064 8857 364 364 0 11700 0 [pid=7944] vsize: 48256 Current children cumulated CPU time (s) 323.53 Current children cumulated vsize (Kb) 48256 [startup+340.014 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14502 0 0 0 32970 369 0 0 25 0 1 0 21232747 49549312 8876 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12097 8876 364 364 0 11733 0 [pid=7944] vsize: 48388 Current children cumulated CPU time (s) 333.39 Current children cumulated vsize (Kb) 48388 [startup+350.015 s] Raw data (loadavg): 0.99 0.95 0.94 1/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 14642 0 0 0 33942 379 0 0 25 0 1 0 21232747 49549312 8887 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12097 8887 364 364 0 11733 0 [pid=7944] vsize: 48388 Current children cumulated CPU time (s) 343.21 Current children cumulated vsize (Kb) 48388 [startup+360.015 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14834 0 0 0 34915 389 0 0 25 0 1 0 21232747 49819648 8950 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12163 8950 364 364 0 11799 0 [pid=7944] vsize: 48652 Current children cumulated CPU time (s) 353.04 Current children cumulated vsize (Kb) 48652 [startup+370.015 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14860 0 0 0 35888 398 0 0 25 0 1 0 21232747 49819648 8976 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12163 8976 364 364 0 11799 0 [pid=7944] vsize: 48652 Current children cumulated CPU time (s) 362.86 Current children cumulated vsize (Kb) 48652 [startup+380.016 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15012 0 0 0 36855 410 0 0 25 0 1 0 21232747 49819648 8999 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12163 8999 364 364 0 11799 0 [pid=7944] vsize: 48652 Current children cumulated CPU time (s) 372.65 Current children cumulated vsize (Kb) 48652 [startup+390.016 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15227 0 0 0 37827 421 0 0 25 0 1 0 21232747 50225152 9085 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12262 9085 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 382.48 Current children cumulated vsize (Kb) 49048 [startup+400.016 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15229 0 0 0 38801 429 0 0 25 0 1 0 21232747 50225152 9087 4294967295 134512640 135987407 3221224560 3221223248 134811901 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12262 9087 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 392.3 Current children cumulated vsize (Kb) 49048 [startup+410.016 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15361 0 0 0 39770 439 0 0 25 0 1 0 21232747 50225152 9090 4294967295 134512640 135987407 3221224560 3221223344 134812293 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12262 9090 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (Kb) 49048 [startup+420.018 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15496 0 0 0 40742 449 0 0 25 0 1 0 21232747 50225152 9096 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12262 9096 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 411.91 Current children cumulated vsize (Kb) 49048 [startup+430.017 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15499 0 0 0 41718 457 0 0 25 0 1 0 21232747 50225152 9099 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12262 9099 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 421.75 Current children cumulated vsize (Kb) 49048 [startup+440.017 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15634 0 0 0 42692 466 0 0 25 0 1 0 21232747 50225152 9105 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12262 9105 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 431.58 Current children cumulated vsize (Kb) 49048 [startup+450.018 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15658 0 0 0 43668 474 0 0 25 0 1 0 21232747 50225152 9129 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12262 9129 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 441.42 Current children cumulated vsize (Kb) 49048 [startup+460.018 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15814 0 0 0 44646 481 0 0 25 0 1 0 21232747 50225152 9156 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12262 9156 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 451.27 Current children cumulated vsize (Kb) 49048 [startup+470.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15962 0 0 0 45618 492 0 0 25 0 1 0 21232747 50225152 9175 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12262 9175 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 461.1 Current children cumulated vsize (Kb) 49048 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15965 0 0 0 46589 502 0 0 25 0 1 0 21232747 50225152 9178 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12262 9178 364 364 0 11898 0 [pid=7944] vsize: 49048 Current children cumulated CPU time (s) 470.91 Current children cumulated vsize (Kb) 49048 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16281 0 0 0 47558 513 0 0 25 0 1 0 21232747 50360320 9236 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12295 9236 364 364 0 11931 0 [pid=7944] vsize: 49180 Current children cumulated CPU time (s) 480.71 Current children cumulated vsize (Kb) 49180 [startup+500.021 s] Raw data (loadavg): 0.99 0.97 0.94 1/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 16324 0 0 0 48532 521 0 0 25 0 1 0 21232747 50495488 9279 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12328 9279 364 364 0 11964 0 [pid=7944] vsize: 49312 Current children cumulated CPU time (s) 490.53 Current children cumulated vsize (Kb) 49312 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16517 0 0 0 49501 531 0 0 25 0 1 0 21232747 50765824 9343 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12394 9343 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 500.32 Current children cumulated vsize (Kb) 49576 [startup+520.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16540 0 0 0 50474 540 0 0 25 0 1 0 21232747 50765824 9366 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12394 9366 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 510.14 Current children cumulated vsize (Kb) 49576 [startup+530.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16563 0 0 0 51448 550 0 0 25 0 1 0 21232747 50765824 9389 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12394 9389 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 519.98 Current children cumulated vsize (Kb) 49576 [startup+540.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16711 0 0 0 52423 559 0 0 25 0 1 0 21232747 50765824 9408 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12394 9408 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 529.82 Current children cumulated vsize (Kb) 49576 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16869 0 0 0 53401 568 0 0 25 0 1 0 21232747 50765824 9437 4294967295 134512640 135987407 3221224560 3221223328 134882554 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12394 9437 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 539.69 Current children cumulated vsize (Kb) 49576 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16872 0 0 0 54376 575 0 0 25 0 1 0 21232747 50765824 9440 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12394 9440 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 549.51 Current children cumulated vsize (Kb) 49576 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17005 0 0 0 55344 586 0 0 25 0 1 0 21232747 50765824 9444 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12394 9444 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 559.3 Current children cumulated vsize (Kb) 49576 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17007 0 0 0 56314 595 0 0 25 0 1 0 21232747 50765824 9446 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12394 9446 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 569.09 Current children cumulated vsize (Kb) 49576 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17161 0 0 0 57283 607 0 0 25 0 1 0 21232747 50765824 9471 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12394 9471 364 364 0 12030 0 [pid=7944] vsize: 49576 Current children cumulated CPU time (s) 578.9 Current children cumulated vsize (Kb) 49576 [startup+600.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17332 0 0 0 58249 619 0 0 25 0 1 0 21232747 50900992 9513 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12427 9513 364 364 0 12063 0 [pid=7944] vsize: 49708 Current children cumulated CPU time (s) 588.68 Current children cumulated vsize (Kb) 49708 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17484 0 0 0 59224 627 0 0 25 0 1 0 21232747 50900992 9536 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12427 9536 364 364 0 12063 0 [pid=7944] vsize: 49708 Current children cumulated CPU time (s) 598.51 Current children cumulated vsize (Kb) 49708 [startup+620.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17506 0 0 0 60198 637 0 0 25 0 1 0 21232747 50900992 9558 4294967295 134512640 135987407 3221224560 3221223344 134812325 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12427 9558 364 364 0 12063 0 [pid=7944] vsize: 49708 Current children cumulated CPU time (s) 608.35 Current children cumulated vsize (Kb) 49708 [startup+630.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17656 0 0 0 61178 644 0 0 25 0 1 0 21232747 50900992 9579 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12427 9579 364 364 0 12063 0 [pid=7944] vsize: 49708 Current children cumulated CPU time (s) 618.22 Current children cumulated vsize (Kb) 49708 [startup+640.025 s] Raw data (loadavg): 0.99 0.97 0.94 1/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 17658 0 0 0 62157 652 0 0 25 0 1 0 21232747 50900992 9581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12427 9581 364 364 0 12063 0 [pid=7944] vsize: 49708 Current children cumulated CPU time (s) 628.09 Current children cumulated vsize (Kb) 49708 [startup+650.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17806 0 0 0 63133 660 0 0 25 0 1 0 21232747 50900992 9600 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12427 9600 364 364 0 12063 0 [pid=7944] vsize: 49708 Current children cumulated CPU time (s) 637.93 Current children cumulated vsize (Kb) 49708 [startup+660.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17834 0 0 0 64105 669 0 0 25 0 1 0 21232747 50900992 9628 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12427 9628 364 364 0 12063 0 [pid=7944] vsize: 49708 Current children cumulated CPU time (s) 647.74 Current children cumulated vsize (Kb) 49708 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17989 0 0 0 65078 680 0 0 25 0 1 0 21232747 51032064 9654 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12459 9654 364 364 0 12095 0 [pid=7944] vsize: 49836 Current children cumulated CPU time (s) 657.58 Current children cumulated vsize (Kb) 49836 [startup+680.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18026 0 0 0 66049 691 0 0 25 0 1 0 21232747 51032064 9691 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12459 9691 364 364 0 12095 0 [pid=7944] vsize: 49836 Current children cumulated CPU time (s) 667.4 Current children cumulated vsize (Kb) 49836 [startup+690.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18219 0 0 0 67027 699 0 0 25 0 1 0 21232747 51032064 9755 4294967295 134512640 135987407 3221224560 3221223136 134788814 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12459 9755 364 364 0 12095 0 [pid=7944] vsize: 49836 Current children cumulated CPU time (s) 677.26 Current children cumulated vsize (Kb) 49836 [startup+700.029 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18421 0 0 0 68001 709 0 0 25 0 1 0 21232747 51302400 9828 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12525 9828 364 364 0 12161 0 [pid=7944] vsize: 50100 Current children cumulated CPU time (s) 687.1 Current children cumulated vsize (Kb) 50100 [startup+710.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18452 0 0 0 68978 716 0 0 25 0 1 0 21232747 51302400 9859 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12525 9859 364 364 0 12161 0 [pid=7944] vsize: 50100 Current children cumulated CPU time (s) 696.94 Current children cumulated vsize (Kb) 50100 [startup+720.031 s] Raw data (loadavg): 0.99 0.97 0.94 1/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 18617 0 0 0 69963 722 0 0 25 0 1 0 21232747 51302400 9895 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12525 9895 364 364 0 12161 0 [pid=7944] vsize: 50100 Current children cumulated CPU time (s) 706.85 Current children cumulated vsize (Kb) 50100 [startup+730.032 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18760 0 0 0 70935 733 0 0 25 0 1 0 21232747 51302400 9909 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12525 9909 364 364 0 12161 0 [pid=7944] vsize: 50100 Current children cumulated CPU time (s) 716.68 Current children cumulated vsize (Kb) 50100 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18790 0 0 0 71920 738 0 0 25 0 1 0 21232747 51437568 9939 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12558 9939 364 364 0 12194 0 [pid=7944] vsize: 50232 Current children cumulated CPU time (s) 726.58 Current children cumulated vsize (Kb) 50232 [startup+750.032 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18811 0 0 0 72900 744 0 0 25 0 1 0 21232747 51572736 9960 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12591 9960 364 364 0 12227 0 [pid=7944] vsize: 50364 Current children cumulated CPU time (s) 736.44 Current children cumulated vsize (Kb) 50364 [startup+760.032 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18943 0 0 0 73872 753 0 0 25 0 1 0 21232747 51572736 9963 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12591 9963 364 364 0 12227 0 [pid=7944] vsize: 50364 Current children cumulated CPU time (s) 746.25 Current children cumulated vsize (Kb) 50364 [startup+770.034 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19075 0 0 0 74845 763 0 0 25 0 1 0 21232747 51572736 9966 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12591 9966 364 364 0 12227 0 [pid=7944] vsize: 50364 Current children cumulated CPU time (s) 756.08 Current children cumulated vsize (Kb) 50364 [startup+780.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19099 0 0 0 75819 771 0 0 25 0 1 0 21232747 51572736 9990 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12591 9990 364 364 0 12227 0 [pid=7944] vsize: 50364 Current children cumulated CPU time (s) 765.9 Current children cumulated vsize (Kb) 50364 [startup+790.034 s] Raw data (loadavg): 1.06 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19293 0 0 0 76800 778 0 0 25 0 1 0 21232747 51843072 10055 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12657 10055 364 364 0 12293 0 [pid=7944] vsize: 50628 Current children cumulated CPU time (s) 775.78 Current children cumulated vsize (Kb) 50628 [startup+800.035 s] Raw data (loadavg): 1.05 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19322 0 0 0 77777 786 0 0 25 0 1 0 21232747 51843072 10084 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12657 10084 364 364 0 12293 0 [pid=7944] vsize: 50628 Current children cumulated CPU time (s) 785.63 Current children cumulated vsize (Kb) 50628 [startup+810.035 s] Raw data (loadavg): 1.04 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19455 0 0 0 78753 794 0 0 25 0 1 0 21232747 51843072 10088 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12657 10088 364 364 0 12293 0 [pid=7944] vsize: 50628 Current children cumulated CPU time (s) 795.47 Current children cumulated vsize (Kb) 50628 [startup+820.036 s] Raw data (loadavg): 1.04 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19586 0 0 0 79732 802 0 0 25 0 1 0 21232747 51843072 10090 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12657 10090 364 364 0 12293 0 [pid=7944] vsize: 50628 Current children cumulated CPU time (s) 805.34 Current children cumulated vsize (Kb) 50628 [startup+830.037 s] Raw data (loadavg): 1.03 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19609 0 0 0 80714 808 0 0 25 0 1 0 21232747 52027392 10113 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12702 10113 364 364 0 12338 0 [pid=7944] vsize: 50808 Current children cumulated CPU time (s) 815.22 Current children cumulated vsize (Kb) 50808 [startup+840.037 s] Raw data (loadavg): 1.03 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19741 0 0 0 81698 812 0 0 25 0 1 0 21232747 52027392 10116 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12702 10116 364 364 0 12338 0 [pid=7944] vsize: 50808 Current children cumulated CPU time (s) 825.1 Current children cumulated vsize (Kb) 50808 [startup+850.038 s] Raw data (loadavg): 1.02 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19884 0 0 0 82671 821 0 0 25 0 1 0 21232747 52170752 10130 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12737 10130 364 364 0 12373 0 [pid=7944] vsize: 50948 Current children cumulated CPU time (s) 834.92 Current children cumulated vsize (Kb) 50948 [startup+860.037 s] Raw data (loadavg): 1.02 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19892 0 0 0 83644 830 0 0 25 0 1 0 21232747 52170752 10138 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12737 10138 364 364 0 12373 0 [pid=7944] vsize: 50948 Current children cumulated CPU time (s) 844.74 Current children cumulated vsize (Kb) 50948 [startup+870.038 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20023 0 0 0 84619 838 0 0 25 0 1 0 21232747 52170752 10140 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12737 10140 364 364 0 12373 0 [pid=7944] vsize: 50948 Current children cumulated CPU time (s) 854.57 Current children cumulated vsize (Kb) 50948 [startup+880.038 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20071 0 0 0 85596 847 0 0 25 0 1 0 21232747 52170752 10188 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12737 10188 364 364 0 12373 0 [pid=7944] vsize: 50948 Current children cumulated CPU time (s) 864.43 Current children cumulated vsize (Kb) 50948 [startup+890.038 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20220 0 0 0 86574 853 0 0 25 0 1 0 21232747 52170752 10208 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12737 10208 364 364 0 12373 0 [pid=7944] vsize: 50948 Current children cumulated CPU time (s) 874.27 Current children cumulated vsize (Kb) 50948 [startup+900.039 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20352 0 0 0 87553 861 0 0 25 0 1 0 21232747 52170752 10211 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12737 10211 364 364 0 12373 0 [pid=7944] vsize: 50948 Current children cumulated CPU time (s) 884.14 Current children cumulated vsize (Kb) 50948 [startup+910.039 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20356 0 0 0 88529 869 0 0 25 0 1 0 21232747 52170752 10215 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12737 10215 364 364 0 12373 0 [pid=7944] vsize: 50948 Current children cumulated CPU time (s) 893.98 Current children cumulated vsize (Kb) 50948 [startup+920.039 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20495 0 0 0 89507 876 0 0 25 0 1 0 21232747 52293632 10225 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12767 10225 364 364 0 12403 0 [pid=7944] vsize: 51068 Current children cumulated CPU time (s) 903.83 Current children cumulated vsize (Kb) 51068 [startup+930.039 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20503 0 0 0 90482 884 0 0 25 0 1 0 21232747 52293632 10233 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12767 10233 364 364 0 12403 0 [pid=7944] vsize: 51068 Current children cumulated CPU time (s) 913.66 Current children cumulated vsize (Kb) 51068 [startup+940.039 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20683 0 0 0 91463 891 0 0 25 0 1 0 21232747 52293632 10284 4294967295 134512640 135987407 3221224560 3221223376 134824327 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12767 10284 364 364 0 12403 0 [pid=7944] vsize: 51068 Current children cumulated CPU time (s) 923.54 Current children cumulated vsize (Kb) 51068 [startup+950.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20902 0 0 0 92447 898 0 0 25 0 1 0 21232747 52416512 10374 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12797 10374 364 364 0 12433 0 [pid=7944] vsize: 51188 Current children cumulated CPU time (s) 933.45 Current children cumulated vsize (Kb) 51188 [startup+960.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20956 0 0 0 93424 906 0 0 25 0 1 0 21232747 52416512 10428 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12797 10428 364 364 0 12433 0 [pid=7944] vsize: 51188 Current children cumulated CPU time (s) 943.3 Current children cumulated vsize (Kb) 51188 [startup+970.041 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21117 0 0 0 94403 914 0 0 25 0 1 0 21232747 52416512 10460 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 12797 10460 364 364 0 12433 0 [pid=7944] vsize: 51188 Current children cumulated CPU time (s) 953.17 Current children cumulated vsize (Kb) 51188 [startup+980.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21126 0 0 0 95375 923 0 0 25 0 1 0 21232747 52416512 10469 4294967295 134512640 135987407 3221224560 3221223392 134787343 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12797 10469 364 364 0 12433 0 [pid=7944] vsize: 51188 Current children cumulated CPU time (s) 962.98 Current children cumulated vsize (Kb) 51188 [startup+990.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21267 0 0 0 96353 931 0 0 25 0 1 0 21232747 52547584 10481 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12829 10481 364 364 0 12465 0 [pid=7944] vsize: 51316 Current children cumulated CPU time (s) 972.84 Current children cumulated vsize (Kb) 51316 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21273 0 0 0 97328 939 0 0 25 0 1 0 21232747 52547584 10487 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12829 10487 364 364 0 12465 0 [pid=7944] vsize: 51316 Current children cumulated CPU time (s) 982.67 Current children cumulated vsize (Kb) 51316 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21409 0 0 0 98309 946 0 0 25 0 1 0 21232747 52547584 10494 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12829 10494 364 364 0 12465 0 [pid=7944] vsize: 51316 Current children cumulated CPU time (s) 992.55 Current children cumulated vsize (Kb) 51316 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21546 0 0 0 99291 951 0 0 25 0 1 0 21232747 52547584 10502 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12829 10502 364 364 0 12465 0 [pid=7944] vsize: 51316 Current children cumulated CPU time (s) 1002.42 Current children cumulated vsize (Kb) 51316 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21575 0 0 0 100264 960 0 0 25 0 1 0 21232747 52547584 10531 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 12829 10531 364 364 0 12465 0 [pid=7944] vsize: 51316 Current children cumulated CPU time (s) 1012.24 Current children cumulated vsize (Kb) 51316 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 21754 0 0 0 101240 969 0 0 25 0 1 0 21232747 61063168 10581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 14908 10581 364 364 0 14544 0 [pid=7944] vsize: 59632 Current children cumulated CPU time (s) 1022.09 Current children cumulated vsize (Kb) 59632 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21790 0 0 0 102213 979 0 0 25 0 1 0 21232747 61063168 10617 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 14908 10617 364 364 0 14544 0 [pid=7944] vsize: 59632 Current children cumulated CPU time (s) 1031.92 Current children cumulated vsize (Kb) 59632 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21942 0 0 0 103195 985 0 0 25 0 1 0 21232747 61198336 10640 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 14941 10640 364 364 0 14577 0 [pid=7944] vsize: 59764 Current children cumulated CPU time (s) 1041.8 Current children cumulated vsize (Kb) 59764 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22099 0 0 0 104167 994 0 0 25 0 1 0 21232747 61337600 10668 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 14975 10668 364 364 0 14611 0 [pid=7944] vsize: 59900 Current children cumulated CPU time (s) 1051.61 Current children cumulated vsize (Kb) 59900 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22101 0 0 0 105142 1003 0 0 25 0 1 0 21232747 61337600 10670 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 14975 10670 364 364 0 14611 0 [pid=7944] vsize: 59900 Current children cumulated CPU time (s) 1061.45 Current children cumulated vsize (Kb) 59900 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22250 0 0 0 106122 1010 0 0 25 0 1 0 21232747 61472768 10690 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 15008 10690 364 364 0 14644 0 [pid=7944] vsize: 60032 Current children cumulated CPU time (s) 1071.32 Current children cumulated vsize (Kb) 60032 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22383 0 0 0 107102 1016 0 0 25 0 1 0 21232747 61472768 10694 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 15008 10694 364 364 0 14644 0 [pid=7944] vsize: 60032 Current children cumulated CPU time (s) 1081.18 Current children cumulated vsize (Kb) 60032 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22401 0 0 0 108077 1024 0 0 25 0 1 0 21232747 61472768 10712 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 15008 10712 364 364 0 14644 0 [pid=7944] vsize: 60032 Current children cumulated CPU time (s) 1091.01 Current children cumulated vsize (Kb) 60032 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22563 0 0 0 109058 1031 0 0 25 0 1 0 21232747 61472768 10745 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 15008 10745 364 364 0 14644 0 [pid=7944] vsize: 60032 Current children cumulated CPU time (s) 1100.89 Current children cumulated vsize (Kb) 60032 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.95 1/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 22603 0 0 0 110033 1040 0 0 25 0 1 0 21232747 61472768 10785 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7944/statm): 15008 10785 364 364 0 14644 0 [pid=7944] vsize: 60032 Current children cumulated CPU time (s) 1110.73 Current children cumulated vsize (Kb) 60032 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22766 0 0 0 111013 1047 0 0 25 0 1 0 21232747 61665280 10819 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 15055 10819 364 364 0 14691 0 [pid=7944] vsize: 60220 Current children cumulated CPU time (s) 1120.6 Current children cumulated vsize (Kb) 60220 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22770 0 0 0 111986 1055 0 0 25 0 1 0 21232747 61665280 10823 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 15055 10823 364 364 0 14691 0 [pid=7944] vsize: 60220 Current children cumulated CPU time (s) 1130.41 Current children cumulated vsize (Kb) 60220 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22905 0 0 0 112970 1061 0 0 25 0 1 0 21232747 61665280 10829 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 15055 10829 364 364 0 14691 0 [pid=7944] vsize: 60220 Current children cumulated CPU time (s) 1140.31 Current children cumulated vsize (Kb) 60220 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 22916 0 0 0 113944 1067 0 0 25 0 1 0 21232747 61665280 10840 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 15055 10840 364 364 0 14691 0 [pid=7944] vsize: 60220 Current children cumulated CPU time (s) 1150.11 Current children cumulated vsize (Kb) 60220 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 23084 0 0 0 114929 1074 0 0 25 0 1 0 21232747 61665280 10879 4294967295 134512640 135987407 3221224560 3221223424 134812940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 15055 10879 364 364 0 14691 0 [pid=7944] vsize: 60220 Current children cumulated CPU time (s) 1160.03 Current children cumulated vsize (Kb) 60220 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 23124 0 0 0 115901 1083 0 0 25 0 1 0 21232747 61665280 10919 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7944/statm): 15055 10919 364 364 0 14691 0 [pid=7944] vsize: 60220 Current children cumulated CPU time (s) 1169.84 Current children cumulated vsize (Kb) 60220 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 24837 0 0 0 116872 1094 0 0 25 0 1 0 21232747 68079616 10966 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 16621 10966 364 364 0 16257 0 [pid=7944] vsize: 66484 Current children cumulated CPU time (s) 1179.66 Current children cumulated vsize (Kb) 66484 [startup+1210.05 s] Raw data (loadavg): 1.00 0.99 0.95 1/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 25007 0 0 0 117848 1103 0 0 25 0 1 0 21232747 68079616 11007 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7944/statm): 16621 11007 364 364 0 16257 0 [pid=7944] vsize: 66484 Current children cumulated CPU time (s) 1189.51 Current children cumulated vsize (Kb) 66484 [startup+1220.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 25058 0 0 0 118818 1115 0 0 25 0 1 0 21232747 68247552 11058 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 16662 11058 364 364 0 16298 0 [pid=7944] vsize: 66648 Current children cumulated CPU time (s) 1199.33 Current children cumulated vsize (Kb) 66648 [startup+1230.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 25090 0 0 0 119796 1123 0 0 25 0 1 0 21232747 68247552 11090 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 16662 11090 364 364 0 16298 0 [pid=7944] vsize: 66648 Current children cumulated CPU time (s) 1209.19 Current children cumulated vsize (Kb) 66648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.05 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7944 Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 25090 0 0 0 119796 1123 0 0 25 0 1 0 21232747 68247552 11090 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7944/statm): 16662 11090 364 364 0 16298 0 [pid=7944] vsize: 66648 Current children cumulated CPU time (s) 1209.19 Current children cumulated vsize (Kb) 66648 Sending SIGTERM to -7944 Sleeping 2 seconds One traced child (pid=7944) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1230.2 CPU time (s): 1209.35 CPU user time (s): 1198.08 CPU system time (s): 11.2623 CPU usage (%): 98.3048 Max. virtual memory (cumulated for all children) (Kb): 66648
ERROR: no interpretation found !