Name | mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb |
MD5SUM | 688d61d0de54e028c8c4910e094a132c |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1014445 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 3549 |
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 | 949933178 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 949933178 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1239.56 |
Number of variables | 3549 |
Total number of constraints | 195 |
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 | 195 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 260 |
LAUNCH ON wulflinc28 THE 2005-09-23 18:50:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9286 boxname=wulflinc28 idbench=1082 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 688d61d0de54e028c8c4910e094a132c /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran13x13.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran13x13.opb IDLAUNCH: 9286 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 932940 kB Buffers: 12660 kB Cached: 72136 kB SwapCached: 0 kB Active: 44088 kB Inactive: 43636 kB HighTotal: 131008 kB HighFree: 54656 kB LowTotal: 903652 kB LowFree: 878284 kB SwapTotal: 2097640 kB SwapFree: 2097640 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 8560 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 19:12:02 (client local time) WITH STATUS 0 IN 1206.31 SECONDS stats: 9286 7 1206.31 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 11312/101554 Time: 47.3248/86400 c Decision: 11312/101554 Time: 53.8958/86400 c Decision: 11312/101554 Time: 59.7009/86400 c Decision: 11312/101554 Time: 64.4952/86400 c Decision: 11312/101554 Time: 70.6733/86400 c Decision: 11312/101554 Time: 75.2826/86400 c Decision: 11312/101554 Time: 80.8547/86400 c Decision: 11312/101554 Time: 86.0579/86400 c Decision: 11312/101554 Time: 89.7004/86400 c Decision: 11312/101554 Time: 95.0416/86400 c Decision: 11312/101554 Time: 100.888/86400 c Decision: 11312/101554 Time: 106.443/86400 c Decision: 11312/101554 Time: 111.374/86400 c Decision: 11312/101554 Time: 116.952/86400 c Decision: 11312/101554 Time: 122.761/86400 c Decision: 11312/101554 Time: 129.335/86400 c Decision: 11312/101554 Time: 134.56/86400 c Decision: 11312/101554 Time: 139.681/86400 c Decision: 11312/101554 Time: 144.883/86400 c Decision: 11312/101554 Time: 151.082/86400 c Decision: 11312/101554 Time: 157.002/86400 c Decision: 11312/101554 Time: 162.469/86400 c Decision: 11312/101554 Time: 167.736/86400 c Decision: 11312/101554 Time: 173.326/86400 c Decision: 11312/101554 Time: 178.185/86400 c Decision: 11312/101554 Time: 183.917/86400 c Decision: 11312/101554 Time: 189.279/86400 c Decision: 11312/101554 Time: 193.878/86400 c Decision: 11312/101554 Time: 198.987/86400 c Decision: 11312/101554 Time: 203.874/86400 c Decision: 11312/101554 Time: 208.778/86400 c Decision: 11312/101554 Time: 213.943/86400 c Decision: 11312/101554 Time: 218.848/86400 c Decision: 11312/101554 Time: 224.016/86400 c Decision: 11312/101554 Time: 228.624/86400 c Decision: 11312/101554 Time: 233.9/86400 c Decision: 11312/101554 Time: 238.812/86400 c Decision: 11312/101554 Time: 244.093/86400 c Decision: 11312/101554 Time: 250.115/86400 c Decision: 11312/101554 Time: 254.429/86400 c Decision: 11312/101554 Time: 260.514/86400 c Decision: 11312/101554 Time: 264.978/86400 c Decision: 11312/101554 Time: 270.856/86400 c Decision: 11312/101554 Time: 276.437/86400 c Decision: 11312/101554 Time: 281.282/86400 c Decision: 11312/101554 Time: 287.149/86400 c Decision: 11312/101554 Time: 292.626/86400 c Decision: 11312/101554 Time: 298.687/86400 c Decision: 11312/101554 Time: 304.638/86400 c Decision: 11312/101554 Time: 310.992/86400 c Decision: 11312/101554 Time: 318.415/86400 c Decision: 11312/101554 Time: 323.833/86400 c Decision: 11312/101554 Time: 329.375/86400 c Decision: 11312/101554 Time: 335.792/86400 c Decision: 11312/101554 Time: 340.735/86400 c Decision: 11312/101554 Time: 348.076/86400 c Decision: 11312/101554 Time: 353.258/86400 c Decision: 11312/101554 Time: 358.525/86400 c Decision: 11312/101554 Time: 364.631/86400 c Decision: 11312/101554 Time: 370.076/86400 c Decision: 11312/101554 Time: 375.662/86400 c Decision: 11312/101554 Time: 380.31/86400 c Decision: 11312/101554 Time: 387.238/86400 c Decision: 11312/101554 Time: 391.597/86400 c Decision: 11312/101554 Time: 395.48/86400 c Decision: 11312/101554 Time: 401.234/86400 c Decision: 11312/101554 Time: 407.223/86400 c Decision: 11312/101554 Time: 412.857/86400 c Decision: 11312/101554 Time: 418.829/86400 c Decision: 11312/101554 Time: 424.078/86400 c Decision: 11312/101554 Time: 429.98/86400 c Decision: 11312/101554 Time: 435.713/86400 c Decision: 11312/101554 Time: 442.07/86400 c Decision: 11312/101554 Time: 448.211/86400 c Decision: 11312/101554 Time: 454.068/86400 c Decision: 11312/101554 Time: 460.038/86400 c Decision: 11312/101554 Time: 466.113/86400 c Decision: 11312/101554 Time: 471.255/86400 c Decision: 11312/101554 Time: 476.913/86400 c Decision: 11312/101554 Time: 483.799/86400 c Decision: 11312/101554 Time: 490.304/86400 c Decision: 11312/101554 Time: 493.806/86400 c Decision: 11312/101554 Time: 500.247/86400 c Decision: 11312/101554 Time: 506.712/86400 c Decision: 11312/101554 Time: 513.201/86400 c Decision: 11312/101554 Time: 518.193/86400 c Decision: 11312/101554 Time: 525.441/86400 c Decision: 11312/101554 Time: 531.255/86400 c Decision: 11312/101554 Time: 537.84/86400 c Decision: 11312/101554 Time: 544.375/86400 c Decision: 11312/101554 Time: 551.227/86400 c Decision: 11312/101554 Time: 557.228/86400 c Decision: 11312/101554 Time: 563.766/86400 c Decision: 11312/101554 Time: 570.098/86400 c Decision: 11312/101554 Time: 576.077/86400 c Decision: 11312/101554 Time: 581.639/86400 c Decision: 11312/101554 Time: 588.007/86400 c Decision: 11312/101554 Time: 594.576/86400 c Decision: 11312/101554 Time: 601.184/86400 c Decision: 11312/101554 Time: 607.71/86400 c Decision: 11312/101554 Time: 614.486/86400 c Decision: 11312/101554 Time: 620.606/86400 c Decision: 11312/101554 Time: 627.5/86400 c Decision: 11312/101554 Time: 634.366/86400 c Decision: 11312/101554 Time: 640.484/86400 c Decision: 11312/101554 Time: 646.874/86400 c Decision: 11312/101554 Time: 652.831/86400 c Decision: 11312/101554 Time: 660.129/86400 c Decision: 11312/101554 Time: 665.719/86400 c Decision: 11312/101554 Time: 671.633/86400 c Decision: 11312/101554 Time: 677.741/86400 c Decision: 11312/101554 Time: 684.07/86400 c Decision: 11312/101554 Time: 690.654/86400 c Decision: 11312/101554 Time: 696.038/86400 c Decision: 11312/101554 Time: 701.909/86400 c Decision: 11312/101554 Time: 708.553/86400 c Decision: 11312/101554 Time: 715.118/86400 c Decision: 11312/101554 Time: 720.949/86400 c Decision: 11312/101554 Time: 727.654/86400 c Decision: 11312/101554 Time: 734.557/86400 c Decision: 11312/101554 Time: 742.371/86400 c Decision: 11312/101554 Time: 749.037/86400 c Decision: 11312/101554 Time: 755.098/86400 c Decision: 11312/101554 Time: 761.926/86400 c Decision: 11312/101554 Time: 768.664/86400 c Decision: 11312/101554 Time: 776.32/86400 c Decision: 11312/101554 Time: 783.959/86400 c Decision: 11312/101554 Time: 791.3/86400 c Decision: 11312/101554 Time: 795.968/86400 c Decision: 11312/101554 Time: 800.539/86400 c Decision: 11312/101554 Time: 806.938/86400 c Decision: 11312/101554 Time: 813.524/86400 c Decision: 11312/101554 Time: 820.164/86400 c Decision: 11312/101554 Time: 825.271/86400 c Decision: 11312/101554 Time: 831.847/86400 c Decision: 11312/101554 Time: 839.117/86400 c Decision: 11312/101554 Time: 845.87/86400 c Decision: 11312/101554 Time: 852.794/86400 c Decision: 11312/101554 Time: 860.403/86400 c Decision: 11312/101554 Time: 867.311/86400 c Decision: 11312/101554 Time: 874.007/86400 c Decision: 11312/101554 Time: 881.219/86400 c Decision: 11312/101554 Time: 888.541/86400 c Decision: 11312/101554 Time: 895.091/86400 c Decision: 11312/101554 Time: 901.004/86400 c Decision: 11312/101554 Time: 907.326/86400 c Decision: 11312/101554 Time: 913.946/86400 c Decision: 11312/101554 Time: 921.154/86400 c Decision: 11312/101554 Time: 928.954/86400 c Decision: 11312/101554 Time: 935.858/86400 c Decision: 11312/101554 Time: 942.431/86400 c Decision: 11312/101554 Time: 949.645/86400 c Decision: 11312/101554 Time: 956.816/86400 c Decision: 11312/101554 Time: 964.464/86400 c Decision: 11312/101554 Time: 971.813/86400 c Decision: 11312/101554 Time: 978.439/86400 c Decision: 11312/101554 Time: 985.858/86400 c Decision: 11312/101554 Time: 991.392/86400 c Decision: 11312/101554 Time: 998.489/86400 c Decision: 11312/101554 Time: 1004.67/86400 c Decision: 11312/101554 Time: 1012.28/86400 c Decision: 11312/101554 Time: 1019.49/86400 c Decision: 11312/101554 Time: 1027.54/86400 c Decision: 11312/101554 Time: 1033.36/86400 c Decision: 11312/101554 Time: 1040.06/86400 c Decision: 11312/101554 Time: 1047.93/86400 c Decision: 11312/101554 Time: 1055.05/86400 c Decision: 11312/101554 Time: 1061.53/86400 c Decision: 11312/101554 Time: 1067.14/86400 c Decision: 11312/101554 Time: 1073.7/86400 c Decision: 11312/101554 Time: 1082.04/86400 c Decision: 11312/101554 Time: 1089.43/86400 c Decision: 11312/101554 Time: 1096.63/86400 c Decision: 11312/101554 Time: 1102.87/86400 c Decision: 11312/101554 Time: 1109.36/86400 c Decision: 11312/101554 Time: 1116.23/86400 c Decision: 11312/101554 Time: 1122.12/86400 c Decision: 11312/101554 Time: 1128.07/86400 c Decision: 11312/101554 Time: 1135.62/86400 c Decision: 11312/101554 Time: 1143.6/86400 c Decision: 11312/101554 Time: 1150.84/86400 c Decision: 11312/101554 Time: 1155.45/86400 c Decision: 11312/101554 Time: 1162.41/86400 c Decision: 11312/101554 Time: 1168.32/86400 c Decision: 11312/101554 Time: 1175.14/86400 c Decision: 11312/101554 Time: 1182.47/86400 c Decision: 11312/101554 Time: 1188.87/86400 c Decision: 11312/101554 Time: 1196.34/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/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22446889 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 373 2 364 364 0 9 0 [pid=10776] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran13x13.opb [startup+10.0021 s] Raw data (loadavg): 0.91 0.95 0.91 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 14447 0 0 0 935 46 0 0 25 0 1 0 22446889 45920256 8726 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 11211 8726 364 364 0 10847 0 [pid=10776] vsize: 44844 Current children cumulated CPU time (s) 9.81 Current children cumulated vsize (Kb) 44844 [startup+20.0027 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 14900 0 0 0 1859 71 0 0 25 0 1 0 22446889 47939584 9179 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 11704 9179 364 364 0 11340 0 [pid=10776] vsize: 46816 Current children cumulated CPU time (s) 19.3 Current children cumulated vsize (Kb) 46816 [startup+30.0034 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 15119 0 0 0 2804 91 0 0 25 0 1 0 22446889 48775168 9398 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 11908 9398 364 364 0 11544 0 [pid=10776] vsize: 47632 Current children cumulated CPU time (s) 28.95 Current children cumulated vsize (Kb) 47632 [startup+40.0041 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 15321 0 0 0 3746 111 0 0 25 0 1 0 22446889 49594368 9600 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12108 9600 364 364 0 11744 0 [pid=10776] vsize: 48432 Current children cumulated CPU time (s) 38.57 Current children cumulated vsize (Kb) 48432 [startup+50.0048 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 15469 0 0 0 4681 132 0 0 25 0 1 0 22446889 50249728 9748 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12268 9748 364 364 0 11904 0 [pid=10776] vsize: 49072 Current children cumulated CPU time (s) 48.13 Current children cumulated vsize (Kb) 49072 [startup+60.0045 s] Raw data (loadavg): 0.96 0.96 0.91 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 15718 0 0 0 5607 159 0 0 25 0 1 0 22446889 50249728 9798 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12268 9798 364 364 0 11904 0 [pid=10776] vsize: 49072 Current children cumulated CPU time (s) 57.66 Current children cumulated vsize (Kb) 49072 [startup+70.0052 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 16169 0 0 0 6530 186 0 0 25 0 1 0 22446889 50413568 9851 4294967295 134512640 135987407 3221224560 3221223120 134776802 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12308 9851 364 364 0 11944 0 [pid=10776] vsize: 49232 Current children cumulated CPU time (s) 67.16 Current children cumulated vsize (Kb) 49232 [startup+80.0059 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 16634 0 0 0 7438 218 0 0 25 0 1 0 22446889 50720768 9918 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12383 9918 364 364 0 12019 0 [pid=10776] vsize: 49532 Current children cumulated CPU time (s) 76.56 Current children cumulated vsize (Kb) 49532 [startup+90.0056 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 17095 0 0 0 8351 247 0 0 25 0 1 0 22446889 50855936 9981 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12416 9981 364 364 0 12052 0 [pid=10776] vsize: 49664 Current children cumulated CPU time (s) 85.98 Current children cumulated vsize (Kb) 49664 [startup+100.007 s] Raw data (loadavg): 0.98 0.96 0.91 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 17542 0 0 0 9252 281 0 0 25 0 1 0 22446889 50991104 10030 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12449 10030 364 364 0 12085 0 [pid=10776] vsize: 49796 Current children cumulated CPU time (s) 95.33 Current children cumulated vsize (Kb) 49796 [startup+110.008 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 17807 0 0 0 10150 315 0 0 25 0 1 0 22446889 51134464 10096 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12484 10096 364 364 0 12120 0 [pid=10776] vsize: 49936 Current children cumulated CPU time (s) 104.65 Current children cumulated vsize (Kb) 49936 [startup+120.008 s] Raw data (loadavg): 0.98 0.97 0.91 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 18270 0 0 0 11060 349 0 0 25 0 1 0 22446889 51449856 10161 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12561 10161 364 364 0 12197 0 [pid=10776] vsize: 50244 Current children cumulated CPU time (s) 114.09 Current children cumulated vsize (Kb) 50244 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 18728 0 0 0 11964 381 0 0 24 0 1 0 22446889 51589120 10221 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12595 10221 364 364 0 12231 0 [pid=10776] vsize: 50380 Current children cumulated CPU time (s) 123.45 Current children cumulated vsize (Kb) 50380 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 18974 0 0 0 12863 415 0 0 25 0 1 0 22446889 51724288 10268 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12628 10268 364 364 0 12264 0 [pid=10776] vsize: 50512 Current children cumulated CPU time (s) 132.78 Current children cumulated vsize (Kb) 50512 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 19405 0 0 0 13761 448 0 0 25 0 1 0 22446889 51863552 10301 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12662 10301 364 364 0 12298 0 [pid=10776] vsize: 50648 Current children cumulated CPU time (s) 142.09 Current children cumulated vsize (Kb) 50648 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 19838 0 0 0 14658 482 0 0 25 0 1 0 22446889 51863552 10336 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12662 10336 364 364 0 12298 0 [pid=10776] vsize: 50648 Current children cumulated CPU time (s) 151.4 Current children cumulated vsize (Kb) 50648 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 20077 0 0 0 15572 511 0 0 25 0 1 0 22446889 52011008 10376 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12698 10376 364 364 0 12334 0 [pid=10776] vsize: 50792 Current children cumulated CPU time (s) 160.83 Current children cumulated vsize (Kb) 50792 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 20525 0 0 0 16483 540 0 0 25 0 1 0 22446889 52150272 10426 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12732 10426 364 364 0 12368 0 [pid=10776] vsize: 50928 Current children cumulated CPU time (s) 170.23 Current children cumulated vsize (Kb) 50928 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 20972 0 0 0 17393 569 0 0 25 0 1 0 22446889 52301824 10475 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12769 10475 364 364 0 12405 0 [pid=10776] vsize: 51076 Current children cumulated CPU time (s) 179.62 Current children cumulated vsize (Kb) 51076 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 21409 0 0 0 18296 600 0 0 25 0 1 0 22446889 52301824 10514 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12769 10514 364 364 0 12405 0 [pid=10776] vsize: 51076 Current children cumulated CPU time (s) 188.96 Current children cumulated vsize (Kb) 51076 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 21844 0 0 0 19202 632 0 0 25 0 1 0 22446889 52465664 10551 4294967295 134512640 135987407 3221224560 3221223328 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12809 10551 364 364 0 12445 0 [pid=10776] vsize: 51236 Current children cumulated CPU time (s) 198.34 Current children cumulated vsize (Kb) 51236 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 22101 0 0 0 20101 665 0 0 25 0 1 0 22446889 52613120 10609 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12845 10609 364 364 0 12481 0 [pid=10776] vsize: 51380 Current children cumulated CPU time (s) 207.66 Current children cumulated vsize (Kb) 51380 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 22561 0 0 0 21012 694 0 0 25 0 1 0 22446889 52760576 10671 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12881 10671 364 364 0 12517 0 [pid=10776] vsize: 51524 Current children cumulated CPU time (s) 217.06 Current children cumulated vsize (Kb) 51524 [startup+240.012 s] Raw data (loadavg): 1.07 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 22999 0 0 0 21923 725 0 0 25 0 1 0 22446889 52895744 10711 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12914 10711 364 364 0 12550 0 [pid=10776] vsize: 51656 Current children cumulated CPU time (s) 226.48 Current children cumulated vsize (Kb) 51656 [startup+250.012 s] Raw data (loadavg): 1.06 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 23435 0 0 0 22831 758 0 0 25 0 1 0 22446889 52895744 10749 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 12914 10749 364 364 0 12550 0 [pid=10776] vsize: 51656 Current children cumulated CPU time (s) 235.89 Current children cumulated vsize (Kb) 51656 [startup+260.013 s] Raw data (loadavg): 1.05 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 23868 0 0 0 23738 790 0 0 25 0 1 0 22446889 53030912 10784 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12947 10784 364 364 0 12583 0 [pid=10776] vsize: 51788 Current children cumulated CPU time (s) 245.28 Current children cumulated vsize (Kb) 51788 [startup+270.013 s] Raw data (loadavg): 1.04 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 24319 0 0 0 24642 821 0 0 25 0 1 0 22446889 53170176 10837 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 12981 10837 364 364 0 12617 0 [pid=10776] vsize: 51924 Current children cumulated CPU time (s) 254.63 Current children cumulated vsize (Kb) 51924 [startup+280.014 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 24567 0 0 0 25553 850 0 0 25 0 1 0 22446889 53305344 10886 4294967295 134512640 135987407 3221224560 3221223136 134801576 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13014 10886 364 364 0 12650 0 [pid=10776] vsize: 52056 Current children cumulated CPU time (s) 264.03 Current children cumulated vsize (Kb) 52056 [startup+290.014 s] Raw data (loadavg): 1.03 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 24999 0 0 0 26471 878 0 0 25 0 1 0 22446889 53305344 10920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13014 10920 364 364 0 12650 0 [pid=10776] vsize: 52056 Current children cumulated CPU time (s) 273.49 Current children cumulated vsize (Kb) 52056 [startup+300.015 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 25440 0 0 0 27382 908 0 0 25 0 1 0 22446889 53469184 10963 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13054 10963 364 364 0 12690 0 [pid=10776] vsize: 52216 Current children cumulated CPU time (s) 282.9 Current children cumulated vsize (Kb) 52216 [startup+310.015 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 25884 0 0 0 28303 933 0 0 25 0 1 0 22446889 53604352 11009 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13087 11009 364 364 0 12723 0 [pid=10776] vsize: 52348 Current children cumulated CPU time (s) 292.36 Current children cumulated vsize (Kb) 52348 [startup+320.014 s] Raw data (loadavg): 1.02 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 26109 0 0 0 29216 963 0 0 25 0 1 0 22446889 53604352 11035 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13087 11035 364 364 0 12723 0 [pid=10776] vsize: 52348 Current children cumulated CPU time (s) 301.79 Current children cumulated vsize (Kb) 52348 [startup+330.015 s] Raw data (loadavg): 1.01 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 26554 0 0 0 30136 992 0 0 25 0 1 0 22446889 53739520 11082 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13120 11082 364 364 0 12756 0 [pid=10776] vsize: 52480 Current children cumulated CPU time (s) 311.28 Current children cumulated vsize (Kb) 52480 [startup+340.016 s] Raw data (loadavg): 1.01 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 26779 0 0 0 31057 1019 0 0 25 0 1 0 22446889 53874688 11108 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13153 11108 364 364 0 12789 0 [pid=10776] vsize: 52612 Current children cumulated CPU time (s) 320.76 Current children cumulated vsize (Kb) 52612 [startup+350.016 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 27223 0 0 0 31981 1046 0 0 25 0 1 0 22446889 54030336 11154 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13191 11154 364 364 0 12827 0 [pid=10776] vsize: 52764 Current children cumulated CPU time (s) 330.27 Current children cumulated vsize (Kb) 52764 [startup+360.017 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 27446 0 0 0 32906 1072 0 0 25 0 1 0 22446889 54030336 11178 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13191 11178 364 364 0 12827 0 [pid=10776] vsize: 52764 Current children cumulated CPU time (s) 339.78 Current children cumulated vsize (Kb) 52764 [startup+370.017 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 27908 0 0 0 33838 1096 0 0 25 0 1 0 22446889 54194176 11242 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13231 11242 364 364 0 12867 0 [pid=10776] vsize: 52924 Current children cumulated CPU time (s) 349.34 Current children cumulated vsize (Kb) 52924 [startup+380.017 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 28320 0 0 0 34765 1122 0 0 25 0 1 0 22446889 54194176 11256 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13231 11256 364 364 0 12867 0 [pid=10776] vsize: 52924 Current children cumulated CPU time (s) 358.87 Current children cumulated vsize (Kb) 52924 [startup+390.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 28559 0 0 0 35689 1148 0 0 25 0 1 0 22446889 54329344 11296 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13264 11296 364 364 0 12900 0 [pid=10776] vsize: 53056 Current children cumulated CPU time (s) 368.37 Current children cumulated vsize (Kb) 53056 [startup+400.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 28797 0 0 0 36599 1178 0 0 25 0 1 0 22446889 54329344 11335 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13264 11335 364 364 0 12900 0 [pid=10776] vsize: 53056 Current children cumulated CPU time (s) 377.77 Current children cumulated vsize (Kb) 53056 [startup+410.018 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 29238 0 0 0 37515 1207 0 0 25 0 1 0 22446889 54476800 11378 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13300 11378 364 364 0 12936 0 [pid=10776] vsize: 53200 Current children cumulated CPU time (s) 387.22 Current children cumulated vsize (Kb) 53200 [startup+420.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 29673 0 0 0 38439 1233 0 0 25 0 1 0 22446889 54611968 11415 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13333 11415 364 364 0 12969 0 [pid=10776] vsize: 53332 Current children cumulated CPU time (s) 396.72 Current children cumulated vsize (Kb) 53332 [startup+430.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 30124 0 0 0 39365 1258 0 0 25 0 1 0 22446889 54611968 11468 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13333 11468 364 364 0 12969 0 [pid=10776] vsize: 53332 Current children cumulated CPU time (s) 406.23 Current children cumulated vsize (Kb) 53332 [startup+440.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 30346 0 0 0 40275 1288 0 0 25 0 1 0 22446889 54747136 11491 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13366 11491 364 364 0 13002 0 [pid=10776] vsize: 53464 Current children cumulated CPU time (s) 415.63 Current children cumulated vsize (Kb) 53464 [startup+450.019 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 30780 0 0 0 41188 1318 0 0 25 0 1 0 22446889 54747136 11527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13366 11527 364 364 0 13002 0 [pid=10776] vsize: 53464 Current children cumulated CPU time (s) 425.06 Current children cumulated vsize (Kb) 53464 [startup+460.02 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 31212 0 0 0 42114 1346 0 0 25 0 1 0 22446889 54878208 11561 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13398 11561 364 364 0 13034 0 [pid=10776] vsize: 53592 Current children cumulated CPU time (s) 434.6 Current children cumulated vsize (Kb) 53592 [startup+470.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 31473 0 0 0 43033 1375 0 0 25 0 1 0 22446889 55017472 11623 4294967295 134512640 135987407 3221224560 3221223152 134775396 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13432 11623 364 364 0 13068 0 [pid=10776] vsize: 53728 Current children cumulated CPU time (s) 444.08 Current children cumulated vsize (Kb) 53728 [startup+480.02 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 31896 0 0 0 43950 1406 0 0 25 0 1 0 22446889 55181312 11648 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13472 11648 364 364 0 13108 0 [pid=10776] vsize: 53888 Current children cumulated CPU time (s) 453.56 Current children cumulated vsize (Kb) 53888 [startup+490.02 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 32136 0 0 0 44860 1436 0 0 25 0 1 0 22446889 55181312 11689 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13472 11689 364 364 0 13108 0 [pid=10776] vsize: 53888 Current children cumulated CPU time (s) 462.96 Current children cumulated vsize (Kb) 53888 [startup+500.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 32562 0 0 0 45784 1462 0 0 25 0 1 0 22446889 55312384 11717 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13504 11717 364 364 0 13140 0 [pid=10776] vsize: 54016 Current children cumulated CPU time (s) 472.46 Current children cumulated vsize (Kb) 54016 [startup+510.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 33003 0 0 0 46701 1488 0 0 25 0 1 0 22446889 55312384 11760 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13504 11760 364 364 0 13140 0 [pid=10776] vsize: 54016 Current children cumulated CPU time (s) 481.89 Current children cumulated vsize (Kb) 54016 [startup+520.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 33234 0 0 0 47626 1515 0 0 25 0 1 0 22446889 55443456 11792 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13536 11792 364 364 0 13172 0 [pid=10776] vsize: 54144 Current children cumulated CPU time (s) 491.41 Current children cumulated vsize (Kb) 54144 [startup+530.023 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 33699 0 0 0 48557 1538 0 0 25 0 1 0 22446889 55590912 11859 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13572 11859 364 364 0 13208 0 [pid=10776] vsize: 54288 Current children cumulated CPU time (s) 500.95 Current children cumulated vsize (Kb) 54288 [startup+540.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 33930 0 0 0 49476 1565 0 0 25 0 1 0 22446889 55590912 11891 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13572 11891 364 364 0 13208 0 [pid=10776] vsize: 54288 Current children cumulated CPU time (s) 510.41 Current children cumulated vsize (Kb) 54288 [startup+550.024 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10776 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 34366 0 0 0 50400 1592 0 0 25 0 1 0 22446889 55721984 11929 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13604 11929 364 364 0 13240 0 [pid=10776] vsize: 54416 Current children cumulated CPU time (s) 519.92 Current children cumulated vsize (Kb) 54416 [startup+560.025 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10831 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 34595 0 0 0 51319 1621 0 0 25 0 1 0 22446889 55721984 11959 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13604 11959 364 364 0 13240 0 [pid=10776] vsize: 54416 Current children cumulated CPU time (s) 529.4 Current children cumulated vsize (Kb) 54416 [startup+570.024 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10831 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 35010 0 0 0 52245 1646 0 0 25 0 1 0 22446889 55857152 11976 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13637 11976 364 364 0 13273 0 [pid=10776] vsize: 54548 Current children cumulated CPU time (s) 538.91 Current children cumulated vsize (Kb) 54548 [startup+580.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10831 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 35238 0 0 0 53164 1675 0 0 25 0 1 0 22446889 55857152 12005 4294967295 134512640 135987407 3221224560 3221223280 134813845 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13637 12005 364 364 0 13273 0 [pid=10776] vsize: 54548 Current children cumulated CPU time (s) 548.39 Current children cumulated vsize (Kb) 54548 [startup+590.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10831 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 35659 0 0 0 54099 1699 0 0 25 0 1 0 22446889 55857152 12028 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13637 12028 364 364 0 13273 0 [pid=10776] vsize: 54548 Current children cumulated CPU time (s) 557.98 Current children cumulated vsize (Kb) 54548 [startup+600.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10831 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 35898 0 0 0 55016 1727 0 0 25 0 1 0 22446889 56016896 12068 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13676 12068 364 364 0 13312 0 [pid=10776] vsize: 54704 Current children cumulated CPU time (s) 567.43 Current children cumulated vsize (Kb) 54704 [startup+610.026 s] Raw data (loadavg): 1.00 0.99 0.92 1/57 10833 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 36329 0 0 0 55936 1755 0 0 25 0 1 0 22446889 56016896 12101 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13676 12101 364 364 0 13312 0 [pid=10776] vsize: 54704 Current children cumulated CPU time (s) 576.91 Current children cumulated vsize (Kb) 54704 [startup+620.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10833 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 36770 0 0 0 56855 1783 0 0 25 0 1 0 22446889 56156160 12144 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 13710 12144 364 364 0 13346 0 [pid=10776] vsize: 54840 Current children cumulated CPU time (s) 586.38 Current children cumulated vsize (Kb) 54840 [startup+630.027 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 36991 0 0 0 57773 1813 0 0 25 0 1 0 22446889 56156160 12166 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13710 12166 364 364 0 13346 0 [pid=10776] vsize: 54840 Current children cumulated CPU time (s) 595.86 Current children cumulated vsize (Kb) 54840 [startup+640.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 37219 0 0 0 58692 1840 0 0 25 0 1 0 22446889 56156160 12195 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13710 12195 364 364 0 13346 0 [pid=10776] vsize: 54840 Current children cumulated CPU time (s) 605.32 Current children cumulated vsize (Kb) 54840 [startup+650.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 37645 0 0 0 59614 1868 0 0 25 0 1 0 22446889 56291328 12223 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13743 12223 364 364 0 13379 0 [pid=10776] vsize: 54972 Current children cumulated CPU time (s) 614.82 Current children cumulated vsize (Kb) 54972 [startup+660.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 37883 0 0 0 60544 1891 0 0 25 0 1 0 22446889 56291328 12262 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 13743 12262 364 364 0 13379 0 [pid=10776] vsize: 54972 Current children cumulated CPU time (s) 624.35 Current children cumulated vsize (Kb) 54972 [startup+670.028 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 38305 0 0 0 61468 1915 0 0 25 0 1 0 22446889 64679936 12286 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 15791 12286 364 364 0 15427 0 [pid=10776] vsize: 63164 Current children cumulated CPU time (s) 633.83 Current children cumulated vsize (Kb) 63164 [startup+680.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 38535 0 0 0 62385 1943 0 0 25 0 1 0 22446889 64831488 12317 4294967295 134512640 135987407 3221224560 3221223376 134816583 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 15828 12317 364 364 0 15464 0 [pid=10776] vsize: 63312 Current children cumulated CPU time (s) 643.28 Current children cumulated vsize (Kb) 63312 [startup+690.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 38969 0 0 0 63308 1970 0 0 25 0 1 0 22446889 64831488 12353 4294967295 134512640 135987407 3221224560 3221223424 134812658 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 15828 12353 364 364 0 15464 0 [pid=10776] vsize: 63312 Current children cumulated CPU time (s) 652.78 Current children cumulated vsize (Kb) 63312 [startup+700.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 39198 0 0 0 64234 1994 0 0 25 0 1 0 22446889 64962560 12383 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 15860 12383 364 364 0 15496 0 [pid=10776] vsize: 63440 Current children cumulated CPU time (s) 662.28 Current children cumulated vsize (Kb) 63440 [startup+710.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 39633 0 0 0 65159 2018 0 0 25 0 1 0 22446889 64962560 12420 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 15860 12420 364 364 0 15496 0 [pid=10776] vsize: 63440 Current children cumulated CPU time (s) 671.77 Current children cumulated vsize (Kb) 63440 [startup+720.031 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 39870 0 0 0 66082 2044 0 0 25 0 1 0 22446889 65134592 12458 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 15902 12458 364 364 0 15538 0 [pid=10776] vsize: 63608 Current children cumulated CPU time (s) 681.26 Current children cumulated vsize (Kb) 63608 [startup+730.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 40292 0 0 0 67006 2070 0 0 25 0 1 0 22446889 65134592 12482 4294967295 134512640 135987407 3221224560 3221223376 134824129 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 15902 12482 364 364 0 15538 0 [pid=10776] vsize: 63608 Current children cumulated CPU time (s) 690.76 Current children cumulated vsize (Kb) 63608 [startup+740.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 40535 0 0 0 67933 2097 0 0 25 0 1 0 22446889 65282048 12526 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 15938 12526 364 364 0 15574 0 [pid=10776] vsize: 63752 Current children cumulated CPU time (s) 700.3 Current children cumulated vsize (Kb) 63752 [startup+750.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 40970 0 0 0 68850 2125 0 0 25 0 1 0 22446889 65282048 12563 4294967295 134512640 135987407 3221224560 3221223120 134788476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 15938 12563 364 364 0 15574 0 [pid=10776] vsize: 63752 Current children cumulated CPU time (s) 709.75 Current children cumulated vsize (Kb) 63752 [startup+760.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 41191 0 0 0 69773 2150 0 0 25 0 1 0 22446889 65282048 12585 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 15938 12585 364 364 0 15574 0 [pid=10776] vsize: 63752 Current children cumulated CPU time (s) 719.23 Current children cumulated vsize (Kb) 63752 [startup+770.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 41626 0 0 0 70700 2175 0 0 25 0 1 0 22446889 65413120 12622 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 15970 12622 364 364 0 15606 0 [pid=10776] vsize: 63880 Current children cumulated CPU time (s) 728.75 Current children cumulated vsize (Kb) 63880 [startup+780.033 s] Raw data (loadavg): 1.08 1.00 0.92 1/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 41851 0 0 0 71623 2200 0 0 25 0 1 0 22446889 65413120 12648 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 15970 12648 364 364 0 15606 0 [pid=10776] vsize: 63880 Current children cumulated CPU time (s) 738.23 Current children cumulated vsize (Kb) 63880 [startup+790.033 s] Raw data (loadavg): 1.07 1.00 0.92 1/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 42275 0 0 0 72552 2225 0 0 25 0 1 0 22446889 65544192 12674 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16002 12674 364 364 0 15638 0 [pid=10776] vsize: 64008 Current children cumulated CPU time (s) 747.77 Current children cumulated vsize (Kb) 64008 [startup+800.033 s] Raw data (loadavg): 1.06 1.00 0.92 1/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 42504 0 0 0 73480 2248 0 0 24 0 1 0 22446889 65544192 12704 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16002 12704 364 364 0 15638 0 [pid=10776] vsize: 64008 Current children cumulated CPU time (s) 757.28 Current children cumulated vsize (Kb) 64008 [startup+810.033 s] Raw data (loadavg): 1.05 1.00 0.92 1/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 42930 0 0 0 74408 2271 0 0 25 0 1 0 22446889 65675264 12732 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16034 12732 364 364 0 15670 0 [pid=10776] vsize: 64136 Current children cumulated CPU time (s) 766.79 Current children cumulated vsize (Kb) 64136 [startup+820.034 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 43161 0 0 0 75331 2298 0 0 25 0 1 0 22446889 65675264 12764 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16034 12764 364 364 0 15670 0 [pid=10776] vsize: 64136 Current children cumulated CPU time (s) 776.29 Current children cumulated vsize (Kb) 64136 [startup+830.034 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 43388 0 0 0 76266 2319 0 0 25 0 1 0 22446889 65675264 12792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16034 12792 364 364 0 15670 0 [pid=10776] vsize: 64136 Current children cumulated CPU time (s) 785.85 Current children cumulated vsize (Kb) 64136 [startup+840.034 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 43613 0 0 0 77200 2344 0 0 25 0 1 0 22446889 65806336 12818 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16066 12818 364 364 0 15702 0 [pid=10776] vsize: 64264 Current children cumulated CPU time (s) 795.44 Current children cumulated vsize (Kb) 64264 [startup+850.035 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 44258 0 0 0 78126 2370 0 0 25 0 1 0 22446889 66621440 13065 4294967295 134512640 135987407 3221224560 3221222920 134827490 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16265 13065 364 364 0 15901 0 [pid=10776] vsize: 65060 Current children cumulated CPU time (s) 804.96 Current children cumulated vsize (Kb) 65060 [startup+860.035 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 44487 0 0 0 79060 2394 0 0 25 0 1 0 22446889 65937408 12896 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16098 12896 364 364 0 15734 0 [pid=10776] vsize: 64392 Current children cumulated CPU time (s) 814.54 Current children cumulated vsize (Kb) 64392 [startup+870.035 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 44716 0 0 0 79990 2419 0 0 25 0 1 0 22446889 65937408 12926 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16098 12926 364 364 0 15734 0 [pid=10776] vsize: 64392 Current children cumulated CPU time (s) 824.09 Current children cumulated vsize (Kb) 64392 [startup+880.036 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 45156 0 0 0 80926 2441 0 0 25 0 1 0 22446889 66068480 12968 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16130 12968 364 364 0 15766 0 [pid=10776] vsize: 64520 Current children cumulated CPU time (s) 833.67 Current children cumulated vsize (Kb) 64520 [startup+890.036 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 45588 0 0 0 81853 2468 0 0 25 0 1 0 22446889 66068480 13002 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16130 13002 364 364 0 15766 0 [pid=10776] vsize: 64520 Current children cumulated CPU time (s) 843.21 Current children cumulated vsize (Kb) 64520 [startup+900.037 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 45805 0 0 0 82785 2489 0 0 25 0 1 0 22446889 66199552 13020 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16162 13020 364 364 0 15798 0 [pid=10776] vsize: 64648 Current children cumulated CPU time (s) 852.74 Current children cumulated vsize (Kb) 64648 [startup+910.037 s] Raw data (loadavg): 1.01 1.00 0.92 1/55 10837 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 46036 0 0 0 83713 2514 0 0 25 0 1 0 22446889 66199552 13052 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16162 13052 364 364 0 15798 0 [pid=10776] vsize: 64648 Current children cumulated CPU time (s) 862.27 Current children cumulated vsize (Kb) 64648 [startup+920.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 46463 0 0 0 84635 2540 0 0 25 0 1 0 22446889 67149824 13280 4294967295 134512640 135987407 3221224560 3221222948 134828704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16394 13280 364 364 0 16030 0 [pid=10776] vsize: 65576 Current children cumulated CPU time (s) 871.75 Current children cumulated vsize (Kb) 65576 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 46680 0 0 0 85571 2562 0 0 25 0 1 0 22446889 66334720 13099 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16195 13099 364 364 0 15831 0 [pid=10776] vsize: 64780 Current children cumulated CPU time (s) 881.33 Current children cumulated vsize (Kb) 64780 [startup+940.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 46903 0 0 0 86499 2587 0 0 25 0 1 0 22446889 66334720 13123 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16195 13123 364 364 0 15831 0 [pid=10776] vsize: 64780 Current children cumulated CPU time (s) 890.86 Current children cumulated vsize (Kb) 64780 [startup+950.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 47331 0 0 0 87422 2614 0 0 25 0 1 0 22446889 66469888 13153 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16228 13153 364 364 0 15864 0 [pid=10776] vsize: 64912 Current children cumulated CPU time (s) 900.36 Current children cumulated vsize (Kb) 64912 [startup+960.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 47561 0 0 0 88345 2641 0 0 25 0 1 0 22446889 66469888 13184 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16228 13184 364 364 0 15864 0 [pid=10776] vsize: 64912 Current children cumulated CPU time (s) 909.86 Current children cumulated vsize (Kb) 64912 [startup+970.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 47982 0 0 0 89284 2661 0 0 25 0 1 0 22446889 66469888 13207 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16228 13207 364 364 0 15864 0 [pid=10776] vsize: 64912 Current children cumulated CPU time (s) 919.45 Current children cumulated vsize (Kb) 64912 [startup+980.041 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 48210 0 0 0 90216 2683 0 0 25 0 1 0 22446889 66469888 13236 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16228 13236 364 364 0 15864 0 [pid=10776] vsize: 64912 Current children cumulated CPU time (s) 928.99 Current children cumulated vsize (Kb) 64912 [startup+990.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 48436 0 0 0 91137 2710 0 0 25 0 1 0 22446889 66609152 13263 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16262 13263 364 364 0 15898 0 [pid=10776] vsize: 65048 Current children cumulated CPU time (s) 938.47 Current children cumulated vsize (Kb) 65048 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 48862 0 0 0 92069 2735 0 0 25 0 1 0 22446889 66609152 13291 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16262 13291 364 364 0 15898 0 [pid=10776] vsize: 65048 Current children cumulated CPU time (s) 948.04 Current children cumulated vsize (Kb) 65048 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49086 0 0 0 93000 2758 0 0 25 0 1 0 22446889 66609152 13316 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16262 13316 364 364 0 15898 0 [pid=10776] vsize: 65048 Current children cumulated CPU time (s) 957.58 Current children cumulated vsize (Kb) 65048 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49311 0 0 0 93928 2783 0 0 25 0 1 0 22446889 66748416 13342 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16296 13342 364 364 0 15932 0 [pid=10776] vsize: 65184 Current children cumulated CPU time (s) 967.11 Current children cumulated vsize (Kb) 65184 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49537 0 0 0 94858 2806 0 0 25 0 1 0 22446889 66748416 13369 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16296 13369 364 364 0 15932 0 [pid=10776] vsize: 65184 Current children cumulated CPU time (s) 976.64 Current children cumulated vsize (Kb) 65184 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49764 0 0 0 95793 2828 0 0 25 0 1 0 22446889 66748416 13397 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16296 13397 364 364 0 15932 0 [pid=10776] vsize: 65184 Current children cumulated CPU time (s) 986.21 Current children cumulated vsize (Kb) 65184 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49995 0 0 0 96719 2852 0 0 25 0 1 0 22446889 67694592 13628 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16527 13628 364 364 0 16163 0 [pid=10776] vsize: 66108 Current children cumulated CPU time (s) 995.71 Current children cumulated vsize (Kb) 66108 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 50224 0 0 0 97649 2877 0 0 25 0 1 0 22446889 66879488 13459 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16328 13459 364 364 0 15964 0 [pid=10776] vsize: 65312 Current children cumulated CPU time (s) 1005.26 Current children cumulated vsize (Kb) 65312 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 50455 0 0 0 98575 2903 0 0 25 0 1 0 22446889 66879488 13491 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16328 13491 364 364 0 15964 0 [pid=10776] vsize: 65312 Current children cumulated CPU time (s) 1014.78 Current children cumulated vsize (Kb) 65312 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 50880 0 0 0 99516 2924 0 0 25 0 1 0 22446889 67010560 13518 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16360 13518 364 364 0 15996 0 [pid=10776] vsize: 65440 Current children cumulated CPU time (s) 1024.4 Current children cumulated vsize (Kb) 65440 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 51106 0 0 0 100447 2946 0 0 25 0 1 0 22446889 67010560 13545 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16360 13545 364 364 0 15996 0 [pid=10776] vsize: 65440 Current children cumulated CPU time (s) 1033.93 Current children cumulated vsize (Kb) 65440 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 51338 0 0 0 101378 2970 0 0 25 0 1 0 22446889 67010560 13578 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16360 13578 364 364 0 15996 0 [pid=10776] vsize: 65440 Current children cumulated CPU time (s) 1043.48 Current children cumulated vsize (Kb) 65440 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 51763 0 0 0 102314 2991 0 0 25 0 1 0 22446889 67141632 13605 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16392 13605 364 364 0 16028 0 [pid=10776] vsize: 65568 Current children cumulated CPU time (s) 1053.05 Current children cumulated vsize (Kb) 65568 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 51995 0 0 0 103245 3015 0 0 25 0 1 0 22446889 67141632 13638 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16392 13638 364 364 0 16028 0 [pid=10776] vsize: 65568 Current children cumulated CPU time (s) 1062.6 Current children cumulated vsize (Kb) 65568 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 52439 0 0 0 104179 3036 0 0 25 0 1 0 22446889 67272704 13684 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16424 13684 364 364 0 16060 0 [pid=10776] vsize: 65696 Current children cumulated CPU time (s) 1072.15 Current children cumulated vsize (Kb) 65696 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 52672 0 0 0 105105 3062 0 0 25 0 1 0 22446889 67272704 13718 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16424 13718 364 364 0 16060 0 [pid=10776] vsize: 65696 Current children cumulated CPU time (s) 1081.67 Current children cumulated vsize (Kb) 65696 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 52891 0 0 0 106035 3085 0 0 19 0 1 0 22446889 67407872 13738 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16457 13738 364 364 0 16093 0 [pid=10776] vsize: 65828 Current children cumulated CPU time (s) 1091.2 Current children cumulated vsize (Kb) 65828 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 53119 0 0 0 106964 3110 0 0 25 0 1 0 22446889 67407872 13767 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16457 13767 364 364 0 16093 0 [pid=10776] vsize: 65828 Current children cumulated CPU time (s) 1100.74 Current children cumulated vsize (Kb) 65828 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 53556 0 0 0 107896 3133 0 0 25 0 1 0 22446889 67538944 13806 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16489 13806 364 364 0 16125 0 [pid=10776] vsize: 65956 Current children cumulated CPU time (s) 1110.29 Current children cumulated vsize (Kb) 65956 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 53787 0 0 0 108819 3159 0 0 25 0 1 0 22446889 67538944 13838 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16489 13838 364 364 0 16125 0 [pid=10776] vsize: 65956 Current children cumulated CPU time (s) 1119.78 Current children cumulated vsize (Kb) 65956 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 54018 0 0 0 109749 3183 0 0 25 0 1 0 22446889 67538944 13870 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16489 13870 364 364 0 16125 0 [pid=10776] vsize: 65956 Current children cumulated CPU time (s) 1129.32 Current children cumulated vsize (Kb) 65956 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 54247 0 0 0 110684 3202 0 0 25 0 1 0 22446889 67674112 13900 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16522 13900 364 364 0 16158 0 [pid=10776] vsize: 66088 Current children cumulated CPU time (s) 1138.86 Current children cumulated vsize (Kb) 66088 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 54667 0 0 0 111629 3223 0 0 25 0 1 0 22446889 67674112 13922 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16522 13922 364 364 0 16158 0 [pid=10776] vsize: 66088 Current children cumulated CPU time (s) 1148.52 Current children cumulated vsize (Kb) 66088 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 54905 0 0 0 112568 3246 0 0 25 0 1 0 22446889 67813376 13961 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16556 13961 364 364 0 16192 0 [pid=10776] vsize: 66224 Current children cumulated CPU time (s) 1158.14 Current children cumulated vsize (Kb) 66224 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 55347 0 0 0 113513 3266 0 0 25 0 1 0 22446889 67813376 14005 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10776/statm): 16556 14005 364 364 0 16192 0 [pid=10776] vsize: 66224 Current children cumulated CPU time (s) 1167.79 Current children cumulated vsize (Kb) 66224 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 55581 0 0 0 114449 3288 0 0 25 0 1 0 22446889 67948544 14040 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16589 14040 364 364 0 16225 0 [pid=10776] vsize: 66356 Current children cumulated CPU time (s) 1177.37 Current children cumulated vsize (Kb) 66356 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 56009 0 0 0 115382 3312 0 0 25 0 1 0 22446889 67948544 14070 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16589 14070 364 364 0 16225 0 [pid=10776] vsize: 66356 Current children cumulated CPU time (s) 1186.94 Current children cumulated vsize (Kb) 66356 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 56230 0 0 0 116319 3334 0 0 25 0 1 0 22446889 67948544 14092 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16589 14092 364 364 0 16225 0 [pid=10776] vsize: 66356 Current children cumulated CPU time (s) 1196.53 Current children cumulated vsize (Kb) 66356 [startup+1270.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 56463 0 0 0 117256 3355 0 0 25 0 1 0 22446889 68087808 14126 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16623 14126 364 364 0 16259 0 [pid=10776] vsize: 66492 Current children cumulated CPU time (s) 1206.11 Current children cumulated vsize (Kb) 66492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1270.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10839 Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 56463 0 0 0 117256 3355 0 0 25 0 1 0 22446889 68087808 14126 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10776/statm): 16623 14126 364 364 0 16259 0 [pid=10776] vsize: 66492 Current children cumulated CPU time (s) 1206.11 Current children cumulated vsize (Kb) 66492 Sending SIGTERM to -10776 Sleeping 2 seconds One traced child (pid=10776) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1270.24 CPU time (s): 1206.31 CPU user time (s): 1172.72 CPU system time (s): 33.5849 CPU usage (%): 94.9668 Max. virtual memory (cumulated for all children) (Kb): 66492
ERROR: no interpretation found !