Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb |
MD5SUM | 9c5126d785c8d5465220e290c5fc25a6 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6656 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 2421502 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 675 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 95 |
LAUNCH ON wulflinc15 THE 2005-09-23 18:15:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9178 boxname=wulflinc15 idbench=974 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 9c5126d785c8d5465220e290c5fc25a6 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-pk1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-pk1.opb IDLAUNCH: 9178 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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.045 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: 894240 kB Buffers: 4664 kB Cached: 115696 kB SwapCached: 0 kB Active: 18388 kB Inactive: 104904 kB HighTotal: 131008 kB HighFree: 79324 kB LowTotal: 903652 kB LowFree: 814916 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 11464 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 18:36:11 (client local time) WITH STATUS 0 IN 1210.42 SECONDS stats: 9178 7 1210.42 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 172/908607 Time: 227.432/86400 c Decision: 172/908607 Time: 342.385/86400 c Decision: 174/908607 Time: 516.234/86400 c Decision: 174/908607 Time: 609.599/86400 c Decision: 174/908607 Time: 754.57/86400 c Decision: 174/908607 Time: 881.561/86400 c Decision: 174/908607 Time: 1041.26/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/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22272048 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 373 2 364 364 0 9 0 [pid=8845] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-pk1.opb [startup+10.0024 s] Raw data (loadavg): 0.92 0.96 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 28079 0 0 0 932 65 0 0 25 0 1 0 22272048 81817600 16931 4294967295 134512640 135987407 3221224560 3221214352 134887887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 19975 16932 364 364 0 19611 0 [pid=8845] vsize: 79900 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 79900 [startup+20.0033 s] Raw data (loadavg): 0.93 0.96 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 55334 0 0 0 1870 126 0 0 25 0 1 0 22272048 159125504 32957 4294967295 134512640 135987407 3221224560 3221203032 135499869 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 38849 32957 364 364 0 38485 0 [pid=8845] vsize: 155396 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 155396 [startup+30.0041 s] Raw data (loadavg): 0.94 0.96 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 94134 0 0 0 2784 208 0 0 25 0 1 0 22272048 309145600 49562 4294967295 134512640 135987407 3221224560 3221213716 135480412 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 75475 49562 364 364 0 75111 0 [pid=8845] vsize: 301900 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 301900 [startup+40.0039 s] Raw data (loadavg): 0.95 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 109589 0 0 0 3752 240 0 0 25 0 1 0 22272048 313335808 64759 4294967295 134512640 135987407 3221224560 3221211328 134558671 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 76498 64759 364 364 0 76134 0 [pid=8845] vsize: 305992 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (Kb) 305992 [startup+50.0047 s] Raw data (loadavg): 0.96 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 117115 0 0 0 4724 261 0 0 25 0 1 0 22272048 336183296 70494 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 82076 70494 364 364 0 81712 0 [pid=8845] vsize: 328304 Current children cumulated CPU time (s) 49.85 Current children cumulated vsize (Kb) 328304 [startup+60.0055 s] Raw data (loadavg): 0.96 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 117988 0 0 0 5712 265 0 0 25 0 1 0 22272048 338841600 71055 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 82725 71055 364 364 0 82361 0 [pid=8845] vsize: 330900 Current children cumulated CPU time (s) 59.77 Current children cumulated vsize (Kb) 330900 [startup+70.0064 s] Raw data (loadavg): 0.97 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 118888 0 0 0 6710 267 0 0 25 0 1 0 22272048 341913600 71628 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 83475 71628 364 364 0 83111 0 [pid=8845] vsize: 333900 Current children cumulated CPU time (s) 69.77 Current children cumulated vsize (Kb) 333900 [startup+80.0072 s] Raw data (loadavg): 0.97 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 119438 0 0 0 7708 268 0 0 25 0 1 0 22272048 343625728 71885 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 83893 71885 364 364 0 83529 0 [pid=8845] vsize: 335572 Current children cumulated CPU time (s) 79.76 Current children cumulated vsize (Kb) 335572 [startup+90.007 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 119628 0 0 0 8707 269 0 0 25 0 1 0 22272048 344023040 72010 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 83990 72010 364 364 0 83626 0 [pid=8845] vsize: 335960 Current children cumulated CPU time (s) 89.76 Current children cumulated vsize (Kb) 335960 [startup+100.007 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 119823 0 0 0 9706 270 0 0 25 0 1 0 22272048 344551424 72107 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 84119 72107 364 364 0 83755 0 [pid=8845] vsize: 336476 Current children cumulated CPU time (s) 99.76 Current children cumulated vsize (Kb) 336476 [startup+110.007 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 120013 0 0 0 10705 270 0 0 25 0 1 0 22272048 344944640 72199 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 84215 72199 364 364 0 83851 0 [pid=8845] vsize: 336860 Current children cumulated CPU time (s) 109.75 Current children cumulated vsize (Kb) 336860 [startup+120.007 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 120189 0 0 0 11703 271 0 0 25 0 1 0 22272048 345473024 72310 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 84344 72310 364 364 0 83980 0 [pid=8845] vsize: 337376 Current children cumulated CPU time (s) 119.74 Current children cumulated vsize (Kb) 337376 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 121380 0 0 0 12693 276 0 0 17 0 1 0 22272048 349749248 73076 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 85388 73076 364 364 0 85024 0 [pid=8845] vsize: 341552 Current children cumulated CPU time (s) 129.69 Current children cumulated vsize (Kb) 341552 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 124397 0 0 0 13687 282 0 0 25 0 1 0 22272048 358199296 74379 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 87451 74379 364 364 0 87087 0 [pid=8845] vsize: 349804 Current children cumulated CPU time (s) 139.69 Current children cumulated vsize (Kb) 349804 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 125522 0 0 0 14685 284 0 0 25 0 1 0 22272048 361312256 74859 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 88211 74859 364 364 0 87847 0 [pid=8845] vsize: 352844 Current children cumulated CPU time (s) 149.69 Current children cumulated vsize (Kb) 352844 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 126228 0 0 0 15684 285 0 0 25 0 1 0 22272048 363249664 75178 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 88684 75178 364 364 0 88320 0 [pid=8845] vsize: 354736 Current children cumulated CPU time (s) 159.69 Current children cumulated vsize (Kb) 354736 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 126865 0 0 0 16681 287 0 0 25 0 1 0 22272048 365092864 75491 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 89134 75491 364 364 0 88770 0 [pid=8845] vsize: 356536 Current children cumulated CPU time (s) 169.68 Current children cumulated vsize (Kb) 356536 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 127926 0 0 0 17678 290 0 0 25 0 1 0 22272048 367980544 75907 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 89839 75907 364 364 0 89475 0 [pid=8845] vsize: 359356 Current children cumulated CPU time (s) 179.68 Current children cumulated vsize (Kb) 359356 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 129111 0 0 0 18675 292 0 0 25 0 1 0 22272048 370876416 76476 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 90546 76476 364 364 0 90182 0 [pid=8845] vsize: 362184 Current children cumulated CPU time (s) 189.67 Current children cumulated vsize (Kb) 362184 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 129926 0 0 0 19673 294 0 0 25 0 1 0 22272048 372580352 76870 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 90962 76870 364 364 0 90598 0 [pid=8845] vsize: 363848 Current children cumulated CPU time (s) 199.67 Current children cumulated vsize (Kb) 363848 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 130437 0 0 0 20669 296 0 0 25 0 1 0 22272048 374169600 77121 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 91350 77121 364 364 0 90986 0 [pid=8845] vsize: 365400 Current children cumulated CPU time (s) 209.65 Current children cumulated vsize (Kb) 365400 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 130969 0 0 0 21666 298 0 0 25 0 1 0 22272048 376127488 77522 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 91828 77522 364 364 0 91464 0 [pid=8845] vsize: 367312 Current children cumulated CPU time (s) 219.64 Current children cumulated vsize (Kb) 367312 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 131152 0 0 0 22663 299 0 0 25 0 1 0 22272048 376655872 77606 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 91957 77606 364 364 0 91593 0 [pid=8845] vsize: 367828 Current children cumulated CPU time (s) 229.62 Current children cumulated vsize (Kb) 367828 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 131634 0 0 0 23662 300 0 0 25 0 1 0 22272048 378515456 77925 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 92411 77925 364 364 0 92047 0 [pid=8845] vsize: 369644 Current children cumulated CPU time (s) 239.62 Current children cumulated vsize (Kb) 369644 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 132200 0 0 0 24660 302 0 0 25 0 1 0 22272048 380899328 78296 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 92993 78296 364 364 0 92629 0 [pid=8845] vsize: 371972 Current children cumulated CPU time (s) 249.62 Current children cumulated vsize (Kb) 371972 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 132283 0 0 0 25658 302 0 0 25 0 1 0 22272048 381161472 78314 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 93057 78314 364 364 0 92693 0 [pid=8845] vsize: 372228 Current children cumulated CPU time (s) 259.6 Current children cumulated vsize (Kb) 372228 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134123 0 0 0 26654 307 0 0 25 0 1 0 22272048 381427712 78379 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 93122 78379 364 364 0 92758 0 [pid=8845] vsize: 372488 Current children cumulated CPU time (s) 269.61 Current children cumulated vsize (Kb) 372488 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134553 0 0 0 27651 308 0 0 25 0 1 0 22272048 382611456 78646 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 93411 78646 364 364 0 93047 0 [pid=8845] vsize: 373644 Current children cumulated CPU time (s) 279.59 Current children cumulated vsize (Kb) 373644 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134701 0 0 0 28650 309 0 0 25 0 1 0 22272048 382873600 78729 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 93475 78729 364 364 0 93111 0 [pid=8845] vsize: 373900 Current children cumulated CPU time (s) 289.59 Current children cumulated vsize (Kb) 373900 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134706 0 0 0 29649 309 0 0 25 0 1 0 22272048 382873600 78734 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 93475 78734 364 364 0 93111 0 [pid=8845] vsize: 373900 Current children cumulated CPU time (s) 299.58 Current children cumulated vsize (Kb) 373900 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134707 0 0 0 30648 310 0 0 25 0 1 0 22272048 382873600 78735 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 93475 78735 364 364 0 93111 0 [pid=8845] vsize: 373900 Current children cumulated CPU time (s) 309.58 Current children cumulated vsize (Kb) 373900 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 134776 0 0 0 31646 311 0 0 25 0 1 0 22272048 383275008 78804 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 93573 78804 364 364 0 93209 0 [pid=8845] vsize: 374292 Current children cumulated CPU time (s) 319.57 Current children cumulated vsize (Kb) 374292 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 135821 0 0 0 32643 313 0 0 25 0 1 0 22272048 385896448 79203 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 94213 79203 364 364 0 93849 0 [pid=8845] vsize: 376852 Current children cumulated CPU time (s) 329.56 Current children cumulated vsize (Kb) 376852 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 136944 0 0 0 33636 317 0 0 25 0 1 0 22272048 389881856 79903 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 95186 79903 364 364 0 94822 0 [pid=8845] vsize: 380744 Current children cumulated CPU time (s) 339.53 Current children cumulated vsize (Kb) 380744 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 137516 0 0 0 34634 319 0 0 25 0 1 0 22272048 391864320 80247 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 95670 80247 364 364 0 95306 0 [pid=8845] vsize: 382680 Current children cumulated CPU time (s) 349.53 Current children cumulated vsize (Kb) 382680 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 139576 0 0 0 35628 323 0 0 25 0 1 0 22272048 397115392 81113 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 96952 81113 364 364 0 96588 0 [pid=8845] vsize: 387808 Current children cumulated CPU time (s) 359.51 Current children cumulated vsize (Kb) 387808 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 140935 0 0 0 36625 326 0 0 25 0 1 0 22272048 400527360 81664 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 97785 81664 364 364 0 97421 0 [pid=8845] vsize: 391140 Current children cumulated CPU time (s) 369.51 Current children cumulated vsize (Kb) 391140 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 141407 0 0 0 37623 327 0 0 25 0 1 0 22272048 401715200 81879 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 98075 81879 364 364 0 97711 0 [pid=8845] vsize: 392300 Current children cumulated CPU time (s) 379.5 Current children cumulated vsize (Kb) 392300 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 142033 0 0 0 38620 329 0 0 25 0 1 0 22272048 403165184 82245 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 98429 82245 364 364 0 98065 0 [pid=8845] vsize: 393716 Current children cumulated CPU time (s) 389.49 Current children cumulated vsize (Kb) 393716 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 142656 0 0 0 39617 331 0 0 25 0 1 0 22272048 404738048 82482 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 98813 82482 364 364 0 98449 0 [pid=8845] vsize: 395252 Current children cumulated CPU time (s) 399.48 Current children cumulated vsize (Kb) 395252 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 142824 0 0 0 40614 332 0 0 25 0 1 0 22272048 405266432 82585 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 98942 82585 364 364 0 98578 0 [pid=8845] vsize: 395768 Current children cumulated CPU time (s) 409.46 Current children cumulated vsize (Kb) 395768 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 143526 0 0 0 41612 334 0 0 25 0 1 0 22272048 407363584 82772 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 99454 82772 364 364 0 99090 0 [pid=8845] vsize: 397816 Current children cumulated CPU time (s) 419.46 Current children cumulated vsize (Kb) 397816 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 143858 0 0 0 42609 335 0 0 25 0 1 0 22272048 408023040 82975 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 99615 82975 364 364 0 99251 0 [pid=8845] vsize: 398460 Current children cumulated CPU time (s) 429.44 Current children cumulated vsize (Kb) 398460 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 144048 0 0 0 43607 337 0 0 25 0 1 0 22272048 408547328 83035 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 99743 83035 364 364 0 99379 0 [pid=8845] vsize: 398972 Current children cumulated CPU time (s) 439.44 Current children cumulated vsize (Kb) 398972 [startup+450.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 144432 0 0 0 44605 338 0 0 25 0 1 0 22272048 409825280 83161 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100055 83161 364 364 0 99691 0 [pid=8845] vsize: 400220 Current children cumulated CPU time (s) 449.43 Current children cumulated vsize (Kb) 400220 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 144854 0 0 0 45600 340 0 0 25 0 1 0 22272048 411004928 83293 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100343 83293 364 364 0 99979 0 [pid=8845] vsize: 401372 Current children cumulated CPU time (s) 459.4 Current children cumulated vsize (Kb) 401372 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 145615 0 0 0 46599 342 0 0 25 0 1 0 22272048 412577792 83668 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100727 83668 364 364 0 100363 0 [pid=8845] vsize: 402908 Current children cumulated CPU time (s) 469.41 Current children cumulated vsize (Kb) 402908 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 145921 0 0 0 47597 343 0 0 25 0 1 0 22272048 413626368 83717 4294967295 134512640 135987407 3221224560 3221223380 134812452 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100983 83717 364 364 0 100619 0 [pid=8845] vsize: 403932 Current children cumulated CPU time (s) 479.4 Current children cumulated vsize (Kb) 403932 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146000 0 0 0 48597 343 0 0 25 0 1 0 22272048 413626368 83796 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100983 83796 364 364 0 100619 0 [pid=8845] vsize: 403932 Current children cumulated CPU time (s) 489.4 Current children cumulated vsize (Kb) 403932 [startup+500.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146000 0 0 0 49597 343 0 0 25 0 1 0 22272048 413626368 83796 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100983 83796 364 364 0 100619 0 [pid=8845] vsize: 403932 Current children cumulated CPU time (s) 499.4 Current children cumulated vsize (Kb) 403932 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146000 0 0 0 50597 343 0 0 25 0 1 0 22272048 413626368 83796 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100983 83796 364 364 0 100619 0 [pid=8845] vsize: 403932 Current children cumulated CPU time (s) 509.4 Current children cumulated vsize (Kb) 403932 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146000 0 0 0 51597 343 0 0 25 0 1 0 22272048 413626368 83796 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100983 83796 364 364 0 100619 0 [pid=8845] vsize: 403932 Current children cumulated CPU time (s) 519.4 Current children cumulated vsize (Kb) 403932 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146001 0 0 0 52597 343 0 0 25 0 1 0 22272048 413626368 83797 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 100983 83797 364 364 0 100619 0 [pid=8845] vsize: 403932 Current children cumulated CPU time (s) 529.4 Current children cumulated vsize (Kb) 403932 [startup+540.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146032 0 0 0 53594 344 0 0 25 0 1 0 22272048 413761536 83828 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 101016 83828 364 364 0 100652 0 [pid=8845] vsize: 404064 Current children cumulated CPU time (s) 539.38 Current children cumulated vsize (Kb) 404064 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 146050 0 0 0 54591 345 0 0 25 0 1 0 22272048 413990912 83846 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 101072 83846 364 364 0 100708 0 [pid=8845] vsize: 404288 Current children cumulated CPU time (s) 549.36 Current children cumulated vsize (Kb) 404288 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 147851 0 0 0 55584 351 0 0 25 0 1 0 22272048 413990912 83872 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 101072 83872 364 364 0 100708 0 [pid=8845] vsize: 404288 Current children cumulated CPU time (s) 559.35 Current children cumulated vsize (Kb) 404288 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 148269 0 0 0 56581 353 0 0 25 0 1 0 22272048 415178752 84127 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 101362 84127 364 364 0 100998 0 [pid=8845] vsize: 405448 Current children cumulated CPU time (s) 569.34 Current children cumulated vsize (Kb) 405448 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 148759 0 0 0 57579 354 0 0 25 0 1 0 22272048 416227328 84358 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 101618 84358 364 364 0 101254 0 [pid=8845] vsize: 406472 Current children cumulated CPU time (s) 579.33 Current children cumulated vsize (Kb) 406472 [startup+590.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 149177 0 0 0 58578 355 0 0 25 0 1 0 22272048 417411072 84549 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 101907 84549 364 364 0 101543 0 [pid=8845] vsize: 407628 Current children cumulated CPU time (s) 589.33 Current children cumulated vsize (Kb) 407628 [startup+600.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 149837 0 0 0 59576 356 0 0 25 0 1 0 22272048 419246080 84757 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 102355 84757 364 364 0 101991 0 [pid=8845] vsize: 409420 Current children cumulated CPU time (s) 599.32 Current children cumulated vsize (Kb) 409420 [startup+610.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 149988 0 0 0 60575 357 0 0 25 0 1 0 22272048 419508224 84843 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 102419 84843 364 364 0 102055 0 [pid=8845] vsize: 409676 Current children cumulated CPU time (s) 609.32 Current children cumulated vsize (Kb) 409676 [startup+620.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 150009 0 0 0 61575 357 0 0 25 0 1 0 22272048 419508224 84864 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 102419 84864 364 364 0 102055 0 [pid=8845] vsize: 409676 Current children cumulated CPU time (s) 619.32 Current children cumulated vsize (Kb) 409676 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 150170 0 0 0 62573 358 0 0 25 0 1 0 22272048 420032512 84896 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 102547 84896 364 364 0 102183 0 [pid=8845] vsize: 410188 Current children cumulated CPU time (s) 629.31 Current children cumulated vsize (Kb) 410188 [startup+640.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 150173 0 0 0 63572 359 0 0 25 0 1 0 22272048 420032512 84899 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 102547 84899 364 364 0 102183 0 [pid=8845] vsize: 410188 Current children cumulated CPU time (s) 639.31 Current children cumulated vsize (Kb) 410188 [startup+650.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 151950 0 0 0 64567 363 0 0 25 0 1 0 22272048 427302912 86676 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104322 86676 364 364 0 103958 0 [pid=8845] vsize: 417288 Current children cumulated CPU time (s) 649.3 Current children cumulated vsize (Kb) 417288 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 152179 0 0 0 65565 364 0 0 25 0 1 0 22272048 420962304 85097 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 102774 85097 364 364 0 102410 0 [pid=8845] vsize: 411096 Current children cumulated CPU time (s) 659.29 Current children cumulated vsize (Kb) 411096 [startup+670.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 152485 0 0 0 66563 365 0 0 25 0 1 0 22272048 421617664 85240 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 102934 85240 364 364 0 102570 0 [pid=8845] vsize: 411736 Current children cumulated CPU time (s) 669.28 Current children cumulated vsize (Kb) 411736 [startup+680.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 153101 0 0 0 67559 367 0 0 25 0 1 0 22272048 423460864 85532 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 103384 85532 364 364 0 103020 0 [pid=8845] vsize: 413536 Current children cumulated CPU time (s) 679.26 Current children cumulated vsize (Kb) 413536 [startup+690.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 153202 0 0 0 68557 368 0 0 25 0 1 0 22272048 423723008 85568 4294967295 134512640 135987407 3221224560 3221223376 134824696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 103448 85568 364 364 0 103084 0 [pid=8845] vsize: 413792 Current children cumulated CPU time (s) 689.25 Current children cumulated vsize (Kb) 413792 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 153380 0 0 0 69550 371 0 0 25 0 1 0 22272048 424247296 85617 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 103576 85617 364 364 0 103212 0 [pid=8845] vsize: 414304 Current children cumulated CPU time (s) 699.21 Current children cumulated vsize (Kb) 414304 [startup+710.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 153957 0 0 0 70548 372 0 0 25 0 1 0 22272048 425820160 85808 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 103960 85808 364 364 0 103596 0 [pid=8845] vsize: 415840 Current children cumulated CPU time (s) 709.2 Current children cumulated vsize (Kb) 415840 [startup+720.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154148 0 0 0 71547 373 0 0 25 0 1 0 22272048 426344448 85870 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104088 85870 364 364 0 103724 0 [pid=8845] vsize: 416352 Current children cumulated CPU time (s) 719.2 Current children cumulated vsize (Kb) 416352 [startup+730.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154333 0 0 0 72546 374 0 0 25 0 1 0 22272048 426868736 85926 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104216 85926 364 364 0 103852 0 [pid=8845] vsize: 416864 Current children cumulated CPU time (s) 729.2 Current children cumulated vsize (Kb) 416864 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154411 0 0 0 73545 374 0 0 25 0 1 0 22272048 426868736 86004 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104216 86004 364 364 0 103852 0 [pid=8845] vsize: 416864 Current children cumulated CPU time (s) 739.19 Current children cumulated vsize (Kb) 416864 [startup+750.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154412 0 0 0 74543 375 0 0 25 0 1 0 22272048 426868736 86005 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104216 86005 364 364 0 103852 0 [pid=8845] vsize: 416864 Current children cumulated CPU time (s) 749.18 Current children cumulated vsize (Kb) 416864 [startup+760.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154586 0 0 0 75541 376 0 0 25 0 1 0 22272048 427130880 86114 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104280 86114 364 364 0 103916 0 [pid=8845] vsize: 417120 Current children cumulated CPU time (s) 759.17 Current children cumulated vsize (Kb) 417120 [startup+770.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154608 0 0 0 76540 376 0 0 25 0 1 0 22272048 427130880 86136 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104280 86136 364 364 0 103916 0 [pid=8845] vsize: 417120 Current children cumulated CPU time (s) 769.16 Current children cumulated vsize (Kb) 417120 [startup+780.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 154905 0 0 0 77537 377 0 0 25 0 1 0 22272048 428052480 86270 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104505 86270 364 364 0 104141 0 [pid=8845] vsize: 418020 Current children cumulated CPU time (s) 779.14 Current children cumulated vsize (Kb) 418020 [startup+790.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 155055 0 0 0 78533 379 0 0 25 0 1 0 22272048 428584960 86420 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104635 86420 364 364 0 104271 0 [pid=8845] vsize: 418540 Current children cumulated CPU time (s) 789.12 Current children cumulated vsize (Kb) 418540 [startup+800.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156831 0 0 0 79527 384 0 0 25 0 1 0 22272048 428584960 86421 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104635 86421 364 364 0 104271 0 [pid=8845] vsize: 418540 Current children cumulated CPU time (s) 799.11 Current children cumulated vsize (Kb) 418540 [startup+810.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156834 0 0 0 80525 384 0 0 25 0 1 0 22272048 428584960 86424 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104635 86424 364 364 0 104271 0 [pid=8845] vsize: 418540 Current children cumulated CPU time (s) 809.09 Current children cumulated vsize (Kb) 418540 [startup+820.035 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156934 0 0 0 81524 385 0 0 25 0 1 0 22272048 428847104 86459 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104699 86459 364 364 0 104335 0 [pid=8845] vsize: 418796 Current children cumulated CPU time (s) 819.09 Current children cumulated vsize (Kb) 418796 [startup+830.035 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156937 0 0 0 82523 385 0 0 25 0 1 0 22272048 428847104 86462 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104699 86462 364 364 0 104335 0 [pid=8845] vsize: 418796 Current children cumulated CPU time (s) 829.08 Current children cumulated vsize (Kb) 418796 [startup+840.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 156940 0 0 0 83521 386 0 0 25 0 1 0 22272048 428847104 86465 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104699 86465 364 364 0 104335 0 [pid=8845] vsize: 418796 Current children cumulated CPU time (s) 839.07 Current children cumulated vsize (Kb) 418796 [startup+850.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157019 0 0 0 84519 386 0 0 25 0 1 0 22272048 429109248 86479 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104763 86479 364 364 0 104399 0 [pid=8845] vsize: 419052 Current children cumulated CPU time (s) 849.05 Current children cumulated vsize (Kb) 419052 [startup+860.035 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157041 0 0 0 85518 387 0 0 25 0 1 0 22272048 429109248 86501 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 104763 86501 364 364 0 104399 0 [pid=8845] vsize: 419052 Current children cumulated CPU time (s) 859.05 Current children cumulated vsize (Kb) 419052 [startup+870.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157619 0 0 0 86515 388 0 0 25 0 1 0 22272048 430682112 86690 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105147 86690 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 869.03 Current children cumulated vsize (Kb) 420588 [startup+880.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157621 0 0 0 87513 389 0 0 25 0 1 0 22272048 430682112 86692 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105147 86692 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 879.02 Current children cumulated vsize (Kb) 420588 [startup+890.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157622 0 0 0 88511 389 0 0 25 0 1 0 22272048 430682112 86693 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105147 86693 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 889 Current children cumulated vsize (Kb) 420588 [startup+900.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157637 0 0 0 89509 390 0 0 25 0 1 0 22272048 430682112 86708 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105147 86708 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 898.99 Current children cumulated vsize (Kb) 420588 [startup+910.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 157639 0 0 0 90507 390 0 0 25 0 1 0 22272048 430682112 86710 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105147 86710 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 908.97 Current children cumulated vsize (Kb) 420588 [startup+920.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159419 0 0 0 91502 394 0 0 25 0 1 0 22272048 430682112 86715 4294967295 134512640 135987407 3221224560 3221223328 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105147 86715 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 918.96 Current children cumulated vsize (Kb) 420588 [startup+930.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159419 0 0 0 92500 395 0 0 25 0 1 0 22272048 430682112 86715 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105147 86715 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 928.95 Current children cumulated vsize (Kb) 420588 [startup+940.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159419 0 0 0 93499 395 0 0 25 0 1 0 22272048 430682112 86715 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105147 86715 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 938.94 Current children cumulated vsize (Kb) 420588 [startup+950.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159419 0 0 0 94499 395 0 0 25 0 1 0 22272048 430682112 86715 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105147 86715 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 948.94 Current children cumulated vsize (Kb) 420588 [startup+960.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159450 0 0 0 95498 396 0 0 25 0 1 0 22272048 430682112 86746 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105147 86746 364 364 0 104783 0 [pid=8845] vsize: 420588 Current children cumulated CPU time (s) 958.94 Current children cumulated vsize (Kb) 420588 [startup+970.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159664 0 0 0 96497 397 0 0 25 0 1 0 22272048 431206400 86831 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105275 86831 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 968.94 Current children cumulated vsize (Kb) 421100 [startup+980.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159696 0 0 0 97496 397 0 0 25 0 1 0 22272048 431206400 86863 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86863 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 978.93 Current children cumulated vsize (Kb) 421100 [startup+990.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159696 0 0 0 98496 397 0 0 25 0 1 0 22272048 431206400 86863 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86863 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 988.93 Current children cumulated vsize (Kb) 421100 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159696 0 0 0 99495 397 0 0 25 0 1 0 22272048 431206400 86863 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86863 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 998.92 Current children cumulated vsize (Kb) 421100 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159697 0 0 0 100495 397 0 0 25 0 1 0 22272048 431206400 86864 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86864 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 1008.92 Current children cumulated vsize (Kb) 421100 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159742 0 0 0 101495 398 0 0 25 0 1 0 22272048 431206400 86909 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86909 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 1018.93 Current children cumulated vsize (Kb) 421100 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159742 0 0 0 102495 398 0 0 25 0 1 0 22272048 431206400 86909 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86909 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 1028.93 Current children cumulated vsize (Kb) 421100 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159776 0 0 0 103494 398 0 0 25 0 1 0 22272048 431206400 86943 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86943 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 1038.92 Current children cumulated vsize (Kb) 421100 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159777 0 0 0 104492 399 0 0 25 0 1 0 22272048 431206400 86944 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86944 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 1048.91 Current children cumulated vsize (Kb) 421100 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159777 0 0 0 105491 400 0 0 25 0 1 0 22272048 431206400 86944 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86944 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 1058.91 Current children cumulated vsize (Kb) 421100 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159790 0 0 0 106491 400 0 0 25 0 1 0 22272048 431206400 86957 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86957 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 1068.91 Current children cumulated vsize (Kb) 421100 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 159791 0 0 0 107489 400 0 0 25 0 1 0 22272048 431206400 86958 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 105275 86958 364 364 0 104911 0 [pid=8845] vsize: 421100 Current children cumulated CPU time (s) 1078.89 Current children cumulated vsize (Kb) 421100 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 161919 0 0 0 108483 405 0 0 25 0 1 0 22272048 432263168 87181 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105533 87181 364 364 0 105169 0 [pid=8845] vsize: 422132 Current children cumulated CPU time (s) 1088.88 Current children cumulated vsize (Kb) 422132 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 162176 0 0 0 109481 407 0 0 25 0 1 0 22272048 432787456 87308 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105661 87308 364 364 0 105297 0 [pid=8845] vsize: 422644 Current children cumulated CPU time (s) 1098.88 Current children cumulated vsize (Kb) 422644 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 162652 0 0 0 110479 408 0 0 25 0 1 0 22272048 434098176 87461 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 105981 87461 364 364 0 105617 0 [pid=8845] vsize: 423924 Current children cumulated CPU time (s) 1108.87 Current children cumulated vsize (Kb) 423924 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 162842 0 0 0 111478 409 0 0 25 0 1 0 22272048 434622464 87522 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 106109 87522 364 364 0 105745 0 [pid=8845] vsize: 424436 Current children cumulated CPU time (s) 1118.87 Current children cumulated vsize (Kb) 424436 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163002 0 0 0 112477 409 0 0 25 0 1 0 22272048 435146752 87553 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8845/statm): 106237 87553 364 364 0 105873 0 [pid=8845] vsize: 424948 Current children cumulated CPU time (s) 1128.86 Current children cumulated vsize (Kb) 424948 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163509 0 0 0 113475 411 0 0 25 0 1 0 22272048 436719616 87673 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87673 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1138.86 Current children cumulated vsize (Kb) 426484 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163551 0 0 0 114473 412 0 0 25 0 1 0 22272048 436719616 87715 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87715 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1148.85 Current children cumulated vsize (Kb) 426484 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163552 0 0 0 115471 413 0 0 25 0 1 0 22272048 436719616 87716 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87716 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1158.84 Current children cumulated vsize (Kb) 426484 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163556 0 0 0 116471 413 0 0 25 0 1 0 22272048 436719616 87720 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87720 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1168.84 Current children cumulated vsize (Kb) 426484 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163558 0 0 0 117469 413 0 0 25 0 1 0 22272048 436719616 87722 4294967295 134512640 135987407 3221224560 3221223248 134812123 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87722 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1178.82 Current children cumulated vsize (Kb) 426484 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163560 0 0 0 118467 414 0 0 25 0 1 0 22272048 436719616 87724 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87724 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1188.81 Current children cumulated vsize (Kb) 426484 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163601 0 0 0 119466 415 0 0 25 0 1 0 22272048 436719616 87765 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87765 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1198.81 Current children cumulated vsize (Kb) 426484 [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163602 0 0 0 120463 415 0 0 25 0 1 0 22272048 436719616 87766 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87766 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1208.78 Current children cumulated vsize (Kb) 426484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8845 Raw data (/proc/8845/stat): 8845 (pb2sat) R 8844 8845 4057 0 -1 0 163602 0 0 0 120463 415 0 0 25 0 1 0 22272048 436719616 87766 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8845/statm): 106621 87766 364 364 0 106257 0 [pid=8845] vsize: 426484 Current children cumulated CPU time (s) 1208.78 Current children cumulated vsize (Kb) 426484 Sending SIGTERM to -8845 Sleeping 2 seconds One traced child (pid=8845) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1211.69 CPU time (s): 1210.42 CPU user time (s): 1206.08 CPU system time (s): 4.33434 CPU usage (%): 99.8954 Max. virtual memory (cumulated for all children) (Kb): 426484
ERROR: no interpretation found !