Name | web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb |
MD5SUM | f306f9e77db4c563a096b79aebdedeaa |
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 | 71 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 261 |
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 | 23621 |
Total number of constraints | 67526 |
Number of constraints which are clauses | 65126 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2400 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
LAUNCH ON wulflinc17 THE 2005-09-23 15:19:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8526 boxname=wulflinc17 idbench=322 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f306f9e77db4c563a096b79aebdedeaa /oldhome/oroussel/tmp/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb IDLAUNCH: 8526 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 933036 kB Buffers: 15424 kB Cached: 67468 kB SwapCached: 0 kB Active: 45752 kB Inactive: 40084 kB HighTotal: 131008 kB HighFree: 59136 kB LowTotal: 903652 kB LowFree: 873900 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10148 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 15:40:01 (client local time) WITH STATUS 0 IN 1204.5 SECONDS stats: 8526 7 1204.5 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 2445/71607 Time: 12.894/86400 c Decision: 2445/71607 Time: 21.1438/86400 c Decision: 2446/71607 Time: 30.8023/86400 c Decision: 2458/71607 Time: 49.2235/86400 c Decision: 2458/71607 Time: 57.0543/86400 c Decision: 2458/71607 Time: 66.9628/86400 c Decision: 2458/71607 Time: 76.6563/86400 c Decision: 2458/71607 Time: 84.8291/86400 c Decision: 2458/71607 Time: 94.5906/86400 c Decision: 2458/71607 Time: 104.211/86400 c Decision: 2458/71607 Time: 113.359/86400 c Decision: 2460/71607 Time: 129.443/86400 c Decision: 2470/71607 Time: 147.107/86400 c Decision: 2470/71607 Time: 164.67/86400 c Decision: 2470/71607 Time: 179.701/86400 c Decision: 3566/71607 Time: 195.224/86400 c Decision: 5259/71607 Time: 213.678/86400 c Decision: 5431/71607 Time: 240.346/86400 c Decision: 5440/71607 Time: 296.909/86400 c Decision: 5440/71607 Time: 314.538/86400 c Decision: 5440/71607 Time: 334.523/86400 c Decision: 5471/71607 Time: 388.823/86400 c Decision: 5471/71607 Time: 406.482/86400 c Decision: 5471/71607 Time: 424.424/86400 c Decision: 5471/71607 Time: 440.84/86400 c Decision: 5471/71607 Time: 450.841/86400 c Decision: 5471/71607 Time: 461.542/86400 c Decision: 5471/71607 Time: 470.65/86400 c Decision: 5471/71607 Time: 483.93/86400 c Decision: 5471/71607 Time: 496.914/86400 c Decision: 5471/71607 Time: 509.344/86400 c Decision: 5471/71607 Time: 518.49/86400 c Decision: 5471/71607 Time: 526.457/86400 c Decision: 5471/71607 Time: 533.399/86400 c Decision: 5471/71607 Time: 541.649/86400 c Decision: 5471/71607 Time: 549.441/86400 c Decision: 5471/71607 Time: 559.643/86400 c Decision: 5471/71607 Time: 566.235/86400 c Decision: 5471/71607 Time: 574.945/86400 c Decision: 5471/71607 Time: 581.638/86400 c Decision: 5475/71607 Time: 596.885/86400 c Decision: 5475/71607 Time: 605.758/86400 c Decision: 5475/71607 Time: 614.216/86400 c Decision: 7435/71607 Time: 622.962/86400 c Decision: 7435/71607 Time: 631.389/86400 c Decision: 7435/71607 Time: 641.409/86400 c Decision: 7435/71607 Time: 650.265/86400 c Decision: 7435/71607 Time: 658.687/86400 c Decision: 7436/71607 Time: 670.661/86400 c Decision: 7436/71607 Time: 679.634/86400 c Decision: 7436/71607 Time: 688.545/86400 c Decision: 7436/71607 Time: 698.53/86400 c Decision: 7436/71607 Time: 707.538/86400 c Decision: 7436/71607 Time: 715.924/86400 c Decision: 7436/71607 Time: 727.392/86400 c Decision: 7436/71607 Time: 734.997/86400 c Decision: 7436/71607 Time: 747.601/86400 c Decision: 7436/71607 Time: 760.022/86400 c Decision: 7436/71607 Time: 771.518/86400 c Decision: 7436/71607 Time: 783.774/86400 c Decision: 7436/71607 Time: 795.42/86400 c Decision: 7436/71607 Time: 806.165/86400 c Decision: 7436/71607 Time: 819.066/86400 c Decision: 7445/71607 Time: 840.316/86400 c Decision: 7445/71607 Time: 858.093/86400 c Decision: 7461/71607 Time: 909.17/86400 c Decision: 7461/71607 Time: 935.447/86400 c Decision: 7461/71607 Time: 961.138/86400 c Decision: 7461/71607 Time: 979.946/86400 c Decision: 7461/71607 Time: 999.546/86400 c Decision: 7461/71607 Time: 1017.72/86400 c Decision: 7461/71607 Time: 1039.47/86400 c Decision: 7461/71607 Time: 1066.11/86400 c Decision: 7464/71607 Time: 1106.14/86400 c Decision: 7464/71607 Time: 1129.45/86400 c Decision: 7464/71607 Time: 1151.74/86400 c Decision: 7464/71607 Time: 1171.14/86400 c Decision: 7464/71607 Time: 1194.51/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/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21217147 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 373 2 364 364 0 9 0 [pid=7681] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb [startup+10.0012 s] Raw data (loadavg): 0.74 0.86 0.94 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 10387 0 0 0 966 27 0 0 25 0 1 0 21217147 33251328 6292 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7681/statm): 8118 6292 364 364 0 7754 0 [pid=7681] vsize: 32472 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 32472 [startup+20.0008 s] Raw data (loadavg): 0.78 0.86 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 11159 0 0 0 1913 46 0 0 25 0 1 0 21217147 36876288 7064 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 9003 7064 364 364 0 8639 0 [pid=7681] vsize: 36012 Current children cumulated CPU time (s) 19.59 Current children cumulated vsize (Kb) 36012 [startup+30.0014 s] Raw data (loadavg): 0.81 0.87 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 11645 0 0 0 2875 60 0 0 25 0 1 0 21217147 38420480 7410 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 9380 7410 364 364 0 9016 0 [pid=7681] vsize: 37520 Current children cumulated CPU time (s) 29.35 Current children cumulated vsize (Kb) 37520 [startup+40.002 s] Raw data (loadavg): 0.84 0.87 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 12054 0 0 0 3843 71 0 0 25 0 1 0 21217147 39796736 7679 4294967295 134512640 135987407 3221224560 3221223380 134812260 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 9716 7679 364 364 0 9352 0 [pid=7681] vsize: 38864 Current children cumulated CPU time (s) 39.14 Current children cumulated vsize (Kb) 38864 [startup+50.0026 s] Raw data (loadavg): 0.87 0.87 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 12527 0 0 0 4813 83 0 0 25 0 1 0 21217147 41394176 8012 4294967295 134512640 135987407 3221224560 3221223248 134811787 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 10106 8012 364 364 0 9742 0 [pid=7681] vsize: 40424 Current children cumulated CPU time (s) 48.96 Current children cumulated vsize (Kb) 40424 [startup+60.0022 s] Raw data (loadavg): 0.96 0.89 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 12883 0 0 0 5788 92 0 0 25 0 1 0 21217147 42475520 8228 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 10370 8228 364 364 0 10006 0 [pid=7681] vsize: 41480 Current children cumulated CPU time (s) 58.8 Current children cumulated vsize (Kb) 41480 [startup+70.0018 s] Raw data (loadavg): 0.97 0.90 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 13126 0 0 0 6747 107 0 0 25 0 1 0 21217147 42942464 8331 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 10484 8331 364 364 0 10120 0 [pid=7681] vsize: 41936 Current children cumulated CPU time (s) 68.54 Current children cumulated vsize (Kb) 41936 [startup+80.0024 s] Raw data (loadavg): 0.97 0.90 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 13347 0 0 0 7720 115 0 0 25 0 1 0 21217147 43274240 8412 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 10565 8412 364 364 0 10201 0 [pid=7681] vsize: 42260 Current children cumulated CPU time (s) 78.35 Current children cumulated vsize (Kb) 42260 [startup+90.002 s] Raw data (loadavg): 0.97 0.90 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 13588 0 0 0 8679 130 0 0 25 0 1 0 21217147 43814912 8513 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 10697 8513 364 364 0 10333 0 [pid=7681] vsize: 42788 Current children cumulated CPU time (s) 88.09 Current children cumulated vsize (Kb) 42788 [startup+100.003 s] Raw data (loadavg): 0.98 0.90 0.94 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 13761 0 0 0 9638 144 0 0 25 0 1 0 21217147 43814912 8546 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 10697 8546 364 364 0 10333 0 [pid=7681] vsize: 42788 Current children cumulated CPU time (s) 97.82 Current children cumulated vsize (Kb) 42788 [startup+110.003 s] Raw data (loadavg): 0.98 0.91 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 13937 0 0 0 10599 158 0 0 25 0 1 0 21217147 43814912 8582 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 10697 8582 364 364 0 10333 0 [pid=7681] vsize: 42788 Current children cumulated CPU time (s) 107.57 Current children cumulated vsize (Kb) 42788 [startup+120.003 s] Raw data (loadavg): 0.98 0.91 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14198 0 0 0 11564 170 0 0 25 0 1 0 21217147 44220416 8703 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 10796 8703 364 364 0 10432 0 [pid=7681] vsize: 43184 Current children cumulated CPU time (s) 117.34 Current children cumulated vsize (Kb) 43184 [startup+130.003 s] Raw data (loadavg): 0.99 0.91 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14391 0 0 0 12528 184 0 0 25 0 1 0 21217147 44490752 8756 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 10862 8756 364 364 0 10498 0 [pid=7681] vsize: 43448 Current children cumulated CPU time (s) 127.12 Current children cumulated vsize (Kb) 43448 [startup+140.003 s] Raw data (loadavg): 0.99 0.91 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14473 0 0 0 13499 195 0 0 25 0 1 0 21217147 44761088 8838 4294967295 134512640 135987407 3221224560 3221223120 135480413 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 10928 8838 364 364 0 10564 0 [pid=7681] vsize: 43712 Current children cumulated CPU time (s) 136.94 Current children cumulated vsize (Kb) 43712 [startup+150.004 s] Raw data (loadavg): 0.99 0.92 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14643 0 0 0 14466 206 0 0 25 0 1 0 21217147 44896256 8868 4294967295 134512640 135987407 3221224560 3221223376 134824504 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 10961 8868 364 364 0 10597 0 [pid=7681] vsize: 43844 Current children cumulated CPU time (s) 146.72 Current children cumulated vsize (Kb) 43844 [startup+160.004 s] Raw data (loadavg): 0.99 0.92 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14840 0 0 0 15434 219 0 0 25 0 1 0 21217147 45166592 8925 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11027 8925 364 364 0 10663 0 [pid=7681] vsize: 44108 Current children cumulated CPU time (s) 156.53 Current children cumulated vsize (Kb) 44108 [startup+170.004 s] Raw data (loadavg): 0.99 0.92 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14859 0 0 0 16398 231 0 0 25 0 1 0 21217147 45166592 8944 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11027 8944 364 364 0 10663 0 [pid=7681] vsize: 44108 Current children cumulated CPU time (s) 166.29 Current children cumulated vsize (Kb) 44108 [startup+180.003 s] Raw data (loadavg): 0.99 0.92 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15011 0 0 0 17359 245 0 0 25 0 1 0 21217147 45166592 8956 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 11027 8956 364 364 0 10663 0 [pid=7681] vsize: 44108 Current children cumulated CPU time (s) 176.04 Current children cumulated vsize (Kb) 44108 [startup+190.004 s] Raw data (loadavg): 0.99 0.92 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15025 0 0 0 18326 256 0 0 25 0 1 0 21217147 45166592 8970 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 11027 8970 364 364 0 10663 0 [pid=7681] vsize: 44108 Current children cumulated CPU time (s) 185.82 Current children cumulated vsize (Kb) 44108 [startup+200.005 s] Raw data (loadavg): 0.99 0.93 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15204 0 0 0 19292 268 0 0 25 0 1 0 21217147 45301760 9009 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11060 9009 364 364 0 10696 0 [pid=7681] vsize: 44240 Current children cumulated CPU time (s) 195.6 Current children cumulated vsize (Kb) 44240 [startup+210.004 s] Raw data (loadavg): 0.99 0.93 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15356 0 0 0 20260 280 0 0 25 0 1 0 21217147 45301760 9021 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 11060 9021 364 364 0 10696 0 [pid=7681] vsize: 44240 Current children cumulated CPU time (s) 205.4 Current children cumulated vsize (Kb) 44240 [startup+220.005 s] Raw data (loadavg): 0.99 0.93 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15380 0 0 0 21223 291 0 0 25 0 1 0 21217147 45436928 9045 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11093 9045 364 364 0 10729 0 [pid=7681] vsize: 44372 Current children cumulated CPU time (s) 215.14 Current children cumulated vsize (Kb) 44372 [startup+230.005 s] Raw data (loadavg): 0.99 0.93 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15523 0 0 0 22193 301 0 0 25 0 1 0 21217147 45436928 9048 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11093 9048 364 364 0 10729 0 [pid=7681] vsize: 44372 Current children cumulated CPU time (s) 224.94 Current children cumulated vsize (Kb) 44372 [startup+240.005 s] Raw data (loadavg): 0.99 0.93 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 15553 0 0 0 23153 314 0 0 25 0 1 0 21217147 45572096 9078 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11126 9078 364 364 0 10762 0 [pid=7681] vsize: 44504 Current children cumulated CPU time (s) 234.67 Current children cumulated vsize (Kb) 44504 [startup+250.006 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15576 0 0 0 24117 326 0 0 25 0 1 0 21217147 45707264 9101 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11159 9101 364 364 0 10795 0 [pid=7681] vsize: 44636 Current children cumulated CPU time (s) 244.43 Current children cumulated vsize (Kb) 44636 [startup+260.006 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15742 0 0 0 25079 340 0 0 25 0 1 0 21217147 45842432 9127 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 11192 9127 364 364 0 10828 0 [pid=7681] vsize: 44768 Current children cumulated CPU time (s) 254.19 Current children cumulated vsize (Kb) 44768 [startup+270.006 s] Raw data (loadavg): 0.99 0.94 0.94 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15744 0 0 0 26044 352 0 0 25 0 1 0 21217147 45842432 9129 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 11192 9129 364 364 0 10828 0 [pid=7681] vsize: 44768 Current children cumulated CPU time (s) 263.96 Current children cumulated vsize (Kb) 44768 [startup+280.006 s] Raw data (loadavg): 1.07 0.96 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15746 0 0 0 27006 364 0 0 25 0 1 0 21217147 45842432 9131 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11192 9131 364 364 0 10828 0 [pid=7681] vsize: 44768 Current children cumulated CPU time (s) 273.7 Current children cumulated vsize (Kb) 44768 [startup+290.007 s] Raw data (loadavg): 1.06 0.96 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15754 0 0 0 27971 376 0 0 25 0 1 0 21217147 45842432 9139 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11192 9139 364 364 0 10828 0 [pid=7681] vsize: 44768 Current children cumulated CPU time (s) 283.47 Current children cumulated vsize (Kb) 44768 [startup+300.008 s] Raw data (loadavg): 1.05 0.96 0.95 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 15768 0 0 0 28942 386 0 0 25 0 1 0 21217147 45842432 9153 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11192 9153 364 364 0 10828 0 [pid=7681] vsize: 44768 Current children cumulated CPU time (s) 293.28 Current children cumulated vsize (Kb) 44768 [startup+310.007 s] Raw data (loadavg): 1.04 0.96 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15782 0 0 0 29912 396 0 0 25 0 1 0 21217147 45842432 9167 4294967295 134512640 135987407 3221224560 3221223248 134811797 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11192 9167 364 364 0 10828 0 [pid=7681] vsize: 44768 Current children cumulated CPU time (s) 303.08 Current children cumulated vsize (Kb) 44768 [startup+320.007 s] Raw data (loadavg): 1.03 0.96 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15932 0 0 0 30882 406 0 0 25 0 1 0 21217147 45842432 9177 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 11192 9177 364 364 0 10828 0 [pid=7681] vsize: 44768 Current children cumulated CPU time (s) 312.88 Current children cumulated vsize (Kb) 44768 [startup+330.007 s] Raw data (loadavg): 1.03 0.96 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15948 0 0 0 31849 415 0 0 25 0 1 0 21217147 45842432 9193 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 11192 9193 364 364 0 10828 0 [pid=7681] vsize: 44768 Current children cumulated CPU time (s) 322.64 Current children cumulated vsize (Kb) 44768 [startup+340.008 s] Raw data (loadavg): 1.02 0.96 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16098 0 0 0 32819 425 0 0 25 0 1 0 21217147 50036736 9203 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12216 9203 364 364 0 11852 0 [pid=7681] vsize: 48864 Current children cumulated CPU time (s) 332.44 Current children cumulated vsize (Kb) 48864 [startup+350.009 s] Raw data (loadavg): 1.02 0.97 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16139 0 0 0 33788 435 0 0 25 0 1 0 21217147 50171904 9244 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12249 9244 364 364 0 11885 0 [pid=7681] vsize: 48996 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (Kb) 48996 [startup+360.009 s] Raw data (loadavg): 1.02 0.97 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16143 0 0 0 34755 447 0 0 25 0 1 0 21217147 50171904 9248 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12249 9248 364 364 0 11885 0 [pid=7681] vsize: 48996 Current children cumulated CPU time (s) 352.02 Current children cumulated vsize (Kb) 48996 [startup+370.009 s] Raw data (loadavg): 1.01 0.97 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16145 0 0 0 35715 460 0 0 25 0 1 0 21217147 50171904 9250 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12249 9250 364 364 0 11885 0 [pid=7681] vsize: 48996 Current children cumulated CPU time (s) 361.75 Current children cumulated vsize (Kb) 48996 [startup+380.01 s] Raw data (loadavg): 1.01 0.97 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16147 0 0 0 36682 470 0 0 25 0 1 0 21217147 50171904 9252 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12249 9252 364 364 0 11885 0 [pid=7681] vsize: 48996 Current children cumulated CPU time (s) 371.52 Current children cumulated vsize (Kb) 48996 [startup+390.009 s] Raw data (loadavg): 1.01 0.97 0.95 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 16150 0 0 0 37651 480 0 0 25 0 1 0 21217147 50171904 9255 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12249 9255 364 364 0 11885 0 [pid=7681] vsize: 48996 Current children cumulated CPU time (s) 381.31 Current children cumulated vsize (Kb) 48996 [startup+400.01 s] Raw data (loadavg): 1.01 0.97 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16163 0 0 0 38614 491 0 0 25 0 1 0 21217147 50171904 9268 4294967295 134512640 135987407 3221224560 3221223248 134811692 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12249 9268 364 364 0 11885 0 [pid=7681] vsize: 48996 Current children cumulated CPU time (s) 391.05 Current children cumulated vsize (Kb) 48996 [startup+410.009 s] Raw data (loadavg): 1.08 0.99 0.95 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 16330 0 0 0 39577 503 0 0 25 0 1 0 21217147 50307072 9295 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12282 9295 364 364 0 11918 0 [pid=7681] vsize: 49128 Current children cumulated CPU time (s) 400.8 Current children cumulated vsize (Kb) 49128 [startup+420.009 s] Raw data (loadavg): 1.07 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16342 0 0 0 40541 515 0 0 25 0 1 0 21217147 50307072 9307 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12282 9307 364 364 0 11918 0 [pid=7681] vsize: 49128 Current children cumulated CPU time (s) 410.56 Current children cumulated vsize (Kb) 49128 [startup+430.01 s] Raw data (loadavg): 1.06 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16494 0 0 0 41508 526 0 0 25 0 1 0 21217147 50307072 9319 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12282 9319 364 364 0 11918 0 [pid=7681] vsize: 49128 Current children cumulated CPU time (s) 420.34 Current children cumulated vsize (Kb) 49128 [startup+440.009 s] Raw data (loadavg): 1.05 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16514 0 0 0 42482 535 0 0 25 0 1 0 21217147 50307072 9339 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12282 9339 364 364 0 11918 0 [pid=7681] vsize: 49128 Current children cumulated CPU time (s) 430.17 Current children cumulated vsize (Kb) 49128 [startup+450.01 s] Raw data (loadavg): 1.04 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16679 0 0 0 43456 544 0 0 25 0 1 0 21217147 50307072 9364 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12282 9364 364 364 0 11918 0 [pid=7681] vsize: 49128 Current children cumulated CPU time (s) 440 Current children cumulated vsize (Kb) 49128 [startup+460.01 s] Raw data (loadavg): 1.03 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16858 0 0 0 44428 554 0 0 25 0 1 0 21217147 50880512 9543 4294967295 134512640 135987407 3221224560 3221222944 134828886 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12422 9543 364 364 0 12058 0 [pid=7681] vsize: 49688 Current children cumulated CPU time (s) 449.82 Current children cumulated vsize (Kb) 49688 [startup+470.011 s] Raw data (loadavg): 1.03 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17196 0 0 0 45398 566 0 0 25 0 1 0 21217147 50438144 9601 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12314 9601 364 364 0 11950 0 [pid=7681] vsize: 49256 Current children cumulated CPU time (s) 459.64 Current children cumulated vsize (Kb) 49256 [startup+480.012 s] Raw data (loadavg): 1.02 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17233 0 0 0 46363 578 0 0 25 0 1 0 21217147 50438144 9638 4294967295 134512640 135987407 3221224560 3221223248 134811920 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12314 9638 364 364 0 11950 0 [pid=7681] vsize: 49256 Current children cumulated CPU time (s) 469.41 Current children cumulated vsize (Kb) 49256 [startup+490.011 s] Raw data (loadavg): 1.02 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17386 0 0 0 47328 590 0 0 25 0 1 0 21217147 50573312 9651 4294967295 134512640 135987407 3221224560 3221223300 135478029 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12347 9651 364 364 0 11983 0 [pid=7681] vsize: 49388 Current children cumulated CPU time (s) 479.18 Current children cumulated vsize (Kb) 49388 [startup+500.012 s] Raw data (loadavg): 1.02 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17541 0 0 0 48295 601 0 0 25 0 1 0 21217147 50573312 9666 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12347 9666 364 364 0 11983 0 [pid=7681] vsize: 49388 Current children cumulated CPU time (s) 488.96 Current children cumulated vsize (Kb) 49388 [startup+510.012 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17778 0 0 0 49265 611 0 0 25 0 1 0 21217147 50728960 9763 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12385 9763 364 364 0 12021 0 [pid=7681] vsize: 49540 Current children cumulated CPU time (s) 498.76 Current children cumulated vsize (Kb) 49540 [startup+520.012 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18052 0 0 0 50235 622 0 0 25 0 1 0 21217147 50728960 9897 4294967295 134512640 135987407 3221224560 3221223328 134812414 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12385 9897 364 364 0 12021 0 [pid=7681] vsize: 49540 Current children cumulated CPU time (s) 508.57 Current children cumulated vsize (Kb) 49540 [startup+530.013 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18332 0 0 0 51205 634 0 0 25 0 1 0 21217147 50864128 10037 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12418 10037 364 364 0 12054 0 [pid=7681] vsize: 49672 Current children cumulated CPU time (s) 518.39 Current children cumulated vsize (Kb) 49672 [startup+540.013 s] Raw data (loadavg): 1.01 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18510 0 0 0 52168 646 0 0 25 0 1 0 21217147 51040256 10075 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12461 10075 364 364 0 12097 0 [pid=7681] vsize: 49844 Current children cumulated CPU time (s) 528.14 Current children cumulated vsize (Kb) 49844 [startup+550.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18661 0 0 0 53134 658 0 0 25 0 1 0 21217147 51040256 10086 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12461 10086 364 364 0 12097 0 [pid=7681] vsize: 49844 Current children cumulated CPU time (s) 537.92 Current children cumulated vsize (Kb) 49844 [startup+560.013 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18814 0 0 0 54106 667 0 0 25 0 1 0 21217147 51040256 10099 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12461 10099 364 364 0 12097 0 [pid=7681] vsize: 49844 Current children cumulated CPU time (s) 547.73 Current children cumulated vsize (Kb) 49844 [startup+570.013 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 19079 0 0 0 55073 678 0 0 25 0 1 0 21217147 51040256 10224 4294967295 134512640 135987407 3221224560 3221223248 134811712 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12461 10224 364 364 0 12097 0 [pid=7681] vsize: 49844 Current children cumulated CPU time (s) 557.51 Current children cumulated vsize (Kb) 49844 [startup+580.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 19253 0 0 0 56041 690 0 0 25 0 1 0 21217147 51175424 10258 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12494 10258 364 364 0 12130 0 [pid=7681] vsize: 49976 Current children cumulated CPU time (s) 567.31 Current children cumulated vsize (Kb) 49976 [startup+590.013 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 19561 0 0 0 57003 703 0 0 25 0 1 0 21217147 51314688 10286 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12528 10286 364 364 0 12164 0 [pid=7681] vsize: 50112 Current children cumulated CPU time (s) 577.06 Current children cumulated vsize (Kb) 50112 [startup+600.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 19709 0 0 0 57966 716 0 0 25 0 1 0 21217147 51314688 10294 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12528 10294 364 364 0 12164 0 [pid=7681] vsize: 50112 Current children cumulated CPU time (s) 586.82 Current children cumulated vsize (Kb) 50112 [startup+610.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 19933 0 0 0 58931 728 0 0 25 0 1 0 21217147 51855360 10378 4294967295 134512640 135987407 3221224560 3221223344 134812304 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12660 10378 364 364 0 12296 0 [pid=7681] vsize: 50640 Current children cumulated CPU time (s) 596.59 Current children cumulated vsize (Kb) 50640 [startup+620.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20198 0 0 0 59907 736 0 0 25 0 1 0 21217147 51855360 10503 4294967295 134512640 135987407 3221224560 3221223136 135486771 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12660 10503 364 364 0 12296 0 [pid=7681] vsize: 50640 Current children cumulated CPU time (s) 606.43 Current children cumulated vsize (Kb) 50640 [startup+630.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20381 0 0 0 60869 750 0 0 25 0 1 0 21217147 52002816 10546 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12696 10546 364 364 0 12332 0 [pid=7681] vsize: 50784 Current children cumulated CPU time (s) 616.19 Current children cumulated vsize (Kb) 50784 [startup+640.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20557 0 0 0 61838 760 0 0 25 0 1 0 21217147 52137984 10582 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12729 10582 364 364 0 12365 0 [pid=7681] vsize: 50916 Current children cumulated CPU time (s) 625.98 Current children cumulated vsize (Kb) 50916 [startup+650.015 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20730 0 0 0 62810 769 0 0 25 0 1 0 21217147 52273152 10615 4294967295 134512640 135987407 3221224560 3221223248 134788738 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12762 10615 364 364 0 12398 0 [pid=7681] vsize: 51048 Current children cumulated CPU time (s) 635.79 Current children cumulated vsize (Kb) 51048 [startup+660.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20887 0 0 0 63788 776 0 0 25 0 1 0 21217147 52273152 10632 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 12762 10632 364 364 0 12398 0 [pid=7681] vsize: 51048 Current children cumulated CPU time (s) 645.64 Current children cumulated vsize (Kb) 51048 [startup+670.014 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 21060 0 0 0 64760 787 0 0 25 0 1 0 21217147 52408320 10665 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12795 10665 364 364 0 12431 0 [pid=7681] vsize: 51180 Current children cumulated CPU time (s) 655.47 Current children cumulated vsize (Kb) 51180 [startup+680.015 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 21206 0 0 0 65733 796 0 0 25 0 1 0 21217147 52408320 10671 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 12795 10671 364 364 0 12431 0 [pid=7681] vsize: 51180 Current children cumulated CPU time (s) 665.29 Current children cumulated vsize (Kb) 51180 [startup+690.014 s] Raw data (loadavg): 1.00 0.99 0.95 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 22895 0 0 0 66700 811 0 0 25 0 1 0 21217147 58863616 10683 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14371 10683 364 364 0 14007 0 [pid=7681] vsize: 57484 Current children cumulated CPU time (s) 675.11 Current children cumulated vsize (Kb) 57484 [startup+700.015 s] Raw data (loadavg): 1.00 0.99 0.95 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 23058 0 0 0 67670 822 0 0 25 0 1 0 21217147 58863616 10706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14371 10706 364 364 0 14007 0 [pid=7681] vsize: 57484 Current children cumulated CPU time (s) 684.92 Current children cumulated vsize (Kb) 57484 [startup+710.015 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23214 0 0 0 68641 831 0 0 25 0 1 0 21217147 58863616 10722 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14371 10722 364 364 0 14007 0 [pid=7681] vsize: 57484 Current children cumulated CPU time (s) 694.72 Current children cumulated vsize (Kb) 57484 [startup+720.015 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23370 0 0 0 69612 842 0 0 25 0 1 0 21217147 58994688 10738 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14403 10738 364 364 0 14039 0 [pid=7681] vsize: 57612 Current children cumulated CPU time (s) 704.54 Current children cumulated vsize (Kb) 57612 [startup+730.016 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23523 0 0 0 70581 853 0 0 25 0 1 0 21217147 58994688 10751 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14403 10751 364 364 0 14039 0 [pid=7681] vsize: 57612 Current children cumulated CPU time (s) 714.34 Current children cumulated vsize (Kb) 57612 [startup+740.016 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23676 0 0 0 71545 863 0 0 25 0 1 0 21217147 58994688 10764 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14403 10764 364 364 0 14039 0 [pid=7681] vsize: 57612 Current children cumulated CPU time (s) 724.08 Current children cumulated vsize (Kb) 57612 [startup+750.017 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23844 0 0 0 72520 871 0 0 25 0 1 0 21217147 59129856 10792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14436 10792 364 364 0 14072 0 [pid=7681] vsize: 57744 Current children cumulated CPU time (s) 733.91 Current children cumulated vsize (Kb) 57744 [startup+760.017 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24142 0 0 0 73478 886 0 0 25 0 1 0 21217147 59883520 10950 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14620 10950 364 364 0 14256 0 [pid=7681] vsize: 58480 Current children cumulated CPU time (s) 743.64 Current children cumulated vsize (Kb) 58480 [startup+770.017 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24159 0 0 0 74453 893 0 0 25 0 1 0 21217147 59310080 10827 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14480 10827 364 364 0 14116 0 [pid=7681] vsize: 57920 Current children cumulated CPU time (s) 753.46 Current children cumulated vsize (Kb) 57920 [startup+780.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 24342 0 0 0 75431 901 0 0 25 0 1 0 21217147 59580416 10870 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14546 10870 364 364 0 14182 0 [pid=7681] vsize: 58184 Current children cumulated CPU time (s) 763.32 Current children cumulated vsize (Kb) 58184 [startup+790.017 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24486 0 0 0 76400 913 0 0 25 0 1 0 21217147 59580416 10874 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14546 10874 364 364 0 14182 0 [pid=7681] vsize: 58184 Current children cumulated CPU time (s) 773.13 Current children cumulated vsize (Kb) 58184 [startup+800.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24629 0 0 0 77371 921 0 0 25 0 1 0 21217147 59580416 10877 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14546 10877 364 364 0 14182 0 [pid=7681] vsize: 58184 Current children cumulated CPU time (s) 782.92 Current children cumulated vsize (Kb) 58184 [startup+810.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24774 0 0 0 78341 931 0 0 25 0 1 0 21217147 60153856 11022 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14686 11022 364 364 0 14322 0 [pid=7681] vsize: 58744 Current children cumulated CPU time (s) 792.72 Current children cumulated vsize (Kb) 58744 [startup+820.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24787 0 0 0 79304 944 0 0 25 0 1 0 21217147 59580416 10895 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14546 10895 364 364 0 14182 0 [pid=7681] vsize: 58184 Current children cumulated CPU time (s) 802.48 Current children cumulated vsize (Kb) 58184 [startup+830.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24939 0 0 0 80274 954 0 0 25 0 1 0 21217147 59707392 10907 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14577 10907 364 364 0 14213 0 [pid=7681] vsize: 58308 Current children cumulated CPU time (s) 812.28 Current children cumulated vsize (Kb) 58308 [startup+840.017 s] Raw data (loadavg): 1.00 0.99 0.95 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 25092 0 0 0 81236 966 0 0 25 0 1 0 21217147 59707392 10920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14577 10920 364 364 0 14213 0 [pid=7681] vsize: 58308 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (Kb) 58308 [startup+850.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25102 0 0 0 82203 978 0 0 25 0 1 0 21217147 59707392 10930 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14577 10930 364 364 0 14213 0 [pid=7681] vsize: 58308 Current children cumulated CPU time (s) 831.81 Current children cumulated vsize (Kb) 58308 [startup+860.017 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25117 0 0 0 83173 987 0 0 25 0 1 0 21217147 59826176 10945 4294967295 134512640 135987407 3221224560 3221223248 134812135 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14606 10945 364 364 0 14242 0 [pid=7681] vsize: 58424 Current children cumulated CPU time (s) 841.6 Current children cumulated vsize (Kb) 58424 [startup+870.017 s] Raw data (loadavg): 1.00 0.99 0.95 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 25266 0 0 0 84144 995 0 0 25 0 1 0 21217147 59826176 10954 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14606 10954 364 364 0 14242 0 [pid=7681] vsize: 58424 Current children cumulated CPU time (s) 851.39 Current children cumulated vsize (Kb) 58424 [startup+880.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25285 0 0 0 85113 1006 0 0 25 0 1 0 21217147 59949056 10973 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14636 10973 364 364 0 14272 0 [pid=7681] vsize: 58544 Current children cumulated CPU time (s) 861.19 Current children cumulated vsize (Kb) 58544 [startup+890.017 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25441 0 0 0 86084 1017 0 0 25 0 1 0 21217147 59949056 10989 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14636 10989 364 364 0 14272 0 [pid=7681] vsize: 58544 Current children cumulated CPU time (s) 871.01 Current children cumulated vsize (Kb) 58544 [startup+900.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25449 0 0 0 87055 1026 0 0 25 0 1 0 21217147 59949056 10997 4294967295 134512640 135987407 3221224560 3221223344 134812341 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14636 10997 364 364 0 14272 0 [pid=7681] vsize: 58544 Current children cumulated CPU time (s) 880.81 Current children cumulated vsize (Kb) 58544 [startup+910.017 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25475 0 0 0 88024 1037 0 0 25 0 1 0 21217147 60084224 11023 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14669 11023 364 364 0 14305 0 [pid=7681] vsize: 58676 Current children cumulated CPU time (s) 890.61 Current children cumulated vsize (Kb) 58676 [startup+920.018 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25477 0 0 0 88996 1046 0 0 25 0 1 0 21217147 60084224 11025 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14669 11025 364 364 0 14305 0 [pid=7681] vsize: 58676 Current children cumulated CPU time (s) 900.42 Current children cumulated vsize (Kb) 58676 [startup+930.019 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25485 0 0 0 89967 1057 0 0 25 0 1 0 21217147 60084224 11033 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14669 11033 364 364 0 14305 0 [pid=7681] vsize: 58676 Current children cumulated CPU time (s) 910.24 Current children cumulated vsize (Kb) 58676 [startup+940.019 s] Raw data (loadavg): 1.00 0.99 0.95 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 25633 0 0 0 90936 1067 0 0 25 0 1 0 21217147 60215296 11041 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14701 11041 364 364 0 14337 0 [pid=7681] vsize: 58804 Current children cumulated CPU time (s) 920.03 Current children cumulated vsize (Kb) 58804 [startup+950.02 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 25640 0 0 0 91908 1077 0 0 25 0 1 0 21217147 60215296 11048 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14701 11048 364 364 0 14337 0 [pid=7681] vsize: 58804 Current children cumulated CPU time (s) 929.85 Current children cumulated vsize (Kb) 58804 [startup+960.019 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25647 0 0 0 92878 1086 0 0 25 0 1 0 21217147 60215296 11055 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14701 11055 364 364 0 14337 0 [pid=7681] vsize: 58804 Current children cumulated CPU time (s) 939.64 Current children cumulated vsize (Kb) 58804 [startup+970.019 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25790 0 0 0 93849 1096 0 0 25 0 1 0 21217147 60215296 11058 4294967295 134512640 135987407 3221224560 3221223384 134812257 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14701 11058 364 364 0 14337 0 [pid=7681] vsize: 58804 Current children cumulated CPU time (s) 949.45 Current children cumulated vsize (Kb) 58804 [startup+980.02 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25794 0 0 0 94818 1108 0 0 25 0 1 0 21217147 60215296 11062 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14701 11062 364 364 0 14337 0 [pid=7681] vsize: 58804 Current children cumulated CPU time (s) 959.26 Current children cumulated vsize (Kb) 58804 [startup+990.02 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25802 0 0 0 95786 1118 0 0 25 0 1 0 21217147 60215296 11070 4294967295 134512640 135987407 3221224560 3221223248 134812063 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14701 11070 364 364 0 14337 0 [pid=7681] vsize: 58804 Current children cumulated CPU time (s) 969.04 Current children cumulated vsize (Kb) 58804 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.95 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25952 0 0 0 96754 1128 0 0 25 0 1 0 21217147 60215296 11080 4294967295 134512640 135987407 3221224560 3221223312 134801142 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14701 11080 364 364 0 14337 0 [pid=7681] vsize: 58804 Current children cumulated CPU time (s) 978.82 Current children cumulated vsize (Kb) 58804 [startup+1010.02 s] Raw data (loadavg): 1.08 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25959 0 0 0 97721 1138 0 0 25 0 1 0 21217147 60342272 11087 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14732 11087 364 364 0 14368 0 [pid=7681] vsize: 58928 Current children cumulated CPU time (s) 988.59 Current children cumulated vsize (Kb) 58928 [startup+1020.02 s] Raw data (loadavg): 1.07 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26105 0 0 0 98692 1148 0 0 25 0 1 0 21217147 60342272 11093 4294967295 134512640 135987407 3221224560 3221223344 134812296 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14732 11093 364 364 0 14368 0 [pid=7681] vsize: 58928 Current children cumulated CPU time (s) 998.4 Current children cumulated vsize (Kb) 58928 [startup+1030.02 s] Raw data (loadavg): 1.06 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26109 0 0 0 99672 1156 0 0 25 0 1 0 21217147 60342272 11097 4294967295 134512640 135987407 3221224560 3221223280 134814108 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14732 11097 364 364 0 14368 0 [pid=7681] vsize: 58928 Current children cumulated CPU time (s) 1008.28 Current children cumulated vsize (Kb) 58928 [startup+1040.02 s] Raw data (loadavg): 1.05 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26276 0 0 0 100645 1165 0 0 25 0 1 0 21217147 60477440 11124 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14765 11124 364 364 0 14401 0 [pid=7681] vsize: 59060 Current children cumulated CPU time (s) 1018.1 Current children cumulated vsize (Kb) 59060 [startup+1050.02 s] Raw data (loadavg): 1.04 1.00 0.96 1/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 26420 0 0 0 101615 1175 0 0 25 0 1 0 21217147 60477440 11128 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14765 11128 364 364 0 14401 0 [pid=7681] vsize: 59060 Current children cumulated CPU time (s) 1027.9 Current children cumulated vsize (Kb) 59060 [startup+1060.02 s] Raw data (loadavg): 1.03 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26433 0 0 0 102583 1185 0 0 25 0 1 0 21217147 60641280 11141 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14805 11141 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1037.68 Current children cumulated vsize (Kb) 59220 [startup+1070.02 s] Raw data (loadavg): 1.03 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26435 0 0 0 103550 1195 0 0 25 0 1 0 21217147 60641280 11143 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14805 11143 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1047.45 Current children cumulated vsize (Kb) 59220 [startup+1080.02 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26577 0 0 0 104521 1206 0 0 25 0 1 0 21217147 60641280 11145 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14805 11145 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1057.27 Current children cumulated vsize (Kb) 59220 [startup+1090.02 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26578 0 0 0 105492 1215 0 0 25 0 1 0 21217147 60641280 11146 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14805 11146 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1067.07 Current children cumulated vsize (Kb) 59220 [startup+1100.02 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26739 0 0 0 106460 1227 0 0 25 0 1 0 21217147 60641280 11167 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14805 11167 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1076.87 Current children cumulated vsize (Kb) 59220 [startup+1110.03 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26740 0 0 0 107429 1237 0 0 25 0 1 0 21217147 60641280 11168 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14805 11168 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1086.66 Current children cumulated vsize (Kb) 59220 [startup+1120.03 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26743 0 0 0 108396 1249 0 0 25 0 1 0 21217147 60641280 11171 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14805 11171 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1096.45 Current children cumulated vsize (Kb) 59220 [startup+1130.03 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26744 0 0 0 109360 1260 0 0 25 0 1 0 21217147 60641280 11172 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14805 11172 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1106.2 Current children cumulated vsize (Kb) 59220 [startup+1140.03 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26886 0 0 0 110333 1270 0 0 25 0 1 0 21217147 60641280 11174 4294967295 134512640 135987407 3221224560 3221223424 134812638 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14805 11174 364 364 0 14441 0 [pid=7681] vsize: 59220 Current children cumulated CPU time (s) 1116.03 Current children cumulated vsize (Kb) 59220 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26891 0 0 0 111304 1280 0 0 25 0 1 0 21217147 60772352 11179 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14837 11179 364 364 0 14473 0 [pid=7681] vsize: 59348 Current children cumulated CPU time (s) 1125.84 Current children cumulated vsize (Kb) 59348 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26894 0 0 0 112277 1289 0 0 25 0 1 0 21217147 60772352 11182 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14837 11182 364 364 0 14473 0 [pid=7681] vsize: 59348 Current children cumulated CPU time (s) 1135.66 Current children cumulated vsize (Kb) 59348 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27041 0 0 0 113246 1301 0 0 25 0 1 0 21217147 60772352 11189 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14837 11189 364 364 0 14473 0 [pid=7681] vsize: 59348 Current children cumulated CPU time (s) 1145.47 Current children cumulated vsize (Kb) 59348 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27047 0 0 0 114217 1312 0 0 25 0 1 0 21217147 60772352 11195 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14837 11195 364 364 0 14473 0 [pid=7681] vsize: 59348 Current children cumulated CPU time (s) 1155.29 Current children cumulated vsize (Kb) 59348 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27199 0 0 0 115183 1325 0 0 25 0 1 0 21217147 60772352 11207 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7681/statm): 14837 11207 364 364 0 14473 0 [pid=7681] vsize: 59348 Current children cumulated CPU time (s) 1165.08 Current children cumulated vsize (Kb) 59348 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27204 0 0 0 116151 1336 0 0 25 0 1 0 21217147 60772352 11212 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14837 11212 364 364 0 14473 0 [pid=7681] vsize: 59348 Current children cumulated CPU time (s) 1174.87 Current children cumulated vsize (Kb) 59348 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27348 0 0 0 117123 1346 0 0 25 0 1 0 21217147 60772352 11216 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14837 11216 364 364 0 14473 0 [pid=7681] vsize: 59348 Current children cumulated CPU time (s) 1184.69 Current children cumulated vsize (Kb) 59348 [startup+1220.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27358 0 0 0 118096 1355 0 0 25 0 1 0 21217147 60887040 11226 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14865 11226 364 364 0 14501 0 [pid=7681] vsize: 59460 Current children cumulated CPU time (s) 1194.51 Current children cumulated vsize (Kb) 59460 [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27508 0 0 0 119068 1366 0 0 25 0 1 0 21217147 60887040 11236 4294967295 134512640 135987407 3221224560 3221223376 134824701 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14865 11236 364 364 0 14501 0 [pid=7681] vsize: 59460 Current children cumulated CPU time (s) 1204.34 Current children cumulated vsize (Kb) 59460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7681 Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27508 0 0 0 119068 1366 0 0 25 0 1 0 21217147 60887040 11236 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7681/statm): 14865 11236 364 364 0 14501 0 [pid=7681] vsize: 59460 Current children cumulated CPU time (s) 1204.34 Current children cumulated vsize (Kb) 59460 Sending SIGTERM to -7681 Sleeping 2 seconds One traced child (pid=7681) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1230.19 CPU time (s): 1204.5 CPU user time (s): 1190.81 CPU system time (s): 13.6859 CPU usage (%): 97.9116 Max. virtual memory (cumulated for all children) (Kb): 59460
ERROR: no interpretation found !