Name | mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos14.opb |
MD5SUM | d3bbe7ee2ebffaf54618c2406e4fe00a |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2677095900004446 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7208 |
Biggest coefficient in the objective function | 524288000000000000 |
Number of bits for the biggest coefficient in the objective function | 59 |
Sum of the numbers in the objective function | 75579306006666674176 |
Number of bits of the sum of numbers in the objective function | 67 |
Biggest number in a constraint | 524288000000000000 |
Number of bits of the biggest number in a constraint | 59 |
Biggest sum of numbers in a constraint | 75579306006666674176 |
Number of bits of the biggest sum of numbers | 67 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1223.71 |
Number of variables | 12008 |
Total number of constraints | 792 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 136 |
Number of constraints which are nor clauses,nor cardinality constraints | 656 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 100 |
LAUNCH ON wulflinc14 THE 2005-09-23 18:59:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9309 boxname=wulflinc14 idbench=1105 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d3bbe7ee2ebffaf54618c2406e4fe00a /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-neos14.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-neos14.opb IDLAUNCH: 9309 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.058 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.058 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 979540 kB Buffers: 3044 kB Cached: 34628 kB SwapCached: 0 kB Active: 17680 kB Inactive: 22908 kB HighTotal: 131008 kB HighFree: 92092 kB LowTotal: 903652 kB LowFree: 887448 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 8852 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 19:19:47 (client local time) WITH STATUS 0 IN 1203.18 SECONDS stats: 9309 7 1203.18 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 12116/447761 Time: 19.1541/86400 c Decision: 12217/447761 Time: 33.9038/86400 c Decision: 12239/447761 Time: 43.6724/86400 c Decision: 12249/447761 Time: 51.4892/86400 c Decision: 12249/447761 Time: 57.7252/86400 c Decision: 12269/447761 Time: 69.9184/86400 c Decision: 12296/447761 Time: 82.0565/86400 c Decision: 12350/447761 Time: 96.7953/86400 c Decision: 12353/447761 Time: 105.096/86400 c Decision: 12365/447761 Time: 125.41/86400 c Decision: 12409/447761 Time: 139.316/86400 c Decision: 12409/447761 Time: 151.31/86400 c Decision: 12413/447761 Time: 161.118/86400 c Decision: 12413/447761 Time: 169.284/86400 c Decision: 12452/447761 Time: 194.842/86400 c Decision: 12452/447761 Time: 204.242/86400 c Decision: 12460/447761 Time: 223.933/86400 c Decision: 12463/447761 Time: 233.861/86400 c Decision: 12463/447761 Time: 241.848/86400 c Decision: 12463/447761 Time: 249.172/86400 c Decision: 12467/447761 Time: 261.169/86400 c Decision: 12467/447761 Time: 268.211/86400 c Decision: 12467/447761 Time: 273.797/86400 c Decision: 12467/447761 Time: 281.252/86400 c Decision: 12469/447761 Time: 291.648/86400 c Decision: 12470/447761 Time: 302.573/86400 c Decision: 12474/447761 Time: 310.505/86400 c Decision: 12477/447761 Time: 320.401/86400 c Decision: 12477/447761 Time: 328/86400 c Decision: 12477/447761 Time: 334.654/86400 c Decision: 12479/447761 Time: 345.895/86400 c Decision: 12479/447761 Time: 352.844/86400 c Decision: 12479/447761 Time: 360.45/86400 c Decision: 12480/447761 Time: 373.476/86400 c Decision: 12481/447761 Time: 383.893/86400 c Decision: 12481/447761 Time: 393.147/86400 c Decision: 12481/447761 Time: 401.354/86400 c Decision: 12481/447761 Time: 410.279/86400 c Decision: 12485/447761 Time: 421.794/86400 c Decision: 12485/447761 Time: 429.678/86400 c Decision: 12485/447761 Time: 439.685/86400 c Decision: 12487/447761 Time: 449.818/86400 c Decision: 12487/447761 Time: 458.567/86400 c Decision: 12487/447761 Time: 466.345/86400 c Decision: 12487/447761 Time: 473.553/86400 c Decision: 12487/447761 Time: 483.755/86400 c Decision: 12514/447761 Time: 498.498/86400 c Decision: 12514/447761 Time: 506.604/86400 c Decision: 12529/447761 Time: 521.841/86400 c Decision: 12529/447761 Time: 531.832/86400 c Decision: 12529/447761 Time: 541.821/86400 c Decision: 12651/447761 Time: 569.064/86400 c Decision: 12651/447761 Time: 578.492/86400 c Decision: 12660/447761 Time: 594.72/86400 c Decision: 12660/447761 Time: 604.311/86400 c Decision: 12660/447761 Time: 615.352/86400 c Decision: 12666/447761 Time: 629.916/86400 c Decision: 12667/447761 Time: 641.66/86400 c Decision: 12667/447761 Time: 650.392/86400 c Decision: 12667/447761 Time: 659.539/86400 c Decision: 12678/447761 Time: 675.136/86400 c Decision: 12684/447761 Time: 690.707/86400 c Decision: 12710/447761 Time: 715.624/86400 c Decision: 12710/447761 Time: 724.663/86400 c Decision: 12710/447761 Time: 734.469/86400 c Decision: 12710/447761 Time: 745.833/86400 c Decision: 12710/447761 Time: 755.184/86400 c Decision: 12710/447761 Time: 764.244/86400 c Decision: 12710/447761 Time: 773.576/86400 c Decision: 12739/447761 Time: 793.728/86400 c Decision: 12739/447761 Time: 804.473/86400 c Decision: 12739/447761 Time: 814.446/86400 c Decision: 12739/447761 Time: 824.149/86400 c Decision: 12739/447761 Time: 833.844/86400 c Decision: 12739/447761 Time: 842.968/86400 c Decision: 12792/447761 Time: 878.173/86400 c Decision: 12792/447761 Time: 888.226/86400 c Decision: 12794/447761 Time: 902.237/86400 c Decision: 12832/447761 Time: 942.496/86400 c Decision: 12832/447761 Time: 952.46/86400 c Decision: 12832/447761 Time: 963.787/86400 c Decision: 12836/447761 Time: 986.054/86400 c Decision: 12836/447761 Time: 995.133/86400 c Decision: 12838/447761 Time: 1006.04/86400 c Decision: 12842/447761 Time: 1021.42/86400 c Decision: 12869/447761 Time: 1045.96/86400 c Decision: 12869/447761 Time: 1054.79/86400 c Decision: 12882/447761 Time: 1083.75/86400 c Decision: 12882/447761 Time: 1094.39/86400 c Decision: 12882/447761 Time: 1104.84/86400 c Decision: 12882/447761 Time: 1117.66/86400 c Decision: 12885/447761 Time: 1137.47/86400 c Decision: 12885/447761 Time: 1147.42/86400 c Decision: 12923/447761 Time: 1178.33/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/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22532411 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 373 2 364 364 0 9 0 [pid=10580] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-neos14.opb [startup+10.0014 s] Raw data (loadavg): 0.87 0.94 0.91 2/55 10580 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 26958 0 0 0 930 67 0 0 25 0 1 0 22532411 80609280 15808 4294967295 134512640 135987407 3221224560 3221205200 134640684 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 19680 15808 364 364 0 19316 0 [pid=10580] vsize: 78720 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 78720 [startup+20.0031 s] Raw data (loadavg): 0.89 0.94 0.91 2/55 10580 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 55029 0 0 0 1859 134 0 0 25 0 1 0 22532411 164745216 31776 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 40221 31776 364 364 0 39857 0 [pid=10580] vsize: 160884 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 160884 [startup+30.0037 s] Raw data (loadavg): 0.90 0.94 0.91 2/55 10580 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 56374 0 0 0 2767 168 0 0 25 0 1 0 22532411 170188800 33121 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 41550 33121 364 364 0 41186 0 [pid=10580] vsize: 166200 Current children cumulated CPU time (s) 29.35 Current children cumulated vsize (Kb) 166200 [startup+40.0034 s] Raw data (loadavg): 0.92 0.94 0.91 1/55 10580 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 57504 0 0 0 3738 180 0 0 25 0 1 0 22532411 171397120 33376 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 41845 33376 364 364 0 41481 0 [pid=10580] vsize: 167380 Current children cumulated CPU time (s) 39.18 Current children cumulated vsize (Kb) 167380 [startup+50.0041 s] Raw data (loadavg): 0.93 0.94 0.91 1/55 10580 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 57851 0 0 0 4657 209 0 0 23 0 1 0 22532411 172802048 33723 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42188 33723 364 364 0 41824 0 [pid=10580] vsize: 168752 Current children cumulated CPU time (s) 48.66 Current children cumulated vsize (Kb) 168752 [startup+60.0048 s] Raw data (loadavg): 0.94 0.95 0.91 3/58 10619 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 58901 0 0 0 5592 234 0 0 19 0 1 0 22532411 173563904 33898 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 42374 33898 364 364 0 42010 0 [pid=10580] vsize: 169496 Current children cumulated CPU time (s) 58.26 Current children cumulated vsize (Kb) 169496 [startup+70.0054 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 10635 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 59974 0 0 0 6542 251 0 0 25 0 1 0 22532411 174350336 34096 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42566 34096 364 364 0 42202 0 [pid=10580] vsize: 170264 Current children cumulated CPU time (s) 67.93 Current children cumulated vsize (Kb) 170264 [startup+80.0061 s] Raw data (loadavg): 0.96 0.95 0.91 1/55 10635 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 61790 0 0 0 7513 263 0 0 25 0 1 0 22532411 174497792 34162 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42602 34162 364 364 0 42238 0 [pid=10580] vsize: 170408 Current children cumulated CPU time (s) 77.76 Current children cumulated vsize (Kb) 170408 [startup+90.0057 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 10635 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 62706 0 0 0 8478 277 0 0 25 0 1 0 22532411 174645248 34203 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42638 34203 364 364 0 42274 0 [pid=10580] vsize: 170552 Current children cumulated CPU time (s) 87.55 Current children cumulated vsize (Kb) 170552 [startup+100.006 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 10635 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 62750 0 0 0 9418 297 0 0 25 0 1 0 22532411 174788608 34247 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42673 34247 364 364 0 42309 0 [pid=10580] vsize: 170692 Current children cumulated CPU time (s) 97.15 Current children cumulated vsize (Kb) 170692 [startup+110.007 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 10635 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 63692 0 0 0 10363 317 0 0 24 0 1 0 22532411 175095808 34314 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 42748 34314 364 364 0 42384 0 [pid=10580] vsize: 170992 Current children cumulated CPU time (s) 106.8 Current children cumulated vsize (Kb) 170992 [startup+120.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 10637 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 64619 0 0 0 11314 336 0 0 25 0 1 0 22532411 175259648 34366 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42788 34366 364 364 0 42424 0 [pid=10580] vsize: 171152 Current children cumulated CPU time (s) 116.5 Current children cumulated vsize (Kb) 171152 [startup+130.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 65520 0 0 0 12255 357 0 0 25 0 1 0 22532411 175259648 34392 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 42788 34392 364 364 0 42424 0 [pid=10580] vsize: 171152 Current children cumulated CPU time (s) 126.12 Current children cumulated vsize (Kb) 171152 [startup+140.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 65593 0 0 0 13177 384 0 0 25 0 1 0 22532411 175558656 34465 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42861 34465 364 364 0 42497 0 [pid=10580] vsize: 171444 Current children cumulated CPU time (s) 135.61 Current children cumulated vsize (Kb) 171444 [startup+150.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 66523 0 0 0 14133 402 0 0 25 0 1 0 22532411 175722496 34520 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42901 34520 364 364 0 42537 0 [pid=10580] vsize: 171604 Current children cumulated CPU time (s) 145.35 Current children cumulated vsize (Kb) 171604 [startup+160.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 66572 0 0 0 15084 419 0 0 25 0 1 0 22532411 175886336 34569 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42941 34569 364 364 0 42577 0 [pid=10580] vsize: 171764 Current children cumulated CPU time (s) 155.03 Current children cumulated vsize (Kb) 171764 [startup+170.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 67449 0 0 0 16031 439 0 0 25 0 1 0 22532411 175886336 34571 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 42941 34571 364 364 0 42577 0 [pid=10580] vsize: 171764 Current children cumulated CPU time (s) 164.7 Current children cumulated vsize (Kb) 171764 [startup+180.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 68403 0 0 0 16985 456 0 0 25 0 1 0 22532411 176214016 34650 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43021 34650 364 364 0 42657 0 [pid=10580] vsize: 172084 Current children cumulated CPU time (s) 174.41 Current children cumulated vsize (Kb) 172084 [startup+190.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 69319 0 0 0 17931 475 0 0 25 0 1 0 22532411 176377856 34691 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43061 34691 364 364 0 42697 0 [pid=10580] vsize: 172244 Current children cumulated CPU time (s) 184.06 Current children cumulated vsize (Kb) 172244 [startup+200.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 70247 0 0 0 18879 494 0 0 19 0 1 0 22532411 176541696 34744 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43101 34744 364 364 0 42737 0 [pid=10580] vsize: 172404 Current children cumulated CPU time (s) 193.73 Current children cumulated vsize (Kb) 172404 [startup+210.011 s] Raw data (loadavg): 0.99 0.96 0.91 1/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 70298 0 0 0 19820 513 0 0 25 0 1 0 22532411 176738304 34795 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43149 34795 364 364 0 42785 0 [pid=10580] vsize: 172596 Current children cumulated CPU time (s) 203.33 Current children cumulated vsize (Kb) 172596 [startup+220.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 71240 0 0 0 20764 533 0 0 25 0 1 0 22532411 180486144 35737 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44064 35737 364 364 0 43700 0 [pid=10580] vsize: 176256 Current children cumulated CPU time (s) 212.97 Current children cumulated vsize (Kb) 176256 [startup+230.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 72169 0 0 0 21733 546 0 0 25 0 1 0 22532411 177065984 34916 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43229 34916 364 364 0 42865 0 [pid=10580] vsize: 172916 Current children cumulated CPU time (s) 222.79 Current children cumulated vsize (Kb) 172916 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 72228 0 0 0 22676 565 0 0 25 0 1 0 22532411 177397760 34975 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43310 34975 364 364 0 42946 0 [pid=10580] vsize: 173240 Current children cumulated CPU time (s) 232.41 Current children cumulated vsize (Kb) 173240 [startup+250.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 73121 0 0 0 23629 582 0 0 25 0 1 0 22532411 180981760 35868 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44185 35868 364 364 0 43821 0 [pid=10580] vsize: 176740 Current children cumulated CPU time (s) 242.11 Current children cumulated vsize (Kb) 176740 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 74018 0 0 0 24574 602 0 0 25 0 1 0 22532411 180981760 35890 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44185 35890 364 364 0 43821 0 [pid=10580] vsize: 176740 Current children cumulated CPU time (s) 251.76 Current children cumulated vsize (Kb) 176740 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 74942 0 0 0 25528 621 0 0 25 0 1 0 22532411 177561600 35064 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43350 35064 364 364 0 42986 0 [pid=10580] vsize: 173400 Current children cumulated CPU time (s) 261.49 Current children cumulated vsize (Kb) 173400 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 75860 0 0 0 26478 639 0 0 25 0 1 0 22532411 177725440 35107 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43390 35107 364 364 0 43026 0 [pid=10580] vsize: 173560 Current children cumulated CPU time (s) 271.17 Current children cumulated vsize (Kb) 173560 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 76765 0 0 0 27432 656 0 0 24 0 1 0 22532411 177725440 35137 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43390 35137 364 364 0 43026 0 [pid=10580] vsize: 173560 Current children cumulated CPU time (s) 280.88 Current children cumulated vsize (Kb) 173560 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 77662 0 0 0 28388 671 0 0 25 0 1 0 22532411 177725440 35159 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43390 35159 364 364 0 43026 0 [pid=10580] vsize: 173560 Current children cumulated CPU time (s) 290.59 Current children cumulated vsize (Kb) 173560 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 79446 0 0 0 29342 688 0 0 25 0 1 0 22532411 177856512 35193 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43422 35193 364 364 0 43058 0 [pid=10580] vsize: 173688 Current children cumulated CPU time (s) 300.3 Current children cumulated vsize (Kb) 173688 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 80352 0 0 0 30294 706 0 0 25 0 1 0 22532411 177856512 35224 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43422 35224 364 364 0 43058 0 [pid=10580] vsize: 173688 Current children cumulated CPU time (s) 310 Current children cumulated vsize (Kb) 173688 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 81259 0 0 0 31245 727 0 0 25 0 1 0 22532411 177987584 35256 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43454 35256 364 364 0 43090 0 [pid=10580] vsize: 173816 Current children cumulated CPU time (s) 319.72 Current children cumulated vsize (Kb) 173816 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 82149 0 0 0 32206 744 0 0 25 0 1 0 22532411 177987584 35271 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43454 35271 364 364 0 43090 0 [pid=10580] vsize: 173816 Current children cumulated CPU time (s) 329.5 Current children cumulated vsize (Kb) 173816 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 83043 0 0 0 33154 763 0 0 25 0 1 0 22532411 177987584 35290 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43454 35290 364 364 0 43090 0 [pid=10580] vsize: 173816 Current children cumulated CPU time (s) 339.17 Current children cumulated vsize (Kb) 173816 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10641 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 83973 0 0 0 34111 779 0 0 25 0 1 0 22532411 178266112 35345 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43522 35345 364 364 0 43158 0 [pid=10580] vsize: 174088 Current children cumulated CPU time (s) 348.9 Current children cumulated vsize (Kb) 174088 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 84902 0 0 0 35090 789 0 0 25 0 1 0 22532411 178266112 35399 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43522 35399 364 364 0 43158 0 [pid=10580] vsize: 174088 Current children cumulated CPU time (s) 358.79 Current children cumulated vsize (Kb) 174088 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 85833 0 0 0 36064 798 0 0 25 0 1 0 22532411 178429952 35455 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43562 35455 364 364 0 43198 0 [pid=10580] vsize: 174248 Current children cumulated CPU time (s) 368.62 Current children cumulated vsize (Kb) 174248 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 87605 0 0 0 37040 810 0 0 25 0 1 0 22532411 182013952 36352 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44437 36352 364 364 0 44073 0 [pid=10580] vsize: 177748 Current children cumulated CPU time (s) 378.5 Current children cumulated vsize (Kb) 177748 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 87655 0 0 0 38006 822 0 0 25 0 1 0 22532411 178561024 35527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43594 35527 364 364 0 43230 0 [pid=10580] vsize: 174376 Current children cumulated CPU time (s) 388.28 Current children cumulated vsize (Kb) 174376 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 88568 0 0 0 38962 839 0 0 25 0 1 0 22532411 178561024 35565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43594 35565 364 364 0 43230 0 [pid=10580] vsize: 174376 Current children cumulated CPU time (s) 398.01 Current children cumulated vsize (Kb) 174376 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 89481 0 0 0 39913 858 0 0 20 0 1 0 22532411 178708480 35603 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43630 35603 364 364 0 43266 0 [pid=10580] vsize: 174520 Current children cumulated CPU time (s) 407.71 Current children cumulated vsize (Kb) 174520 [startup+430.019 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 90378 0 0 0 40878 870 0 0 25 0 1 0 22532411 178708480 35625 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43630 35625 364 364 0 43266 0 [pid=10580] vsize: 174520 Current children cumulated CPU time (s) 417.48 Current children cumulated vsize (Kb) 174520 [startup+440.018 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 91290 0 0 0 41838 885 0 0 25 0 1 0 22532411 178843648 35662 4294967295 134512640 135987407 3221224560 3221223280 134814269 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43663 35662 364 364 0 43299 0 [pid=10580] vsize: 174652 Current children cumulated CPU time (s) 427.23 Current children cumulated vsize (Kb) 174652 [startup+450.019 s] Raw data (loadavg): 1.05 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 92259 0 0 0 42801 899 0 0 25 0 1 0 22532411 179195904 35756 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43749 35756 364 364 0 43385 0 [pid=10580] vsize: 174996 Current children cumulated CPU time (s) 437 Current children cumulated vsize (Kb) 174996 [startup+460.019 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 93155 0 0 0 43759 915 0 0 25 0 1 0 22532411 179195904 35777 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43749 35777 364 364 0 43385 0 [pid=10580] vsize: 174996 Current children cumulated CPU time (s) 446.74 Current children cumulated vsize (Kb) 174996 [startup+470.019 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 94918 0 0 0 44719 932 0 0 25 0 1 0 22532411 182779904 36665 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44624 36665 364 364 0 44260 0 [pid=10580] vsize: 178496 Current children cumulated CPU time (s) 456.51 Current children cumulated vsize (Kb) 178496 [startup+480.02 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 94977 0 0 0 45683 946 0 0 25 0 1 0 22532411 179331072 35849 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43782 35849 364 364 0 43418 0 [pid=10580] vsize: 175128 Current children cumulated CPU time (s) 466.29 Current children cumulated vsize (Kb) 175128 [startup+490.019 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 96745 0 0 0 46633 964 0 0 25 0 1 0 22532411 182915072 36742 4294967295 134512640 135987407 3221224560 3221222964 134827724 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44657 36742 364 364 0 44293 0 [pid=10580] vsize: 178628 Current children cumulated CPU time (s) 475.97 Current children cumulated vsize (Kb) 178628 [startup+500.02 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 97654 0 0 0 47595 978 0 0 25 0 1 0 22532411 179462144 35901 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43814 35901 364 364 0 43450 0 [pid=10580] vsize: 175256 Current children cumulated CPU time (s) 485.73 Current children cumulated vsize (Kb) 175256 [startup+510.021 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 98576 0 0 0 48558 989 0 0 25 0 1 0 22532411 179613696 35948 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43851 35948 364 364 0 43487 0 [pid=10580] vsize: 175404 Current children cumulated CPU time (s) 495.47 Current children cumulated vsize (Kb) 175404 [startup+520.021 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 99474 0 0 0 49518 1003 0 0 20 0 1 0 22532411 179613696 35971 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43851 35971 364 364 0 43487 0 [pid=10580] vsize: 175404 Current children cumulated CPU time (s) 505.21 Current children cumulated vsize (Kb) 175404 [startup+530.022 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 99515 0 0 0 50463 1022 0 0 25 0 1 0 22532411 179769344 36012 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 43889 36012 364 364 0 43525 0 [pid=10580] vsize: 175556 Current children cumulated CPU time (s) 514.85 Current children cumulated vsize (Kb) 175556 [startup+540.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 101284 0 0 0 51426 1037 0 0 25 0 1 0 22532411 183508992 36906 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44802 36906 364 364 0 44438 0 [pid=10580] vsize: 179208 Current children cumulated CPU time (s) 524.63 Current children cumulated vsize (Kb) 179208 [startup+550.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 101355 0 0 0 52368 1057 0 0 25 0 1 0 22532411 180207616 36102 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 43996 36102 364 364 0 43632 0 [pid=10580] vsize: 175984 Current children cumulated CPU time (s) 534.25 Current children cumulated vsize (Kb) 175984 [startup+560.023 s] Raw data (loadavg): 1.01 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 102300 0 0 0 53327 1071 0 0 25 0 1 0 22532411 180404224 36172 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44044 36172 364 364 0 43680 0 [pid=10580] vsize: 176176 Current children cumulated CPU time (s) 543.98 Current children cumulated vsize (Kb) 176176 [startup+570.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 103202 0 0 0 54268 1093 0 0 25 0 1 0 22532411 180404224 36199 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44044 36199 364 364 0 43680 0 [pid=10580] vsize: 176176 Current children cumulated CPU time (s) 553.61 Current children cumulated vsize (Kb) 176176 [startup+580.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 104100 0 0 0 55233 1106 0 0 25 0 1 0 22532411 180600832 36222 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44092 36222 364 364 0 43728 0 [pid=10580] vsize: 176368 Current children cumulated CPU time (s) 563.39 Current children cumulated vsize (Kb) 176368 [startup+590.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 104122 0 0 0 56179 1124 0 0 25 0 1 0 22532411 180600832 36244 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44092 36244 364 364 0 43728 0 [pid=10580] vsize: 176368 Current children cumulated CPU time (s) 573.03 Current children cumulated vsize (Kb) 176368 [startup+600.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 104181 0 0 0 57138 1139 0 0 25 0 1 0 22532411 180756480 36303 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44130 36303 364 364 0 43766 0 [pid=10580] vsize: 176520 Current children cumulated CPU time (s) 582.77 Current children cumulated vsize (Kb) 176520 [startup+610.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 105088 0 0 0 58090 1155 0 0 17 0 1 0 22532411 180756480 36335 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44130 36335 364 364 0 43766 0 [pid=10580] vsize: 176520 Current children cumulated CPU time (s) 592.45 Current children cumulated vsize (Kb) 176520 [startup+620.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 105997 0 0 0 59040 1175 0 0 25 0 1 0 22532411 180891648 36369 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44163 36369 364 364 0 43799 0 [pid=10580] vsize: 176652 Current children cumulated CPU time (s) 602.15 Current children cumulated vsize (Kb) 176652 [startup+630.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 106025 0 0 0 59983 1193 0 0 25 0 1 0 22532411 180891648 36397 4294967295 134512640 135987407 3221224560 3221223280 134814249 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44163 36397 364 364 0 43799 0 [pid=10580] vsize: 176652 Current children cumulated CPU time (s) 611.76 Current children cumulated vsize (Kb) 176652 [startup+640.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 106935 0 0 0 60937 1208 0 0 25 0 1 0 22532411 180891648 36432 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44163 36432 364 364 0 43799 0 [pid=10580] vsize: 176652 Current children cumulated CPU time (s) 621.45 Current children cumulated vsize (Kb) 176652 [startup+650.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 107834 0 0 0 61889 1225 0 0 25 0 1 0 22532411 181022720 36456 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44195 36456 364 364 0 43831 0 [pid=10580] vsize: 176780 Current children cumulated CPU time (s) 631.14 Current children cumulated vsize (Kb) 176780 [startup+660.029 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 108725 0 0 0 62845 1240 0 0 25 0 1 0 22532411 181022720 36472 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44195 36472 364 364 0 43831 0 [pid=10580] vsize: 176780 Current children cumulated CPU time (s) 640.85 Current children cumulated vsize (Kb) 176780 [startup+670.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 109624 0 0 0 63800 1259 0 0 25 0 1 0 22532411 181174272 36496 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44232 36496 364 364 0 43868 0 [pid=10580] vsize: 176928 Current children cumulated CPU time (s) 650.59 Current children cumulated vsize (Kb) 176928 [startup+680.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 110522 0 0 0 64748 1276 0 0 25 0 1 0 22532411 181174272 36519 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44232 36519 364 364 0 43868 0 [pid=10580] vsize: 176928 Current children cumulated CPU time (s) 660.24 Current children cumulated vsize (Kb) 176928 [startup+690.03 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 111435 0 0 0 65701 1293 0 0 25 0 1 0 22532411 181174272 36557 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44232 36557 364 364 0 43868 0 [pid=10580] vsize: 176928 Current children cumulated CPU time (s) 669.94 Current children cumulated vsize (Kb) 176928 [startup+700.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 112345 0 0 0 66659 1309 0 0 25 0 1 0 22532411 181358592 36592 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44277 36592 364 364 0 43913 0 [pid=10580] vsize: 177108 Current children cumulated CPU time (s) 679.68 Current children cumulated vsize (Kb) 177108 [startup+710.031 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 112375 0 0 0 67588 1333 0 0 25 0 1 0 22532411 181358592 36622 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44277 36622 364 364 0 43913 0 [pid=10580] vsize: 177108 Current children cumulated CPU time (s) 689.21 Current children cumulated vsize (Kb) 177108 [startup+720.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 113280 0 0 0 68544 1348 0 0 20 0 1 0 22532411 181497856 36652 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44311 36652 364 364 0 43947 0 [pid=10580] vsize: 177244 Current children cumulated CPU time (s) 698.92 Current children cumulated vsize (Kb) 177244 [startup+730.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 114160 0 0 0 69488 1368 0 0 25 0 1 0 22532411 185081856 37532 4294967295 134512640 135987407 3221224560 3221222972 134827718 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 45186 37532 364 364 0 44822 0 [pid=10580] vsize: 180744 Current children cumulated CPU time (s) 708.56 Current children cumulated vsize (Kb) 180744 [startup+740.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 114184 0 0 0 70437 1383 0 0 25 0 1 0 22532411 181497856 36681 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44311 36681 364 364 0 43947 0 [pid=10580] vsize: 177244 Current children cumulated CPU time (s) 718.2 Current children cumulated vsize (Kb) 177244 [startup+750.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 114222 0 0 0 71384 1401 0 0 25 0 1 0 22532411 181628928 36719 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44343 36719 364 364 0 43979 0 [pid=10580] vsize: 177372 Current children cumulated CPU time (s) 727.85 Current children cumulated vsize (Kb) 177372 [startup+760.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 115132 0 0 0 72333 1420 0 0 25 0 1 0 22532411 181628928 36754 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44343 36754 364 364 0 43979 0 [pid=10580] vsize: 177372 Current children cumulated CPU time (s) 737.53 Current children cumulated vsize (Kb) 177372 [startup+770.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 116036 0 0 0 73292 1435 0 0 25 0 1 0 22532411 181764096 36783 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44376 36783 364 364 0 44012 0 [pid=10580] vsize: 177504 Current children cumulated CPU time (s) 747.27 Current children cumulated vsize (Kb) 177504 [startup+780.033 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 116941 0 0 0 74240 1454 0 0 25 0 1 0 22532411 181764096 36813 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44376 36813 364 364 0 44012 0 [pid=10580] vsize: 177504 Current children cumulated CPU time (s) 756.94 Current children cumulated vsize (Kb) 177504 [startup+790.033 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 117835 0 0 0 75199 1470 0 0 23 0 1 0 22532411 181764096 36832 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44376 36832 364 364 0 44012 0 [pid=10580] vsize: 177504 Current children cumulated CPU time (s) 766.69 Current children cumulated vsize (Kb) 177504 [startup+800.033 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 118729 0 0 0 76143 1488 0 0 25 0 1 0 22532411 181899264 36851 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44409 36851 364 364 0 44045 0 [pid=10580] vsize: 177636 Current children cumulated CPU time (s) 776.31 Current children cumulated vsize (Kb) 177636 [startup+810.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 119616 0 0 0 77094 1505 0 0 25 0 1 0 22532411 181899264 36863 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44409 36863 364 364 0 44045 0 [pid=10580] vsize: 177636 Current children cumulated CPU time (s) 785.99 Current children cumulated vsize (Kb) 177636 [startup+820.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 120514 0 0 0 78045 1522 0 0 25 0 1 0 22532411 181899264 36886 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44409 36886 364 364 0 44045 0 [pid=10580] vsize: 177636 Current children cumulated CPU time (s) 795.67 Current children cumulated vsize (Kb) 177636 [startup+830.034 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 120548 0 0 0 78994 1539 0 0 25 0 1 0 22532411 182030336 36920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44441 36920 364 364 0 44077 0 [pid=10580] vsize: 177764 Current children cumulated CPU time (s) 805.33 Current children cumulated vsize (Kb) 177764 [startup+840.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 121455 0 0 0 79956 1553 0 0 25 0 1 0 22532411 182030336 36952 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44441 36952 364 364 0 44077 0 [pid=10580] vsize: 177764 Current children cumulated CPU time (s) 815.09 Current children cumulated vsize (Kb) 177764 [startup+850.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 122356 0 0 0 80915 1568 0 0 25 0 1 0 22532411 182165504 36978 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44474 36978 364 364 0 44110 0 [pid=10580] vsize: 177896 Current children cumulated CPU time (s) 824.83 Current children cumulated vsize (Kb) 177896 [startup+860.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 123240 0 0 0 81863 1585 0 0 25 0 1 0 22532411 182165504 36987 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44474 36987 364 364 0 44110 0 [pid=10580] vsize: 177896 Current children cumulated CPU time (s) 834.48 Current children cumulated vsize (Kb) 177896 [startup+870.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 124135 0 0 0 82825 1599 0 0 25 0 1 0 22532411 182165504 37007 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44474 37007 364 364 0 44110 0 [pid=10580] vsize: 177896 Current children cumulated CPU time (s) 844.24 Current children cumulated vsize (Kb) 177896 [startup+880.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 125037 0 0 0 83775 1617 0 0 25 0 1 0 22532411 182165504 37034 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44474 37034 364 364 0 44110 0 [pid=10580] vsize: 177896 Current children cumulated CPU time (s) 853.92 Current children cumulated vsize (Kb) 177896 [startup+890.036 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 125954 0 0 0 84729 1634 0 0 25 0 1 0 22532411 182329344 37076 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44514 37076 364 364 0 44150 0 [pid=10580] vsize: 178056 Current children cumulated CPU time (s) 863.63 Current children cumulated vsize (Kb) 178056 [startup+900.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 125976 0 0 0 85669 1653 0 0 25 0 1 0 22532411 182329344 37098 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44514 37098 364 364 0 44150 0 [pid=10580] vsize: 178056 Current children cumulated CPU time (s) 873.22 Current children cumulated vsize (Kb) 178056 [startup+910.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 126009 0 0 0 86619 1670 0 0 25 0 1 0 22532411 182329344 37131 4294967295 134512640 135987407 3221224560 3221223020 135481565 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44514 37131 364 364 0 44150 0 [pid=10580] vsize: 178056 Current children cumulated CPU time (s) 882.89 Current children cumulated vsize (Kb) 178056 [startup+920.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 126040 0 0 0 87571 1686 0 0 25 0 1 0 22532411 182460416 37162 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44546 37162 364 364 0 44182 0 [pid=10580] vsize: 178184 Current children cumulated CPU time (s) 892.57 Current children cumulated vsize (Kb) 178184 [startup+930.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 126930 0 0 0 88530 1701 0 0 25 0 1 0 22532411 182460416 37177 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44546 37177 364 364 0 44182 0 [pid=10580] vsize: 178184 Current children cumulated CPU time (s) 902.31 Current children cumulated vsize (Kb) 178184 [startup+940.037 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 127832 0 0 0 89480 1720 0 0 25 0 1 0 22532411 182603776 37204 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44581 37204 364 364 0 44217 0 [pid=10580] vsize: 178324 Current children cumulated CPU time (s) 912 Current children cumulated vsize (Kb) 178324 [startup+950.037 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 128734 0 0 0 90431 1736 0 0 17 0 1 0 22532411 182603776 37231 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44581 37231 364 364 0 44217 0 [pid=10580] vsize: 178324 Current children cumulated CPU time (s) 921.67 Current children cumulated vsize (Kb) 178324 [startup+960.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 128803 0 0 0 91372 1757 0 0 19 0 1 0 22532411 182792192 37300 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44627 37300 364 364 0 44263 0 [pid=10580] vsize: 178508 Current children cumulated CPU time (s) 931.29 Current children cumulated vsize (Kb) 178508 [startup+970.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 128825 0 0 0 92314 1778 0 0 25 0 1 0 22532411 182792192 37322 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44627 37322 364 364 0 44263 0 [pid=10580] vsize: 178508 Current children cumulated CPU time (s) 940.92 Current children cumulated vsize (Kb) 178508 [startup+980.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 128849 0 0 0 93259 1797 0 0 25 0 1 0 22532411 182792192 37346 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44627 37346 364 364 0 44263 0 [pid=10580] vsize: 178508 Current children cumulated CPU time (s) 950.56 Current children cumulated vsize (Kb) 178508 [startup+990.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 129753 0 0 0 94207 1818 0 0 25 0 1 0 22532411 186515456 38250 4294967295 134512640 135987407 3221224560 3221222944 134828884 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 45536 38250 364 364 0 45172 0 [pid=10580] vsize: 182144 Current children cumulated CPU time (s) 960.25 Current children cumulated vsize (Kb) 182144 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 130656 0 0 0 95160 1837 0 0 25 0 1 0 22532411 186515456 38278 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 45536 38278 364 364 0 45172 0 [pid=10580] vsize: 182144 Current children cumulated CPU time (s) 969.97 Current children cumulated vsize (Kb) 182144 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 130695 0 0 0 96118 1850 0 0 25 0 1 0 22532411 183107584 37442 4294967295 134512640 135987407 3221224560 3221223280 134814412 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44704 37442 364 364 0 44340 0 [pid=10580] vsize: 178816 Current children cumulated CPU time (s) 979.68 Current children cumulated vsize (Kb) 178816 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 131589 0 0 0 97081 1865 0 0 25 0 1 0 22532411 183107584 37461 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44704 37461 364 364 0 44340 0 [pid=10580] vsize: 178816 Current children cumulated CPU time (s) 989.46 Current children cumulated vsize (Kb) 178816 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 131597 0 0 0 98028 1883 0 0 17 0 1 0 22532411 183107584 37469 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44704 37469 364 364 0 44340 0 [pid=10580] vsize: 178816 Current children cumulated CPU time (s) 999.11 Current children cumulated vsize (Kb) 178816 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 132487 0 0 0 98986 1897 0 0 25 0 1 0 22532411 183238656 37484 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44736 37484 364 364 0 44372 0 [pid=10580] vsize: 178944 Current children cumulated CPU time (s) 1008.83 Current children cumulated vsize (Kb) 178944 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 133395 0 0 0 99943 1915 0 0 25 0 1 0 22532411 183238656 37517 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44736 37517 364 364 0 44372 0 [pid=10580] vsize: 178944 Current children cumulated CPU time (s) 1018.58 Current children cumulated vsize (Kb) 178944 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 134301 0 0 0 100897 1931 0 0 25 0 1 0 22532411 183402496 37548 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44776 37548 364 364 0 44412 0 [pid=10580] vsize: 179104 Current children cumulated CPU time (s) 1028.28 Current children cumulated vsize (Kb) 179104 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 134323 0 0 0 101841 1951 0 0 25 0 1 0 22532411 183402496 37570 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44776 37570 364 364 0 44412 0 [pid=10580] vsize: 179104 Current children cumulated CPU time (s) 1037.92 Current children cumulated vsize (Kb) 179104 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 135226 0 0 0 102797 1967 0 0 25 0 1 0 22532411 183402496 37598 4294967295 134512640 135987407 3221224560 3221223376 134825059 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44776 37598 364 364 0 44412 0 [pid=10580] vsize: 179104 Current children cumulated CPU time (s) 1047.64 Current children cumulated vsize (Kb) 179104 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 135268 0 0 0 103743 1984 0 0 25 0 1 0 22532411 183566336 37640 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44816 37640 364 364 0 44452 0 [pid=10580] vsize: 179264 Current children cumulated CPU time (s) 1057.27 Current children cumulated vsize (Kb) 179264 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 136155 0 0 0 104709 1996 0 0 25 0 1 0 22532411 183566336 37652 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44816 37652 364 364 0 44452 0 [pid=10580] vsize: 179264 Current children cumulated CPU time (s) 1067.05 Current children cumulated vsize (Kb) 179264 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 137043 0 0 0 105667 2011 0 0 25 0 1 0 22532411 183566336 37665 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44816 37665 364 364 0 44452 0 [pid=10580] vsize: 179264 Current children cumulated CPU time (s) 1076.78 Current children cumulated vsize (Kb) 179264 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 137070 0 0 0 106608 2029 0 0 25 0 1 0 22532411 183566336 37692 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44816 37692 364 364 0 44452 0 [pid=10580] vsize: 179264 Current children cumulated CPU time (s) 1086.37 Current children cumulated vsize (Kb) 179264 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 137098 0 0 0 107552 2046 0 0 25 0 1 0 22532411 183566336 37720 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44816 37720 364 364 0 44452 0 [pid=10580] vsize: 179264 Current children cumulated CPU time (s) 1095.98 Current children cumulated vsize (Kb) 179264 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 137999 0 0 0 108510 2060 0 0 25 0 1 0 22532411 183697408 37746 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44848 37746 364 364 0 44484 0 [pid=10580] vsize: 179392 Current children cumulated CPU time (s) 1105.7 Current children cumulated vsize (Kb) 179392 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 138899 0 0 0 109472 2074 0 0 25 0 1 0 22532411 183697408 37771 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44848 37771 364 364 0 44484 0 [pid=10580] vsize: 179392 Current children cumulated CPU time (s) 1115.46 Current children cumulated vsize (Kb) 179392 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 139822 0 0 0 110433 2090 0 0 25 0 1 0 22532411 183840768 37819 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44883 37819 364 364 0 44519 0 [pid=10580] vsize: 179532 Current children cumulated CPU time (s) 1125.23 Current children cumulated vsize (Kb) 179532 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 140710 0 0 0 111384 2107 0 0 25 0 1 0 22532411 183840768 37832 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44883 37832 364 364 0 44519 0 [pid=10580] vsize: 179532 Current children cumulated CPU time (s) 1134.91 Current children cumulated vsize (Kb) 179532 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 140722 0 0 0 112343 2119 0 0 24 0 1 0 22532411 183840768 37844 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44883 37844 364 364 0 44519 0 [pid=10580] vsize: 179532 Current children cumulated CPU time (s) 1144.62 Current children cumulated vsize (Kb) 179532 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 140750 0 0 0 113291 2137 0 0 25 0 1 0 22532411 183840768 37872 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 44883 37872 364 364 0 44519 0 [pid=10580] vsize: 179532 Current children cumulated CPU time (s) 1154.28 Current children cumulated vsize (Kb) 179532 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 141652 0 0 0 114251 2152 0 0 25 0 1 0 22532411 183967744 37899 4294967295 134512640 135987407 3221224560 3221223280 134813747 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10580/statm): 44914 37899 364 364 0 44550 0 [pid=10580] vsize: 179656 Current children cumulated CPU time (s) 1164.03 Current children cumulated vsize (Kb) 179656 [startup+1210.04 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 142705 0 0 0 115193 2172 0 0 25 0 1 0 22532411 184651776 38077 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 45081 38077 364 364 0 44717 0 [pid=10580] vsize: 180324 Current children cumulated CPU time (s) 1173.65 Current children cumulated vsize (Kb) 180324 [startup+1220.04 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 142760 0 0 0 116128 2194 0 0 25 0 1 0 22532411 184786944 38132 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10580/statm): 45114 38132 364 364 0 44750 0 [pid=10580] vsize: 180456 Current children cumulated CPU time (s) 1183.22 Current children cumulated vsize (Kb) 180456 [startup+1230.05 s] Raw data (loadavg): 1.08 1.00 0.92 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 142787 0 0 0 117063 2216 0 0 25 0 1 0 22532411 184786944 38159 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 45114 38159 364 364 0 44750 0 [pid=10580] vsize: 180456 Current children cumulated CPU time (s) 1192.79 Current children cumulated vsize (Kb) 180456 [startup+1240.05 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 143688 0 0 0 118014 2234 0 0 25 0 1 0 22532411 184926208 38185 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 45148 38185 364 364 0 44784 0 [pid=10580] vsize: 180592 Current children cumulated CPU time (s) 1202.48 Current children cumulated vsize (Kb) 180592 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.05 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 10643 Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 143688 0 0 0 118014 2234 0 0 25 0 1 0 22532411 184926208 38185 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10580/statm): 45148 38185 364 364 0 44784 0 [pid=10580] vsize: 180592 Current children cumulated CPU time (s) 1202.48 Current children cumulated vsize (Kb) 180592 Sending SIGTERM to -10580 Sleeping 2 seconds One traced child (pid=10580) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1240.75 CPU time (s): 1203.18 CPU user time (s): 1180.76 CPU system time (s): 22.4176 CPU usage (%): 96.9723 Max. virtual memory (cumulated for all children) (Kb): 182144
ERROR: no interpretation found !