Name | web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb |
MD5SUM | e8f0ca38acbe8c57203147fb9147be3a |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 84836 |
Total number of constraints | 245062 |
Number of constraints which are clauses | 233598 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11464 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc19 THE 2005-09-23 15:20:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8530 boxname=wulflinc19 idbench=326 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e8f0ca38acbe8c57203147fb9147be3a /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.unbounded.all.ucl.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.unbounded.all.ucl.opb IDLAUNCH: 8530 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 919768 kB Buffers: 14992 kB Cached: 79868 kB SwapCached: 0 kB Active: 53908 kB Inactive: 43852 kB HighTotal: 131008 kB HighFree: 47628 kB LowTotal: 903652 kB LowFree: 872140 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11504 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 15:41:15 (client local time) WITH STATUS 0 IN 1209.83 SECONDS stats: 8530 7 1209.83 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 12032/316136 Time: 44.7702/86400 c Decision: 12032/316136 Time: 60.3988/86400 c Decision: 12032/316136 Time: 75.6545/86400 c Decision: 12032/316136 Time: 89.6764/86400 c Decision: 12562/316136 Time: 123.136/86400 c Decision: 12562/316136 Time: 140.587/86400 c Decision: 13602/316136 Time: 204.035/86400 c Decision: 14129/316136 Time: 252.469/86400 c Decision: 14174/316136 Time: 342.12/86400 c Decision: 14207/316136 Time: 460.802/86400 c Decision: 14211/316136 Time: 479.212/86400 c Decision: 14240/316136 Time: 560.233/86400 c Decision: 14240/316136 Time: 590.371/86400 c Decision: 14240/316136 Time: 612.896/86400 c Decision: 14289/316136 Time: 690.54/86400 c Decision: 14291/316136 Time: 730.638/86400 c Decision: 14291/316136 Time: 754.903/86400 c Decision: 14392/316136 Time: 815.457/86400 c Decision: 14392/316136 Time: 844.681/86400 c Decision: 14392/316136 Time: 874.62/86400 c Decision: 14930/316136 Time: 925.621/86400 c Decision: 15157/316136 Time: 1025.68/86400 c Decision: 15157/316136 Time: 1050.74/86400 c Decision: 15159/316136 Time: 1089.96/86400 c Decision: 15163/316136 Time: 1132/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/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21222185 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 373 2 364 364 0 9 0 [pid=7176] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.unbounded.all.ucl.opb [startup+10.0016 s] Raw data (loadavg): 0.93 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 5526 0 0 0 982 15 0 0 25 0 1 0 21222185 19439616 3592 4294967295 134512640 135987407 3221224560 3221221952 134616238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 4746 3592 364 364 0 4382 0 [pid=7176] vsize: 18984 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 18984 [startup+20.0024 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 10848 0 0 0 1965 31 0 0 25 0 1 0 21222185 36835328 6894 4294967295 134512640 135987407 3221224560 3221221884 134613608 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 8993 6894 364 364 0 8629 0 [pid=7176] vsize: 35972 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 35972 [startup+30.0032 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 26162 0 0 0 2924 70 0 0 25 0 1 0 21222185 79077376 15044 4294967295 134512640 135987407 3221224560 3221219484 135499887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 19306 15044 364 364 0 18942 0 [pid=7176] vsize: 77224 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 77224 [startup+40.004 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 42512 0 0 0 3874 112 0 0 25 0 1 0 21222185 126578688 25789 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 30903 25789 364 364 0 30539 0 [pid=7176] vsize: 123612 Current children cumulated CPU time (s) 39.86 Current children cumulated vsize (Kb) 123612 [startup+50.0058 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 43893 0 0 0 4831 128 0 0 25 0 1 0 21222185 133328896 27137 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 32551 27137 364 364 0 32187 0 [pid=7176] vsize: 130204 Current children cumulated CPU time (s) 49.59 Current children cumulated vsize (Kb) 130204 [startup+60.0066 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 44936 0 0 0 5808 137 0 0 25 0 1 0 21222185 138690560 28180 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 33860 28180 364 364 0 33496 0 [pid=7176] vsize: 135440 Current children cumulated CPU time (s) 59.45 Current children cumulated vsize (Kb) 135440 [startup+70.0064 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 45462 0 0 0 6781 146 0 0 25 0 1 0 21222185 141541376 28706 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 34556 28706 364 364 0 34192 0 [pid=7176] vsize: 138224 Current children cumulated CPU time (s) 69.27 Current children cumulated vsize (Kb) 138224 [startup+80.0072 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 45986 0 0 0 7725 167 0 0 25 0 1 0 21222185 144162816 29230 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 35196 29230 364 364 0 34832 0 [pid=7176] vsize: 140784 Current children cumulated CPU time (s) 78.92 Current children cumulated vsize (Kb) 140784 [startup+90.007 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 47056 0 0 0 8692 178 0 0 25 0 1 0 21222185 146235392 29649 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 35702 29649 364 364 0 35338 0 [pid=7176] vsize: 142808 Current children cumulated CPU time (s) 88.7 Current children cumulated vsize (Kb) 142808 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 47991 0 0 0 9660 188 0 0 25 0 1 0 21222185 147529728 29933 4294967295 134512640 135987407 3221224560 3221223088 134775173 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 36018 29933 364 364 0 35654 0 [pid=7176] vsize: 144072 Current children cumulated CPU time (s) 98.48 Current children cumulated vsize (Kb) 144072 [startup+110.009 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 48199 0 0 0 10629 198 0 0 25 0 1 0 21222185 148672512 30141 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 36297 30141 364 364 0 35933 0 [pid=7176] vsize: 145188 Current children cumulated CPU time (s) 108.27 Current children cumulated vsize (Kb) 145188 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 49287 0 0 0 11604 209 0 0 25 0 1 0 21222185 150134784 30413 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 36654 30413 364 364 0 36290 0 [pid=7176] vsize: 146616 Current children cumulated CPU time (s) 118.13 Current children cumulated vsize (Kb) 146616 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 50041 0 0 0 12581 218 0 0 25 0 1 0 21222185 150810624 30549 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 36819 30549 364 364 0 36455 0 [pid=7176] vsize: 147276 Current children cumulated CPU time (s) 127.99 Current children cumulated vsize (Kb) 147276 [startup+140.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 50265 0 0 0 13555 228 0 0 25 0 1 0 21222185 151887872 30740 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 37082 30740 364 364 0 36718 0 [pid=7176] vsize: 148328 Current children cumulated CPU time (s) 137.83 Current children cumulated vsize (Kb) 148328 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 50515 0 0 0 14521 238 0 0 25 0 1 0 21222185 153239552 30990 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 37412 30990 364 364 0 37048 0 [pid=7176] vsize: 149648 Current children cumulated CPU time (s) 147.59 Current children cumulated vsize (Kb) 149648 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 50534 0 0 0 15493 247 0 0 25 0 1 0 21222185 153239552 31009 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 37412 31009 364 364 0 37048 0 [pid=7176] vsize: 149648 Current children cumulated CPU time (s) 157.4 Current children cumulated vsize (Kb) 149648 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 51238 0 0 0 16468 256 0 0 25 0 1 0 21222185 153645056 31095 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 37511 31095 364 364 0 37147 0 [pid=7176] vsize: 150044 Current children cumulated CPU time (s) 167.24 Current children cumulated vsize (Kb) 150044 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 51920 0 0 0 17440 266 0 0 25 0 1 0 21222185 153915392 31159 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 37577 31159 364 364 0 37213 0 [pid=7176] vsize: 150308 Current children cumulated CPU time (s) 177.06 Current children cumulated vsize (Kb) 150308 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52013 0 0 0 18409 277 0 0 25 0 1 0 21222185 154456064 31252 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 37709 31252 364 364 0 37345 0 [pid=7176] vsize: 150836 Current children cumulated CPU time (s) 186.86 Current children cumulated vsize (Kb) 150836 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52075 0 0 0 19379 288 0 0 25 0 1 0 21222185 154726400 31314 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 37775 31314 364 364 0 37411 0 [pid=7176] vsize: 151100 Current children cumulated CPU time (s) 196.67 Current children cumulated vsize (Kb) 151100 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52154 0 0 0 20354 295 0 0 25 0 1 0 21222185 155131904 31393 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 37874 31393 364 364 0 37510 0 [pid=7176] vsize: 151496 Current children cumulated CPU time (s) 206.49 Current children cumulated vsize (Kb) 151496 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52333 0 0 0 21330 303 0 0 25 0 1 0 21222185 156078080 31572 4294967295 134512640 135987407 3221224560 3221223248 134812135 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38105 31572 364 364 0 37741 0 [pid=7176] vsize: 152420 Current children cumulated CPU time (s) 216.33 Current children cumulated vsize (Kb) 152420 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52383 0 0 0 22302 313 0 0 20 0 1 0 21222185 156213248 31622 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38138 31622 364 364 0 37774 0 [pid=7176] vsize: 152552 Current children cumulated CPU time (s) 226.15 Current children cumulated vsize (Kb) 152552 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52426 0 0 0 23279 322 0 0 25 0 1 0 21222185 156348416 31665 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38171 31665 364 364 0 37807 0 [pid=7176] vsize: 152684 Current children cumulated CPU time (s) 236.01 Current children cumulated vsize (Kb) 152684 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53070 0 0 0 24259 329 0 0 25 0 1 0 21222185 156348416 31691 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38171 31691 364 364 0 37807 0 [pid=7176] vsize: 152684 Current children cumulated CPU time (s) 245.88 Current children cumulated vsize (Kb) 152684 [startup+260.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53161 0 0 0 25233 338 0 0 25 0 1 0 21222185 156753920 31782 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38270 31782 364 364 0 37906 0 [pid=7176] vsize: 153080 Current children cumulated CPU time (s) 255.71 Current children cumulated vsize (Kb) 153080 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53178 0 0 0 26206 347 0 0 25 0 1 0 21222185 156753920 31799 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38270 31799 364 364 0 37906 0 [pid=7176] vsize: 153080 Current children cumulated CPU time (s) 265.53 Current children cumulated vsize (Kb) 153080 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53224 0 0 0 27185 356 0 0 25 0 1 0 21222185 156889088 31845 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38303 31845 364 364 0 37939 0 [pid=7176] vsize: 153212 Current children cumulated CPU time (s) 275.41 Current children cumulated vsize (Kb) 153212 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53240 0 0 0 28156 366 0 0 25 0 1 0 21222185 156889088 31861 4294967295 134512640 135987407 3221224560 3221223344 134812304 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38303 31861 364 364 0 37939 0 [pid=7176] vsize: 153212 Current children cumulated CPU time (s) 285.22 Current children cumulated vsize (Kb) 153212 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53883 0 0 0 29126 377 0 0 25 0 1 0 21222185 156889088 31886 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38303 31886 364 364 0 37939 0 [pid=7176] vsize: 153212 Current children cumulated CPU time (s) 295.03 Current children cumulated vsize (Kb) 153212 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53921 0 0 0 30102 385 0 0 25 0 1 0 21222185 157024256 31924 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38336 31924 364 364 0 37972 0 [pid=7176] vsize: 153344 Current children cumulated CPU time (s) 304.87 Current children cumulated vsize (Kb) 153344 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53979 0 0 0 31078 393 0 0 25 0 1 0 21222185 157294592 31982 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38402 31982 364 364 0 38038 0 [pid=7176] vsize: 153608 Current children cumulated CPU time (s) 314.71 Current children cumulated vsize (Kb) 153608 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53995 0 0 0 32043 405 0 0 25 0 1 0 21222185 157294592 31998 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38402 31998 364 364 0 38038 0 [pid=7176] vsize: 153608 Current children cumulated CPU time (s) 324.48 Current children cumulated vsize (Kb) 153608 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54052 0 0 0 33015 414 0 0 25 0 1 0 21222185 157560832 32055 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38467 32055 364 364 0 38103 0 [pid=7176] vsize: 153868 Current children cumulated CPU time (s) 334.29 Current children cumulated vsize (Kb) 153868 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54158 0 0 0 33985 423 0 0 25 0 1 0 21222185 158101504 32161 4294967295 134512640 135987407 3221224560 3221223376 134824247 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38599 32161 364 364 0 38235 0 [pid=7176] vsize: 154396 Current children cumulated CPU time (s) 344.08 Current children cumulated vsize (Kb) 154396 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54245 0 0 0 34960 433 0 0 25 0 1 0 21222185 158367744 32215 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38664 32215 364 364 0 38300 0 [pid=7176] vsize: 154656 Current children cumulated CPU time (s) 353.93 Current children cumulated vsize (Kb) 154656 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 54280 0 0 0 35938 441 0 0 25 0 1 0 21222185 158367744 32250 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38664 32250 364 364 0 38300 0 [pid=7176] vsize: 154656 Current children cumulated CPU time (s) 363.79 Current children cumulated vsize (Kb) 154656 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54309 0 0 0 36906 452 0 0 25 0 1 0 21222185 158367744 32279 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38664 32279 364 364 0 38300 0 [pid=7176] vsize: 154656 Current children cumulated CPU time (s) 373.58 Current children cumulated vsize (Kb) 154656 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54957 0 0 0 37880 461 0 0 25 0 1 0 21222185 158502912 32309 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38697 32309 364 364 0 38333 0 [pid=7176] vsize: 154788 Current children cumulated CPU time (s) 383.41 Current children cumulated vsize (Kb) 154788 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54993 0 0 0 38855 469 0 0 25 0 1 0 21222185 158638080 32345 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38730 32345 364 364 0 38366 0 [pid=7176] vsize: 154920 Current children cumulated CPU time (s) 393.24 Current children cumulated vsize (Kb) 154920 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55039 0 0 0 39824 480 0 0 25 0 1 0 21222185 158773248 32391 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38763 32391 364 364 0 38399 0 [pid=7176] vsize: 155052 Current children cumulated CPU time (s) 403.04 Current children cumulated vsize (Kb) 155052 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55052 0 0 0 40795 491 0 0 25 0 1 0 21222185 158773248 32404 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38763 32404 364 364 0 38399 0 [pid=7176] vsize: 155052 Current children cumulated CPU time (s) 412.86 Current children cumulated vsize (Kb) 155052 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55068 0 0 0 41764 501 0 0 25 0 1 0 21222185 158773248 32420 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38763 32420 364 364 0 38399 0 [pid=7176] vsize: 155052 Current children cumulated CPU time (s) 422.65 Current children cumulated vsize (Kb) 155052 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55142 0 0 0 42736 511 0 0 25 0 1 0 21222185 159174656 32494 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38861 32494 364 364 0 38497 0 [pid=7176] vsize: 155444 Current children cumulated CPU time (s) 432.47 Current children cumulated vsize (Kb) 155444 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55193 0 0 0 43714 517 0 0 25 0 1 0 21222185 159305728 32512 4294967295 134512640 135987407 3221224560 3221223408 134790078 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38893 32512 364 364 0 38529 0 [pid=7176] vsize: 155572 Current children cumulated CPU time (s) 442.31 Current children cumulated vsize (Kb) 155572 [startup+460.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55213 0 0 0 44683 526 0 0 25 0 1 0 21222185 159305728 32532 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38893 32532 364 364 0 38529 0 [pid=7176] vsize: 155572 Current children cumulated CPU time (s) 452.09 Current children cumulated vsize (Kb) 155572 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55224 0 0 0 45654 536 0 0 25 0 1 0 21222185 159305728 32543 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38893 32543 364 364 0 38529 0 [pid=7176] vsize: 155572 Current children cumulated CPU time (s) 461.9 Current children cumulated vsize (Kb) 155572 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55245 0 0 0 46625 545 0 0 25 0 1 0 21222185 159305728 32564 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38893 32564 364 364 0 38529 0 [pid=7176] vsize: 155572 Current children cumulated CPU time (s) 471.7 Current children cumulated vsize (Kb) 155572 [startup+490.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55252 0 0 0 47596 555 0 0 25 0 1 0 21222185 159305728 32571 4294967295 134512640 135987407 3221224560 3221223312 134801251 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38893 32571 364 364 0 38529 0 [pid=7176] vsize: 155572 Current children cumulated CPU time (s) 481.51 Current children cumulated vsize (Kb) 155572 [startup+500.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55326 0 0 0 48567 565 0 0 25 0 1 0 21222185 159436800 32612 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38925 32612 364 364 0 38561 0 [pid=7176] vsize: 155700 Current children cumulated CPU time (s) 491.32 Current children cumulated vsize (Kb) 155700 [startup+510.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55965 0 0 0 49540 576 0 0 25 0 1 0 21222185 159436800 32633 4294967295 134512640 135987407 3221224560 3221223328 134812426 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 38925 32633 364 364 0 38561 0 [pid=7176] vsize: 155700 Current children cumulated CPU time (s) 501.16 Current children cumulated vsize (Kb) 155700 [startup+520.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55989 0 0 0 50517 583 0 0 25 0 1 0 21222185 159436800 32657 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 38925 32657 364 364 0 38561 0 [pid=7176] vsize: 155700 Current children cumulated CPU time (s) 511 Current children cumulated vsize (Kb) 155700 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56876 0 0 0 51503 591 0 0 25 0 1 0 21222185 160493568 32794 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39183 32794 364 364 0 38819 0 [pid=7176] vsize: 156732 Current children cumulated CPU time (s) 520.94 Current children cumulated vsize (Kb) 156732 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56879 0 0 0 52475 600 0 0 25 0 1 0 21222185 160493568 32797 4294967295 134512640 135987407 3221224560 3221223248 134812112 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39183 32797 364 364 0 38819 0 [pid=7176] vsize: 156732 Current children cumulated CPU time (s) 530.75 Current children cumulated vsize (Kb) 156732 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56936 0 0 0 53450 608 0 0 25 0 1 0 21222185 160624640 32821 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 39215 32821 364 364 0 38851 0 [pid=7176] vsize: 156860 Current children cumulated CPU time (s) 540.58 Current children cumulated vsize (Kb) 156860 [startup+560.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56940 0 0 0 54421 617 0 0 25 0 1 0 21222185 160624640 32825 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39215 32825 364 364 0 38851 0 [pid=7176] vsize: 156860 Current children cumulated CPU time (s) 550.38 Current children cumulated vsize (Kb) 156860 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56985 0 0 0 55395 627 0 0 25 0 1 0 21222185 160890880 32870 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39280 32870 364 364 0 38916 0 [pid=7176] vsize: 157120 Current children cumulated CPU time (s) 560.22 Current children cumulated vsize (Kb) 157120 [startup+580.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57017 0 0 0 56369 635 0 0 25 0 1 0 21222185 160890880 32902 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39280 32902 364 364 0 38916 0 [pid=7176] vsize: 157120 Current children cumulated CPU time (s) 570.04 Current children cumulated vsize (Kb) 157120 [startup+590.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57029 0 0 0 57343 645 0 0 25 0 1 0 21222185 160890880 32914 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 39280 32914 364 364 0 38916 0 [pid=7176] vsize: 157120 Current children cumulated CPU time (s) 579.88 Current children cumulated vsize (Kb) 157120 [startup+600.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57105 0 0 0 58316 655 0 0 25 0 1 0 21222185 161021952 32957 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39312 32957 364 364 0 38948 0 [pid=7176] vsize: 157248 Current children cumulated CPU time (s) 589.71 Current children cumulated vsize (Kb) 157248 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 57724 0 0 0 59296 663 0 0 25 0 1 0 21222185 161021952 32958 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39312 32958 364 364 0 38948 0 [pid=7176] vsize: 157248 Current children cumulated CPU time (s) 599.59 Current children cumulated vsize (Kb) 157248 [startup+620.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57768 0 0 0 60271 672 0 0 25 0 1 0 21222185 161288192 33002 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39377 33002 364 364 0 39013 0 [pid=7176] vsize: 157508 Current children cumulated CPU time (s) 609.43 Current children cumulated vsize (Kb) 157508 [startup+630.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57860 0 0 0 61245 680 0 0 25 0 1 0 21222185 161685504 33061 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39474 33061 364 364 0 39110 0 [pid=7176] vsize: 157896 Current children cumulated CPU time (s) 619.25 Current children cumulated vsize (Kb) 157896 [startup+640.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 58518 0 0 0 62216 691 0 0 25 0 1 0 21222185 161816576 33068 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39506 33068 364 364 0 39142 0 [pid=7176] vsize: 158024 Current children cumulated CPU time (s) 629.07 Current children cumulated vsize (Kb) 158024 [startup+650.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 58564 0 0 0 63189 700 0 0 25 0 1 0 21222185 161947648 33081 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39538 33081 364 364 0 39174 0 [pid=7176] vsize: 158152 Current children cumulated CPU time (s) 638.89 Current children cumulated vsize (Kb) 158152 [startup+660.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 58575 0 0 0 64161 709 0 0 25 0 1 0 21222185 161947648 33092 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39538 33092 364 364 0 39174 0 [pid=7176] vsize: 158152 Current children cumulated CPU time (s) 648.7 Current children cumulated vsize (Kb) 158152 [startup+670.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59281 0 0 0 65139 716 0 0 25 0 1 0 21222185 162344960 33147 4294967295 134512640 135987407 3221224560 3221223424 134812789 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39635 33147 364 364 0 39271 0 [pid=7176] vsize: 158540 Current children cumulated CPU time (s) 658.55 Current children cumulated vsize (Kb) 158540 [startup+680.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59324 0 0 0 66117 724 0 0 25 0 1 0 21222185 162476032 33157 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39667 33157 364 364 0 39303 0 [pid=7176] vsize: 158668 Current children cumulated CPU time (s) 668.41 Current children cumulated vsize (Kb) 158668 [startup+690.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59335 0 0 0 67094 733 0 0 25 0 1 0 21222185 162476032 33168 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 39667 33168 364 364 0 39303 0 [pid=7176] vsize: 158668 Current children cumulated CPU time (s) 678.27 Current children cumulated vsize (Kb) 158668 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59377 0 0 0 68066 743 0 0 25 0 1 0 21222185 162607104 33177 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39699 33177 364 364 0 39335 0 [pid=7176] vsize: 158796 Current children cumulated CPU time (s) 688.09 Current children cumulated vsize (Kb) 158796 [startup+710.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59394 0 0 0 69038 753 0 0 25 0 1 0 21222185 162607104 33194 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39699 33194 364 364 0 39335 0 [pid=7176] vsize: 158796 Current children cumulated CPU time (s) 697.91 Current children cumulated vsize (Kb) 158796 [startup+720.031 s] Raw data (loadavg): 0.99 0.97 0.96 3/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59446 0 0 0 70010 762 0 0 25 0 1 0 21222185 162738176 33213 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 39731 33213 364 364 0 39367 0 [pid=7176] vsize: 158924 Current children cumulated CPU time (s) 707.72 Current children cumulated vsize (Kb) 158924 [startup+730.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59470 0 0 0 70982 772 0 0 25 0 1 0 21222185 162738176 33237 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39731 33237 364 364 0 39367 0 [pid=7176] vsize: 158924 Current children cumulated CPU time (s) 717.54 Current children cumulated vsize (Kb) 158924 [startup+740.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 60229 0 0 0 71956 782 0 0 25 0 1 0 21222185 163131392 33279 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39827 33279 364 364 0 39463 0 [pid=7176] vsize: 159308 Current children cumulated CPU time (s) 727.38 Current children cumulated vsize (Kb) 159308 [startup+750.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 60237 0 0 0 72930 791 0 0 25 0 1 0 21222185 163131392 33287 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39827 33287 364 364 0 39463 0 [pid=7176] vsize: 159308 Current children cumulated CPU time (s) 737.21 Current children cumulated vsize (Kb) 159308 [startup+760.033 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 60301 0 0 0 73902 800 0 0 25 0 1 0 21222185 163262464 33318 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39859 33318 364 364 0 39495 0 [pid=7176] vsize: 159436 Current children cumulated CPU time (s) 747.02 Current children cumulated vsize (Kb) 159436 [startup+770.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 60311 0 0 0 74875 808 0 0 25 0 1 0 21222185 163262464 33328 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39859 33328 364 364 0 39495 0 [pid=7176] vsize: 159436 Current children cumulated CPU time (s) 756.83 Current children cumulated vsize (Kb) 159436 [startup+780.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 60936 0 0 0 75852 818 0 0 25 0 1 0 21222185 163262464 33335 4294967295 134512640 135987407 3221224560 3221223292 135499901 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39859 33335 364 364 0 39495 0 [pid=7176] vsize: 159436 Current children cumulated CPU time (s) 766.7 Current children cumulated vsize (Kb) 159436 [startup+790.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61008 0 0 0 76819 831 0 0 25 0 1 0 21222185 163663872 33407 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 39957 33407 364 364 0 39593 0 [pid=7176] vsize: 159828 Current children cumulated CPU time (s) 776.5 Current children cumulated vsize (Kb) 159828 [startup+800.035 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 61010 0 0 0 77791 841 0 0 25 0 1 0 21222185 163663872 33409 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39957 33409 364 364 0 39593 0 [pid=7176] vsize: 159828 Current children cumulated CPU time (s) 786.32 Current children cumulated vsize (Kb) 159828 [startup+810.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61630 0 0 0 78765 850 0 0 25 0 1 0 21222185 163663872 33411 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 39957 33411 364 364 0 39593 0 [pid=7176] vsize: 159828 Current children cumulated CPU time (s) 796.15 Current children cumulated vsize (Kb) 159828 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61714 0 0 0 79736 860 0 0 25 0 1 0 21222185 164061184 33462 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40054 33462 364 364 0 39690 0 [pid=7176] vsize: 160216 Current children cumulated CPU time (s) 805.96 Current children cumulated vsize (Kb) 160216 [startup+830.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61720 0 0 0 80709 871 0 0 25 0 1 0 21222185 164061184 33468 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40054 33468 364 364 0 39690 0 [pid=7176] vsize: 160216 Current children cumulated CPU time (s) 815.8 Current children cumulated vsize (Kb) 160216 [startup+840.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61725 0 0 0 81684 880 0 0 25 0 1 0 21222185 164061184 33473 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40054 33473 364 364 0 39690 0 [pid=7176] vsize: 160216 Current children cumulated CPU time (s) 825.64 Current children cumulated vsize (Kb) 160216 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61736 0 0 0 82658 890 0 0 25 0 1 0 21222185 164061184 33484 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40054 33484 364 364 0 39690 0 [pid=7176] vsize: 160216 Current children cumulated CPU time (s) 835.48 Current children cumulated vsize (Kb) 160216 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61833 0 0 0 83633 898 0 0 25 0 1 0 21222185 164323328 33515 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40118 33515 364 364 0 39754 0 [pid=7176] vsize: 160472 Current children cumulated CPU time (s) 845.31 Current children cumulated vsize (Kb) 160472 [startup+870.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 62464 0 0 0 84609 907 0 0 25 0 1 0 21222185 164323328 33528 4294967295 134512640 135987407 3221224560 3221223320 134811681 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40118 33528 364 364 0 39754 0 [pid=7176] vsize: 160472 Current children cumulated CPU time (s) 855.16 Current children cumulated vsize (Kb) 160472 [startup+880.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 62471 0 0 0 85579 918 0 0 25 0 1 0 21222185 164323328 33535 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40118 33535 364 364 0 39754 0 [pid=7176] vsize: 160472 Current children cumulated CPU time (s) 864.97 Current children cumulated vsize (Kb) 160472 [startup+890.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 62539 0 0 0 86551 928 0 0 25 0 1 0 21222185 164593664 33603 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40184 33603 364 364 0 39820 0 [pid=7176] vsize: 160736 Current children cumulated CPU time (s) 874.79 Current children cumulated vsize (Kb) 160736 [startup+900.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63205 0 0 0 87521 938 0 0 25 0 1 0 21222185 164724736 33618 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40216 33618 364 364 0 39852 0 [pid=7176] vsize: 160864 Current children cumulated CPU time (s) 884.59 Current children cumulated vsize (Kb) 160864 [startup+910.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63216 0 0 0 88505 943 0 0 25 0 1 0 21222185 164724736 33629 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40216 33629 364 364 0 39852 0 [pid=7176] vsize: 160864 Current children cumulated CPU time (s) 894.48 Current children cumulated vsize (Kb) 160864 [startup+920.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63231 0 0 0 89476 953 0 0 25 0 1 0 21222185 164724736 33644 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40216 33644 364 364 0 39852 0 [pid=7176] vsize: 160864 Current children cumulated CPU time (s) 904.29 Current children cumulated vsize (Kb) 160864 [startup+930.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63862 0 0 0 90450 964 0 0 25 0 1 0 21222185 164724736 33657 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40216 33657 364 364 0 39852 0 [pid=7176] vsize: 160864 Current children cumulated CPU time (s) 914.14 Current children cumulated vsize (Kb) 160864 [startup+940.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63870 0 0 0 91421 973 0 0 25 0 1 0 21222185 164724736 33665 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40216 33665 364 364 0 39852 0 [pid=7176] vsize: 160864 Current children cumulated CPU time (s) 923.94 Current children cumulated vsize (Kb) 160864 [startup+950.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63923 0 0 0 92393 983 0 0 25 0 1 0 21222185 164855808 33685 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40248 33685 364 364 0 39884 0 [pid=7176] vsize: 160992 Current children cumulated CPU time (s) 933.76 Current children cumulated vsize (Kb) 160992 [startup+960.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63976 0 0 0 93364 993 0 0 25 0 1 0 21222185 164986880 33705 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40280 33705 364 364 0 39916 0 [pid=7176] vsize: 161120 Current children cumulated CPU time (s) 943.57 Current children cumulated vsize (Kb) 161120 [startup+970.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63987 0 0 0 94333 1004 0 0 25 0 1 0 21222185 164986880 33716 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40280 33716 364 364 0 39916 0 [pid=7176] vsize: 161120 Current children cumulated CPU time (s) 953.37 Current children cumulated vsize (Kb) 161120 [startup+980.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64612 0 0 0 95310 1013 0 0 25 0 1 0 21222185 164986880 33723 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40280 33723 364 364 0 39916 0 [pid=7176] vsize: 161120 Current children cumulated CPU time (s) 963.23 Current children cumulated vsize (Kb) 161120 [startup+990.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64614 0 0 0 96283 1022 0 0 25 0 1 0 21222185 164986880 33725 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40280 33725 364 364 0 39916 0 [pid=7176] vsize: 161120 Current children cumulated CPU time (s) 973.05 Current children cumulated vsize (Kb) 161120 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64688 0 0 0 97261 1029 0 0 25 0 1 0 21222185 165249024 33733 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40344 33733 364 364 0 39980 0 [pid=7176] vsize: 161376 Current children cumulated CPU time (s) 982.9 Current children cumulated vsize (Kb) 161376 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 64725 0 0 0 98237 1038 0 0 25 0 1 0 21222185 165380096 33737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40376 33737 364 364 0 40012 0 [pid=7176] vsize: 161504 Current children cumulated CPU time (s) 992.75 Current children cumulated vsize (Kb) 161504 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64772 0 0 0 99214 1045 0 0 25 0 1 0 21222185 165511168 33751 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40408 33751 364 364 0 40044 0 [pid=7176] vsize: 161632 Current children cumulated CPU time (s) 1002.59 Current children cumulated vsize (Kb) 161632 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64773 0 0 0 100191 1053 0 0 25 0 1 0 21222185 165511168 33752 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40408 33752 364 364 0 40044 0 [pid=7176] vsize: 161632 Current children cumulated CPU time (s) 1012.44 Current children cumulated vsize (Kb) 161632 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64815 0 0 0 101168 1061 0 0 25 0 1 0 21222185 165642240 33761 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40440 33761 364 364 0 40076 0 [pid=7176] vsize: 161760 Current children cumulated CPU time (s) 1022.29 Current children cumulated vsize (Kb) 161760 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64819 0 0 0 102145 1069 0 0 25 0 1 0 21222185 165642240 33765 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40440 33765 364 364 0 40076 0 [pid=7176] vsize: 161760 Current children cumulated CPU time (s) 1032.14 Current children cumulated vsize (Kb) 161760 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64822 0 0 0 103119 1077 0 0 25 0 1 0 21222185 165642240 33768 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40440 33768 364 364 0 40076 0 [pid=7176] vsize: 161760 Current children cumulated CPU time (s) 1041.96 Current children cumulated vsize (Kb) 161760 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64832 0 0 0 104092 1087 0 0 25 0 1 0 21222185 165642240 33778 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40440 33778 364 364 0 40076 0 [pid=7176] vsize: 161760 Current children cumulated CPU time (s) 1051.79 Current children cumulated vsize (Kb) 161760 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64852 0 0 0 105076 1092 0 0 25 0 1 0 21222185 165642240 33798 4294967295 134512640 135987407 3221224560 3221223200 134789464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40440 33798 364 364 0 40076 0 [pid=7176] vsize: 161760 Current children cumulated CPU time (s) 1061.68 Current children cumulated vsize (Kb) 161760 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 65478 0 0 0 106051 1103 0 0 25 0 1 0 21222185 165642240 33806 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40440 33806 364 364 0 40076 0 [pid=7176] vsize: 161760 Current children cumulated CPU time (s) 1071.54 Current children cumulated vsize (Kb) 161760 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 65524 0 0 0 107024 1111 0 0 25 0 1 0 21222185 165773312 33819 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40472 33819 364 364 0 40108 0 [pid=7176] vsize: 161888 Current children cumulated CPU time (s) 1081.35 Current children cumulated vsize (Kb) 161888 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66150 0 0 0 108005 1119 0 0 25 0 1 0 21222185 165773312 33827 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40472 33827 364 364 0 40108 0 [pid=7176] vsize: 161888 Current children cumulated CPU time (s) 1091.24 Current children cumulated vsize (Kb) 161888 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66162 0 0 0 108981 1127 0 0 25 0 1 0 21222185 165773312 33839 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40472 33839 364 364 0 40108 0 [pid=7176] vsize: 161888 Current children cumulated CPU time (s) 1101.08 Current children cumulated vsize (Kb) 161888 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66172 0 0 0 109953 1136 0 0 25 0 1 0 21222185 165773312 33849 4294967295 134512640 135987407 3221224560 3221223424 134812606 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40472 33849 364 364 0 40108 0 [pid=7176] vsize: 161888 Current children cumulated CPU time (s) 1110.89 Current children cumulated vsize (Kb) 161888 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66242 0 0 0 110929 1145 0 0 25 0 1 0 21222185 165904384 33886 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40504 33886 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1120.74 Current children cumulated vsize (Kb) 162016 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66875 0 0 0 111903 1156 0 0 25 0 1 0 21222185 165904384 33901 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40504 33901 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1130.59 Current children cumulated vsize (Kb) 162016 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66885 0 0 0 112874 1165 0 0 25 0 1 0 21222185 165904384 33911 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40504 33911 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1140.39 Current children cumulated vsize (Kb) 162016 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66898 0 0 0 113850 1172 0 0 25 0 1 0 21222185 165904384 33924 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40504 33924 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1150.22 Current children cumulated vsize (Kb) 162016 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66905 0 0 0 114818 1184 0 0 25 0 1 0 21222185 165904384 33931 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40504 33931 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1160.02 Current children cumulated vsize (Kb) 162016 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67545 0 0 0 115795 1192 0 0 25 0 1 0 21222185 165904384 33953 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40504 33953 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1169.87 Current children cumulated vsize (Kb) 162016 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67558 0 0 0 116770 1200 0 0 25 0 1 0 21222185 165904384 33966 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40504 33966 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1179.7 Current children cumulated vsize (Kb) 162016 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67569 0 0 0 117746 1210 0 0 25 0 1 0 21222185 165904384 33977 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7176/statm): 40504 33977 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1189.56 Current children cumulated vsize (Kb) 162016 [startup+1220.06 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 67581 0 0 0 118722 1218 0 0 25 0 1 0 21222185 165904384 33989 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40504 33989 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1199.4 Current children cumulated vsize (Kb) 162016 [startup+1230.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67593 0 0 0 119698 1227 0 0 25 0 1 0 21222185 165904384 34001 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40504 34001 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1209.25 Current children cumulated vsize (Kb) 162016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7176 Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67593 0 0 0 119698 1227 0 0 25 0 1 0 21222185 165904384 34001 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7176/statm): 40504 34001 364 364 0 40140 0 [pid=7176] vsize: 162016 Current children cumulated CPU time (s) 1209.25 Current children cumulated vsize (Kb) 162016 Sending SIGTERM to -7176 Sleeping 2 seconds One traced child (pid=7176) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1230.64 CPU time (s): 1209.83 CPU user time (s): 1197.48 CPU system time (s): 12.3481 CPU usage (%): 98.3089 Max. virtual memory (cumulated for all children) (Kb): 162016
ERROR: no interpretation found !