Name | mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb |
MD5SUM | bc46e72682d969c09e6f4028df473a45 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 201342 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 73885 |
Biggest coefficient in the objective function | 4066 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 172074995 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 4066 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 172074995 |
Number of bits of the biggest sum of numbers | 28 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1191.77 |
Number of variables | 73885 |
Total number of constraints | 74436 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 74436 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 612 |
LAUNCH ON wulflinc1 THE 2005-09-23 16:41:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8806 boxname=wulflinc1 idbench=602 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: bc46e72682d969c09e6f4028df473a45 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb IDLAUNCH: 8806 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.228 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.228 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: 872752 kB Buffers: 13116 kB Cached: 130840 kB SwapCached: 0 kB Active: 87628 kB Inactive: 59212 kB HighTotal: 131008 kB HighFree: 3780 kB LowTotal: 903652 kB LowFree: 868972 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6988 kB Slab: 9416 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:01:54 (client local time) WITH STATUS 0 IN 1207.43 SECONDS stats: 8806 7 1207.43 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... s 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/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21727259 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 373 2 364 364 0 9 0 [pid=9854] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb [startup+10.0017 s] Raw data (loadavg): 1.00 0.95 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 1475 0 0 0 991 6 0 0 25 0 1 0 21727259 5963776 1152 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 1456 1152 364 364 0 1092 0 [pid=9854] vsize: 5824 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 5824 [startup+20.0025 s] Raw data (loadavg): 1.00 0.95 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 2805 0 0 0 1987 10 0 0 25 0 1 0 21727259 10178560 2114 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 2485 2114 364 364 0 2121 0 [pid=9854] vsize: 9940 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 9940 [startup+30.0033 s] Raw data (loadavg): 1.00 0.95 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 4259 0 0 0 2982 14 0 0 25 0 1 0 21727259 15360000 2822 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 3750 2822 364 364 0 3386 0 [pid=9854] vsize: 15000 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 15000 [startup+40.0041 s] Raw data (loadavg): 1.00 0.95 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 4539 0 0 0 3981 15 0 0 25 0 1 0 21727259 16035840 3097 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 3915 3097 364 364 0 3551 0 [pid=9854] vsize: 15660 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 15660 [startup+50.0049 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 4806 0 0 0 4980 16 0 0 25 0 1 0 21727259 16711680 3360 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 4080 3360 364 364 0 3716 0 [pid=9854] vsize: 16320 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 16320 [startup+60.0047 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5045 0 0 0 5979 17 0 0 25 0 1 0 21727259 17252352 3595 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 4212 3595 364 364 0 3848 0 [pid=9854] vsize: 16848 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 16848 [startup+70.0055 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5263 0 0 0 6979 17 0 0 25 0 1 0 21727259 17793024 3809 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 4344 3809 364 364 0 3980 0 [pid=9854] vsize: 17376 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 17376 [startup+80.0063 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5467 0 0 0 7978 18 0 0 25 0 1 0 21727259 18333696 4010 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 4476 4010 364 364 0 4112 0 [pid=9854] vsize: 17904 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 17904 [startup+90.007 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5657 0 0 0 8977 19 0 0 25 0 1 0 21727259 18874368 4197 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 4608 4197 364 364 0 4244 0 [pid=9854] vsize: 18432 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 18432 [startup+100.007 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 5833 0 0 0 9977 19 0 0 25 0 1 0 21727259 19279872 4370 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 4707 4370 364 364 0 4343 0 [pid=9854] vsize: 18828 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 18828 [startup+110.008 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 6000 0 0 0 10977 20 0 0 25 0 1 0 21727259 19685376 4534 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 4806 4534 364 364 0 4442 0 [pid=9854] vsize: 19224 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 19224 [startup+120.008 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 8305 0 0 0 11970 25 0 0 25 0 1 0 21727259 28696576 5362 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 7006 5362 364 364 0 6642 0 [pid=9854] vsize: 28024 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 28024 [startup+130.008 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 8389 0 0 0 12970 26 0 0 25 0 1 0 21727259 28696576 5443 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 7006 5443 364 364 0 6642 0 [pid=9854] vsize: 28024 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 28024 [startup+140.009 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 8516 0 0 0 13970 26 0 0 25 0 1 0 21727259 29102080 5568 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 7105 5568 364 364 0 6741 0 [pid=9854] vsize: 28420 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 28420 [startup+150.01 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 12327 0 0 0 14958 35 0 0 25 0 1 0 21727259 39563264 8620 4294967295 134512640 135987407 3221224560 3221221904 134612903 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 9659 8620 364 364 0 9295 0 [pid=9854] vsize: 38636 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 38636 [startup+160.01 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 36561 0 0 0 15906 86 0 0 25 0 1 0 21727259 140009472 24670 4294967295 134512640 135987407 3221224560 3221220848 134856568 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 34182 24670 364 364 0 33818 0 [pid=9854] vsize: 136728 Current children cumulated CPU time (s) 159.92 Current children cumulated vsize (Kb) 136728 [startup+170.01 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 53302 0 0 0 16861 130 0 0 25 0 1 0 21727259 170172416 30459 4294967295 134512640 135987407 3221224560 3221062736 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 41546 30459 364 364 0 41182 0 [pid=9854] vsize: 166184 Current children cumulated CPU time (s) 169.91 Current children cumulated vsize (Kb) 166184 [startup+180.011 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 77910 0 0 0 17803 185 0 0 25 0 1 0 21727259 236982272 45189 4294967295 134512640 135987407 3221224560 3221141620 135477870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 57857 45189 364 364 0 57493 0 [pid=9854] vsize: 231428 Current children cumulated CPU time (s) 179.88 Current children cumulated vsize (Kb) 231428 [startup+190.012 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 101204 0 0 0 18747 241 0 0 25 0 1 0 21727259 302014464 56053 4294967295 134512640 135987407 3221224560 3221223120 134829342 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 73734 56053 364 364 0 73370 0 [pid=9854] vsize: 294936 Current children cumulated CPU time (s) 189.88 Current children cumulated vsize (Kb) 294936 [startup+200.013 s] Raw data (loadavg): 1.00 0.97 0.94 1/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4704 0 -1 0 104928 0 0 0 19723 255 0 0 25 0 1 0 21727259 312168448 57878 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9854/statm): 76213 57878 364 364 0 75849 0 [pid=9854] vsize: 304852 Current children cumulated CPU time (s) 199.78 Current children cumulated vsize (Kb) 304852 [startup+210.014 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 105870 0 0 0 20700 263 0 0 25 0 1 0 21727259 316465152 58820 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 77262 58820 364 364 0 76898 0 [pid=9854] vsize: 309048 Current children cumulated CPU time (s) 209.63 Current children cumulated vsize (Kb) 309048 [startup+220.014 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 106928 0 0 0 21681 270 0 0 25 0 1 0 21727259 321789952 59878 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 78562 59878 364 364 0 78198 0 [pid=9854] vsize: 314248 Current children cumulated CPU time (s) 219.51 Current children cumulated vsize (Kb) 314248 [startup+230.015 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 107685 0 0 0 22656 279 0 0 25 0 1 0 21727259 325722112 60635 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 79522 60635 364 364 0 79158 0 [pid=9854] vsize: 318088 Current children cumulated CPU time (s) 229.35 Current children cumulated vsize (Kb) 318088 [startup+240.016 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 107932 0 0 0 23635 287 0 0 25 0 1 0 21727259 327262208 60882 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 79898 60882 364 364 0 79534 0 [pid=9854] vsize: 319592 Current children cumulated CPU time (s) 239.22 Current children cumulated vsize (Kb) 319592 [startup+250.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 108536 0 0 0 24612 295 0 0 25 0 1 0 21727259 330113024 61486 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 80594 61486 364 364 0 80230 0 [pid=9854] vsize: 322376 Current children cumulated CPU time (s) 249.07 Current children cumulated vsize (Kb) 322376 [startup+260.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 109837 0 0 0 25586 305 0 0 25 0 1 0 21727259 336146432 62787 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 82067 62787 364 364 0 81703 0 [pid=9854] vsize: 328268 Current children cumulated CPU time (s) 258.91 Current children cumulated vsize (Kb) 328268 [startup+270.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 110293 0 0 0 26563 313 0 0 25 0 1 0 21727259 338382848 63243 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 82613 63243 364 364 0 82249 0 [pid=9854] vsize: 330452 Current children cumulated CPU time (s) 268.76 Current children cumulated vsize (Kb) 330452 [startup+280.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 110552 0 0 0 27542 322 0 0 25 0 1 0 21727259 339595264 63502 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 82909 63502 364 364 0 82545 0 [pid=9854] vsize: 331636 Current children cumulated CPU time (s) 278.64 Current children cumulated vsize (Kb) 331636 [startup+290.02 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 110989 0 0 0 28521 329 0 0 25 0 1 0 21727259 341958656 63939 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 83486 63939 364 364 0 83122 0 [pid=9854] vsize: 333944 Current children cumulated CPU time (s) 288.5 Current children cumulated vsize (Kb) 333944 [startup+300.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 111596 0 0 0 29498 338 0 0 25 0 1 0 21727259 344981504 64546 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 84224 64546 364 364 0 83860 0 [pid=9854] vsize: 336896 Current children cumulated CPU time (s) 298.36 Current children cumulated vsize (Kb) 336896 [startup+310.02 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 112257 0 0 0 30471 349 0 0 25 0 1 0 21727259 348413952 65207 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 85062 65207 364 364 0 84698 0 [pid=9854] vsize: 340248 Current children cumulated CPU time (s) 308.2 Current children cumulated vsize (Kb) 340248 [startup+320.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 112383 0 0 0 31446 356 0 0 25 0 1 0 21727259 348741632 65333 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 85142 65333 364 364 0 84778 0 [pid=9854] vsize: 340568 Current children cumulated CPU time (s) 318.02 Current children cumulated vsize (Kb) 340568 [startup+330.022 s] Raw data (loadavg): 1.00 0.97 0.94 1/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4704 0 -1 0 112735 0 0 0 32422 365 0 0 25 0 1 0 21727259 350183424 65685 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9854/statm): 85494 65685 364 364 0 85130 0 [pid=9854] vsize: 341976 Current children cumulated CPU time (s) 327.87 Current children cumulated vsize (Kb) 341976 [startup+340.022 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113048 0 0 0 33406 371 0 0 25 0 1 0 21727259 351428608 65998 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 85798 65998 364 364 0 85434 0 [pid=9854] vsize: 343192 Current children cumulated CPU time (s) 337.77 Current children cumulated vsize (Kb) 343192 [startup+350.023 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113228 0 0 0 34386 378 0 0 25 0 1 0 21727259 352411648 66178 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 86038 66178 364 364 0 85674 0 [pid=9854] vsize: 344152 Current children cumulated CPU time (s) 347.64 Current children cumulated vsize (Kb) 344152 [startup+360.023 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113297 0 0 0 35372 384 0 0 25 0 1 0 21727259 352804864 66247 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 86134 66247 364 364 0 85770 0 [pid=9854] vsize: 344536 Current children cumulated CPU time (s) 357.56 Current children cumulated vsize (Kb) 344536 [startup+370.024 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113359 0 0 0 36358 389 0 0 25 0 1 0 21727259 353198080 66309 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 86230 66309 364 364 0 85866 0 [pid=9854] vsize: 344920 Current children cumulated CPU time (s) 367.47 Current children cumulated vsize (Kb) 344920 [startup+380.024 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113617 0 0 0 37329 399 0 0 20 0 1 0 21727259 354279424 66567 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 86494 66567 364 364 0 86130 0 [pid=9854] vsize: 345976 Current children cumulated CPU time (s) 377.28 Current children cumulated vsize (Kb) 345976 [startup+390.025 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113710 0 0 0 38313 405 0 0 25 0 1 0 21727259 354672640 66660 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 86590 66660 364 364 0 86226 0 [pid=9854] vsize: 346360 Current children cumulated CPU time (s) 387.18 Current children cumulated vsize (Kb) 346360 [startup+400.024 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113747 0 0 0 39296 411 0 0 25 0 1 0 21727259 354869248 66697 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 86638 66697 364 364 0 86274 0 [pid=9854] vsize: 346552 Current children cumulated CPU time (s) 397.07 Current children cumulated vsize (Kb) 346552 [startup+410.025 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113873 0 0 0 40263 421 0 0 25 0 1 0 21727259 355397632 66823 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 86767 66823 364 364 0 86403 0 [pid=9854] vsize: 347068 Current children cumulated CPU time (s) 406.84 Current children cumulated vsize (Kb) 347068 [startup+420.026 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113946 0 0 0 41251 426 0 0 25 0 1 0 21727259 355790848 66896 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 86863 66896 364 364 0 86499 0 [pid=9854] vsize: 347452 Current children cumulated CPU time (s) 416.77 Current children cumulated vsize (Kb) 347452 [startup+430.026 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 113984 0 0 0 42235 432 0 0 25 0 1 0 21727259 389541888 66934 4294967295 134512640 135987407 3221224560 3221223248 134811722 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 95103 66934 364 364 0 94739 0 [pid=9854] vsize: 380412 Current children cumulated CPU time (s) 426.67 Current children cumulated vsize (Kb) 380412 [startup+440.026 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114036 0 0 0 43208 442 0 0 25 0 1 0 21727259 389738496 66986 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 95151 66986 364 364 0 94787 0 [pid=9854] vsize: 380604 Current children cumulated CPU time (s) 436.5 Current children cumulated vsize (Kb) 380604 [startup+450.026 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114079 0 0 0 44190 448 0 0 25 0 1 0 21727259 389935104 67029 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 95199 67029 364 364 0 94835 0 [pid=9854] vsize: 380796 Current children cumulated CPU time (s) 446.38 Current children cumulated vsize (Kb) 380796 [startup+460.026 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114210 0 0 0 45170 455 0 0 25 0 1 0 21727259 390524928 67160 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 95343 67160 364 364 0 94979 0 [pid=9854] vsize: 381372 Current children cumulated CPU time (s) 456.25 Current children cumulated vsize (Kb) 381372 [startup+470.027 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114243 0 0 0 46146 463 0 0 25 0 1 0 21727259 390721536 67193 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 95391 67193 364 364 0 95027 0 [pid=9854] vsize: 381564 Current children cumulated CPU time (s) 466.09 Current children cumulated vsize (Kb) 381564 [startup+480.028 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114307 0 0 0 47123 470 0 0 25 0 1 0 21727259 390918144 67257 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 95439 67257 364 364 0 95075 0 [pid=9854] vsize: 381756 Current children cumulated CPU time (s) 475.93 Current children cumulated vsize (Kb) 381756 [startup+490.028 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114382 0 0 0 48098 478 0 0 25 0 1 0 21727259 391311360 67332 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 95535 67332 364 364 0 95171 0 [pid=9854] vsize: 382140 Current children cumulated CPU time (s) 485.76 Current children cumulated vsize (Kb) 382140 [startup+500.028 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114452 0 0 0 49080 484 0 0 25 0 1 0 21727259 391704576 67402 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 95631 67402 364 364 0 95267 0 [pid=9854] vsize: 382524 Current children cumulated CPU time (s) 495.64 Current children cumulated vsize (Kb) 382524 [startup+510.029 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114471 0 0 0 50074 486 0 0 25 0 1 0 21727259 391704576 67421 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 95631 67421 364 364 0 95267 0 [pid=9854] vsize: 382524 Current children cumulated CPU time (s) 505.6 Current children cumulated vsize (Kb) 382524 [startup+520.03 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114751 0 0 0 51046 496 0 0 25 0 1 0 21727259 392957952 67701 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 95937 67701 364 364 0 95573 0 [pid=9854] vsize: 383748 Current children cumulated CPU time (s) 515.42 Current children cumulated vsize (Kb) 383748 [startup+530.03 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114831 0 0 0 52032 501 0 0 25 0 1 0 21727259 393351168 67781 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 96033 67781 364 364 0 95669 0 [pid=9854] vsize: 384132 Current children cumulated CPU time (s) 525.33 Current children cumulated vsize (Kb) 384132 [startup+540.03 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 114946 0 0 0 53005 509 0 0 25 0 1 0 21727259 393940992 67896 4294967295 134512640 135987407 3221224560 3221223096 135499869 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 96177 67896 364 364 0 95813 0 [pid=9854] vsize: 384708 Current children cumulated CPU time (s) 535.14 Current children cumulated vsize (Kb) 384708 [startup+550.03 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115038 0 0 0 53979 519 0 0 25 0 1 0 21727259 394469376 67988 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 96306 67988 364 364 0 95942 0 [pid=9854] vsize: 385224 Current children cumulated CPU time (s) 544.98 Current children cumulated vsize (Kb) 385224 [startup+560.03 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115084 0 0 0 54961 526 0 0 25 0 1 0 21727259 394665984 68034 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 96354 68034 364 364 0 95990 0 [pid=9854] vsize: 385416 Current children cumulated CPU time (s) 554.87 Current children cumulated vsize (Kb) 385416 [startup+570.031 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115109 0 0 0 55941 532 0 0 25 0 1 0 21727259 394665984 68059 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 96354 68059 364 364 0 95990 0 [pid=9854] vsize: 385416 Current children cumulated CPU time (s) 564.73 Current children cumulated vsize (Kb) 385416 [startup+580.032 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115291 0 0 0 56918 540 0 0 25 0 1 0 21727259 395640832 68241 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 96592 68241 364 364 0 96228 0 [pid=9854] vsize: 386368 Current children cumulated CPU time (s) 574.58 Current children cumulated vsize (Kb) 386368 [startup+590.032 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115327 0 0 0 57892 548 0 0 25 0 1 0 21727259 395837440 68277 4294967295 134512640 135987407 3221224560 3221223136 135486726 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 96640 68277 364 364 0 96276 0 [pid=9854] vsize: 386560 Current children cumulated CPU time (s) 584.4 Current children cumulated vsize (Kb) 386560 [startup+600.032 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115338 0 0 0 58881 552 0 0 25 0 1 0 21727259 395837440 68288 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 96640 68288 364 364 0 96276 0 [pid=9854] vsize: 386560 Current children cumulated CPU time (s) 594.33 Current children cumulated vsize (Kb) 386560 [startup+610.032 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115411 0 0 0 59862 558 0 0 25 0 1 0 21727259 396230656 68361 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 96736 68361 364 364 0 96372 0 [pid=9854] vsize: 386944 Current children cumulated CPU time (s) 604.2 Current children cumulated vsize (Kb) 386944 [startup+620.033 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115463 0 0 0 60841 564 0 0 25 0 1 0 21727259 396427264 68413 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 96784 68413 364 364 0 96420 0 [pid=9854] vsize: 387136 Current children cumulated CPU time (s) 614.05 Current children cumulated vsize (Kb) 387136 [startup+630.034 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115498 0 0 0 61820 570 0 0 25 0 1 0 21727259 396427264 68448 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 96784 68448 364 364 0 96420 0 [pid=9854] vsize: 387136 Current children cumulated CPU time (s) 623.9 Current children cumulated vsize (Kb) 387136 [startup+640.033 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115579 0 0 0 62795 577 0 0 25 0 1 0 21727259 397017088 68529 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 96928 68529 364 364 0 96564 0 [pid=9854] vsize: 387712 Current children cumulated CPU time (s) 633.72 Current children cumulated vsize (Kb) 387712 [startup+650.034 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115708 0 0 0 63777 583 0 0 25 0 1 0 21727259 397606912 68658 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 97072 68658 364 364 0 96708 0 [pid=9854] vsize: 388288 Current children cumulated CPU time (s) 643.6 Current children cumulated vsize (Kb) 388288 [startup+660.035 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115751 0 0 0 64755 588 0 0 24 0 1 0 21727259 397803520 68701 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 97120 68701 364 364 0 96756 0 [pid=9854] vsize: 388480 Current children cumulated CPU time (s) 653.43 Current children cumulated vsize (Kb) 388480 [startup+670.036 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115768 0 0 0 65732 596 0 0 25 0 1 0 21727259 397803520 68718 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 97120 68718 364 364 0 96756 0 [pid=9854] vsize: 388480 Current children cumulated CPU time (s) 663.28 Current children cumulated vsize (Kb) 388480 [startup+680.036 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115828 0 0 0 66712 603 0 0 25 0 1 0 21727259 398196736 68778 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 97216 68778 364 364 0 96852 0 [pid=9854] vsize: 388864 Current children cumulated CPU time (s) 673.15 Current children cumulated vsize (Kb) 388864 [startup+690.036 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115862 0 0 0 67692 609 0 0 25 0 1 0 21727259 398393344 68812 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 97264 68812 364 364 0 96900 0 [pid=9854] vsize: 389056 Current children cumulated CPU time (s) 683.01 Current children cumulated vsize (Kb) 389056 [startup+700.037 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115903 0 0 0 68671 616 0 0 25 0 1 0 21727259 398589952 68853 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 97312 68853 364 364 0 96948 0 [pid=9854] vsize: 389248 Current children cumulated CPU time (s) 692.87 Current children cumulated vsize (Kb) 389248 [startup+710.037 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115966 0 0 0 69655 622 0 0 25 0 1 0 21727259 398786560 68916 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 97360 68916 364 364 0 96996 0 [pid=9854] vsize: 389440 Current children cumulated CPU time (s) 702.77 Current children cumulated vsize (Kb) 389440 [startup+720.038 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115976 0 0 0 70644 625 0 0 25 0 1 0 21727259 398786560 68926 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 97360 68926 364 364 0 96996 0 [pid=9854] vsize: 389440 Current children cumulated CPU time (s) 712.69 Current children cumulated vsize (Kb) 389440 [startup+730.038 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 115985 0 0 0 71621 633 0 0 25 0 1 0 21727259 398786560 68935 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 97360 68935 364 364 0 96996 0 [pid=9854] vsize: 389440 Current children cumulated CPU time (s) 722.54 Current children cumulated vsize (Kb) 389440 [startup+740.037 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116125 0 0 0 72603 638 0 0 25 0 1 0 21727259 399654912 69075 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 97572 69075 364 364 0 97208 0 [pid=9854] vsize: 390288 Current children cumulated CPU time (s) 732.41 Current children cumulated vsize (Kb) 390288 [startup+750.038 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116374 0 0 0 73576 647 0 0 25 0 1 0 21727259 400949248 69324 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 97888 69324 364 364 0 97524 0 [pid=9854] vsize: 391552 Current children cumulated CPU time (s) 742.23 Current children cumulated vsize (Kb) 391552 [startup+760.039 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116461 0 0 0 74548 658 0 0 25 0 1 0 21727259 401342464 69411 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 97984 69411 364 364 0 97620 0 [pid=9854] vsize: 391936 Current children cumulated CPU time (s) 752.06 Current children cumulated vsize (Kb) 391936 [startup+770.04 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116525 0 0 0 75530 663 0 0 25 0 1 0 21727259 401539072 69475 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 98032 69475 364 364 0 97668 0 [pid=9854] vsize: 392128 Current children cumulated CPU time (s) 761.93 Current children cumulated vsize (Kb) 392128 [startup+780.04 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116601 0 0 0 76508 669 0 0 25 0 1 0 21727259 401932288 69551 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 98128 69551 364 364 0 97764 0 [pid=9854] vsize: 392512 Current children cumulated CPU time (s) 771.77 Current children cumulated vsize (Kb) 392512 [startup+790.04 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116639 0 0 0 77485 677 0 0 25 0 1 0 21727259 402128896 69589 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98176 69589 364 364 0 97812 0 [pid=9854] vsize: 392704 Current children cumulated CPU time (s) 781.62 Current children cumulated vsize (Kb) 392704 [startup+800.041 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116708 0 0 0 78454 686 0 0 25 0 1 0 21727259 402522112 69658 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98272 69658 364 364 0 97908 0 [pid=9854] vsize: 393088 Current children cumulated CPU time (s) 791.4 Current children cumulated vsize (Kb) 393088 [startup+810.042 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116759 0 0 0 79430 695 0 0 25 0 1 0 21727259 402718720 69709 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98320 69709 364 364 0 97956 0 [pid=9854] vsize: 393280 Current children cumulated CPU time (s) 801.25 Current children cumulated vsize (Kb) 393280 [startup+820.043 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116903 0 0 0 80407 701 0 0 25 0 1 0 21727259 403456000 69853 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98500 69853 364 364 0 98136 0 [pid=9854] vsize: 394000 Current children cumulated CPU time (s) 811.08 Current children cumulated vsize (Kb) 394000 [startup+830.043 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116931 0 0 0 81383 709 0 0 25 0 1 0 21727259 403652608 69881 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 98548 69881 364 364 0 98184 0 [pid=9854] vsize: 394192 Current children cumulated CPU time (s) 820.92 Current children cumulated vsize (Kb) 394192 [startup+840.043 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116940 0 0 0 82375 712 0 0 25 0 1 0 21727259 403652608 69890 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 98548 69890 364 364 0 98184 0 [pid=9854] vsize: 394192 Current children cumulated CPU time (s) 830.87 Current children cumulated vsize (Kb) 394192 [startup+850.043 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 116950 0 0 0 83360 717 0 0 25 0 1 0 21727259 403652608 69900 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98548 69900 364 364 0 98184 0 [pid=9854] vsize: 394192 Current children cumulated CPU time (s) 840.77 Current children cumulated vsize (Kb) 394192 [startup+860.044 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117004 0 0 0 84332 726 0 0 25 0 1 0 21727259 403849216 69954 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 98596 69954 364 364 0 98232 0 [pid=9854] vsize: 394384 Current children cumulated CPU time (s) 850.58 Current children cumulated vsize (Kb) 394384 [startup+870.045 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117053 0 0 0 85313 732 0 0 25 0 1 0 21727259 404242432 70003 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98692 70003 364 364 0 98328 0 [pid=9854] vsize: 394768 Current children cumulated CPU time (s) 860.45 Current children cumulated vsize (Kb) 394768 [startup+880.044 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117083 0 0 0 86295 737 0 0 25 0 1 0 21727259 404242432 70033 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98692 70033 364 364 0 98328 0 [pid=9854] vsize: 394768 Current children cumulated CPU time (s) 870.32 Current children cumulated vsize (Kb) 394768 [startup+890.044 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117127 0 0 0 87275 742 0 0 25 0 1 0 21727259 404439040 70077 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98740 70077 364 364 0 98376 0 [pid=9854] vsize: 394960 Current children cumulated CPU time (s) 880.17 Current children cumulated vsize (Kb) 394960 [startup+900.045 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117167 0 0 0 88257 747 0 0 25 0 1 0 21727259 404602880 70117 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98780 70117 364 364 0 98416 0 [pid=9854] vsize: 395120 Current children cumulated CPU time (s) 890.04 Current children cumulated vsize (Kb) 395120 [startup+910.045 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117176 0 0 0 89247 751 0 0 25 0 1 0 21727259 404602880 70126 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98780 70126 364 364 0 98416 0 [pid=9854] vsize: 395120 Current children cumulated CPU time (s) 899.98 Current children cumulated vsize (Kb) 395120 [startup+920.046 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117332 0 0 0 90225 759 0 0 25 0 1 0 21727259 405454848 70282 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98988 70282 364 364 0 98624 0 [pid=9854] vsize: 395952 Current children cumulated CPU time (s) 909.84 Current children cumulated vsize (Kb) 395952 [startup+930.046 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117353 0 0 0 91206 765 0 0 25 0 1 0 21727259 405454848 70303 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 98988 70303 364 364 0 98624 0 [pid=9854] vsize: 395952 Current children cumulated CPU time (s) 919.71 Current children cumulated vsize (Kb) 395952 [startup+940.046 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117371 0 0 0 92182 773 0 0 25 0 1 0 21727259 405651456 70321 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99036 70321 364 364 0 98672 0 [pid=9854] vsize: 396144 Current children cumulated CPU time (s) 929.55 Current children cumulated vsize (Kb) 396144 [startup+950.047 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117393 0 0 0 93165 779 0 0 25 0 1 0 21727259 405651456 70343 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99036 70343 364 364 0 98672 0 [pid=9854] vsize: 396144 Current children cumulated CPU time (s) 939.44 Current children cumulated vsize (Kb) 396144 [startup+960.048 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117405 0 0 0 94151 784 0 0 25 0 1 0 21727259 405651456 70355 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99036 70355 364 364 0 98672 0 [pid=9854] vsize: 396144 Current children cumulated CPU time (s) 949.35 Current children cumulated vsize (Kb) 396144 [startup+970.048 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117412 0 0 0 95147 786 0 0 25 0 1 0 21727259 405651456 70362 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99036 70362 364 364 0 98672 0 [pid=9854] vsize: 396144 Current children cumulated CPU time (s) 959.33 Current children cumulated vsize (Kb) 396144 [startup+980.048 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117489 0 0 0 96124 793 0 0 25 0 1 0 21727259 406044672 70439 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99132 70439 364 364 0 98768 0 [pid=9854] vsize: 396528 Current children cumulated CPU time (s) 969.17 Current children cumulated vsize (Kb) 396528 [startup+990.048 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117500 0 0 0 97102 801 0 0 25 0 1 0 21727259 406044672 70450 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99132 70450 364 364 0 98768 0 [pid=9854] vsize: 396528 Current children cumulated CPU time (s) 979.03 Current children cumulated vsize (Kb) 396528 [startup+1000.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117511 0 0 0 98079 809 0 0 24 0 1 0 21727259 406044672 70461 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99132 70461 364 364 0 98768 0 [pid=9854] vsize: 396528 Current children cumulated CPU time (s) 988.88 Current children cumulated vsize (Kb) 396528 [startup+1010.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117561 0 0 0 99057 816 0 0 25 0 1 0 21727259 406241280 70511 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99180 70511 364 364 0 98816 0 [pid=9854] vsize: 396720 Current children cumulated CPU time (s) 998.73 Current children cumulated vsize (Kb) 396720 [startup+1020.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117627 0 0 0 100038 823 0 0 25 0 1 0 21727259 406634496 70577 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99276 70577 364 364 0 98912 0 [pid=9854] vsize: 397104 Current children cumulated CPU time (s) 1008.61 Current children cumulated vsize (Kb) 397104 [startup+1030.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117676 0 0 0 101020 829 0 0 25 0 1 0 21727259 406831104 70626 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99324 70626 364 364 0 98960 0 [pid=9854] vsize: 397296 Current children cumulated CPU time (s) 1018.49 Current children cumulated vsize (Kb) 397296 [startup+1040.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 117779 0 0 0 101997 836 0 0 25 0 1 0 21727259 407420928 70729 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99468 70729 364 364 0 99104 0 [pid=9854] vsize: 397872 Current children cumulated CPU time (s) 1028.33 Current children cumulated vsize (Kb) 397872 [startup+1050.05 s] Raw data (loadavg): 1.00 0.97 0.94 1/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4704 0 -1 0 117973 0 0 0 102978 843 0 0 25 0 1 0 21727259 408420352 70923 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99712 70923 364 364 0 99348 0 [pid=9854] vsize: 398848 Current children cumulated CPU time (s) 1038.21 Current children cumulated vsize (Kb) 398848 [startup+1060.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118007 0 0 0 103965 848 0 0 25 0 1 0 21727259 408616960 70957 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99760 70957 364 364 0 99396 0 [pid=9854] vsize: 399040 Current children cumulated CPU time (s) 1048.13 Current children cumulated vsize (Kb) 399040 [startup+1070.05 s] Raw data (loadavg): 1.00 0.97 0.94 1/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) T 9853 9854 4704 0 -1 0 118014 0 0 0 104950 852 0 0 25 0 1 0 21727259 408616960 70964 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99760 70964 364 364 0 99396 0 [pid=9854] vsize: 399040 Current children cumulated CPU time (s) 1058.02 Current children cumulated vsize (Kb) 399040 [startup+1080.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118059 0 0 0 105926 860 0 0 25 0 1 0 21727259 408813568 71009 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99808 71009 364 364 0 99444 0 [pid=9854] vsize: 399232 Current children cumulated CPU time (s) 1067.86 Current children cumulated vsize (Kb) 399232 [startup+1090.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118071 0 0 0 106910 866 0 0 25 0 1 0 21727259 408813568 71021 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99808 71021 364 364 0 99444 0 [pid=9854] vsize: 399232 Current children cumulated CPU time (s) 1077.76 Current children cumulated vsize (Kb) 399232 [startup+1100.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118099 0 0 0 107887 874 0 0 25 0 1 0 21727259 408813568 71049 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99808 71049 364 364 0 99444 0 [pid=9854] vsize: 399232 Current children cumulated CPU time (s) 1087.61 Current children cumulated vsize (Kb) 399232 [startup+1110.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 9854 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118122 0 0 0 108874 878 0 0 25 0 1 0 21727259 409010176 71072 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99856 71072 364 364 0 99492 0 [pid=9854] vsize: 399424 Current children cumulated CPU time (s) 1097.52 Current children cumulated vsize (Kb) 399424 [startup+1120.05 s] Raw data (loadavg): 1.07 0.99 0.95 2/55 9909 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118141 0 0 0 109851 885 0 0 25 0 1 0 21727259 409010176 71091 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99856 71091 364 364 0 99492 0 [pid=9854] vsize: 399424 Current children cumulated CPU time (s) 1107.36 Current children cumulated vsize (Kb) 399424 [startup+1130.05 s] Raw data (loadavg): 1.14 1.00 0.95 2/55 9909 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118161 0 0 0 110827 893 0 0 25 0 1 0 21727259 409010176 71111 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99856 71111 364 364 0 99492 0 [pid=9854] vsize: 399424 Current children cumulated CPU time (s) 1117.2 Current children cumulated vsize (Kb) 399424 [startup+1140.05 s] Raw data (loadavg): 1.12 1.00 0.95 2/55 9909 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118179 0 0 0 111797 903 0 0 25 0 1 0 21727259 409206784 71129 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99904 71129 364 364 0 99540 0 [pid=9854] vsize: 399616 Current children cumulated CPU time (s) 1127 Current children cumulated vsize (Kb) 399616 [startup+1150.05 s] Raw data (loadavg): 1.10 1.00 0.95 2/55 9909 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118216 0 0 0 112771 911 0 0 25 0 1 0 21727259 409403392 71166 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99952 71166 364 364 0 99588 0 [pid=9854] vsize: 399808 Current children cumulated CPU time (s) 1136.82 Current children cumulated vsize (Kb) 399808 [startup+1160.05 s] Raw data (loadavg): 1.08 1.00 0.95 2/55 9909 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118229 0 0 0 113764 914 0 0 25 0 1 0 21727259 409403392 71179 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99952 71179 364 364 0 99588 0 [pid=9854] vsize: 399808 Current children cumulated CPU time (s) 1146.78 Current children cumulated vsize (Kb) 399808 [startup+1170.05 s] Raw data (loadavg): 1.07 1.00 0.95 2/55 9911 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118253 0 0 0 114737 923 0 0 25 0 1 0 21727259 409403392 71203 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 99952 71203 364 364 0 99588 0 [pid=9854] vsize: 399808 Current children cumulated CPU time (s) 1156.6 Current children cumulated vsize (Kb) 399808 [startup+1180.06 s] Raw data (loadavg): 1.06 1.00 0.95 2/55 9913 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118261 0 0 0 115732 926 0 0 25 0 1 0 21727259 409403392 71211 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 99952 71211 364 364 0 99588 0 [pid=9854] vsize: 399808 Current children cumulated CPU time (s) 1166.58 Current children cumulated vsize (Kb) 399808 [startup+1190.05 s] Raw data (loadavg): 1.05 1.00 0.95 2/55 9915 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118344 0 0 0 116712 932 0 0 25 0 1 0 21727259 409796608 71294 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 100048 71294 364 364 0 99684 0 [pid=9854] vsize: 400192 Current children cumulated CPU time (s) 1176.44 Current children cumulated vsize (Kb) 400192 [startup+1200.06 s] Raw data (loadavg): 1.04 1.00 0.95 2/55 9915 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118352 0 0 0 117694 938 0 0 25 0 1 0 21727259 409796608 71302 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 100048 71302 364 364 0 99684 0 [pid=9854] vsize: 400192 Current children cumulated CPU time (s) 1186.32 Current children cumulated vsize (Kb) 400192 [startup+1210.06 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 9915 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118366 0 0 0 118686 941 0 0 25 0 1 0 21727259 409796608 71316 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9854/statm): 100048 71316 364 364 0 99684 0 [pid=9854] vsize: 400192 Current children cumulated CPU time (s) 1196.27 Current children cumulated vsize (Kb) 400192 [startup+1220.06 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 9915 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118424 0 0 0 119671 946 0 0 25 0 1 0 21727259 410189824 71374 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 100144 71374 364 364 0 99780 0 [pid=9854] vsize: 400576 Current children cumulated CPU time (s) 1206.17 Current children cumulated vsize (Kb) 400576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.06 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 9915 Raw data (/proc/9854/stat): 9854 (pb2sat) R 9853 9854 4704 0 -1 0 118424 0 0 0 119671 946 0 0 25 0 1 0 21727259 410189824 71374 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9854/statm): 100144 71374 364 364 0 99780 0 [pid=9854] vsize: 400576 Current children cumulated CPU time (s) 1206.17 Current children cumulated vsize (Kb) 400576 Sending SIGTERM to -9854 Sleeping 2 seconds One traced child (pid=9854) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1221.3 CPU time (s): 1207.43 CPU user time (s): 1197.82 CPU system time (s): 9.60854 CPU usage (%): 98.8638 Max. virtual memory (cumulated for all children) (Kb): 400576
ERROR: no interpretation found !