Name | mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb |
MD5SUM | 0f3e1a19529370afcd1348994ae2c757 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 153393367040 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6480 |
Biggest coefficient in the objective function | 5242880000 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 755791986840 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5242880000 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 755791986840 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1240.96 |
Number of variables | 11280 |
Total number of constraints | 1307 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 123 |
LAUNCH ON wulflinc9 THE 2005-09-23 19:11:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9338 boxname=wulflinc9 idbench=1134 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 0f3e1a19529370afcd1348994ae2c757 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bg512142.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bg512142.opb IDLAUNCH: 9338 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 897792 kB Buffers: 13908 kB Cached: 105296 kB SwapCached: 0 kB Active: 54616 kB Inactive: 67472 kB HighTotal: 131008 kB HighFree: 25452 kB LowTotal: 903652 kB LowFree: 872340 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 9104 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 19:32:59 (client local time) WITH STATUS 0 IN 1205.69 SECONDS stats: 9338 7 1205.69 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 13774/344151 Time: 43.6634/86400 c Decision: 13827/344151 Time: 56.9763/86400 c Decision: 13852/344151 Time: 74.2897/86400 c Decision: 13873/344151 Time: 85.839/86400 c Decision: 14066/344151 Time: 125.459/86400 c Decision: 14066/344151 Time: 135.545/86400 c Decision: 14079/344151 Time: 146.688/86400 c Decision: 14119/344151 Time: 161.634/86400 c Decision: 14154/344151 Time: 181.036/86400 c Decision: 14175/344151 Time: 207.427/86400 c Decision: 14197/344151 Time: 231.425/86400 c Decision: 14242/344151 Time: 254.946/86400 c Decision: 14250/344151 Time: 265.111/86400 c Decision: 14270/344151 Time: 278.887/86400 c Decision: 14273/344151 Time: 286.39/86400 c Decision: 14307/344151 Time: 311.306/86400 c Decision: 14330/344151 Time: 328.041/86400 c Decision: 14359/344151 Time: 356.556/86400 c Decision: 14426/344151 Time: 392.777/86400 c Decision: 14535/344151 Time: 448.259/86400 c Decision: 14590/344151 Time: 472.428/86400 c Decision: 14629/344151 Time: 493.297/86400 c Decision: 14804/344151 Time: 566.124/86400 c Decision: 14815/344151 Time: 584.488/86400 c Decision: 14827/344151 Time: 604.072/86400 c Decision: 14834/344151 Time: 619.589/86400 c Decision: 14878/344151 Time: 637.26/86400 c Decision: 14902/344151 Time: 668.133/86400 c Decision: 14906/344151 Time: 681.7/86400 c Decision: 14910/344151 Time: 689.508/86400 c Decision: 14913/344151 Time: 702.864/86400 c Decision: 14922/344151 Time: 716.7/86400 c Decision: 14955/344151 Time: 734.443/86400 c Decision: 15160/344151 Time: 832.846/86400 c Decision: 15171/344151 Time: 853.743/86400 c Decision: 15291/344151 Time: 921.338/86400 c Decision: 15373/344151 Time: 980.411/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/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22612479 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 373 2 364 364 0 9 0 [pid=12721] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bg512142.opb [startup+10.0025 s] Raw data (loadavg): 0.94 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 25707 0 0 0 940 57 0 0 25 0 1 0 22612479 80269312 14579 4294967295 134512640 135987407 3221224560 3221202524 134789808 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 19597 14579 364 364 0 19233 0 [pid=12721] vsize: 78388 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 78388 [startup+20.0032 s] Raw data (loadavg): 0.94 1.00 0.94 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 49835 0 0 0 1859 118 0 0 18 0 1 0 22612479 145309696 26884 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 35476 26884 364 364 0 35112 0 [pid=12721] vsize: 141904 Current children cumulated CPU time (s) 19.77 Current children cumulated vsize (Kb) 141904 [startup+30.005 s] Raw data (loadavg): 0.95 1.00 0.94 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 50395 0 0 0 2708 169 0 0 25 0 1 0 22612479 164388864 27444 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40134 27444 364 364 0 39770 0 [pid=12721] vsize: 160536 Current children cumulated CPU time (s) 28.77 Current children cumulated vsize (Kb) 160536 [startup+40.0058 s] Raw data (loadavg): 0.96 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 50532 0 0 0 3611 203 0 0 25 0 1 0 22612479 164794368 27581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40233 27581 364 364 0 39869 0 [pid=12721] vsize: 160932 Current children cumulated CPU time (s) 38.14 Current children cumulated vsize (Kb) 160932 [startup+50.0066 s] Raw data (loadavg): 0.97 1.00 0.94 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 50605 0 0 0 4529 234 0 0 25 0 1 0 22612479 164937728 27654 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40268 27654 364 364 0 39904 0 [pid=12721] vsize: 161072 Current children cumulated CPU time (s) 47.63 Current children cumulated vsize (Kb) 161072 [startup+60.0074 s] Raw data (loadavg): 0.97 1.00 0.94 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 50685 0 0 0 5445 263 0 0 25 0 1 0 22612479 165220352 27734 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40337 27734 364 364 0 39973 0 [pid=12721] vsize: 161348 Current children cumulated CPU time (s) 57.08 Current children cumulated vsize (Kb) 161348 [startup+70.0082 s] Raw data (loadavg): 0.97 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 51422 0 0 0 6383 286 0 0 25 0 1 0 22612479 165359616 27798 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40371 27798 364 364 0 40007 0 [pid=12721] vsize: 161484 Current children cumulated CPU time (s) 66.69 Current children cumulated vsize (Kb) 161484 [startup+80.0099 s] Raw data (loadavg): 0.98 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 52158 0 0 0 7317 309 0 0 25 0 1 0 22612479 165498880 27861 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40405 27861 364 364 0 40041 0 [pid=12721] vsize: 161620 Current children cumulated CPU time (s) 76.26 Current children cumulated vsize (Kb) 161620 [startup+90.0107 s] Raw data (loadavg): 0.98 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 52218 0 0 0 8240 335 0 0 25 0 1 0 22612479 165638144 27921 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40439 27921 364 364 0 40075 0 [pid=12721] vsize: 161756 Current children cumulated CPU time (s) 85.75 Current children cumulated vsize (Kb) 161756 [startup+100.011 s] Raw data (loadavg): 0.98 1.00 0.94 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 52980 0 0 0 9179 357 0 0 25 0 1 0 22612479 165924864 28010 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40509 28010 364 364 0 40145 0 [pid=12721] vsize: 162036 Current children cumulated CPU time (s) 95.36 Current children cumulated vsize (Kb) 162036 [startup+110.011 s] Raw data (loadavg): 0.99 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 53716 0 0 0 10107 383 0 0 25 0 1 0 22612479 166068224 28073 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 40544 28073 364 364 0 40180 0 [pid=12721] vsize: 162176 Current children cumulated CPU time (s) 104.9 Current children cumulated vsize (Kb) 162176 [startup+120.012 s] Raw data (loadavg): 0.99 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 53787 0 0 0 11033 410 0 0 25 0 1 0 22612479 166203392 28144 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40577 28144 364 364 0 40213 0 [pid=12721] vsize: 162308 Current children cumulated CPU time (s) 114.43 Current children cumulated vsize (Kb) 162308 [startup+130.013 s] Raw data (loadavg): 0.99 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 53840 0 0 0 11953 437 0 0 25 0 1 0 22612479 166342656 28197 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40611 28197 364 364 0 40247 0 [pid=12721] vsize: 162444 Current children cumulated CPU time (s) 123.9 Current children cumulated vsize (Kb) 162444 [startup+140.014 s] Raw data (loadavg): 0.99 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 53895 0 0 0 12880 461 0 0 25 0 1 0 22612479 166477824 28252 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40644 28252 364 364 0 40280 0 [pid=12721] vsize: 162576 Current children cumulated CPU time (s) 133.41 Current children cumulated vsize (Kb) 162576 [startup+150.014 s] Raw data (loadavg): 0.99 1.00 0.94 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 54615 0 0 0 13809 485 0 0 25 0 1 0 22612479 166612992 28299 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40677 28299 364 364 0 40313 0 [pid=12721] vsize: 162708 Current children cumulated CPU time (s) 142.94 Current children cumulated vsize (Kb) 162708 [startup+160.015 s] Raw data (loadavg): 1.07 1.02 0.95 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 55383 0 0 0 14716 518 0 0 25 0 1 0 22612479 166883328 28394 4294967295 134512640 135987407 3221224560 3221223292 135499903 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40743 28394 364 364 0 40379 0 [pid=12721] vsize: 162972 Current children cumulated CPU time (s) 152.34 Current children cumulated vsize (Kb) 162972 [startup+170.015 s] Raw data (loadavg): 1.06 1.02 0.95 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 55402 0 0 0 15637 545 0 0 25 0 1 0 22612479 167018496 28413 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40776 28413 364 364 0 40412 0 [pid=12721] vsize: 163104 Current children cumulated CPU time (s) 161.82 Current children cumulated vsize (Kb) 163104 [startup+180.016 s] Raw data (loadavg): 1.05 1.01 0.95 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 56116 0 0 0 16563 569 0 0 25 0 1 0 22612479 167018496 28454 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40776 28454 364 364 0 40412 0 [pid=12721] vsize: 163104 Current children cumulated CPU time (s) 171.32 Current children cumulated vsize (Kb) 163104 [startup+190.017 s] Raw data (loadavg): 1.04 1.01 0.95 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 56833 0 0 0 17496 592 0 0 25 0 1 0 22612479 167149568 28498 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 40808 28498 364 364 0 40444 0 [pid=12721] vsize: 163232 Current children cumulated CPU time (s) 180.88 Current children cumulated vsize (Kb) 163232 [startup+200.016 s] Raw data (loadavg): 1.03 1.01 0.95 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 56883 0 0 0 18413 621 0 0 22 0 1 0 22612479 167288832 28548 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 40842 28548 364 364 0 40478 0 [pid=12721] vsize: 163368 Current children cumulated CPU time (s) 190.34 Current children cumulated vsize (Kb) 163368 [startup+210.017 s] Raw data (loadavg): 1.03 1.01 0.95 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 57600 0 0 0 19340 647 0 0 25 0 1 0 22612479 167288832 28592 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 40842 28592 364 364 0 40478 0 [pid=12721] vsize: 163368 Current children cumulated CPU time (s) 199.87 Current children cumulated vsize (Kb) 163368 [startup+220.018 s] Raw data (loadavg): 1.10 1.03 0.95 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 57917 0 0 0 20154 710 0 0 23 0 1 0 22612479 168640512 28909 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41172 28909 364 364 0 40808 0 [pid=12721] vsize: 164688 Current children cumulated CPU time (s) 208.64 Current children cumulated vsize (Kb) 164688 [startup+230.019 s] Raw data (loadavg): 1.08 1.03 0.95 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 58005 0 0 0 21069 738 0 0 25 0 1 0 22612479 168914944 28997 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 41239 28997 364 364 0 40875 0 [pid=12721] vsize: 164956 Current children cumulated CPU time (s) 218.07 Current children cumulated vsize (Kb) 164956 [startup+240.02 s] Raw data (loadavg): 1.07 1.02 0.95 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 58734 0 0 0 21997 763 0 0 25 0 1 0 22612479 169054208 29053 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41273 29053 364 364 0 40909 0 [pid=12721] vsize: 165092 Current children cumulated CPU time (s) 227.6 Current children cumulated vsize (Kb) 165092 [startup+250.019 s] Raw data (loadavg): 1.06 1.02 0.95 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 58789 0 0 0 22914 792 0 0 18 0 1 0 22612479 169201664 29108 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41309 29108 364 364 0 40945 0 [pid=12721] vsize: 165236 Current children cumulated CPU time (s) 237.06 Current children cumulated vsize (Kb) 165236 [startup+260.02 s] Raw data (loadavg): 1.12 1.04 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 58847 0 0 0 23834 819 0 0 25 0 1 0 22612479 169349120 29166 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41345 29166 364 364 0 40981 0 [pid=12721] vsize: 165380 Current children cumulated CPU time (s) 246.53 Current children cumulated vsize (Kb) 165380 [startup+270.021 s] Raw data (loadavg): 1.10 1.04 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 59530 0 0 0 24776 838 0 0 25 0 1 0 22612479 169349120 29176 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41345 29176 364 364 0 40981 0 [pid=12721] vsize: 165380 Current children cumulated CPU time (s) 256.14 Current children cumulated vsize (Kb) 165380 [startup+280.021 s] Raw data (loadavg): 1.09 1.04 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 59566 0 0 0 25691 866 0 0 25 0 1 0 22612479 169488384 29212 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41379 29212 364 364 0 41015 0 [pid=12721] vsize: 165516 Current children cumulated CPU time (s) 265.57 Current children cumulated vsize (Kb) 165516 [startup+290.021 s] Raw data (loadavg): 1.07 1.03 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 60277 0 0 0 26617 892 0 0 25 0 1 0 22612479 169488384 29250 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41379 29250 364 364 0 41015 0 [pid=12721] vsize: 165516 Current children cumulated CPU time (s) 275.09 Current children cumulated vsize (Kb) 165516 [startup+300.022 s] Raw data (loadavg): 1.06 1.03 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 61003 0 0 0 27549 915 0 0 25 0 1 0 22612479 169619456 29303 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41411 29303 364 364 0 41047 0 [pid=12721] vsize: 165644 Current children cumulated CPU time (s) 284.64 Current children cumulated vsize (Kb) 165644 [startup+310.023 s] Raw data (loadavg): 1.05 1.03 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 61053 0 0 0 28480 938 0 0 25 0 1 0 22612479 169766912 29353 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41447 29353 364 364 0 41083 0 [pid=12721] vsize: 165788 Current children cumulated CPU time (s) 294.18 Current children cumulated vsize (Kb) 165788 [startup+320.023 s] Raw data (loadavg): 1.04 1.03 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 62445 0 0 0 29414 963 0 0 25 0 1 0 22612479 172658688 30072 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42153 30072 364 364 0 41789 0 [pid=12721] vsize: 168612 Current children cumulated CPU time (s) 303.77 Current children cumulated vsize (Kb) 168612 [startup+330.024 s] Raw data (loadavg): 1.04 1.03 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 62499 0 0 0 30328 991 0 0 22 0 1 0 22612479 170041344 29453 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 41514 29453 364 364 0 41150 0 [pid=12721] vsize: 166056 Current children cumulated CPU time (s) 313.19 Current children cumulated vsize (Kb) 166056 [startup+340.024 s] Raw data (loadavg): 1.03 1.03 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 62533 0 0 0 31250 1018 0 0 25 0 1 0 22612479 170041344 29487 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 41514 29487 364 364 0 41150 0 [pid=12721] vsize: 166056 Current children cumulated CPU time (s) 322.68 Current children cumulated vsize (Kb) 166056 [startup+350.024 s] Raw data (loadavg): 1.02 1.03 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 63230 0 0 0 32190 1040 0 0 25 0 1 0 22612479 170176512 29511 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41547 29511 364 364 0 41183 0 [pid=12721] vsize: 166188 Current children cumulated CPU time (s) 332.3 Current children cumulated vsize (Kb) 166188 [startup+360.025 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 63249 0 0 0 33112 1067 0 0 25 0 1 0 22612479 170176512 29530 4294967295 134512640 135987407 3221224560 3221223200 134821159 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41547 29530 364 364 0 41183 0 [pid=12721] vsize: 166188 Current children cumulated CPU time (s) 341.79 Current children cumulated vsize (Kb) 166188 [startup+370.025 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 63946 0 0 0 34049 1090 0 0 25 0 1 0 22612479 170176512 29554 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41547 29554 364 364 0 41183 0 [pid=12721] vsize: 166188 Current children cumulated CPU time (s) 351.39 Current children cumulated vsize (Kb) 166188 [startup+380.025 s] Raw data (loadavg): 1.01 1.02 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 63996 0 0 0 34974 1112 0 0 21 0 1 0 22612479 170307584 29604 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/12721/statm): 41579 29604 364 364 0 41215 0 [pid=12721] vsize: 166316 Current children cumulated CPU time (s) 360.86 Current children cumulated vsize (Kb) 166316 [startup+390.025 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 64043 0 0 0 35889 1140 0 0 22 0 1 0 22612479 170442752 29651 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41612 29651 364 364 0 41248 0 [pid=12721] vsize: 166448 Current children cumulated CPU time (s) 370.29 Current children cumulated vsize (Kb) 166448 [startup+400.025 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 64753 0 0 0 36824 1163 0 0 25 0 1 0 22612479 170582016 29688 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 41646 29688 364 364 0 41282 0 [pid=12721] vsize: 166584 Current children cumulated CPU time (s) 379.87 Current children cumulated vsize (Kb) 166584 [startup+410.026 s] Raw data (loadavg): 1.01 1.02 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 64797 0 0 0 37751 1186 0 0 25 0 1 0 22612479 170582016 29732 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41646 29732 364 364 0 41282 0 [pid=12721] vsize: 166584 Current children cumulated CPU time (s) 389.37 Current children cumulated vsize (Kb) 166584 [startup+420.027 s] Raw data (loadavg): 1.01 1.02 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 64839 0 0 0 38672 1212 0 0 25 0 1 0 22612479 170717184 29774 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41679 29774 364 364 0 41315 0 [pid=12721] vsize: 166716 Current children cumulated CPU time (s) 398.84 Current children cumulated vsize (Kb) 166716 [startup+430.027 s] Raw data (loadavg): 1.00 1.02 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 64875 0 0 0 39586 1239 0 0 25 0 1 0 22612479 170717184 29810 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41679 29810 364 364 0 41315 0 [pid=12721] vsize: 166716 Current children cumulated CPU time (s) 408.25 Current children cumulated vsize (Kb) 166716 [startup+440.028 s] Raw data (loadavg): 1.00 1.02 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 65578 0 0 0 40509 1267 0 0 25 0 1 0 22612479 170852352 29840 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41712 29840 364 364 0 41348 0 [pid=12721] vsize: 166848 Current children cumulated CPU time (s) 417.76 Current children cumulated vsize (Kb) 166848 [startup+450.029 s] Raw data (loadavg): 1.00 1.02 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 65612 0 0 0 41422 1296 0 0 25 0 1 0 22612479 170852352 29874 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41712 29874 364 364 0 41348 0 [pid=12721] vsize: 166848 Current children cumulated CPU time (s) 427.18 Current children cumulated vsize (Kb) 166848 [startup+460.03 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 65652 0 0 0 42336 1325 0 0 25 0 1 0 22612479 170995712 29914 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41747 29914 364 364 0 41383 0 [pid=12721] vsize: 166988 Current children cumulated CPU time (s) 436.61 Current children cumulated vsize (Kb) 166988 [startup+470.03 s] Raw data (loadavg): 1.00 1.01 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 65713 0 0 0 43254 1352 0 0 25 0 1 0 22612479 171143168 29975 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41783 29975 364 364 0 41419 0 [pid=12721] vsize: 167132 Current children cumulated CPU time (s) 446.06 Current children cumulated vsize (Kb) 167132 [startup+480.029 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 65745 0 0 0 44172 1383 0 0 25 0 1 0 22612479 171143168 30007 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41783 30007 364 364 0 41419 0 [pid=12721] vsize: 167132 Current children cumulated CPU time (s) 455.55 Current children cumulated vsize (Kb) 167132 [startup+490.03 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 66452 0 0 0 45094 1409 0 0 25 0 1 0 22612479 174034944 30714 4294967295 134512640 135987407 3221224560 3221222944 134828884 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42489 30714 364 364 0 42125 0 [pid=12721] vsize: 169956 Current children cumulated CPU time (s) 465.03 Current children cumulated vsize (Kb) 169956 [startup+500.03 s] Raw data (loadavg): 1.08 1.03 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 66484 0 0 0 46018 1434 0 0 21 0 1 0 22612479 171278336 30073 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41816 30073 364 364 0 41452 0 [pid=12721] vsize: 167264 Current children cumulated CPU time (s) 474.52 Current children cumulated vsize (Kb) 167264 [startup+510.031 s] Raw data (loadavg): 1.07 1.03 0.96 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 66529 0 0 0 46927 1464 0 0 25 0 1 0 22612479 171413504 30118 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41849 30118 364 364 0 41485 0 [pid=12721] vsize: 167396 Current children cumulated CPU time (s) 483.91 Current children cumulated vsize (Kb) 167396 [startup+520.031 s] Raw data (loadavg): 1.06 1.03 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 67231 0 0 0 47868 1486 0 0 25 0 1 0 22612479 171413504 30147 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41849 30147 364 364 0 41485 0 [pid=12721] vsize: 167396 Current children cumulated CPU time (s) 493.54 Current children cumulated vsize (Kb) 167396 [startup+530.03 s] Raw data (loadavg): 1.05 1.02 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 67246 0 0 0 48777 1516 0 0 25 0 1 0 22612479 171548672 30162 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41882 30162 364 364 0 41518 0 [pid=12721] vsize: 167528 Current children cumulated CPU time (s) 502.93 Current children cumulated vsize (Kb) 167528 [startup+540.031 s] Raw data (loadavg): 1.04 1.02 0.96 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 67933 0 0 0 49703 1540 0 0 25 0 1 0 22612479 171548672 30176 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41882 30176 364 364 0 41518 0 [pid=12721] vsize: 167528 Current children cumulated CPU time (s) 512.43 Current children cumulated vsize (Kb) 167528 [startup+550.031 s] Raw data (loadavg): 1.11 1.04 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 67960 0 0 0 50615 1570 0 0 25 0 1 0 22612479 171683840 30203 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41915 30203 364 364 0 41551 0 [pid=12721] vsize: 167660 Current children cumulated CPU time (s) 521.85 Current children cumulated vsize (Kb) 167660 [startup+560.032 s] Raw data (loadavg): 1.09 1.04 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 68024 0 0 0 51516 1601 0 0 25 0 1 0 22612479 171819008 30267 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41948 30267 364 364 0 41584 0 [pid=12721] vsize: 167792 Current children cumulated CPU time (s) 531.17 Current children cumulated vsize (Kb) 167792 [startup+570.033 s] Raw data (loadavg): 1.08 1.03 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 68051 0 0 0 52431 1630 0 0 25 0 1 0 22612479 171819008 30294 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 41948 30294 364 364 0 41584 0 [pid=12721] vsize: 167792 Current children cumulated CPU time (s) 540.61 Current children cumulated vsize (Kb) 167792 [startup+580.032 s] Raw data (loadavg): 1.06 1.03 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 68081 0 0 0 53337 1664 0 0 25 0 1 0 22612479 171819008 30324 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41948 30324 364 364 0 41584 0 [pid=12721] vsize: 167792 Current children cumulated CPU time (s) 550.01 Current children cumulated vsize (Kb) 167792 [startup+590.033 s] Raw data (loadavg): 1.05 1.03 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 68113 0 0 0 54255 1691 0 0 25 0 1 0 22612479 171954176 30356 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 41981 30356 364 364 0 41617 0 [pid=12721] vsize: 167924 Current children cumulated CPU time (s) 559.46 Current children cumulated vsize (Kb) 167924 [startup+600.034 s] Raw data (loadavg): 1.04 1.03 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 68155 0 0 0 55176 1720 0 0 25 0 1 0 22612479 172093440 30398 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42015 30398 364 364 0 41651 0 [pid=12721] vsize: 168060 Current children cumulated CPU time (s) 568.96 Current children cumulated vsize (Kb) 168060 [startup+610.035 s] Raw data (loadavg): 1.04 1.03 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 68185 0 0 0 56085 1750 0 0 25 0 1 0 22612479 172093440 30428 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42015 30428 364 364 0 41651 0 [pid=12721] vsize: 168060 Current children cumulated CPU time (s) 578.35 Current children cumulated vsize (Kb) 168060 [startup+620.034 s] Raw data (loadavg): 1.03 1.03 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 68907 0 0 0 57020 1773 0 0 25 0 1 0 22612479 172228608 30477 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42048 30477 364 364 0 41684 0 [pid=12721] vsize: 168192 Current children cumulated CPU time (s) 587.93 Current children cumulated vsize (Kb) 168192 [startup+630.035 s] Raw data (loadavg): 1.03 1.03 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 68953 0 0 0 57934 1803 0 0 17 0 1 0 22612479 172371968 30523 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 42083 30523 364 364 0 41719 0 [pid=12721] vsize: 168332 Current children cumulated CPU time (s) 597.37 Current children cumulated vsize (Kb) 168332 [startup+640.036 s] Raw data (loadavg): 1.02 1.02 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 69654 0 0 0 58866 1826 0 0 25 0 1 0 22612479 172371968 30551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42083 30551 364 364 0 41719 0 [pid=12721] vsize: 168332 Current children cumulated CPU time (s) 606.92 Current children cumulated vsize (Kb) 168332 [startup+650.036 s] Raw data (loadavg): 1.02 1.02 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 69685 0 0 0 59781 1854 0 0 20 0 1 0 22612479 172515328 30582 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/12721/statm): 42118 30582 364 364 0 41754 0 [pid=12721] vsize: 168472 Current children cumulated CPU time (s) 616.35 Current children cumulated vsize (Kb) 168472 [startup+660.037 s] Raw data (loadavg): 1.01 1.02 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 70389 0 0 0 60708 1880 0 0 25 0 1 0 22612479 172515328 30613 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42118 30613 364 364 0 41754 0 [pid=12721] vsize: 168472 Current children cumulated CPU time (s) 625.88 Current children cumulated vsize (Kb) 168472 [startup+670.037 s] Raw data (loadavg): 1.01 1.02 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 71096 0 0 0 61629 1907 0 0 25 0 1 0 22612479 175271936 31320 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42791 31320 364 364 0 42427 0 [pid=12721] vsize: 171164 Current children cumulated CPU time (s) 635.36 Current children cumulated vsize (Kb) 171164 [startup+680.037 s] Raw data (loadavg): 1.01 1.02 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 71122 0 0 0 62560 1931 0 0 25 0 1 0 22612479 172662784 30673 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42154 30673 364 364 0 41790 0 [pid=12721] vsize: 168616 Current children cumulated CPU time (s) 644.91 Current children cumulated vsize (Kb) 168616 [startup+690.038 s] Raw data (loadavg): 1.01 1.02 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 71813 0 0 0 63482 1961 0 0 25 0 1 0 22612479 175562752 31364 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42862 31364 364 364 0 42498 0 [pid=12721] vsize: 171448 Current children cumulated CPU time (s) 654.43 Current children cumulated vsize (Kb) 171448 [startup+700.039 s] Raw data (loadavg): 1.09 1.04 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 71834 0 0 0 64404 1985 0 0 25 0 1 0 22612479 172806144 30712 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42189 30712 364 364 0 41825 0 [pid=12721] vsize: 168756 Current children cumulated CPU time (s) 663.89 Current children cumulated vsize (Kb) 168756 [startup+710.039 s] Raw data (loadavg): 1.07 1.03 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 71860 0 0 0 65328 2011 0 0 25 0 1 0 22612479 172941312 30738 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42222 30738 364 364 0 41858 0 [pid=12721] vsize: 168888 Current children cumulated CPU time (s) 673.39 Current children cumulated vsize (Kb) 168888 [startup+720.04 s] Raw data (loadavg): 1.06 1.03 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 71898 0 0 0 66251 2040 0 0 25 0 1 0 22612479 172941312 30776 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42222 30776 364 364 0 41858 0 [pid=12721] vsize: 168888 Current children cumulated CPU time (s) 682.91 Current children cumulated vsize (Kb) 168888 [startup+730.04 s] Raw data (loadavg): 1.05 1.03 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 72620 0 0 0 67183 2065 0 0 25 0 1 0 22612479 173080576 30825 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42256 30825 364 364 0 41892 0 [pid=12721] vsize: 169024 Current children cumulated CPU time (s) 692.48 Current children cumulated vsize (Kb) 169024 [startup+740.041 s] Raw data (loadavg): 1.04 1.03 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 73328 0 0 0 68120 2087 0 0 25 0 1 0 22612479 173080576 30860 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42256 30860 364 364 0 41892 0 [pid=12721] vsize: 169024 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (Kb) 169024 [startup+750.041 s] Raw data (loadavg): 1.04 1.03 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 74033 0 0 0 69055 2110 0 0 25 0 1 0 22612479 173211648 30892 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42288 30892 364 364 0 41924 0 [pid=12721] vsize: 169152 Current children cumulated CPU time (s) 711.65 Current children cumulated vsize (Kb) 169152 [startup+760.041 s] Raw data (loadavg): 1.03 1.03 0.97 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 74734 0 0 0 70000 2131 0 0 25 0 1 0 22612479 173211648 30920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42288 30920 364 364 0 41924 0 [pid=12721] vsize: 169152 Current children cumulated CPU time (s) 721.31 Current children cumulated vsize (Kb) 169152 [startup+770.041 s] Raw data (loadavg): 1.02 1.03 0.97 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 74753 0 0 0 70929 2156 0 0 25 0 1 0 22612479 173211648 30939 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42288 30939 364 364 0 41924 0 [pid=12721] vsize: 169152 Current children cumulated CPU time (s) 730.85 Current children cumulated vsize (Kb) 169152 [startup+780.041 s] Raw data (loadavg): 1.10 1.04 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 75456 0 0 0 71863 2179 0 0 25 0 1 0 22612479 173355008 30969 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42323 30969 364 364 0 41959 0 [pid=12721] vsize: 169292 Current children cumulated CPU time (s) 740.42 Current children cumulated vsize (Kb) 169292 [startup+790.042 s] Raw data (loadavg): 1.08 1.04 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 75502 0 0 0 72789 2204 0 0 25 0 1 0 22612479 173355008 31015 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42323 31015 364 364 0 41959 0 [pid=12721] vsize: 169292 Current children cumulated CPU time (s) 749.93 Current children cumulated vsize (Kb) 169292 [startup+800.042 s] Raw data (loadavg): 1.07 1.04 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76209 0 0 0 73721 2228 0 0 25 0 1 0 22612479 173486080 31049 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42355 31049 364 364 0 41991 0 [pid=12721] vsize: 169420 Current children cumulated CPU time (s) 759.49 Current children cumulated vsize (Kb) 169420 [startup+810.042 s] Raw data (loadavg): 1.06 1.04 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 76238 0 0 0 74638 2258 0 0 25 0 1 0 22612479 173486080 31078 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/12721/statm): 42355 31078 364 364 0 41991 0 [pid=12721] vsize: 169420 Current children cumulated CPU time (s) 768.96 Current children cumulated vsize (Kb) 169420 [startup+820.043 s] Raw data (loadavg): 1.05 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76273 0 0 0 75561 2281 0 0 25 0 1 0 22612479 173625344 31113 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42389 31113 364 364 0 42025 0 [pid=12721] vsize: 169556 Current children cumulated CPU time (s) 778.42 Current children cumulated vsize (Kb) 169556 [startup+830.043 s] Raw data (loadavg): 1.04 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76311 0 0 0 76489 2304 0 0 25 0 1 0 22612479 173625344 31151 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42389 31151 364 364 0 42025 0 [pid=12721] vsize: 169556 Current children cumulated CPU time (s) 787.93 Current children cumulated vsize (Kb) 169556 [startup+840.044 s] Raw data (loadavg): 1.04 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76351 0 0 0 77423 2325 0 0 25 0 1 0 22612479 173625344 31191 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42389 31191 364 364 0 42025 0 [pid=12721] vsize: 169556 Current children cumulated CPU time (s) 797.48 Current children cumulated vsize (Kb) 169556 [startup+850.045 s] Raw data (loadavg): 1.03 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76392 0 0 0 78353 2349 0 0 25 0 1 0 22612479 173756416 31232 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42421 31232 364 364 0 42057 0 [pid=12721] vsize: 169684 Current children cumulated CPU time (s) 807.02 Current children cumulated vsize (Kb) 169684 [startup+860.045 s] Raw data (loadavg): 1.02 1.03 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 76432 0 0 0 79279 2375 0 0 25 0 1 0 22612479 173756416 31272 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42421 31272 364 364 0 42057 0 [pid=12721] vsize: 169684 Current children cumulated CPU time (s) 816.54 Current children cumulated vsize (Kb) 169684 [startup+870.046 s] Raw data (loadavg): 1.02 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 76473 0 0 0 80202 2402 0 0 25 0 1 0 22612479 173895680 31313 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42455 31313 364 364 0 42091 0 [pid=12721] vsize: 169820 Current children cumulated CPU time (s) 826.04 Current children cumulated vsize (Kb) 169820 [startup+880.047 s] Raw data (loadavg): 1.02 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 76509 0 0 0 81124 2428 0 0 25 0 1 0 22612479 173895680 31349 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42455 31349 364 364 0 42091 0 [pid=12721] vsize: 169820 Current children cumulated CPU time (s) 835.52 Current children cumulated vsize (Kb) 169820 [startup+890.048 s] Raw data (loadavg): 1.01 1.02 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 76544 0 0 0 82045 2453 0 0 25 0 1 0 22612479 174030848 31384 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42488 31384 364 364 0 42124 0 [pid=12721] vsize: 169952 Current children cumulated CPU time (s) 844.98 Current children cumulated vsize (Kb) 169952 [startup+900.048 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 77270 0 0 0 82987 2472 0 0 25 0 1 0 22612479 174174208 31437 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42523 31437 364 364 0 42159 0 [pid=12721] vsize: 170092 Current children cumulated CPU time (s) 854.59 Current children cumulated vsize (Kb) 170092 [startup+910.049 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 77313 0 0 0 83911 2497 0 0 25 0 1 0 22612479 174174208 31480 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42523 31480 364 364 0 42159 0 [pid=12721] vsize: 170092 Current children cumulated CPU time (s) 864.08 Current children cumulated vsize (Kb) 170092 [startup+920.049 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78015 0 0 0 84848 2519 0 0 25 0 1 0 22612479 174317568 31509 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42558 31509 364 364 0 42194 0 [pid=12721] vsize: 170232 Current children cumulated CPU time (s) 873.67 Current children cumulated vsize (Kb) 170232 [startup+930.049 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78051 0 0 0 85776 2543 0 0 25 0 1 0 22612479 174317568 31545 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42558 31545 364 364 0 42194 0 [pid=12721] vsize: 170232 Current children cumulated CPU time (s) 883.19 Current children cumulated vsize (Kb) 170232 [startup+940.05 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78080 0 0 0 86701 2567 0 0 25 0 1 0 22612479 174448640 31574 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42590 31574 364 364 0 42226 0 [pid=12721] vsize: 170360 Current children cumulated CPU time (s) 892.68 Current children cumulated vsize (Kb) 170360 [startup+950.049 s] Raw data (loadavg): 1.00 1.02 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78114 0 0 0 87617 2594 0 0 25 0 1 0 22612479 174448640 31608 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42590 31608 364 364 0 42226 0 [pid=12721] vsize: 170360 Current children cumulated CPU time (s) 902.11 Current children cumulated vsize (Kb) 170360 [startup+960.05 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78139 0 0 0 88533 2623 0 0 25 0 1 0 22612479 174583808 31633 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42623 31633 364 364 0 42259 0 [pid=12721] vsize: 170492 Current children cumulated CPU time (s) 911.56 Current children cumulated vsize (Kb) 170492 [startup+970.051 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78166 0 0 0 89452 2651 0 0 25 0 1 0 22612479 174583808 31660 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42623 31660 364 364 0 42259 0 [pid=12721] vsize: 170492 Current children cumulated CPU time (s) 921.03 Current children cumulated vsize (Kb) 170492 [startup+980.051 s] Raw data (loadavg): 1.00 1.02 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78197 0 0 0 90378 2678 0 0 25 0 1 0 22612479 174583808 31691 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42623 31691 364 364 0 42259 0 [pid=12721] vsize: 170492 Current children cumulated CPU time (s) 930.56 Current children cumulated vsize (Kb) 170492 [startup+990.052 s] Raw data (loadavg): 1.00 1.01 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78902 0 0 0 91319 2700 0 0 25 0 1 0 22612479 174718976 31723 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42656 31723 364 364 0 42292 0 [pid=12721] vsize: 170624 Current children cumulated CPU time (s) 940.19 Current children cumulated vsize (Kb) 170624 [startup+1000.05 s] Raw data (loadavg): 1.08 1.03 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78915 0 0 0 92241 2726 0 0 25 0 1 0 22612479 174718976 31736 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42656 31736 364 364 0 42292 0 [pid=12721] vsize: 170624 Current children cumulated CPU time (s) 949.67 Current children cumulated vsize (Kb) 170624 [startup+1010.05 s] Raw data (loadavg): 1.07 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78934 0 0 0 93158 2755 0 0 25 0 1 0 22612479 174718976 31755 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42656 31755 364 364 0 42292 0 [pid=12721] vsize: 170624 Current children cumulated CPU time (s) 959.13 Current children cumulated vsize (Kb) 170624 [startup+1020.05 s] Raw data (loadavg): 1.06 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78950 0 0 0 94074 2783 0 0 25 0 1 0 22612479 174854144 31771 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42689 31771 364 364 0 42325 0 [pid=12721] vsize: 170756 Current children cumulated CPU time (s) 968.57 Current children cumulated vsize (Kb) 170756 [startup+1030.05 s] Raw data (loadavg): 1.05 1.03 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 78963 0 0 0 94988 2810 0 0 25 0 1 0 22612479 174854144 31784 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42689 31784 364 364 0 42325 0 [pid=12721] vsize: 170756 Current children cumulated CPU time (s) 977.98 Current children cumulated vsize (Kb) 170756 [startup+1040.05 s] Raw data (loadavg): 1.04 1.03 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78975 0 0 0 95907 2839 0 0 25 0 1 0 22612479 174854144 31796 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42689 31796 364 364 0 42325 0 [pid=12721] vsize: 170756 Current children cumulated CPU time (s) 987.46 Current children cumulated vsize (Kb) 170756 [startup+1050.05 s] Raw data (loadavg): 1.03 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 78997 0 0 0 96830 2865 0 0 25 0 1 0 22612479 174997504 31818 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/12721/statm): 42724 31818 364 364 0 42360 0 [pid=12721] vsize: 170896 Current children cumulated CPU time (s) 996.95 Current children cumulated vsize (Kb) 170896 [startup+1060.06 s] Raw data (loadavg): 1.03 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 79683 0 0 0 97764 2890 0 0 25 0 1 0 22612479 174997504 31831 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42724 31831 364 364 0 42360 0 [pid=12721] vsize: 170896 Current children cumulated CPU time (s) 1006.54 Current children cumulated vsize (Kb) 170896 [startup+1070.06 s] Raw data (loadavg): 1.02 1.02 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79724 0 0 0 98680 2918 0 0 25 0 1 0 22612479 175136768 31872 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42758 31872 364 364 0 42394 0 [pid=12721] vsize: 171032 Current children cumulated CPU time (s) 1015.98 Current children cumulated vsize (Kb) 171032 [startup+1080.06 s] Raw data (loadavg): 1.02 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79746 0 0 0 99593 2947 0 0 20 0 1 0 22612479 175136768 31894 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42758 31894 364 364 0 42394 0 [pid=12721] vsize: 171032 Current children cumulated CPU time (s) 1025.4 Current children cumulated vsize (Kb) 171032 [startup+1090.06 s] Raw data (loadavg): 1.02 1.02 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79772 0 0 0 100513 2972 0 0 25 0 1 0 22612479 175136768 31920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42758 31920 364 364 0 42394 0 [pid=12721] vsize: 171032 Current children cumulated CPU time (s) 1034.85 Current children cumulated vsize (Kb) 171032 [startup+1100.06 s] Raw data (loadavg): 1.01 1.02 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79797 0 0 0 101436 2998 0 0 25 0 1 0 22612479 175267840 31945 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42790 31945 364 364 0 42426 0 [pid=12721] vsize: 171160 Current children cumulated CPU time (s) 1044.34 Current children cumulated vsize (Kb) 171160 [startup+1110.06 s] Raw data (loadavg): 1.01 1.02 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79823 0 0 0 102361 3020 0 0 22 0 1 0 22612479 175267840 31971 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42790 31971 364 364 0 42426 0 [pid=12721] vsize: 171160 Current children cumulated CPU time (s) 1053.81 Current children cumulated vsize (Kb) 171160 [startup+1120.06 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 79847 0 0 0 103278 3049 0 0 25 0 1 0 22612479 175267840 31995 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42790 31995 364 364 0 42426 0 [pid=12721] vsize: 171160 Current children cumulated CPU time (s) 1063.27 Current children cumulated vsize (Kb) 171160 [startup+1130.06 s] Raw data (loadavg): 1.01 1.02 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79869 0 0 0 104200 3074 0 0 25 0 1 0 22612479 175267840 32017 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42790 32017 364 364 0 42426 0 [pid=12721] vsize: 171160 Current children cumulated CPU time (s) 1072.74 Current children cumulated vsize (Kb) 171160 [startup+1140.06 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79901 0 0 0 105120 3099 0 0 25 0 1 0 22612479 175403008 32049 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42823 32049 364 364 0 42459 0 [pid=12721] vsize: 171292 Current children cumulated CPU time (s) 1082.19 Current children cumulated vsize (Kb) 171292 [startup+1150.06 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 79947 0 0 0 106038 3126 0 0 25 0 1 0 22612479 175538176 32095 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42856 32095 364 364 0 42492 0 [pid=12721] vsize: 171424 Current children cumulated CPU time (s) 1091.64 Current children cumulated vsize (Kb) 171424 [startup+1160.06 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 79973 0 0 0 106947 3154 0 0 20 0 1 0 22612479 175538176 32121 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42856 32121 364 364 0 42492 0 [pid=12721] vsize: 171424 Current children cumulated CPU time (s) 1101.01 Current children cumulated vsize (Kb) 171424 [startup+1170.06 s] Raw data (loadavg): 1.00 1.01 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 79995 0 0 0 107861 3182 0 0 25 0 1 0 22612479 175538176 32143 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42856 32143 364 364 0 42492 0 [pid=12721] vsize: 171424 Current children cumulated CPU time (s) 1110.43 Current children cumulated vsize (Kb) 171424 [startup+1180.06 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80020 0 0 0 108776 3209 0 0 25 0 1 0 22612479 175697920 32168 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42895 32168 364 364 0 42531 0 [pid=12721] vsize: 171580 Current children cumulated CPU time (s) 1119.85 Current children cumulated vsize (Kb) 171580 [startup+1190.06 s] Raw data (loadavg): 1.00 1.01 0.98 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 80038 0 0 0 109697 3235 0 0 25 0 1 0 22612479 175697920 32186 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42895 32186 364 364 0 42531 0 [pid=12721] vsize: 171580 Current children cumulated CPU time (s) 1129.32 Current children cumulated vsize (Kb) 171580 [startup+1200.06 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80059 0 0 0 110613 3263 0 0 25 0 1 0 22612479 175697920 32207 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42895 32207 364 364 0 42531 0 [pid=12721] vsize: 171580 Current children cumulated CPU time (s) 1138.76 Current children cumulated vsize (Kb) 171580 [startup+1210.06 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80082 0 0 0 111534 3290 0 0 25 0 1 0 22612479 175697920 32230 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42895 32230 364 364 0 42531 0 [pid=12721] vsize: 171580 Current children cumulated CPU time (s) 1148.24 Current children cumulated vsize (Kb) 171580 [startup+1220.06 s] Raw data (loadavg): 1.07 1.02 0.99 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80109 0 0 0 112452 3319 0 0 25 0 1 0 22612479 175833088 32257 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42928 32257 364 364 0 42564 0 [pid=12721] vsize: 171712 Current children cumulated CPU time (s) 1157.71 Current children cumulated vsize (Kb) 171712 [startup+1230.07 s] Raw data (loadavg): 1.06 1.02 0.99 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 80138 0 0 0 113379 3344 0 0 25 0 1 0 22612479 175833088 32286 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42928 32286 364 364 0 42564 0 [pid=12721] vsize: 171712 Current children cumulated CPU time (s) 1167.23 Current children cumulated vsize (Kb) 171712 [startup+1240.07 s] Raw data (loadavg): 1.05 1.02 0.99 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 80160 0 0 0 114297 3372 0 0 25 0 1 0 22612479 175833088 32308 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42928 32308 364 364 0 42564 0 [pid=12721] vsize: 171712 Current children cumulated CPU time (s) 1176.69 Current children cumulated vsize (Kb) 171712 [startup+1250.07 s] Raw data (loadavg): 1.12 1.04 1.00 1/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) T 12720 12721 4060 0 -1 0 80185 0 0 0 115220 3397 0 0 25 0 1 0 22612479 175833088 32333 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42928 32333 364 364 0 42564 0 [pid=12721] vsize: 171712 Current children cumulated CPU time (s) 1186.17 Current children cumulated vsize (Kb) 171712 [startup+1260.07 s] Raw data (loadavg): 1.10 1.04 1.00 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80209 0 0 0 116136 3425 0 0 25 0 1 0 22612479 175964160 32357 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42960 32357 364 364 0 42596 0 [pid=12721] vsize: 171840 Current children cumulated CPU time (s) 1195.61 Current children cumulated vsize (Kb) 171840 [startup+1270.07 s] Raw data (loadavg): 1.08 1.03 1.00 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80237 0 0 0 117068 3447 0 0 25 0 1 0 22612479 175964160 32385 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42960 32385 364 364 0 42596 0 [pid=12721] vsize: 171840 Current children cumulated CPU time (s) 1205.15 Current children cumulated vsize (Kb) 171840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1270.07 s] Raw data (loadavg): 1.08 1.03 1.00 2/55 12721 Raw data (/proc/12721/stat): 12721 (pb2sat) R 12720 12721 4060 0 -1 0 80237 0 0 0 117069 3447 0 0 25 0 1 0 22612479 175964160 32385 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/12721/statm): 42960 32385 364 364 0 42596 0 [pid=12721] vsize: 171840 Current children cumulated CPU time (s) 1205.16 Current children cumulated vsize (Kb) 171840 Sending SIGTERM to -12721 Sleeping 2 seconds One traced child (pid=12721) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1270.6 CPU time (s): 1205.69 CPU user time (s): 1171.15 CPU system time (s): 34.5417 CPU usage (%): 94.8918 Max. virtual memory (cumulated for all children) (Kb): 171840
ERROR: no interpretation found !