Name | mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb |
MD5SUM | a7baaeaa26a0026c630e11c495604909 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1216914 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5292 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1421968313 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1421968313 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1215.96 |
Number of variables | 5292 |
Total number of constraints | 284 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 284 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 360 |
LAUNCH ON wulflinc25 THE 2005-09-23 18:50:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9287 boxname=wulflinc25 idbench=1083 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a7baaeaa26a0026c630e11c495604909 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran14x18.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran14x18.opb IDLAUNCH: 9287 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.002 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.002 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: 911976 kB Buffers: 18364 kB Cached: 84860 kB SwapCached: 0 kB Active: 46128 kB Inactive: 60040 kB HighTotal: 131008 kB HighFree: 42812 kB LowTotal: 903652 kB LowFree: 869164 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 10928 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 19:12:04 (client local time) WITH STATUS 0 IN 1206.07 SECONDS stats: 9287 7 1206.07 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 15820/189840 Time: 65.3711/86400 c Decision: 15820/189840 Time: 72.8749/86400 c Decision: 15820/189840 Time: 79.18/86400 c Decision: 15820/189840 Time: 85.9359/86400 c Decision: 15820/189840 Time: 93.3838/86400 c Decision: 15820/189840 Time: 99.5189/86400 c Decision: 15820/189840 Time: 107.213/86400 c Decision: 15820/189840 Time: 115.744/86400 c Decision: 15820/189840 Time: 123.005/86400 c Decision: 15820/189840 Time: 128.886/86400 c Decision: 15820/189840 Time: 136.887/86400 c Decision: 15820/189840 Time: 143.378/86400 c Decision: 15820/189840 Time: 149.517/86400 c Decision: 15820/189840 Time: 156.329/86400 c Decision: 15820/189840 Time: 163.494/86400 c Decision: 15820/189840 Time: 170.161/86400 c Decision: 15820/189840 Time: 176.879/86400 c Decision: 15820/189840 Time: 182.434/86400 c Decision: 15820/189840 Time: 189.358/86400 c Decision: 15820/189840 Time: 195.57/86400 c Decision: 15820/189840 Time: 202.256/86400 c Decision: 15820/189840 Time: 208.874/86400 c Decision: 15820/189840 Time: 214.894/86400 c Decision: 15820/189840 Time: 220.743/86400 c Decision: 15820/189840 Time: 226.657/86400 c Decision: 15820/189840 Time: 232.748/86400 c Decision: 15820/189840 Time: 239.678/86400 c Decision: 15820/189840 Time: 246.256/86400 c Decision: 15820/189840 Time: 252.304/86400 c Decision: 15820/189840 Time: 258.391/86400 c Decision: 15820/189840 Time: 264.954/86400 c Decision: 15820/189840 Time: 271.179/86400 c Decision: 15820/189840 Time: 277.659/86400 c Decision: 15820/189840 Time: 283.625/86400 c Decision: 15820/189840 Time: 288.835/86400 c Decision: 15820/189840 Time: 295.271/86400 c Decision: 15820/189840 Time: 300.788/86400 c Decision: 15820/189840 Time: 307.243/86400 c Decision: 15820/189840 Time: 313.784/86400 c Decision: 15820/189840 Time: 319.473/86400 c Decision: 15820/189840 Time: 326.354/86400 c Decision: 15820/189840 Time: 332.185/86400 c Decision: 15820/189840 Time: 337.77/86400 c Decision: 15820/189840 Time: 343.878/86400 c Decision: 15820/189840 Time: 350.414/86400 c Decision: 15820/189840 Time: 357.415/86400 c Decision: 15820/189840 Time: 363.695/86400 c Decision: 15820/189840 Time: 369.564/86400 c Decision: 15820/189840 Time: 376.288/86400 c Decision: 15820/189840 Time: 382.85/86400 c Decision: 15820/189840 Time: 389.044/86400 c Decision: 15820/189840 Time: 395.219/86400 c Decision: 15820/189840 Time: 400.718/86400 c Decision: 15820/189840 Time: 406.363/86400 c Decision: 15820/189840 Time: 412.781/86400 c Decision: 15820/189840 Time: 420.152/86400 c Decision: 15820/189840 Time: 426.265/86400 c Decision: 15820/189840 Time: 432.577/86400 c Decision: 15820/189840 Time: 438.139/86400 c Decision: 15820/189840 Time: 444.096/86400 c Decision: 15820/189840 Time: 450.274/86400 c Decision: 15820/189840 Time: 456.713/86400 c Decision: 15820/189840 Time: 463.217/86400 c Decision: 15820/189840 Time: 469.252/86400 c Decision: 15820/189840 Time: 474.964/86400 c Decision: 15820/189840 Time: 482.365/86400 c Decision: 15820/189840 Time: 490.862/86400 c Decision: 15820/189840 Time: 497.117/86400 c Decision: 15820/189840 Time: 503.765/86400 c Decision: 15820/189840 Time: 509.742/86400 c Decision: 15820/189840 Time: 516.265/86400 c Decision: 15820/189840 Time: 522.922/86400 c Decision: 15820/189840 Time: 529.229/86400 c Decision: 15820/189840 Time: 535.841/86400 c Decision: 15820/189840 Time: 542.743/86400 c Decision: 15820/189840 Time: 549.362/86400 c Decision: 15820/189840 Time: 554.933/86400 c Decision: 15820/189840 Time: 560.819/86400 c Decision: 15820/189840 Time: 566.88/86400 c Decision: 15820/189840 Time: 573.416/86400 c Decision: 15820/189840 Time: 580.539/86400 c Decision: 15820/189840 Time: 587.258/86400 c Decision: 15820/189840 Time: 594.744/86400 c Decision: 15820/189840 Time: 601.729/86400 c Decision: 15820/189840 Time: 608.927/86400 c Decision: 15820/189840 Time: 616.64/86400 c Decision: 15820/189840 Time: 623.34/86400 c Decision: 15820/189840 Time: 629.918/86400 c Decision: 15820/189840 Time: 636.471/86400 c Decision: 15820/189840 Time: 643.293/86400 c Decision: 15820/189840 Time: 650.98/86400 c Decision: 15820/189840 Time: 657.716/86400 c Decision: 15820/189840 Time: 664.419/86400 c Decision: 15820/189840 Time: 670.633/86400 c Decision: 15820/189840 Time: 677.348/86400 c Decision: 15820/189840 Time: 684.739/86400 c Decision: 15820/189840 Time: 691.899/86400 c Decision: 15820/189840 Time: 698.742/86400 c Decision: 15820/189840 Time: 704.053/86400 c Decision: 15820/189840 Time: 710.166/86400 c Decision: 15820/189840 Time: 717.829/86400 c Decision: 15820/189840 Time: 724.21/86400 c Decision: 15820/189840 Time: 731.25/86400 c Decision: 15820/189840 Time: 736.879/86400 c Decision: 15820/189840 Time: 744.141/86400 c Decision: 15820/189840 Time: 751.698/86400 c Decision: 15820/189840 Time: 758.837/86400 c Decision: 15820/189840 Time: 765.627/86400 c Decision: 15820/189840 Time: 772.271/86400 c Decision: 15820/189840 Time: 778.373/86400 c Decision: 15820/189840 Time: 785.594/86400 c Decision: 15820/189840 Time: 792.85/86400 c Decision: 15820/189840 Time: 799.68/86400 c Decision: 15820/189840 Time: 806.482/86400 c Decision: 15820/189840 Time: 813.184/86400 c Decision: 15820/189840 Time: 821.562/86400 c Decision: 15820/189840 Time: 828.633/86400 c Decision: 15820/189840 Time: 835.052/86400 c Decision: 15820/189840 Time: 842.172/86400 c Decision: 15820/189840 Time: 847.356/86400 c Decision: 15820/189840 Time: 854.602/86400 c Decision: 15820/189840 Time: 860.954/86400 c Decision: 15820/189840 Time: 868.799/86400 c Decision: 15820/189840 Time: 875.775/86400 c Decision: 15820/189840 Time: 882.721/86400 c Decision: 15820/189840 Time: 890.017/86400 c Decision: 15820/189840 Time: 897.249/86400 c Decision: 15820/189840 Time: 904.888/86400 c Decision: 15820/189840 Time: 911.957/86400 c Decision: 15820/189840 Time: 919.014/86400 c Decision: 15820/189840 Time: 926.255/86400 c Decision: 15820/189840 Time: 933.331/86400 c Decision: 15820/189840 Time: 940.74/86400 c Decision: 15820/189840 Time: 947.831/86400 c Decision: 15820/189840 Time: 955.452/86400 c Decision: 15820/189840 Time: 963.19/86400 c Decision: 15820/189840 Time: 971.444/86400 c Decision: 15820/189840 Time: 978.64/86400 c Decision: 15820/189840 Time: 984.049/86400 c Decision: 15820/189840 Time: 991.141/86400 c Decision: 15820/189840 Time: 999.264/86400 c Decision: 15820/189840 Time: 1006.43/86400 c Decision: 15820/189840 Time: 1013.11/86400 c Decision: 15820/189840 Time: 1021.4/86400 c Decision: 15820/189840 Time: 1028.78/86400 c Decision: 15820/189840 Time: 1037.11/86400 c Decision: 15820/189840 Time: 1045.66/86400 c Decision: 15820/189840 Time: 1052.74/86400 c Decision: 15820/189840 Time: 1060.98/86400 c Decision: 15820/189840 Time: 1068.41/86400 c Decision: 15820/189840 Time: 1076.26/86400 c Decision: 15820/189840 Time: 1083.4/86400 c Decision: 15820/189840 Time: 1090.22/86400 c Decision: 15820/189840 Time: 1098.04/86400 c Decision: 15820/189840 Time: 1105.37/86400 c Decision: 15820/189840 Time: 1113.63/86400 c Decision: 15820/189840 Time: 1120.8/86400 c Decision: 15820/189840 Time: 1128.7/86400 c Decision: 15820/189840 Time: 1135.01/86400 c Decision: 15820/189840 Time: 1144.39/86400 c Decision: 15820/189840 Time: 1151.36/86400 c Decision: 15820/189840 Time: 1159.01/86400 c Decision: 15820/189840 Time: 1167.29/86400 c Decision: 15820/189840 Time: 1174.98/86400 c Decision: 15820/189840 Time: 1182.17/86400 c Decision: 15820/189840 Time: 1191/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/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22448609 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 373 2 364 364 0 9 0 [pid=10707] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran14x18.opb [startup+10.0024 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 26742 0 0 0 924 68 0 0 25 0 1 0 22448609 83992576 15256 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 20506 15256 364 364 0 20142 0 [pid=10707] vsize: 82024 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 82024 [startup+20.003 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 28195 0 0 0 1863 90 0 0 25 0 1 0 22448609 90603520 16709 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 22120 16709 364 364 0 21756 0 [pid=10707] vsize: 88480 Current children cumulated CPU time (s) 19.53 Current children cumulated vsize (Kb) 88480 [startup+30.0026 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 28520 0 0 0 2804 109 0 0 25 0 1 0 22448609 91807744 17034 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 22414 17034 364 364 0 22050 0 [pid=10707] vsize: 89656 Current children cumulated CPU time (s) 29.13 Current children cumulated vsize (Kb) 89656 [startup+40.0033 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 28876 0 0 0 3751 127 0 0 25 0 1 0 22448609 93495296 17390 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 22826 17390 364 364 0 22462 0 [pid=10707] vsize: 91304 Current children cumulated CPU time (s) 38.78 Current children cumulated vsize (Kb) 91304 [startup+50.0038 s] Raw data (loadavg): 0.96 0.96 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 29036 0 0 0 4690 148 0 0 25 0 1 0 22448609 94117888 17550 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 22978 17550 364 364 0 22614 0 [pid=10707] vsize: 91912 Current children cumulated CPU time (s) 48.38 Current children cumulated vsize (Kb) 91912 [startup+60.0045 s] Raw data (loadavg): 0.97 0.96 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 29134 0 0 0 5626 170 0 0 25 0 1 0 22448609 94445568 17648 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23058 17648 364 364 0 22694 0 [pid=10707] vsize: 92232 Current children cumulated CPU time (s) 57.96 Current children cumulated vsize (Kb) 92232 [startup+70.0051 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 29194 0 0 0 6552 194 0 0 25 0 1 0 22448609 94593024 17708 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23094 17708 364 364 0 22730 0 [pid=10707] vsize: 92376 Current children cumulated CPU time (s) 67.46 Current children cumulated vsize (Kb) 92376 [startup+80.0047 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 29675 0 0 0 7481 220 0 0 25 0 1 0 22448609 95084544 17818 4294967295 134512640 135987407 3221224560 3221223396 134812772 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23214 17818 364 364 0 22850 0 [pid=10707] vsize: 92856 Current children cumulated CPU time (s) 77.01 Current children cumulated vsize (Kb) 92856 [startup+90.0053 s] Raw data (loadavg): 0.98 0.96 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 30105 0 0 0 8415 242 0 0 25 0 1 0 22448609 95248384 17877 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23254 17877 364 364 0 22890 0 [pid=10707] vsize: 93016 Current children cumulated CPU time (s) 86.57 Current children cumulated vsize (Kb) 93016 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 30876 0 0 0 9361 259 0 0 25 0 1 0 22448609 95248384 17906 4294967295 134512640 135987407 3221224560 3221223248 134811923 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23254 17906 364 364 0 22890 0 [pid=10707] vsize: 93016 Current children cumulated CPU time (s) 96.2 Current children cumulated vsize (Kb) 93016 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 31275 0 0 0 10292 285 0 0 25 0 1 0 22448609 95412224 17934 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23294 17934 364 364 0 22930 0 [pid=10707] vsize: 93176 Current children cumulated CPU time (s) 105.77 Current children cumulated vsize (Kb) 93176 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 32069 0 0 0 11230 309 0 0 25 0 1 0 22448609 97095680 18357 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23705 18357 364 364 0 23341 0 [pid=10707] vsize: 94820 Current children cumulated CPU time (s) 115.39 Current children cumulated vsize (Kb) 94820 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 32461 0 0 0 12154 335 0 0 25 0 1 0 22448609 95576064 18007 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23334 18007 364 364 0 22970 0 [pid=10707] vsize: 93336 Current children cumulated CPU time (s) 124.89 Current children cumulated vsize (Kb) 93336 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 32870 0 0 0 13064 364 0 0 25 0 1 0 22448609 95723520 18045 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23370 18045 364 364 0 23006 0 [pid=10707] vsize: 93480 Current children cumulated CPU time (s) 134.28 Current children cumulated vsize (Kb) 93480 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 33260 0 0 0 13971 396 0 0 25 0 1 0 22448609 95862784 18064 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23404 18064 364 364 0 23040 0 [pid=10707] vsize: 93616 Current children cumulated CPU time (s) 143.67 Current children cumulated vsize (Kb) 93616 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 34037 0 0 0 14895 423 0 0 25 0 1 0 22448609 96006144 18099 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23439 18099 364 364 0 23075 0 [pid=10707] vsize: 93756 Current children cumulated CPU time (s) 153.18 Current children cumulated vsize (Kb) 93756 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 34438 0 0 0 15803 455 0 0 25 0 1 0 22448609 96006144 18129 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23439 18129 364 364 0 23075 0 [pid=10707] vsize: 93756 Current children cumulated CPU time (s) 162.58 Current children cumulated vsize (Kb) 93756 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 35210 0 0 0 16726 482 0 0 25 0 1 0 22448609 96157696 18159 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23476 18159 364 364 0 23112 0 [pid=10707] vsize: 93904 Current children cumulated CPU time (s) 172.08 Current children cumulated vsize (Kb) 93904 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 35611 0 0 0 17642 510 0 0 25 0 1 0 22448609 96157696 18189 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23476 18189 364 364 0 23112 0 [pid=10707] vsize: 93904 Current children cumulated CPU time (s) 181.52 Current children cumulated vsize (Kb) 93904 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 36370 0 0 0 18556 538 0 0 25 0 1 0 22448609 96292864 18206 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23509 18206 364 364 0 23145 0 [pid=10707] vsize: 94036 Current children cumulated CPU time (s) 190.94 Current children cumulated vsize (Kb) 94036 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 36776 0 0 0 19459 571 0 0 25 0 1 0 22448609 96292864 18241 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23509 18241 364 364 0 23145 0 [pid=10707] vsize: 94036 Current children cumulated CPU time (s) 200.3 Current children cumulated vsize (Kb) 94036 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 37355 0 0 0 20366 604 0 0 25 0 1 0 22448609 97996800 18449 4294967295 134512640 135987407 3221224560 3221223152 134828104 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23925 18449 364 364 0 23561 0 [pid=10707] vsize: 95700 Current children cumulated CPU time (s) 209.7 Current children cumulated vsize (Kb) 95700 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 37936 0 0 0 21281 631 0 0 25 0 1 0 22448609 96477184 18288 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23554 18288 364 364 0 23190 0 [pid=10707] vsize: 94216 Current children cumulated CPU time (s) 219.12 Current children cumulated vsize (Kb) 94216 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 38333 0 0 0 22180 664 0 0 25 0 1 0 22448609 96477184 18314 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23554 18314 364 364 0 23190 0 [pid=10707] vsize: 94216 Current children cumulated CPU time (s) 228.44 Current children cumulated vsize (Kb) 94216 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 39108 0 0 0 23106 692 0 0 25 0 1 0 22448609 96477184 18347 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23554 18347 364 364 0 23190 0 [pid=10707] vsize: 94216 Current children cumulated CPU time (s) 237.98 Current children cumulated vsize (Kb) 94216 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 39492 0 0 0 24021 721 0 0 25 0 1 0 22448609 96612352 18360 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23587 18360 364 364 0 23223 0 [pid=10707] vsize: 94348 Current children cumulated CPU time (s) 247.42 Current children cumulated vsize (Kb) 94348 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 40352 0 0 0 24935 751 0 0 25 0 1 0 22448609 97144832 18478 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23717 18478 364 364 0 23353 0 [pid=10707] vsize: 94868 Current children cumulated CPU time (s) 256.86 Current children cumulated vsize (Kb) 94868 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 40740 0 0 0 25833 786 0 0 25 0 1 0 22448609 97144832 18495 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23717 18495 364 364 0 23353 0 [pid=10707] vsize: 94868 Current children cumulated CPU time (s) 266.19 Current children cumulated vsize (Kb) 94868 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 41493 0 0 0 26744 816 0 0 25 0 1 0 22448609 97144832 18506 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23717 18506 364 364 0 23353 0 [pid=10707] vsize: 94868 Current children cumulated CPU time (s) 275.6 Current children cumulated vsize (Kb) 94868 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 41880 0 0 0 27645 851 0 0 25 0 1 0 22448609 97144832 18522 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23717 18522 364 364 0 23353 0 [pid=10707] vsize: 94868 Current children cumulated CPU time (s) 284.96 Current children cumulated vsize (Kb) 94868 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 42657 0 0 0 28554 883 0 0 25 0 1 0 22448609 97280000 18557 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23750 18557 364 364 0 23386 0 [pid=10707] vsize: 95000 Current children cumulated CPU time (s) 294.37 Current children cumulated vsize (Kb) 95000 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 43050 0 0 0 29457 917 0 0 25 0 1 0 22448609 97280000 18579 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23750 18579 364 364 0 23386 0 [pid=10707] vsize: 95000 Current children cumulated CPU time (s) 303.74 Current children cumulated vsize (Kb) 95000 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 43444 0 0 0 30357 949 0 0 25 0 1 0 22448609 97280000 18602 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23750 18602 364 364 0 23386 0 [pid=10707] vsize: 95000 Current children cumulated CPU time (s) 313.06 Current children cumulated vsize (Kb) 95000 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 44210 0 0 0 31263 980 0 0 25 0 1 0 22448609 97280000 18626 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23750 18626 364 364 0 23386 0 [pid=10707] vsize: 95000 Current children cumulated CPU time (s) 322.43 Current children cumulated vsize (Kb) 95000 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 44615 0 0 0 32163 1015 0 0 25 0 1 0 22448609 97415168 18660 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23783 18660 364 364 0 23419 0 [pid=10707] vsize: 95132 Current children cumulated CPU time (s) 331.78 Current children cumulated vsize (Kb) 95132 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 45378 0 0 0 33076 1046 0 0 25 0 1 0 22448609 97415168 18681 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23783 18681 364 364 0 23419 0 [pid=10707] vsize: 95132 Current children cumulated CPU time (s) 341.22 Current children cumulated vsize (Kb) 95132 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 45779 0 0 0 33979 1079 0 0 25 0 1 0 22448609 97546240 18711 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23815 18711 364 364 0 23451 0 [pid=10707] vsize: 95260 Current children cumulated CPU time (s) 350.58 Current children cumulated vsize (Kb) 95260 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 46547 0 0 0 34892 1111 0 0 25 0 1 0 22448609 97546240 18737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23815 18737 364 364 0 23451 0 [pid=10707] vsize: 95260 Current children cumulated CPU time (s) 360.03 Current children cumulated vsize (Kb) 95260 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 46943 0 0 0 35797 1145 0 0 25 0 1 0 22448609 97546240 18762 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23815 18762 364 364 0 23451 0 [pid=10707] vsize: 95260 Current children cumulated CPU time (s) 369.42 Current children cumulated vsize (Kb) 95260 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 47712 0 0 0 36714 1173 0 0 25 0 1 0 22448609 97677312 18789 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23847 18789 364 364 0 23483 0 [pid=10707] vsize: 95388 Current children cumulated CPU time (s) 378.87 Current children cumulated vsize (Kb) 95388 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 48109 0 0 0 37624 1202 0 0 25 0 1 0 22448609 97677312 18815 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23847 18815 364 364 0 23483 0 [pid=10707] vsize: 95388 Current children cumulated CPU time (s) 388.26 Current children cumulated vsize (Kb) 95388 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 48879 0 0 0 38548 1231 0 0 25 0 1 0 22448609 97677312 18843 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23847 18843 364 364 0 23483 0 [pid=10707] vsize: 95388 Current children cumulated CPU time (s) 397.79 Current children cumulated vsize (Kb) 95388 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 49289 0 0 0 39463 1261 0 0 25 0 1 0 22448609 97808384 18882 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23879 18882 364 364 0 23515 0 [pid=10707] vsize: 95516 Current children cumulated CPU time (s) 407.24 Current children cumulated vsize (Kb) 95516 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 50110 0 0 0 40381 1288 0 0 25 0 1 0 22448609 98107392 18961 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23952 18961 364 364 0 23588 0 [pid=10707] vsize: 95808 Current children cumulated CPU time (s) 416.69 Current children cumulated vsize (Kb) 95808 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 50517 0 0 0 41292 1316 0 0 25 0 1 0 22448609 98271232 18997 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23992 18997 364 364 0 23628 0 [pid=10707] vsize: 95968 Current children cumulated CPU time (s) 426.08 Current children cumulated vsize (Kb) 95968 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 51280 0 0 0 42220 1343 0 0 25 0 1 0 22448609 98271232 19018 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 23992 19018 364 364 0 23628 0 [pid=10707] vsize: 95968 Current children cumulated CPU time (s) 435.63 Current children cumulated vsize (Kb) 95968 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 51683 0 0 0 43125 1375 0 0 25 0 1 0 22448609 98271232 19050 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 23992 19050 364 364 0 23628 0 [pid=10707] vsize: 95968 Current children cumulated CPU time (s) 445 Current children cumulated vsize (Kb) 95968 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 52459 0 0 0 44037 1408 0 0 25 0 1 0 22448609 98406400 19084 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24025 19084 364 364 0 23661 0 [pid=10707] vsize: 96100 Current children cumulated CPU time (s) 454.45 Current children cumulated vsize (Kb) 96100 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 52855 0 0 0 44965 1432 0 0 25 0 1 0 22448609 98406400 19109 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24025 19109 364 364 0 23661 0 [pid=10707] vsize: 96100 Current children cumulated CPU time (s) 463.97 Current children cumulated vsize (Kb) 96100 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 53628 0 0 0 45881 1459 0 0 25 0 1 0 22448609 98541568 19140 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24058 19140 364 364 0 23694 0 [pid=10707] vsize: 96232 Current children cumulated CPU time (s) 473.4 Current children cumulated vsize (Kb) 96232 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 54032 0 0 0 46785 1490 0 0 25 0 1 0 22448609 98541568 19173 4294967295 134512640 135987407 3221224560 3221223280 134814142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24058 19173 364 364 0 23694 0 [pid=10707] vsize: 96232 Current children cumulated CPU time (s) 482.75 Current children cumulated vsize (Kb) 96232 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 54798 0 0 0 47708 1519 0 0 25 0 1 0 22448609 98541568 19197 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24058 19197 364 364 0 23694 0 [pid=10707] vsize: 96232 Current children cumulated CPU time (s) 492.27 Current children cumulated vsize (Kb) 96232 [startup+530.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 55187 0 0 0 48625 1547 0 0 25 0 1 0 22448609 98672640 19215 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24090 19215 364 364 0 23726 0 [pid=10707] vsize: 96360 Current children cumulated CPU time (s) 501.72 Current children cumulated vsize (Kb) 96360 [startup+540.013 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10707 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 55584 0 0 0 49542 1577 0 0 25 0 1 0 22448609 98672640 19241 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24090 19241 364 364 0 23726 0 [pid=10707] vsize: 96360 Current children cumulated CPU time (s) 511.19 Current children cumulated vsize (Kb) 96360 [startup+550.014 s] Raw data (loadavg): 1.15 1.00 0.92 1/56 10708 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 56357 0 0 0 50456 1607 0 0 20 0 1 0 22448609 98672640 19272 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24090 19272 364 364 0 23726 0 [pid=10707] vsize: 96360 Current children cumulated CPU time (s) 520.63 Current children cumulated vsize (Kb) 96360 [startup+560.015 s] Raw data (loadavg): 1.13 1.00 0.92 2/55 10762 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 56755 0 0 0 51367 1637 0 0 25 0 1 0 22448609 98820096 19299 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24126 19299 364 364 0 23762 0 [pid=10707] vsize: 96504 Current children cumulated CPU time (s) 530.04 Current children cumulated vsize (Kb) 96504 [startup+570.015 s] Raw data (loadavg): 1.11 1.00 0.92 2/55 10762 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 57519 0 0 0 52285 1665 0 0 25 0 1 0 22448609 98820096 19321 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24126 19321 364 364 0 23762 0 [pid=10707] vsize: 96504 Current children cumulated CPU time (s) 539.5 Current children cumulated vsize (Kb) 96504 [startup+580.015 s] Raw data (loadavg): 1.09 1.00 0.92 1/55 10762 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 57917 0 0 0 53201 1695 0 0 25 0 1 0 22448609 98820096 19348 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24126 19348 364 364 0 23762 0 [pid=10707] vsize: 96504 Current children cumulated CPU time (s) 548.96 Current children cumulated vsize (Kb) 96504 [startup+590.015 s] Raw data (loadavg): 1.08 1.00 0.92 1/55 10762 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 58686 0 0 0 54132 1720 0 0 25 0 1 0 22448609 98951168 19375 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24158 19375 364 364 0 23794 0 [pid=10707] vsize: 96632 Current children cumulated CPU time (s) 558.52 Current children cumulated vsize (Kb) 96632 [startup+600.015 s] Raw data (loadavg): 1.07 1.00 0.92 1/55 10762 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 58720 0 0 0 55041 1753 0 0 25 0 1 0 22448609 98951168 19409 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24158 19409 364 364 0 23794 0 [pid=10707] vsize: 96632 Current children cumulated CPU time (s) 567.94 Current children cumulated vsize (Kb) 96632 [startup+610.017 s] Raw data (loadavg): 1.06 1.00 0.92 1/55 10764 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 59487 0 0 0 55961 1780 0 0 25 0 1 0 22448609 99082240 19434 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24190 19434 364 364 0 23826 0 [pid=10707] vsize: 96760 Current children cumulated CPU time (s) 577.41 Current children cumulated vsize (Kb) 96760 [startup+620.016 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 10766 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 59890 0 0 0 56877 1809 0 0 25 0 1 0 22448609 99082240 19466 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24190 19466 364 364 0 23826 0 [pid=10707] vsize: 96760 Current children cumulated CPU time (s) 586.86 Current children cumulated vsize (Kb) 96760 [startup+630.016 s] Raw data (loadavg): 1.04 1.00 0.92 1/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 60653 0 0 0 57792 1840 0 0 25 0 1 0 22448609 99082240 19487 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24190 19487 364 364 0 23826 0 [pid=10707] vsize: 96760 Current children cumulated CPU time (s) 596.32 Current children cumulated vsize (Kb) 96760 [startup+640.016 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 61054 0 0 0 58709 1870 0 0 25 0 1 0 22448609 99217408 19517 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24223 19517 364 364 0 23859 0 [pid=10707] vsize: 96892 Current children cumulated CPU time (s) 605.79 Current children cumulated vsize (Kb) 96892 [startup+650.016 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 61449 0 0 0 59615 1904 0 0 25 0 1 0 22448609 99217408 19541 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24223 19541 364 364 0 23859 0 [pid=10707] vsize: 96892 Current children cumulated CPU time (s) 615.19 Current children cumulated vsize (Kb) 96892 [startup+660.017 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 62211 0 0 0 60535 1932 0 0 25 0 1 0 22448609 99217408 19561 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24223 19561 364 364 0 23859 0 [pid=10707] vsize: 96892 Current children cumulated CPU time (s) 624.67 Current children cumulated vsize (Kb) 96892 [startup+670.017 s] Raw data (loadavg): 1.02 1.00 0.92 1/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 62602 0 0 0 61455 1960 0 0 19 0 1 0 22448609 99352576 19581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24256 19581 364 364 0 23892 0 [pid=10707] vsize: 97024 Current children cumulated CPU time (s) 634.15 Current children cumulated vsize (Kb) 97024 [startup+680.017 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 63001 0 0 0 62367 1988 0 0 19 0 1 0 22448609 99352576 19609 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24256 19609 364 364 0 23892 0 [pid=10707] vsize: 97024 Current children cumulated CPU time (s) 643.55 Current children cumulated vsize (Kb) 97024 [startup+690.018 s] Raw data (loadavg): 1.01 1.00 0.92 1/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 63769 0 0 0 63292 2013 0 0 25 0 1 0 22448609 99352576 19635 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24256 19635 364 364 0 23892 0 [pid=10707] vsize: 97024 Current children cumulated CPU time (s) 653.05 Current children cumulated vsize (Kb) 97024 [startup+700.017 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 64164 0 0 0 64212 2039 0 0 25 0 1 0 22448609 99483648 19659 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24288 19659 364 364 0 23924 0 [pid=10707] vsize: 97152 Current children cumulated CPU time (s) 662.51 Current children cumulated vsize (Kb) 97152 [startup+710.018 s] Raw data (loadavg): 1.09 1.02 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 64559 0 0 0 65133 2065 0 0 25 0 1 0 22448609 99483648 19683 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24288 19683 364 364 0 23924 0 [pid=10707] vsize: 97152 Current children cumulated CPU time (s) 671.98 Current children cumulated vsize (Kb) 97152 [startup+720.017 s] Raw data (loadavg): 1.07 1.02 0.93 1/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 65334 0 0 0 66062 2090 0 0 25 0 1 0 22448609 99483648 19716 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24288 19716 364 364 0 23924 0 [pid=10707] vsize: 97152 Current children cumulated CPU time (s) 681.52 Current children cumulated vsize (Kb) 97152 [startup+730.017 s] Raw data (loadavg): 1.06 1.01 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 65736 0 0 0 66984 2116 0 0 25 0 1 0 22448609 99614720 19747 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24320 19747 364 364 0 23956 0 [pid=10707] vsize: 97280 Current children cumulated CPU time (s) 691 Current children cumulated vsize (Kb) 97280 [startup+740.018 s] Raw data (loadavg): 1.05 1.01 0.93 1/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 66495 0 0 0 67916 2141 0 0 25 0 1 0 22448609 99614720 19764 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24320 19764 364 364 0 23956 0 [pid=10707] vsize: 97280 Current children cumulated CPU time (s) 700.57 Current children cumulated vsize (Kb) 97280 [startup+750.017 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 66891 0 0 0 68832 2170 0 0 25 0 1 0 22448609 99745792 19789 4294967295 134512640 135987407 3221224560 3221223392 134812773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24352 19789 364 364 0 23988 0 [pid=10707] vsize: 97408 Current children cumulated CPU time (s) 710.02 Current children cumulated vsize (Kb) 97408 [startup+760.018 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 67673 0 0 0 69759 2197 0 0 25 0 1 0 22448609 99745792 19829 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24352 19829 364 364 0 23988 0 [pid=10707] vsize: 97408 Current children cumulated CPU time (s) 719.56 Current children cumulated vsize (Kb) 97408 [startup+770.017 s] Raw data (loadavg): 1.03 1.01 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 68065 0 0 0 70678 2226 0 0 25 0 1 0 22448609 99876864 19850 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24384 19850 364 364 0 24020 0 [pid=10707] vsize: 97536 Current children cumulated CPU time (s) 729.04 Current children cumulated vsize (Kb) 97536 [startup+780.017 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 68461 0 0 0 71597 2253 0 0 25 0 1 0 22448609 99876864 19875 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24384 19875 364 364 0 24020 0 [pid=10707] vsize: 97536 Current children cumulated CPU time (s) 738.5 Current children cumulated vsize (Kb) 97536 [startup+790.018 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 69229 0 0 0 72524 2278 0 0 25 0 1 0 22448609 99876864 19901 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24384 19901 364 364 0 24020 0 [pid=10707] vsize: 97536 Current children cumulated CPU time (s) 748.02 Current children cumulated vsize (Kb) 97536 [startup+800.017 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 69625 0 0 0 73438 2306 0 0 25 0 1 0 22448609 99876864 19926 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24384 19926 364 364 0 24020 0 [pid=10707] vsize: 97536 Current children cumulated CPU time (s) 757.44 Current children cumulated vsize (Kb) 97536 [startup+810.018 s] Raw data (loadavg): 1.01 1.01 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 70389 0 0 0 74373 2330 0 0 25 0 1 0 22448609 101527552 20319 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24787 20319 364 364 0 24423 0 [pid=10707] vsize: 99148 Current children cumulated CPU time (s) 767.03 Current children cumulated vsize (Kb) 99148 [startup+820.018 s] Raw data (loadavg): 1.01 1.01 0.93 1/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 70790 0 0 0 75290 2360 0 0 25 0 1 0 22448609 100007936 19978 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24416 19978 364 364 0 24052 0 [pid=10707] vsize: 97664 Current children cumulated CPU time (s) 776.5 Current children cumulated vsize (Kb) 97664 [startup+830.018 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 71197 0 0 0 76214 2388 0 0 25 0 1 0 22448609 100155392 20014 4294967295 134512640 135987407 3221224560 3221223280 134813747 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24452 20014 364 364 0 24088 0 [pid=10707] vsize: 97808 Current children cumulated CPU time (s) 786.02 Current children cumulated vsize (Kb) 97808 [startup+840.019 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 71968 0 0 0 77150 2410 0 0 25 0 1 0 22448609 100155392 20043 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24452 20043 364 364 0 24088 0 [pid=10707] vsize: 97808 Current children cumulated CPU time (s) 795.6 Current children cumulated vsize (Kb) 97808 [startup+850.019 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 72376 0 0 0 78073 2438 0 0 25 0 1 0 22448609 100315136 20080 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24491 20080 364 364 0 24127 0 [pid=10707] vsize: 97964 Current children cumulated CPU time (s) 805.11 Current children cumulated vsize (Kb) 97964 [startup+860.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 73163 0 0 0 79000 2465 0 0 25 0 1 0 22448609 101998592 20496 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24902 20496 364 364 0 24538 0 [pid=10707] vsize: 99608 Current children cumulated CPU time (s) 814.65 Current children cumulated vsize (Kb) 99608 [startup+870.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 73552 0 0 0 79925 2489 0 0 25 0 1 0 22448609 100478976 20143 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24531 20143 364 364 0 24167 0 [pid=10707] vsize: 98124 Current children cumulated CPU time (s) 824.14 Current children cumulated vsize (Kb) 98124 [startup+880.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10768 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 73938 0 0 0 80856 2513 0 0 25 0 1 0 22448609 100478976 20158 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24531 20158 364 364 0 24167 0 [pid=10707] vsize: 98124 Current children cumulated CPU time (s) 833.69 Current children cumulated vsize (Kb) 98124 [startup+890.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 74711 0 0 0 81782 2540 0 0 25 0 1 0 22448609 101998592 20560 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24902 20560 364 364 0 24538 0 [pid=10707] vsize: 99608 Current children cumulated CPU time (s) 843.22 Current children cumulated vsize (Kb) 99608 [startup+900.019 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 75113 0 0 0 82714 2565 0 0 25 0 1 0 22448609 100478976 20220 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24531 20220 364 364 0 24167 0 [pid=10707] vsize: 98124 Current children cumulated CPU time (s) 852.79 Current children cumulated vsize (Kb) 98124 [startup+910.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 75879 0 0 0 83639 2591 0 0 25 0 1 0 22448609 100614144 20244 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24564 20244 364 364 0 24200 0 [pid=10707] vsize: 98256 Current children cumulated CPU time (s) 862.3 Current children cumulated vsize (Kb) 98256 [startup+920.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 76273 0 0 0 84580 2613 0 0 25 0 1 0 22448609 100614144 20267 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24564 20267 364 364 0 24200 0 [pid=10707] vsize: 98256 Current children cumulated CPU time (s) 871.93 Current children cumulated vsize (Kb) 98256 [startup+930.02 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 76670 0 0 0 85505 2638 0 0 25 0 1 0 22448609 100614144 20293 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24564 20293 364 364 0 24200 0 [pid=10707] vsize: 98256 Current children cumulated CPU time (s) 881.43 Current children cumulated vsize (Kb) 98256 [startup+940.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 77440 0 0 0 86426 2665 0 0 25 0 1 0 22448609 102268928 20692 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24968 20692 364 364 0 24604 0 [pid=10707] vsize: 99872 Current children cumulated CPU time (s) 890.91 Current children cumulated vsize (Kb) 99872 [startup+950.02 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 77830 0 0 0 87352 2690 0 0 25 0 1 0 22448609 100749312 20340 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24597 20340 364 364 0 24233 0 [pid=10707] vsize: 98388 Current children cumulated CPU time (s) 900.42 Current children cumulated vsize (Kb) 98388 [startup+960.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 78228 0 0 0 88281 2714 0 0 25 0 1 0 22448609 100749312 20367 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24597 20367 364 364 0 24233 0 [pid=10707] vsize: 98388 Current children cumulated CPU time (s) 909.95 Current children cumulated vsize (Kb) 98388 [startup+970.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 78622 0 0 0 89212 2739 0 0 25 0 1 0 22448609 100749312 20390 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24597 20390 364 364 0 24233 0 [pid=10707] vsize: 98388 Current children cumulated CPU time (s) 919.51 Current children cumulated vsize (Kb) 98388 [startup+980.021 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 79393 0 0 0 90147 2761 0 0 25 0 1 0 22448609 100880384 20419 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24629 20419 364 364 0 24265 0 [pid=10707] vsize: 98516 Current children cumulated CPU time (s) 929.08 Current children cumulated vsize (Kb) 98516 [startup+990.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 79793 0 0 0 91077 2784 0 0 25 0 1 0 22448609 100880384 20448 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24629 20448 364 364 0 24265 0 [pid=10707] vsize: 98516 Current children cumulated CPU time (s) 938.61 Current children cumulated vsize (Kb) 98516 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 80183 0 0 0 92001 2812 0 0 25 0 1 0 22448609 101015552 20467 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24662 20467 364 364 0 24298 0 [pid=10707] vsize: 98648 Current children cumulated CPU time (s) 948.13 Current children cumulated vsize (Kb) 98648 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 80950 0 0 0 92928 2836 0 0 18 0 1 0 22448609 101015552 20492 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24662 20492 364 364 0 24298 0 [pid=10707] vsize: 98648 Current children cumulated CPU time (s) 957.64 Current children cumulated vsize (Kb) 98648 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 81347 0 0 0 93853 2860 0 0 25 0 1 0 22448609 101015552 20518 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24662 20518 364 364 0 24298 0 [pid=10707] vsize: 98648 Current children cumulated CPU time (s) 967.13 Current children cumulated vsize (Kb) 98648 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 81737 0 0 0 94789 2881 0 0 25 0 1 0 22448609 101158912 20537 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24697 20537 364 364 0 24333 0 [pid=10707] vsize: 98788 Current children cumulated CPU time (s) 976.7 Current children cumulated vsize (Kb) 98788 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 82132 0 0 0 95721 2904 0 0 25 0 1 0 22448609 101158912 20561 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24697 20561 364 364 0 24333 0 [pid=10707] vsize: 98788 Current children cumulated CPU time (s) 986.25 Current children cumulated vsize (Kb) 98788 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 82903 0 0 0 96660 2926 0 0 25 0 1 0 22448609 101158912 20590 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24697 20590 364 364 0 24333 0 [pid=10707] vsize: 98788 Current children cumulated CPU time (s) 995.86 Current children cumulated vsize (Kb) 98788 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 83303 0 0 0 97587 2952 0 0 25 0 1 0 22448609 101158912 20619 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24697 20619 364 364 0 24333 0 [pid=10707] vsize: 98788 Current children cumulated CPU time (s) 1005.39 Current children cumulated vsize (Kb) 98788 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 84061 0 0 0 98519 2973 0 0 25 0 1 0 22448609 101294080 20635 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24730 20635 364 364 0 24366 0 [pid=10707] vsize: 98920 Current children cumulated CPU time (s) 1014.92 Current children cumulated vsize (Kb) 98920 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 84457 0 0 0 99443 2999 0 0 25 0 1 0 22448609 101294080 20660 4294967295 134512640 135987407 3221224560 3221223408 134790081 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24730 20660 364 364 0 24366 0 [pid=10707] vsize: 98920 Current children cumulated CPU time (s) 1024.42 Current children cumulated vsize (Kb) 98920 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 84850 0 0 0 100374 3022 0 0 25 0 1 0 22448609 101294080 20682 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24730 20682 364 364 0 24366 0 [pid=10707] vsize: 98920 Current children cumulated CPU time (s) 1033.96 Current children cumulated vsize (Kb) 98920 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 85246 0 0 0 101299 3047 0 0 25 0 1 0 22448609 101294080 20707 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24730 20707 364 364 0 24366 0 [pid=10707] vsize: 98920 Current children cumulated CPU time (s) 1043.46 Current children cumulated vsize (Kb) 98920 [startup+1110.02 s] Raw data (loadavg): 1.07 1.02 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 85631 0 0 0 102225 3071 0 0 25 0 1 0 22448609 101429248 20721 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24763 20721 364 364 0 24399 0 [pid=10707] vsize: 99052 Current children cumulated CPU time (s) 1052.96 Current children cumulated vsize (Kb) 99052 [startup+1120.02 s] Raw data (loadavg): 1.06 1.02 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 86403 0 0 0 103160 3096 0 0 25 0 1 0 22448609 101429248 20751 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24763 20751 364 364 0 24399 0 [pid=10707] vsize: 99052 Current children cumulated CPU time (s) 1062.56 Current children cumulated vsize (Kb) 99052 [startup+1130.02 s] Raw data (loadavg): 1.05 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 86798 0 0 0 104085 3121 0 0 25 0 1 0 22448609 101429248 20775 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24763 20775 364 364 0 24399 0 [pid=10707] vsize: 99052 Current children cumulated CPU time (s) 1072.06 Current children cumulated vsize (Kb) 99052 [startup+1140.02 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 87198 0 0 0 105013 3147 0 0 25 0 1 0 22448609 101576704 20804 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24799 20804 364 364 0 24435 0 [pid=10707] vsize: 99196 Current children cumulated CPU time (s) 1081.6 Current children cumulated vsize (Kb) 99196 [startup+1150.02 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 87589 0 0 0 105949 3167 0 0 25 0 1 0 22448609 101576704 20824 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24799 20824 364 364 0 24435 0 [pid=10707] vsize: 99196 Current children cumulated CPU time (s) 1091.16 Current children cumulated vsize (Kb) 99196 [startup+1160.03 s] Raw data (loadavg): 1.03 1.01 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 88360 0 0 0 106880 3191 0 0 25 0 1 0 22448609 101576704 20853 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24799 20853 364 364 0 24435 0 [pid=10707] vsize: 99196 Current children cumulated CPU time (s) 1100.71 Current children cumulated vsize (Kb) 99196 [startup+1170.03 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 88766 0 0 0 107811 3216 0 0 25 0 1 0 22448609 101711872 20888 4294967295 134512640 135987407 3221224560 3221223344 134812363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24832 20888 364 364 0 24468 0 [pid=10707] vsize: 99328 Current children cumulated CPU time (s) 1110.27 Current children cumulated vsize (Kb) 99328 [startup+1180.03 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 89153 0 0 0 108737 3243 0 0 25 0 1 0 22448609 101711872 20904 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24832 20904 364 364 0 24468 0 [pid=10707] vsize: 99328 Current children cumulated CPU time (s) 1119.8 Current children cumulated vsize (Kb) 99328 [startup+1190.03 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 89918 0 0 0 109678 3262 0 0 25 0 1 0 22448609 101711872 20927 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24832 20927 364 364 0 24468 0 [pid=10707] vsize: 99328 Current children cumulated CPU time (s) 1129.4 Current children cumulated vsize (Kb) 99328 [startup+1200.03 s] Raw data (loadavg): 1.01 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 90319 0 0 0 110603 3288 0 0 25 0 1 0 22448609 101842944 20957 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24864 20957 364 364 0 24500 0 [pid=10707] vsize: 99456 Current children cumulated CPU time (s) 1138.91 Current children cumulated vsize (Kb) 99456 [startup+1210.03 s] Raw data (loadavg): 1.01 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 90713 0 0 0 111527 3315 0 0 25 0 1 0 22448609 101842944 20980 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24864 20980 364 364 0 24500 0 [pid=10707] vsize: 99456 Current children cumulated CPU time (s) 1148.42 Current children cumulated vsize (Kb) 99456 [startup+1220.03 s] Raw data (loadavg): 1.01 1.01 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 91114 0 0 0 112466 3336 0 0 25 0 1 0 22448609 101978112 21010 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24897 21010 364 364 0 24533 0 [pid=10707] vsize: 99588 Current children cumulated CPU time (s) 1158.02 Current children cumulated vsize (Kb) 99588 [startup+1230.03 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 91872 0 0 0 113419 3352 0 0 25 0 1 0 22448609 101978112 21026 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24897 21026 364 364 0 24533 0 [pid=10707] vsize: 99588 Current children cumulated CPU time (s) 1167.71 Current children cumulated vsize (Kb) 99588 [startup+1240.03 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 92276 0 0 0 114344 3379 0 0 25 0 1 0 22448609 101978112 21059 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24897 21059 364 364 0 24533 0 [pid=10707] vsize: 99588 Current children cumulated CPU time (s) 1177.23 Current children cumulated vsize (Kb) 99588 [startup+1250.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 92672 0 0 0 115270 3405 0 0 25 0 1 0 22448609 102109184 21084 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24929 21084 364 364 0 24565 0 [pid=10707] vsize: 99716 Current children cumulated CPU time (s) 1186.75 Current children cumulated vsize (Kb) 99716 [startup+1260.03 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) T 10706 10707 4004 0 -1 0 93064 0 0 0 116187 3433 0 0 25 0 1 0 22448609 102109184 21105 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10707/statm): 24929 21105 364 364 0 24565 0 [pid=10707] vsize: 99716 Current children cumulated CPU time (s) 1196.2 Current children cumulated vsize (Kb) 99716 [startup+1270.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 93454 0 0 0 117115 3459 0 0 25 0 1 0 22448609 102109184 21124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24929 21124 364 364 0 24565 0 [pid=10707] vsize: 99716 Current children cumulated CPU time (s) 1205.74 Current children cumulated vsize (Kb) 99716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1270.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 10770 Raw data (/proc/10707/stat): 10707 (pb2sat) R 10706 10707 4004 0 -1 0 93454 0 0 0 117115 3459 0 0 25 0 1 0 22448609 102109184 21124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10707/statm): 24929 21124 364 364 0 24565 0 [pid=10707] vsize: 99716 Current children cumulated CPU time (s) 1205.74 Current children cumulated vsize (Kb) 99716 Sending SIGTERM to -10707 Sleeping 2 seconds One traced child (pid=10707) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1270.35 CPU time (s): 1206.07 CPU user time (s): 1171.43 CPU system time (s): 34.6337 CPU usage (%): 94.9395 Max. virtual memory (cumulated for all children) (Kb): 99872
ERROR: no interpretation found !