Name | submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb |
MD5SUM | 430910c9a5d64dfdcfdaccb49935c3d0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1931 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 3862 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3862 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3862 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 38.2312 |
Number of variables | 3862 |
Total number of constraints | 16399 |
Number of constraints which are clauses | 16399 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 8 |
LAUNCH ON wulflinc2 THE 2005-09-23 14:25:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8334 boxname=wulflinc2 idbench=130 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 430910c9a5d64dfdcfdaccb49935c3d0 /oldhome/oroussel/tmp/wulflinc2/normalized-hanoi5.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-hanoi5.opb IDLAUNCH: 8334 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.261 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.261 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 904992 kB Buffers: 16064 kB Cached: 94164 kB SwapCached: 0 kB Active: 45480 kB Inactive: 67616 kB HighTotal: 131008 kB HighFree: 39564 kB LowTotal: 903652 kB LowFree: 865428 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 11108 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 14:45:43 (client local time) WITH STATUS 0 IN 1208.92 SECONDS stats: 8334 7 1208.92 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 1132/3874 Time: 3.09853/86400 c Decision: 1148/3874 Time: 5.14022/86400 c Decision: 1188/3874 Time: 7.98279/86400 c Decision: 1210/3874 Time: 11.2793/86400 c Decision: 1238/3874 Time: 15.4247/86400 c Decision: 1240/3874 Time: 17.4044/86400 c Decision: 1246/3874 Time: 22.3966/86400 c Decision: 1278/3874 Time: 25.6951/86400 c Decision: 1278/3874 Time: 27.6628/86400 c Decision: 1278/3874 Time: 29.9564/86400 c Decision: 1278/3874 Time: 32.746/86400 c Decision: 1280/3874 Time: 35.6506/86400 c Decision: 1280/3874 Time: 38.8921/86400 c Decision: 1280/3874 Time: 42.0606/86400 c Decision: 1298/3874 Time: 48.2007/86400 c Decision: 1298/3874 Time: 51.6741/86400 c Decision: 1300/3874 Time: 57.8012/86400 c Decision: 1300/3874 Time: 61.7416/86400 c Decision: 1300/3874 Time: 64.7182/86400 c Decision: 1300/3874 Time: 67.8007/86400 c Decision: 1300/3874 Time: 71.2102/86400 c Decision: 1300/3874 Time: 75.4825/86400 c Decision: 1316/3874 Time: 80.6357/86400 c Decision: 1318/3874 Time: 87.1168/86400 c Decision: 1334/3874 Time: 93.9887/86400 c Decision: 1334/3874 Time: 101.34/86400 c Decision: 1334/3874 Time: 107.422/86400 c Decision: 1334/3874 Time: 113.346/86400 c Decision: 1334/3874 Time: 120.435/86400 c Decision: 1334/3874 Time: 128.449/86400 c Decision: 1334/3874 Time: 134.877/86400 c Decision: 1334/3874 Time: 142.754/86400 c Decision: 1334/3874 Time: 151.803/86400 c Decision: 1334/3874 Time: 160.896/86400 c Decision: 1334/3874 Time: 169.978/86400 c Decision: 1334/3874 Time: 178.59/86400 c Decision: 1334/3874 Time: 188.434/86400 c Decision: 1334/3874 Time: 197.025/86400 c Decision: 1340/3874 Time: 222.651/86400 c Decision: 1340/3874 Time: 233.887/86400 c Decision: 1340/3874 Time: 247.637/86400 c Decision: 1340/3874 Time: 261.536/86400 c Decision: 1340/3874 Time: 272.862/86400 c Decision: 1340/3874 Time: 285.385/86400 c Decision: 1340/3874 Time: 299.214/86400 c Decision: 1340/3874 Time: 313.245/86400 c Decision: 1340/3874 Time: 322.42/86400 c Decision: 1340/3874 Time: 336.606/86400 c Decision: 1340/3874 Time: 352.213/86400 c Decision: 1340/3874 Time: 368.086/86400 c Decision: 1340/3874 Time: 383.974/86400 c Decision: 1340/3874 Time: 400.482/86400 c Decision: 1342/3874 Time: 424.683/86400 c Decision: 1342/3874 Time: 440.52/86400 c Decision: 1342/3874 Time: 458.419/86400 c Decision: 1344/3874 Time: 486.425/86400 c Decision: 1344/3874 Time: 500.012/86400 c Decision: 1344/3874 Time: 516.461/86400 c Decision: 1344/3874 Time: 535.819/86400 c Decision: 1344/3874 Time: 553.277/86400 c Decision: 1344/3874 Time: 574.055/86400 c Decision: 1344/3874 Time: 592.879/86400 c Decision: 1344/3874 Time: 609.802/86400 c Decision: 1344/3874 Time: 628.818/86400 c Decision: 1344/3874 Time: 649.098/86400 c Decision: 1348/3874 Time: 692.894/86400 c Decision: 1348/3874 Time: 710.451/86400 c Decision: 1350/3874 Time: 749.69/86400 c Decision: 1350/3874 Time: 774.036/86400 c Decision: 1350/3874 Time: 794.862/86400 c Decision: 1350/3874 Time: 814.214/86400 c Decision: 1350/3874 Time: 827.904/86400 c Decision: 1350/3874 Time: 842.862/86400 c Decision: 1350/3874 Time: 864.068/86400 c Decision: 1350/3874 Time: 883.891/86400 c Decision: 1350/3874 Time: 905.378/86400 c Decision: 1350/3874 Time: 932.429/86400 c Decision: 1350/3874 Time: 959.747/86400 c Decision: 1352/3874 Time: 998.267/86400 c Decision: 1354/3874 Time: 1042.07/86400 c Decision: 1354/3874 Time: 1071.3/86400 c Decision: 1354/3874 Time: 1094.55/86400 c Decision: 1354/3874 Time: 1120.86/86400 c Decision: 1354/3874 Time: 1149.57/86400 c Decision: 1354/3874 Time: 1179.05/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/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20909289 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 373 2 364 364 0 9 0 [pid=8252] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-hanoi5.opb [startup+10.0021 s] Raw data (loadavg): 0.93 0.98 0.99 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 1335 0 0 0 835 59 0 0 24 0 1 0 20909289 5791744 1124 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 1414 1124 364 364 0 1050 0 [pid=8252] vsize: 5656 Current children cumulated CPU time (s) 8.94 Current children cumulated vsize (Kb) 5656 [startup+20.0028 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 1696 0 0 0 1691 109 0 0 20 0 1 0 20909289 7110656 1485 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 1736 1485 364 364 0 1372 0 [pid=8252] vsize: 6944 Current children cumulated CPU time (s) 18 Current children cumulated vsize (Kb) 6944 [startup+30.0035 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 2170 0 0 0 2583 148 0 0 25 0 1 0 20909289 10244096 1766 4294967295 134512640 135987407 3221224576 3221223296 134814145 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 2501 1766 364 364 0 2137 0 [pid=8252] vsize: 10004 Current children cumulated CPU time (s) 27.31 Current children cumulated vsize (Kb) 10004 [startup+40.0032 s] Raw data (loadavg): 0.96 0.98 0.99 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 2435 0 0 0 3493 178 0 0 25 0 1 0 20909289 10375168 2031 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 2533 2031 364 364 0 2169 0 [pid=8252] vsize: 10132 Current children cumulated CPU time (s) 36.71 Current children cumulated vsize (Kb) 10132 [startup+50.0029 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 2677 0 0 0 4421 203 0 0 25 0 1 0 20909289 14692352 2273 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 3587 2273 364 364 0 3223 0 [pid=8252] vsize: 14348 Current children cumulated CPU time (s) 46.24 Current children cumulated vsize (Kb) 14348 [startup+60.0036 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 2903 0 0 0 5359 225 0 0 25 0 1 0 20909289 14819328 2499 4294967295 134512640 135987407 3221224576 3221223216 134823148 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 3618 2499 364 364 0 3254 0 [pid=8252] vsize: 14472 Current children cumulated CPU time (s) 55.84 Current children cumulated vsize (Kb) 14472 [startup+70.0043 s] Raw data (loadavg): 1.05 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3182 0 0 0 6304 242 0 0 25 0 1 0 20909289 14929920 2778 4294967295 134512640 135987407 3221224576 3221223264 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 3645 2778 364 364 0 3281 0 [pid=8252] vsize: 14580 Current children cumulated CPU time (s) 65.46 Current children cumulated vsize (Kb) 14580 [startup+80.005 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3401 0 0 0 7249 261 0 0 25 0 1 0 20909289 15052800 2997 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 3675 2997 364 364 0 3311 0 [pid=8252] vsize: 14700 Current children cumulated CPU time (s) 75.1 Current children cumulated vsize (Kb) 14700 [startup+90.0057 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3607 0 0 0 8198 279 0 0 25 0 1 0 20909289 15187968 3203 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 3708 3203 364 364 0 3344 0 [pid=8252] vsize: 14832 Current children cumulated CPU time (s) 84.77 Current children cumulated vsize (Kb) 14832 [startup+100.005 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3814 0 0 0 9143 297 0 0 25 0 1 0 20909289 23576576 3410 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 5756 3410 364 364 0 5392 0 [pid=8252] vsize: 23024 Current children cumulated CPU time (s) 94.4 Current children cumulated vsize (Kb) 23024 [startup+110.006 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3976 0 0 0 10095 312 0 0 25 0 1 0 20909289 23699456 3572 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5786 3572 364 364 0 5422 0 [pid=8252] vsize: 23144 Current children cumulated CPU time (s) 104.07 Current children cumulated vsize (Kb) 23144 [startup+120.007 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4072 0 0 0 11052 328 0 0 25 0 1 0 20909289 23810048 3668 4294967295 134512640 135987407 3221224576 3221223264 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5813 3668 364 364 0 5449 0 [pid=8252] vsize: 23252 Current children cumulated CPU time (s) 113.8 Current children cumulated vsize (Kb) 23252 [startup+130.008 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4233 0 0 0 12011 343 0 0 25 0 1 0 20909289 23912448 3829 4294967295 134512640 135987407 3221224576 3221223140 134850904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5838 3829 364 364 0 5474 0 [pid=8252] vsize: 23352 Current children cumulated CPU time (s) 123.54 Current children cumulated vsize (Kb) 23352 [startup+140.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4400 0 0 0 12968 355 0 0 25 0 1 0 20909289 23912448 3996 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5838 3996 364 364 0 5474 0 [pid=8252] vsize: 23352 Current children cumulated CPU time (s) 133.23 Current children cumulated vsize (Kb) 23352 [startup+150.008 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4472 0 0 0 13926 371 0 0 25 0 1 0 20909289 23912448 4068 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5838 4068 364 364 0 5474 0 [pid=8252] vsize: 23352 Current children cumulated CPU time (s) 142.97 Current children cumulated vsize (Kb) 23352 [startup+160.009 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4635 0 0 0 14889 384 0 0 25 0 1 0 20909289 23912448 4231 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5838 4231 364 364 0 5474 0 [pid=8252] vsize: 23352 Current children cumulated CPU time (s) 152.73 Current children cumulated vsize (Kb) 23352 [startup+170.008 s] Raw data (loadavg): 1.08 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4807 0 0 0 15858 395 0 0 25 0 1 0 20909289 24047616 4403 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5871 4403 364 364 0 5507 0 [pid=8252] vsize: 23484 Current children cumulated CPU time (s) 162.53 Current children cumulated vsize (Kb) 23484 [startup+180.009 s] Raw data (loadavg): 1.07 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4987 0 0 0 16827 407 0 0 25 0 1 0 20909289 24047616 4583 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5871 4583 364 364 0 5507 0 [pid=8252] vsize: 23484 Current children cumulated CPU time (s) 172.34 Current children cumulated vsize (Kb) 23484 [startup+190.01 s] Raw data (loadavg): 1.06 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5129 0 0 0 17794 418 0 0 25 0 1 0 20909289 24182784 4725 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5904 4725 364 364 0 5540 0 [pid=8252] vsize: 23616 Current children cumulated CPU time (s) 182.12 Current children cumulated vsize (Kb) 23616 [startup+200.01 s] Raw data (loadavg): 1.05 1.01 1.00 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 5211 0 0 0 18760 429 0 0 25 0 1 0 20909289 24182784 4807 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5904 4807 364 364 0 5540 0 [pid=8252] vsize: 23616 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (Kb) 23616 [startup+210.01 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5370 0 0 0 19724 441 0 0 25 0 1 0 20909289 24182784 4966 4294967295 134512640 135987407 3221224576 3221223264 134811848 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5904 4966 364 364 0 5540 0 [pid=8252] vsize: 23616 Current children cumulated CPU time (s) 201.65 Current children cumulated vsize (Kb) 23616 [startup+220.01 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5541 0 0 0 20689 453 0 0 25 0 1 0 20909289 24317952 5137 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 5937 5137 364 364 0 5573 0 [pid=8252] vsize: 23748 Current children cumulated CPU time (s) 211.42 Current children cumulated vsize (Kb) 23748 [startup+230.011 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5683 0 0 0 21655 466 0 0 25 0 1 0 20909289 24317952 5279 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5937 5279 364 364 0 5573 0 [pid=8252] vsize: 23748 Current children cumulated CPU time (s) 221.21 Current children cumulated vsize (Kb) 23748 [startup+240.01 s] Raw data (loadavg): 1.02 1.01 1.00 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 5818 0 0 0 22624 476 0 0 25 0 1 0 20909289 24317952 5414 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5937 5414 364 364 0 5573 0 [pid=8252] vsize: 23748 Current children cumulated CPU time (s) 231 Current children cumulated vsize (Kb) 23748 [startup+250.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5955 0 0 0 23593 485 0 0 25 0 1 0 20909289 24465408 5551 4294967295 134512640 135987407 3221224576 3221223072 134878060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5973 5551 364 364 0 5609 0 [pid=8252] vsize: 23892 Current children cumulated CPU time (s) 240.78 Current children cumulated vsize (Kb) 23892 [startup+260.011 s] Raw data (loadavg): 1.02 1.01 1.00 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 6058 0 0 0 24562 496 0 0 25 0 1 0 20909289 24465408 5654 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5973 5654 364 364 0 5609 0 [pid=8252] vsize: 23892 Current children cumulated CPU time (s) 250.58 Current children cumulated vsize (Kb) 23892 [startup+270.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6061 0 0 0 25536 504 0 0 25 0 1 0 20909289 24465408 5657 4294967295 134512640 135987407 3221224576 3221223264 134811863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5973 5657 364 364 0 5609 0 [pid=8252] vsize: 23892 Current children cumulated CPU time (s) 260.4 Current children cumulated vsize (Kb) 23892 [startup+280.012 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6119 0 0 0 26505 515 0 0 25 0 1 0 20909289 24465408 5715 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 5973 5715 364 364 0 5609 0 [pid=8252] vsize: 23892 Current children cumulated CPU time (s) 270.2 Current children cumulated vsize (Kb) 23892 [startup+290.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6255 0 0 0 27476 525 0 0 25 0 1 0 20909289 41381888 5851 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10103 5851 364 364 0 9739 0 [pid=8252] vsize: 40412 Current children cumulated CPU time (s) 280.01 Current children cumulated vsize (Kb) 40412 [startup+300.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6391 0 0 0 28451 534 0 0 25 0 1 0 20909289 41381888 5987 4294967295 134512640 135987407 3221224576 3221223328 134801225 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10103 5987 364 364 0 9739 0 [pid=8252] vsize: 40412 Current children cumulated CPU time (s) 289.85 Current children cumulated vsize (Kb) 40412 [startup+310.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6522 0 0 0 29425 543 0 0 25 0 1 0 20909289 41381888 6118 4294967295 134512640 135987407 3221224576 3221223264 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 10103 6118 364 364 0 9739 0 [pid=8252] vsize: 40412 Current children cumulated CPU time (s) 299.68 Current children cumulated vsize (Kb) 40412 [startup+320.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6656 0 0 0 30399 552 0 0 25 0 1 0 20909289 41488384 6252 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 10129 6252 364 364 0 9765 0 [pid=8252] vsize: 40516 Current children cumulated CPU time (s) 309.51 Current children cumulated vsize (Kb) 40516 [startup+330.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6736 0 0 0 31378 560 0 0 25 0 1 0 20909289 41488384 6332 4294967295 134512640 135987407 3221224576 3221223168 134850867 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10129 6332 364 364 0 9765 0 [pid=8252] vsize: 40516 Current children cumulated CPU time (s) 319.38 Current children cumulated vsize (Kb) 40516 [startup+340.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6841 0 0 0 32349 570 0 0 25 0 1 0 20909289 41488384 6437 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10129 6437 364 364 0 9765 0 [pid=8252] vsize: 40516 Current children cumulated CPU time (s) 329.19 Current children cumulated vsize (Kb) 40516 [startup+350.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7347 0 0 0 33322 579 0 0 25 0 1 0 20909289 43196416 6558 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10546 6558 364 364 0 10182 0 [pid=8252] vsize: 42184 Current children cumulated CPU time (s) 339.01 Current children cumulated vsize (Kb) 42184 [startup+360.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7461 0 0 0 34295 589 0 0 25 0 1 0 20909289 43196416 6672 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10546 6672 364 364 0 10182 0 [pid=8252] vsize: 42184 Current children cumulated CPU time (s) 348.84 Current children cumulated vsize (Kb) 42184 [startup+370.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7579 0 0 0 35271 598 0 0 25 0 1 0 20909289 43196416 6790 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10546 6790 364 364 0 10182 0 [pid=8252] vsize: 42184 Current children cumulated CPU time (s) 358.69 Current children cumulated vsize (Kb) 42184 [startup+380.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7697 0 0 0 36246 606 0 0 25 0 1 0 20909289 43196416 6908 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10546 6908 364 364 0 10182 0 [pid=8252] vsize: 42184 Current children cumulated CPU time (s) 368.52 Current children cumulated vsize (Kb) 42184 [startup+390.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7824 0 0 0 37224 614 0 0 25 0 1 0 20909289 43196416 7035 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10546 7035 364 364 0 10182 0 [pid=8252] vsize: 42184 Current children cumulated CPU time (s) 378.38 Current children cumulated vsize (Kb) 42184 [startup+400.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7913 0 0 0 38202 622 0 0 25 0 1 0 20909289 43327488 7124 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10578 7124 364 364 0 10214 0 [pid=8252] vsize: 42312 Current children cumulated CPU time (s) 388.24 Current children cumulated vsize (Kb) 42312 [startup+410.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7920 0 0 0 39175 630 0 0 25 0 1 0 20909289 43327488 7131 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10578 7131 364 364 0 10214 0 [pid=8252] vsize: 42312 Current children cumulated CPU time (s) 398.05 Current children cumulated vsize (Kb) 42312 [startup+420.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7934 0 0 0 40153 638 0 0 25 0 1 0 20909289 43327488 7145 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 10578 7145 364 364 0 10214 0 [pid=8252] vsize: 42312 Current children cumulated CPU time (s) 407.91 Current children cumulated vsize (Kb) 42312 [startup+430.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7985 0 0 0 41131 646 0 0 25 0 1 0 20909289 43327488 7196 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10578 7196 364 364 0 10214 0 [pid=8252] vsize: 42312 Current children cumulated CPU time (s) 417.77 Current children cumulated vsize (Kb) 42312 [startup+440.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8123 0 0 0 42106 655 0 0 25 0 1 0 20909289 43438080 7334 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10605 7334 364 364 0 10241 0 [pid=8252] vsize: 42420 Current children cumulated CPU time (s) 427.61 Current children cumulated vsize (Kb) 42420 [startup+450.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8239 0 0 0 43083 664 0 0 25 0 1 0 20909289 43438080 7450 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10605 7450 364 364 0 10241 0 [pid=8252] vsize: 42420 Current children cumulated CPU time (s) 437.47 Current children cumulated vsize (Kb) 42420 [startup+460.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8350 0 0 0 44059 673 0 0 25 0 1 0 20909289 43438080 7561 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10605 7561 364 364 0 10241 0 [pid=8252] vsize: 42420 Current children cumulated CPU time (s) 447.32 Current children cumulated vsize (Kb) 42420 [startup+470.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8458 0 0 0 45036 681 0 0 25 0 1 0 20909289 43438080 7669 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10605 7669 364 364 0 10241 0 [pid=8252] vsize: 42420 Current children cumulated CPU time (s) 457.17 Current children cumulated vsize (Kb) 42420 [startup+480.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8568 0 0 0 46014 688 0 0 25 0 1 0 20909289 43438080 7779 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10605 7779 364 364 0 10241 0 [pid=8252] vsize: 42420 Current children cumulated CPU time (s) 467.02 Current children cumulated vsize (Kb) 42420 [startup+490.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8677 0 0 0 46992 696 0 0 25 0 1 0 20909289 43438080 7888 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10605 7888 364 364 0 10241 0 [pid=8252] vsize: 42420 Current children cumulated CPU time (s) 476.88 Current children cumulated vsize (Kb) 42420 [startup+500.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8779 0 0 0 47969 703 0 0 25 0 1 0 20909289 43573248 7990 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10638 7990 364 364 0 10274 0 [pid=8252] vsize: 42552 Current children cumulated CPU time (s) 486.72 Current children cumulated vsize (Kb) 42552 [startup+510.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8807 0 0 0 48948 711 0 0 25 0 1 0 20909289 43573248 8018 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10638 8018 364 364 0 10274 0 [pid=8252] vsize: 42552 Current children cumulated CPU time (s) 496.59 Current children cumulated vsize (Kb) 42552 [startup+520.015 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 8819 0 0 0 49927 717 0 0 25 0 1 0 20909289 43573248 8030 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10638 8030 364 364 0 10274 0 [pid=8252] vsize: 42552 Current children cumulated CPU time (s) 506.44 Current children cumulated vsize (Kb) 42552 [startup+530.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8822 0 0 0 50909 723 0 0 25 0 1 0 20909289 43708416 8033 4294967295 134512640 135987407 3221224576 3221223264 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10671 8033 364 364 0 10307 0 [pid=8252] vsize: 42684 Current children cumulated CPU time (s) 516.32 Current children cumulated vsize (Kb) 42684 [startup+540.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8832 0 0 0 51887 731 0 0 25 0 1 0 20909289 43708416 8043 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10671 8043 364 364 0 10307 0 [pid=8252] vsize: 42684 Current children cumulated CPU time (s) 526.18 Current children cumulated vsize (Kb) 42684 [startup+550.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8933 0 0 0 52866 737 0 0 25 0 1 0 20909289 43708416 8144 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10671 8144 364 364 0 10307 0 [pid=8252] vsize: 42684 Current children cumulated CPU time (s) 536.03 Current children cumulated vsize (Kb) 42684 [startup+560.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9035 0 0 0 53845 744 0 0 25 0 1 0 20909289 43708416 8246 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10671 8246 364 364 0 10307 0 [pid=8252] vsize: 42684 Current children cumulated CPU time (s) 545.89 Current children cumulated vsize (Kb) 42684 [startup+570.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9149 0 0 0 54823 750 0 0 25 0 1 0 20909289 43708416 8360 4294967295 134512640 135987407 3221224576 3221223264 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10671 8360 364 364 0 10307 0 [pid=8252] vsize: 42684 Current children cumulated CPU time (s) 555.73 Current children cumulated vsize (Kb) 42684 [startup+580.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9254 0 0 0 55803 758 0 0 25 0 1 0 20909289 43708416 8465 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10671 8465 364 364 0 10307 0 [pid=8252] vsize: 42684 Current children cumulated CPU time (s) 565.61 Current children cumulated vsize (Kb) 42684 [startup+590.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9344 0 0 0 56783 765 0 0 25 0 1 0 20909289 43708416 8555 4294967295 134512640 135987407 3221224576 3221223392 134876847 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10671 8555 364 364 0 10307 0 [pid=8252] vsize: 42684 Current children cumulated CPU time (s) 575.48 Current children cumulated vsize (Kb) 42684 [startup+600.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9351 0 0 0 57766 771 0 0 25 0 1 0 20909289 43843584 8562 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10704 8562 364 364 0 10340 0 [pid=8252] vsize: 42816 Current children cumulated CPU time (s) 585.37 Current children cumulated vsize (Kb) 42816 [startup+610.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9391 0 0 0 58750 777 0 0 25 0 1 0 20909289 43843584 8602 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10704 8602 364 364 0 10340 0 [pid=8252] vsize: 42816 Current children cumulated CPU time (s) 595.27 Current children cumulated vsize (Kb) 42816 [startup+620.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9498 0 0 0 59731 785 0 0 25 0 1 0 20909289 43843584 8709 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 10704 8709 364 364 0 10340 0 [pid=8252] vsize: 42816 Current children cumulated CPU time (s) 605.16 Current children cumulated vsize (Kb) 42816 [startup+630.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9624 0 0 0 60710 793 0 0 25 0 1 0 20909289 43843584 8835 4294967295 134512640 135987407 3221224576 3221223264 134812101 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10704 8835 364 364 0 10340 0 [pid=8252] vsize: 42816 Current children cumulated CPU time (s) 615.03 Current children cumulated vsize (Kb) 42816 [startup+640.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9734 0 0 0 61691 798 0 0 25 0 1 0 20909289 43843584 8945 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10704 8945 364 364 0 10340 0 [pid=8252] vsize: 42816 Current children cumulated CPU time (s) 624.89 Current children cumulated vsize (Kb) 42816 [startup+650.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9832 0 0 0 62673 805 0 0 25 0 1 0 20909289 43978752 9043 4294967295 134512640 135987407 3221224576 3221223264 134811800 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10737 9043 364 364 0 10373 0 [pid=8252] vsize: 42948 Current children cumulated CPU time (s) 634.78 Current children cumulated vsize (Kb) 42948 [startup+660.018 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 9938 0 0 0 63655 813 0 0 25 0 1 0 20909289 43978752 9149 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10737 9149 364 364 0 10373 0 [pid=8252] vsize: 42948 Current children cumulated CPU time (s) 644.68 Current children cumulated vsize (Kb) 42948 [startup+670.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10053 0 0 0 64638 819 0 0 25 0 1 0 20909289 43978752 9264 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10737 9264 364 364 0 10373 0 [pid=8252] vsize: 42948 Current children cumulated CPU time (s) 654.57 Current children cumulated vsize (Kb) 42948 [startup+680.018 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 10151 0 0 0 65619 827 0 0 25 0 1 0 20909289 43978752 9362 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10737 9362 364 364 0 10373 0 [pid=8252] vsize: 42948 Current children cumulated CPU time (s) 664.46 Current children cumulated vsize (Kb) 42948 [startup+690.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10258 0 0 0 66600 834 0 0 25 0 1 0 20909289 43978752 9469 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10737 9469 364 364 0 10373 0 [pid=8252] vsize: 42948 Current children cumulated CPU time (s) 674.34 Current children cumulated vsize (Kb) 42948 [startup+700.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10366 0 0 0 67582 841 0 0 25 0 1 0 20909289 43978752 9577 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10737 9577 364 364 0 10373 0 [pid=8252] vsize: 42948 Current children cumulated CPU time (s) 684.23 Current children cumulated vsize (Kb) 42948 [startup+710.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10471 0 0 0 68564 847 0 0 25 0 1 0 20909289 44101632 9682 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10767 9682 364 364 0 10403 0 [pid=8252] vsize: 43068 Current children cumulated CPU time (s) 694.11 Current children cumulated vsize (Kb) 43068 [startup+720.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10473 0 0 0 69549 852 0 0 25 0 1 0 20909289 44101632 9684 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10767 9684 364 364 0 10403 0 [pid=8252] vsize: 43068 Current children cumulated CPU time (s) 704.01 Current children cumulated vsize (Kb) 43068 [startup+730.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10492 0 0 0 70532 859 0 0 25 0 1 0 20909289 44101632 9703 4294967295 134512640 135987407 3221224576 3221223168 134850871 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10767 9703 364 364 0 10403 0 [pid=8252] vsize: 43068 Current children cumulated CPU time (s) 713.91 Current children cumulated vsize (Kb) 43068 [startup+740.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10494 0 0 0 71514 865 0 0 25 0 1 0 20909289 44101632 9705 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10767 9705 364 364 0 10403 0 [pid=8252] vsize: 43068 Current children cumulated CPU time (s) 723.79 Current children cumulated vsize (Kb) 43068 [startup+750.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10499 0 0 0 72495 872 0 0 25 0 1 0 20909289 44101632 9710 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10767 9710 364 364 0 10403 0 [pid=8252] vsize: 43068 Current children cumulated CPU time (s) 733.67 Current children cumulated vsize (Kb) 43068 [startup+760.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10576 0 0 0 73474 879 0 0 25 0 1 0 20909289 44101632 9787 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10767 9787 364 364 0 10403 0 [pid=8252] vsize: 43068 Current children cumulated CPU time (s) 743.53 Current children cumulated vsize (Kb) 43068 [startup+770.02 s] Raw data (loadavg): 1.07 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10677 0 0 0 74458 884 0 0 25 0 1 0 20909289 44249088 9888 4294967295 134512640 135987407 3221224576 3221223264 134811850 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10803 9888 364 364 0 10439 0 [pid=8252] vsize: 43212 Current children cumulated CPU time (s) 753.42 Current children cumulated vsize (Kb) 43212 [startup+780.02 s] Raw data (loadavg): 1.06 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10765 0 0 0 75441 891 0 0 25 0 1 0 20909289 44249088 9976 4294967295 134512640 135987407 3221224576 3221223264 134811852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10803 9976 364 364 0 10439 0 [pid=8252] vsize: 43212 Current children cumulated CPU time (s) 763.32 Current children cumulated vsize (Kb) 43212 [startup+790.02 s] Raw data (loadavg): 1.05 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10853 0 0 0 76422 898 0 0 25 0 1 0 20909289 44249088 10064 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10803 10064 364 364 0 10439 0 [pid=8252] vsize: 43212 Current children cumulated CPU time (s) 773.2 Current children cumulated vsize (Kb) 43212 [startup+800.02 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10958 0 0 0 77406 904 0 0 25 0 1 0 20909289 44249088 10169 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10803 10169 364 364 0 10439 0 [pid=8252] vsize: 43212 Current children cumulated CPU time (s) 783.1 Current children cumulated vsize (Kb) 43212 [startup+810.02 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11059 0 0 0 78390 909 0 0 25 0 1 0 20909289 44249088 10270 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 10803 10270 364 364 0 10439 0 [pid=8252] vsize: 43212 Current children cumulated CPU time (s) 792.99 Current children cumulated vsize (Kb) 43212 [startup+820.02 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11158 0 0 0 79373 915 0 0 25 0 1 0 20909289 77803520 10369 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 18995 10369 364 364 0 18631 0 [pid=8252] vsize: 75980 Current children cumulated CPU time (s) 802.88 Current children cumulated vsize (Kb) 75980 [startup+830.021 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11259 0 0 0 80357 921 0 0 25 0 1 0 20909289 77938688 10470 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19028 10470 364 364 0 18664 0 [pid=8252] vsize: 76112 Current children cumulated CPU time (s) 812.78 Current children cumulated vsize (Kb) 76112 [startup+840.022 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11290 0 0 0 81341 927 0 0 25 0 1 0 20909289 77938688 10501 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19028 10501 364 364 0 18664 0 [pid=8252] vsize: 76112 Current children cumulated CPU time (s) 822.68 Current children cumulated vsize (Kb) 76112 [startup+850.021 s] Raw data (loadavg): 1.02 1.01 1.00 1/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 11300 0 0 0 82326 932 0 0 25 0 1 0 20909289 77938688 10511 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19028 10511 364 364 0 18664 0 [pid=8252] vsize: 76112 Current children cumulated CPU time (s) 832.58 Current children cumulated vsize (Kb) 76112 [startup+860.021 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11303 0 0 0 83309 938 0 0 25 0 1 0 20909289 77938688 10514 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19028 10514 364 364 0 18664 0 [pid=8252] vsize: 76112 Current children cumulated CPU time (s) 842.47 Current children cumulated vsize (Kb) 76112 [startup+870.022 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11312 0 0 0 84291 944 0 0 25 0 1 0 20909289 77938688 10523 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 19028 10523 364 364 0 18664 0 [pid=8252] vsize: 76112 Current children cumulated CPU time (s) 852.35 Current children cumulated vsize (Kb) 76112 [startup+880.022 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11319 0 0 0 85273 951 0 0 25 0 1 0 20909289 77938688 10530 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19028 10530 364 364 0 18664 0 [pid=8252] vsize: 76112 Current children cumulated CPU time (s) 862.24 Current children cumulated vsize (Kb) 76112 [startup+890.022 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11351 0 0 0 86256 956 0 0 25 0 1 0 20909289 78057472 10562 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19057 10562 364 364 0 18693 0 [pid=8252] vsize: 76228 Current children cumulated CPU time (s) 872.12 Current children cumulated vsize (Kb) 76228 [startup+900.022 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11445 0 0 0 87240 961 0 0 25 0 1 0 20909289 78057472 10656 4294967295 134512640 135987407 3221224576 3221223264 134811850 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 19057 10656 364 364 0 18693 0 [pid=8252] vsize: 76228 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (Kb) 76228 [startup+910.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11564 0 0 0 88223 967 0 0 25 0 1 0 20909289 78057472 10775 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19057 10775 364 364 0 18693 0 [pid=8252] vsize: 76228 Current children cumulated CPU time (s) 891.9 Current children cumulated vsize (Kb) 76228 [startup+920.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11660 0 0 0 89208 972 0 0 25 0 1 0 20909289 78057472 10871 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19057 10871 364 364 0 18693 0 [pid=8252] vsize: 76228 Current children cumulated CPU time (s) 901.8 Current children cumulated vsize (Kb) 76228 [startup+930.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11700 0 0 0 90194 976 0 0 25 0 1 0 20909289 78159872 10911 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19082 10911 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 911.7 Current children cumulated vsize (Kb) 76328 [startup+940.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11701 0 0 0 91179 982 0 0 25 0 1 0 20909289 78159872 10912 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 19082 10912 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 921.61 Current children cumulated vsize (Kb) 76328 [startup+950.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11703 0 0 0 92164 988 0 0 25 0 1 0 20909289 78159872 10914 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19082 10914 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 931.52 Current children cumulated vsize (Kb) 76328 [startup+960.023 s] Raw data (loadavg): 1.07 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11712 0 0 0 93149 993 0 0 25 0 1 0 20909289 78159872 10923 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19082 10923 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 941.42 Current children cumulated vsize (Kb) 76328 [startup+970.023 s] Raw data (loadavg): 1.06 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11794 0 0 0 94130 999 0 0 25 0 1 0 20909289 78159872 11005 4294967295 134512640 135987407 3221224576 3221223328 134801140 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19082 11005 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 951.29 Current children cumulated vsize (Kb) 76328 [startup+980.022 s] Raw data (loadavg): 1.05 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11872 0 0 0 95116 1004 0 0 25 0 1 0 20909289 78159872 11083 4294967295 134512640 135987407 3221224576 3221223296 134813818 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19082 11083 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 961.2 Current children cumulated vsize (Kb) 76328 [startup+990.023 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11964 0 0 0 96102 1009 0 0 25 0 1 0 20909289 78159872 11175 4294967295 134512640 135987407 3221224576 3221223328 134801140 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19082 11175 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 971.11 Current children cumulated vsize (Kb) 76328 [startup+1000.02 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12049 0 0 0 97086 1014 0 0 25 0 1 0 20909289 78159872 11260 4294967295 134512640 135987407 3221224576 3221223264 134811832 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19082 11260 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 981 Current children cumulated vsize (Kb) 76328 [startup+1010.02 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12129 0 0 0 98068 1020 0 0 25 0 1 0 20909289 78159872 11340 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19082 11340 364 364 0 18718 0 [pid=8252] vsize: 76328 Current children cumulated CPU time (s) 990.88 Current children cumulated vsize (Kb) 76328 [startup+1020.02 s] Raw data (loadavg): 1.09 1.03 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12224 0 0 0 99055 1025 0 0 25 0 1 0 20909289 78286848 11435 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 11435 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1000.8 Current children cumulated vsize (Kb) 76452 [startup+1030.02 s] Raw data (loadavg): 1.08 1.03 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12307 0 0 0 100041 1031 0 0 25 0 1 0 20909289 78286848 11518 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 11518 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1010.72 Current children cumulated vsize (Kb) 76452 [startup+1040.02 s] Raw data (loadavg): 1.06 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12400 0 0 0 101027 1036 0 0 25 0 1 0 20909289 78286848 11611 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 11611 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1020.63 Current children cumulated vsize (Kb) 76452 [startup+1050.02 s] Raw data (loadavg): 1.05 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12480 0 0 0 102012 1041 0 0 25 0 1 0 20909289 78286848 11691 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 11691 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1030.53 Current children cumulated vsize (Kb) 76452 [startup+1060.02 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12564 0 0 0 102996 1048 0 0 25 0 1 0 20909289 78286848 11775 4294967295 134512640 135987407 3221224576 3221223264 134811835 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 11775 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1040.44 Current children cumulated vsize (Kb) 76452 [startup+1070.02 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12643 0 0 0 103983 1053 0 0 25 0 1 0 20909289 78286848 11854 4294967295 134512640 135987407 3221224576 3221223264 134811800 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 11854 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1050.36 Current children cumulated vsize (Kb) 76452 [startup+1080.02 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12723 0 0 0 104967 1058 0 0 25 0 1 0 20909289 78286848 11934 4294967295 134512640 135987407 3221224576 3221223328 134801376 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 11934 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1060.25 Current children cumulated vsize (Kb) 76452 [startup+1090.02 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12804 0 0 0 105950 1064 0 0 25 0 1 0 20909289 78286848 12015 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 12015 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1070.14 Current children cumulated vsize (Kb) 76452 [startup+1100.02 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12825 0 0 0 106938 1068 0 0 25 0 1 0 20909289 78286848 12036 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 12036 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1080.06 Current children cumulated vsize (Kb) 76452 [startup+1110.02 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12829 0 0 0 107925 1072 0 0 25 0 1 0 20909289 78286848 12040 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19113 12040 364 364 0 18749 0 [pid=8252] vsize: 76452 Current children cumulated CPU time (s) 1089.97 Current children cumulated vsize (Kb) 76452 [startup+1120.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12837 0 0 0 108911 1078 0 0 25 0 1 0 20909289 78417920 12048 4294967295 134512640 135987407 3221224576 3221223328 134801142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19145 12048 364 364 0 18781 0 [pid=8252] vsize: 76580 Current children cumulated CPU time (s) 1099.89 Current children cumulated vsize (Kb) 76580 [startup+1130.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12839 0 0 0 109896 1083 0 0 25 0 1 0 20909289 78417920 12050 4294967295 134512640 135987407 3221224576 3221223328 134801245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19145 12050 364 364 0 18781 0 [pid=8252] vsize: 76580 Current children cumulated CPU time (s) 1109.79 Current children cumulated vsize (Kb) 76580 [startup+1140.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12845 0 0 0 110881 1090 0 0 25 0 1 0 20909289 78417920 12056 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 19145 12056 364 364 0 18781 0 [pid=8252] vsize: 76580 Current children cumulated CPU time (s) 1119.71 Current children cumulated vsize (Kb) 76580 [startup+1150.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12927 0 0 0 111866 1095 0 0 25 0 1 0 20909289 78417920 12138 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8252/statm): 19145 12138 364 364 0 18781 0 [pid=8252] vsize: 76580 Current children cumulated CPU time (s) 1129.61 Current children cumulated vsize (Kb) 76580 [startup+1160.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13005 0 0 0 112850 1099 0 0 25 0 1 0 20909289 78417920 12216 4294967295 134512640 135987407 3221224576 3221223328 134801247 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19145 12216 364 364 0 18781 0 [pid=8252] vsize: 76580 Current children cumulated CPU time (s) 1139.49 Current children cumulated vsize (Kb) 76580 [startup+1170.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13089 0 0 0 113835 1105 0 0 25 0 1 0 20909289 78417920 12300 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19145 12300 364 364 0 18781 0 [pid=8252] vsize: 76580 Current children cumulated CPU time (s) 1149.4 Current children cumulated vsize (Kb) 76580 [startup+1180.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13177 0 0 0 114821 1110 0 0 25 0 1 0 20909289 78417920 12388 4294967295 134512640 135987407 3221224576 3221223264 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19145 12388 364 364 0 18781 0 [pid=8252] vsize: 76580 Current children cumulated CPU time (s) 1159.31 Current children cumulated vsize (Kb) 76580 [startup+1190.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13257 0 0 0 115807 1115 0 0 25 0 1 0 20909289 78417920 12468 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19145 12468 364 364 0 18781 0 [pid=8252] vsize: 76580 Current children cumulated CPU time (s) 1169.22 Current children cumulated vsize (Kb) 76580 [startup+1200.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13340 0 0 0 116792 1120 0 0 25 0 1 0 20909289 78553088 12551 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19178 12551 364 364 0 18814 0 [pid=8252] vsize: 76712 Current children cumulated CPU time (s) 1179.12 Current children cumulated vsize (Kb) 76712 [startup+1210.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13420 0 0 0 117779 1124 0 0 25 0 1 0 20909289 78553088 12631 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19178 12631 364 364 0 18814 0 [pid=8252] vsize: 76712 Current children cumulated CPU time (s) 1189.03 Current children cumulated vsize (Kb) 76712 [startup+1220.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13505 0 0 0 118765 1130 0 0 25 0 1 0 20909289 78553088 12716 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19178 12716 364 364 0 18814 0 [pid=8252] vsize: 76712 Current children cumulated CPU time (s) 1198.95 Current children cumulated vsize (Kb) 76712 [startup+1230.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13581 0 0 0 119753 1134 0 0 25 0 1 0 20909289 78553088 12792 4294967295 134512640 135987407 3221224576 3221223296 134814120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19178 12792 364 364 0 18814 0 [pid=8252] vsize: 76712 Current children cumulated CPU time (s) 1208.87 Current children cumulated vsize (Kb) 76712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8252 Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13581 0 0 0 119753 1134 0 0 25 0 1 0 20909289 78553088 12792 4294967295 134512640 135987407 3221224576 3221223296 134813818 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8252/statm): 19178 12792 364 364 0 18814 0 [pid=8252] vsize: 76712 Current children cumulated CPU time (s) 1208.87 Current children cumulated vsize (Kb) 76712 Sending SIGTERM to -8252 Sleeping 2 seconds One traced child (pid=8252) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1230.07 CPU time (s): 1208.92 CPU user time (s): 1197.56 CPU system time (s): 11.3653 CPU usage (%): 98.2806 Max. virtual memory (cumulated for all children) (Kb): 76712
ERROR: no interpretation found !