Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fixnet6.opb |
MD5SUM | 1eea2f19d665ab2eda88d95b10eac4ce |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 48386177 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 11714 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 513431911800 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 513431911800 |
Number of bits of the biggest sum of numbers | 39 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1233.44 |
Number of variables | 14036 |
Total number of constraints | 978 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 378 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1523 |
LAUNCH ON wulflinc11 THE 2005-09-23 16:48:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8831 boxname=wulflinc11 idbench=627 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1eea2f19d665ab2eda88d95b10eac4ce /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-fixnet6.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-fixnet6.opb IDLAUNCH: 8831 /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: 907848 kB Buffers: 9108 kB Cached: 92348 kB SwapCached: 0 kB Active: 57404 kB Inactive: 53604 kB HighTotal: 131008 kB HighFree: 36372 kB LowTotal: 903652 kB LowFree: 871476 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10128 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:09:14 (client local time) WITH STATUS 0 IN 1209.91 SECONDS stats: 8831 7 1209.91 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 604203/1600883 Time: 351.389/86400 c Decision: 604205/1600883 Time: 401.606/86400 c Decision: 604208/1600883 Time: 507.127/86400 c Decision: 604208/1600883 Time: 577.627/86400 c Decision: 604216/1600883 Time: 663.487/86400 c Decision: 604216/1600883 Time: 719.281/86400 c Decision: 604233/1600883 Time: 780.484/86400 c Decision: 604236/1600883 Time: 828.881/86400 c Decision: 604241/1600883 Time: 891.262/86400 c Decision: 604241/1600883 Time: 922.522/86400 c Decision: 604241/1600883 Time: 965.59/86400 c Decision: 604241/1600883 Time: 999.694/86400 c Decision: 604241/1600883 Time: 1032.06/86400 c Decision: 604241/1600883 Time: 1060.13/86400 c Decision: 604241/1600883 Time: 1083.44/86400 c Decision: 604245/1600883 Time: 1120.59/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/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21752294 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 373 2 364 364 0 9 0 [pid=10156] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-fixnet6.opb [startup+10.0021 s] Raw data (loadavg): 0.86 0.96 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 26126 0 0 0 937 59 0 0 25 0 1 0 21752294 85282816 14987 4294967295 134512640 135987407 3221224560 3221110124 134637035 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 20821 14987 364 364 0 20457 0 [pid=10156] vsize: 83284 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 83284 [startup+20.0029 s] Raw data (loadavg): 0.88 0.96 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 54808 0 0 0 1872 122 0 0 25 0 1 0 21752294 164483072 32425 4294967295 134512640 135987407 3221224560 3221037760 134856438 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 40157 32425 364 364 0 39793 0 [pid=10156] vsize: 160628 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 160628 [startup+30.0027 s] Raw data (loadavg): 0.90 0.96 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 94865 0 0 0 2784 209 0 0 25 0 1 0 21752294 314368000 50266 4294967295 134512640 135987407 3221224560 3220902608 134877710 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 76750 50266 364 364 0 76386 0 [pid=10156] vsize: 307000 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 307000 [startup+40.0035 s] Raw data (loadavg): 0.91 0.96 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 112099 0 0 0 3742 249 0 0 25 0 1 0 21752294 322002944 67228 4294967295 134512640 135987407 3221224560 3221162408 134866210 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 78614 67228 364 364 0 78250 0 [pid=10156] vsize: 314456 Current children cumulated CPU time (s) 39.91 Current children cumulated vsize (Kb) 314456 [startup+50.0042 s] Raw data (loadavg): 0.93 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 158380 0 0 0 4644 343 0 0 25 0 1 0 21752294 651546624 93880 4294967295 134512640 135987407 3221224560 3221124976 134887487 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 159069 93880 364 364 0 158705 0 [pid=10156] vsize: 636276 Current children cumulated CPU time (s) 49.87 Current children cumulated vsize (Kb) 636276 [startup+60.005 s] Raw data (loadavg): 0.94 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 191391 0 0 0 5567 419 0 0 25 0 1 0 21752294 588488704 102107 4294967295 134512640 135987407 3221224560 3221057904 134556271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 143674 102107 364 364 0 143310 0 [pid=10156] vsize: 574696 Current children cumulated CPU time (s) 59.86 Current children cumulated vsize (Kb) 574696 [startup+70.0058 s] Raw data (loadavg): 0.95 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 207143 0 0 0 6533 453 0 0 25 0 1 0 21752294 592138240 117594 4294967295 134512640 135987407 3221224560 3221179132 135499903 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 144565 117594 364 364 0 144201 0 [pid=10156] vsize: 578260 Current children cumulated CPU time (s) 69.86 Current children cumulated vsize (Kb) 578260 [startup+80.0056 s] Raw data (loadavg): 0.95 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 218642 0 0 0 7503 482 0 0 25 0 1 0 21752294 615399424 124960 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 150244 124960 364 364 0 149880 0 [pid=10156] vsize: 600976 Current children cumulated CPU time (s) 79.85 Current children cumulated vsize (Kb) 600976 [startup+90.0064 s] Raw data (loadavg): 0.96 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 222029 0 0 0 8475 495 0 0 25 0 1 0 21752294 631373824 128344 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 154144 128344 364 364 0 153780 0 [pid=10156] vsize: 616576 Current children cumulated CPU time (s) 89.7 Current children cumulated vsize (Kb) 616576 [startup+100.006 s] Raw data (loadavg): 0.97 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 223612 0 0 0 9455 504 0 0 25 0 1 0 21752294 638996480 129896 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 156005 129896 364 364 0 155641 0 [pid=10156] vsize: 624020 Current children cumulated CPU time (s) 99.59 Current children cumulated vsize (Kb) 624020 [startup+110.007 s] Raw data (loadavg): 0.97 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 224111 0 0 0 10452 506 0 0 25 0 1 0 21752294 641224704 130346 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 156549 130346 364 364 0 156185 0 [pid=10156] vsize: 626196 Current children cumulated CPU time (s) 109.58 Current children cumulated vsize (Kb) 626196 [startup+120.008 s] Raw data (loadavg): 0.97 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 224629 0 0 0 11448 508 0 0 25 0 1 0 21752294 643432448 130732 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 157088 130732 364 364 0 156724 0 [pid=10156] vsize: 628352 Current children cumulated CPU time (s) 119.56 Current children cumulated vsize (Kb) 628352 [startup+130.008 s] Raw data (loadavg): 0.98 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 225071 0 0 0 12444 510 0 0 25 0 1 0 21752294 645726208 131141 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 157648 131141 364 364 0 157284 0 [pid=10156] vsize: 630592 Current children cumulated CPU time (s) 129.54 Current children cumulated vsize (Kb) 630592 [startup+140.008 s] Raw data (loadavg): 0.98 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 226755 0 0 0 13432 517 0 0 25 0 1 0 21752294 653029376 132521 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 159431 132521 364 364 0 159067 0 [pid=10156] vsize: 637724 Current children cumulated CPU time (s) 139.49 Current children cumulated vsize (Kb) 637724 [startup+150.009 s] Raw data (loadavg): 0.98 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 227314 0 0 0 14416 524 0 0 25 0 1 0 21752294 655941632 133080 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 160142 133080 364 364 0 159778 0 [pid=10156] vsize: 640568 Current children cumulated CPU time (s) 149.4 Current children cumulated vsize (Kb) 640568 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 227938 0 0 0 15411 527 0 0 25 0 1 0 21752294 658743296 133589 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 160826 133589 364 364 0 160462 0 [pid=10156] vsize: 643304 Current children cumulated CPU time (s) 159.38 Current children cumulated vsize (Kb) 643304 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 228175 0 0 0 16409 528 0 0 25 0 1 0 21752294 659537920 133760 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 161020 133760 364 364 0 160656 0 [pid=10156] vsize: 644080 Current children cumulated CPU time (s) 169.37 Current children cumulated vsize (Kb) 644080 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 228669 0 0 0 17405 530 0 0 25 0 1 0 21752294 661684224 134124 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 161544 134124 364 364 0 161180 0 [pid=10156] vsize: 646176 Current children cumulated CPU time (s) 179.35 Current children cumulated vsize (Kb) 646176 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 229715 0 0 0 18380 541 0 0 25 0 1 0 21752294 666742784 135170 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 162779 135170 364 364 0 162415 0 [pid=10156] vsize: 651116 Current children cumulated CPU time (s) 189.21 Current children cumulated vsize (Kb) 651116 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 230669 0 0 0 19362 548 0 0 25 0 1 0 21752294 671076352 135993 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 163837 135993 364 364 0 163473 0 [pid=10156] vsize: 655348 Current children cumulated CPU time (s) 199.1 Current children cumulated vsize (Kb) 655348 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 231063 0 0 0 20355 551 0 0 25 0 1 0 21752294 672485376 136223 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 164181 136223 364 364 0 163817 0 [pid=10156] vsize: 656724 Current children cumulated CPU time (s) 209.06 Current children cumulated vsize (Kb) 656724 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 231657 0 0 0 21343 556 0 0 25 0 1 0 21752294 675274752 136784 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 164862 136784 364 364 0 164498 0 [pid=10156] vsize: 659448 Current children cumulated CPU time (s) 218.99 Current children cumulated vsize (Kb) 659448 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 232283 0 0 0 22331 560 0 0 25 0 1 0 21752294 678293504 137344 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 165599 137344 364 364 0 165235 0 [pid=10156] vsize: 662396 Current children cumulated CPU time (s) 228.91 Current children cumulated vsize (Kb) 662396 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 232815 0 0 0 23315 565 0 0 25 0 1 0 21752294 680435712 137712 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 166122 137712 364 364 0 165758 0 [pid=10156] vsize: 664488 Current children cumulated CPU time (s) 238.8 Current children cumulated vsize (Kb) 664488 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 233229 0 0 0 24303 570 0 0 25 0 1 0 21752294 682315776 138027 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 166581 138027 364 364 0 166217 0 [pid=10156] vsize: 666324 Current children cumulated CPU time (s) 248.73 Current children cumulated vsize (Kb) 666324 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 233634 0 0 0 25292 573 0 0 25 0 1 0 21752294 684056576 138333 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 167006 138333 364 364 0 166642 0 [pid=10156] vsize: 668024 Current children cumulated CPU time (s) 258.65 Current children cumulated vsize (Kb) 668024 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 234104 0 0 0 26277 579 0 0 25 0 1 0 21752294 685801472 138704 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 167432 138704 364 364 0 167068 0 [pid=10156] vsize: 669728 Current children cumulated CPU time (s) 268.56 Current children cumulated vsize (Kb) 669728 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 234524 0 0 0 27264 583 0 0 25 0 1 0 21752294 687538176 138992 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 167856 138992 364 364 0 167492 0 [pid=10156] vsize: 671424 Current children cumulated CPU time (s) 278.47 Current children cumulated vsize (Kb) 671424 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 234658 0 0 0 28248 589 0 0 25 0 1 0 21752294 688074752 139093 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 167987 139093 364 364 0 167623 0 [pid=10156] vsize: 671948 Current children cumulated CPU time (s) 288.37 Current children cumulated vsize (Kb) 671948 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 234883 0 0 0 29233 594 0 0 25 0 1 0 21752294 689274880 139285 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 168280 139285 364 364 0 167916 0 [pid=10156] vsize: 673120 Current children cumulated CPU time (s) 298.27 Current children cumulated vsize (Kb) 673120 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235067 0 0 0 30219 600 0 0 25 0 1 0 21752294 690081792 139436 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 168477 139436 364 364 0 168113 0 [pid=10156] vsize: 673908 Current children cumulated CPU time (s) 308.19 Current children cumulated vsize (Kb) 673908 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235126 0 0 0 31203 606 0 0 25 0 1 0 21752294 690352128 139495 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 168543 139495 364 364 0 168179 0 [pid=10156] vsize: 674172 Current children cumulated CPU time (s) 318.09 Current children cumulated vsize (Kb) 674172 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235305 0 0 0 32183 613 0 0 25 0 1 0 21752294 691159040 139641 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 168740 139641 364 364 0 168376 0 [pid=10156] vsize: 674960 Current children cumulated CPU time (s) 327.96 Current children cumulated vsize (Kb) 674960 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235418 0 0 0 33166 618 0 0 25 0 1 0 21752294 691834880 139754 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 168905 139754 364 364 0 168541 0 [pid=10156] vsize: 675620 Current children cumulated CPU time (s) 337.84 Current children cumulated vsize (Kb) 675620 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235608 0 0 0 34148 625 0 0 25 0 1 0 21752294 692641792 139911 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 169102 139911 364 364 0 168738 0 [pid=10156] vsize: 676408 Current children cumulated CPU time (s) 347.73 Current children cumulated vsize (Kb) 676408 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235862 0 0 0 35135 630 0 0 25 0 1 0 21752294 693710848 140099 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 169363 140099 364 364 0 168999 0 [pid=10156] vsize: 677452 Current children cumulated CPU time (s) 357.65 Current children cumulated vsize (Kb) 677452 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236090 0 0 0 36118 636 0 0 25 0 1 0 21752294 694644736 140228 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 169591 140228 364 364 0 169227 0 [pid=10156] vsize: 678364 Current children cumulated CPU time (s) 367.54 Current children cumulated vsize (Kb) 678364 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236254 0 0 0 37102 641 0 0 25 0 1 0 21752294 695177216 140326 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 169721 140326 364 364 0 169357 0 [pid=10156] vsize: 678884 Current children cumulated CPU time (s) 377.43 Current children cumulated vsize (Kb) 678884 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236399 0 0 0 38083 648 0 0 25 0 1 0 21752294 695574528 140405 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 169818 140405 364 364 0 169454 0 [pid=10156] vsize: 679272 Current children cumulated CPU time (s) 387.31 Current children cumulated vsize (Kb) 679272 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236745 0 0 0 39067 655 0 0 25 0 1 0 21752294 697053184 140685 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 170179 140685 364 364 0 169815 0 [pid=10156] vsize: 680716 Current children cumulated CPU time (s) 397.22 Current children cumulated vsize (Kb) 680716 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236882 0 0 0 40054 658 0 0 25 0 1 0 21752294 697851904 140822 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 170374 140822 364 364 0 170010 0 [pid=10156] vsize: 681496 Current children cumulated CPU time (s) 407.12 Current children cumulated vsize (Kb) 681496 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240101 0 0 0 41041 668 0 0 25 0 1 0 21752294 711057408 144008 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 173598 144008 364 364 0 173234 0 [pid=10156] vsize: 694392 Current children cumulated CPU time (s) 417.09 Current children cumulated vsize (Kb) 694392 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240158 0 0 0 42034 670 0 0 25 0 1 0 21752294 698380288 140905 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 170503 140905 364 364 0 170139 0 [pid=10156] vsize: 682012 Current children cumulated CPU time (s) 427.04 Current children cumulated vsize (Kb) 682012 [startup+440.02 s] Raw data (loadavg): 1.07 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240238 0 0 0 43015 677 0 0 25 0 1 0 21752294 698646528 140952 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 170568 140952 364 364 0 170204 0 [pid=10156] vsize: 682272 Current children cumulated CPU time (s) 436.92 Current children cumulated vsize (Kb) 682272 [startup+450.02 s] Raw data (loadavg): 1.06 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240414 0 0 0 43998 683 0 0 25 0 1 0 21752294 699310080 141062 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 170730 141062 364 364 0 170366 0 [pid=10156] vsize: 682920 Current children cumulated CPU time (s) 446.81 Current children cumulated vsize (Kb) 682920 [startup+460.021 s] Raw data (loadavg): 1.05 0.99 0.94 1/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 240653 0 0 0 44982 689 0 0 25 0 1 0 21752294 700104704 141235 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10156/statm): 170924 141235 364 364 0 170560 0 [pid=10156] vsize: 683696 Current children cumulated CPU time (s) 456.71 Current children cumulated vsize (Kb) 683696 [startup+470.021 s] Raw data (loadavg): 1.04 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240683 0 0 0 45965 696 0 0 25 0 1 0 21752294 700239872 141265 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 170957 141265 364 364 0 170593 0 [pid=10156] vsize: 683828 Current children cumulated CPU time (s) 466.61 Current children cumulated vsize (Kb) 683828 [startup+480.021 s] Raw data (loadavg): 1.03 0.99 0.94 1/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 243925 0 0 0 46947 707 0 0 25 0 1 0 21752294 700911616 141380 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10156/statm): 171121 141380 364 364 0 170757 0 [pid=10156] vsize: 684484 Current children cumulated CPU time (s) 476.54 Current children cumulated vsize (Kb) 684484 [startup+490.022 s] Raw data (loadavg): 1.03 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244138 0 0 0 47925 714 0 0 25 0 1 0 21752294 702124032 141560 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 171417 141560 364 364 0 171053 0 [pid=10156] vsize: 685668 Current children cumulated CPU time (s) 486.39 Current children cumulated vsize (Kb) 685668 [startup+500.023 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244504 0 0 0 48900 722 0 0 25 0 1 0 21752294 703922176 141926 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 171856 141926 364 364 0 171492 0 [pid=10156] vsize: 687424 Current children cumulated CPU time (s) 496.22 Current children cumulated vsize (Kb) 687424 [startup+510.024 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244564 0 0 0 49885 728 0 0 25 0 1 0 21752294 704192512 141986 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 171922 141986 364 364 0 171558 0 [pid=10156] vsize: 687688 Current children cumulated CPU time (s) 506.13 Current children cumulated vsize (Kb) 687688 [startup+520.024 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244567 0 0 0 50871 734 0 0 25 0 1 0 21752294 704192512 141989 4294967295 134512640 135987407 3221224560 3221223248 134811747 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 171922 141989 364 364 0 171558 0 [pid=10156] vsize: 687688 Current children cumulated CPU time (s) 516.05 Current children cumulated vsize (Kb) 687688 [startup+530.024 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244725 0 0 0 51854 740 0 0 25 0 1 0 21752294 704864256 142114 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 172086 142114 364 364 0 171722 0 [pid=10156] vsize: 688344 Current children cumulated CPU time (s) 525.94 Current children cumulated vsize (Kb) 688344 [startup+540.025 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244778 0 0 0 52834 748 0 0 25 0 1 0 21752294 705130496 142167 4294967295 134512640 135987407 3221224560 3221223300 135477963 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 172151 142167 364 364 0 171787 0 [pid=10156] vsize: 688604 Current children cumulated CPU time (s) 535.82 Current children cumulated vsize (Kb) 688604 [startup+550.026 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244794 0 0 0 53819 753 0 0 25 0 1 0 21752294 705130496 142183 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 172151 142183 364 364 0 171787 0 [pid=10156] vsize: 688604 Current children cumulated CPU time (s) 545.72 Current children cumulated vsize (Kb) 688604 [startup+560.027 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244892 0 0 0 54801 760 0 0 25 0 1 0 21752294 705536000 142281 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 172250 142281 364 364 0 171886 0 [pid=10156] vsize: 689000 Current children cumulated CPU time (s) 555.61 Current children cumulated vsize (Kb) 689000 [startup+570.027 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 245050 0 0 0 55785 766 0 0 25 0 1 0 21752294 705937408 142406 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 172348 142406 364 364 0 171984 0 [pid=10156] vsize: 689392 Current children cumulated CPU time (s) 565.51 Current children cumulated vsize (Kb) 689392 [startup+580.027 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 248251 0 0 0 56766 778 0 0 25 0 1 0 21752294 719011840 145574 4294967295 134512640 135987407 3221224560 3221222976 134827638 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 175540 145574 364 364 0 175176 0 [pid=10156] vsize: 702160 Current children cumulated CPU time (s) 575.44 Current children cumulated vsize (Kb) 702160 [startup+590.028 s] Raw data (loadavg): 1.00 0.99 0.94 1/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 248588 0 0 0 57746 786 0 0 25 0 1 0 21752294 707944448 142784 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10156/statm): 172838 142784 364 364 0 172474 0 [pid=10156] vsize: 691352 Current children cumulated CPU time (s) 585.32 Current children cumulated vsize (Kb) 691352 [startup+600.028 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 249336 0 0 0 58720 798 0 0 25 0 1 0 21752294 711426048 143400 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 173688 143400 364 364 0 173324 0 [pid=10156] vsize: 694752 Current children cumulated CPU time (s) 595.18 Current children cumulated vsize (Kb) 694752 [startup+610.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 249649 0 0 0 59692 809 0 0 25 0 1 0 21752294 712704000 143647 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 174000 143647 364 364 0 173636 0 [pid=10156] vsize: 696000 Current children cumulated CPU time (s) 605.01 Current children cumulated vsize (Kb) 696000 [startup+620.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 249963 0 0 0 60672 817 0 0 25 0 1 0 21752294 714338304 143928 4294967295 134512640 135987407 3221224560 3221223376 134824327 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 174399 143928 364 364 0 174035 0 [pid=10156] vsize: 697596 Current children cumulated CPU time (s) 614.89 Current children cumulated vsize (Kb) 697596 [startup+630.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 250170 0 0 0 61659 823 0 0 25 0 1 0 21752294 714866688 144036 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 174528 144036 364 364 0 174164 0 [pid=10156] vsize: 698112 Current children cumulated CPU time (s) 624.82 Current children cumulated vsize (Kb) 698112 [startup+640.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 250227 0 0 0 62642 830 0 0 25 0 1 0 21752294 714997760 144060 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 174560 144060 364 364 0 174196 0 [pid=10156] vsize: 698240 Current children cumulated CPU time (s) 634.72 Current children cumulated vsize (Kb) 698240 [startup+650.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 250286 0 0 0 63628 835 0 0 25 0 1 0 21752294 715264000 144119 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 174625 144119 364 364 0 174261 0 [pid=10156] vsize: 698500 Current children cumulated CPU time (s) 644.63 Current children cumulated vsize (Kb) 698500 [startup+660.03 s] Raw data (loadavg): 1.08 1.00 0.95 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 253711 0 0 0 64608 848 0 0 25 0 1 0 21752294 716599296 144351 4294967295 134512640 135987407 3221224560 3221223096 135499869 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 174951 144351 364 364 0 174587 0 [pid=10156] vsize: 699804 Current children cumulated CPU time (s) 654.56 Current children cumulated vsize (Kb) 699804 [startup+670.031 s] Raw data (loadavg): 1.07 1.00 0.95 2/55 10156 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 254154 0 0 0 65585 856 0 0 25 0 1 0 21752294 718692352 144794 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 175462 144794 364 364 0 175098 0 [pid=10156] vsize: 701848 Current children cumulated CPU time (s) 664.41 Current children cumulated vsize (Kb) 701848 [startup+680.031 s] Raw data (loadavg): 1.13 1.02 0.95 2/55 10211 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255053 0 0 0 66553 872 0 0 25 0 1 0 21752294 723124224 145594 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 176544 145594 364 364 0 176180 0 [pid=10156] vsize: 706176 Current children cumulated CPU time (s) 674.25 Current children cumulated vsize (Kb) 706176 [startup+690.032 s] Raw data (loadavg): 1.11 1.02 0.95 2/55 10211 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255135 0 0 0 67541 875 0 0 25 0 1 0 21752294 723390464 145643 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 176609 145643 364 364 0 176245 0 [pid=10156] vsize: 706436 Current children cumulated CPU time (s) 684.16 Current children cumulated vsize (Kb) 706436 [startup+700.032 s] Raw data (loadavg): 1.09 1.02 0.95 2/55 10211 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255270 0 0 0 68525 882 0 0 25 0 1 0 21752294 724127744 145778 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 176789 145778 364 364 0 176425 0 [pid=10156] vsize: 707156 Current children cumulated CPU time (s) 694.07 Current children cumulated vsize (Kb) 707156 [startup+710.032 s] Raw data (loadavg): 1.08 1.02 0.95 2/55 10211 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255363 0 0 0 69509 888 0 0 25 0 1 0 21752294 724529152 145838 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 176887 145838 364 364 0 176523 0 [pid=10156] vsize: 707548 Current children cumulated CPU time (s) 703.97 Current children cumulated vsize (Kb) 707548 [startup+720.033 s] Raw data (loadavg): 1.07 1.01 0.95 2/55 10211 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255367 0 0 0 70491 894 0 0 25 0 1 0 21752294 724529152 145842 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 176887 145842 364 364 0 176523 0 [pid=10156] vsize: 707548 Current children cumulated CPU time (s) 713.85 Current children cumulated vsize (Kb) 707548 [startup+730.034 s] Raw data (loadavg): 1.14 1.03 0.96 2/57 10213 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255390 0 0 0 71470 900 0 0 25 0 1 0 21752294 724664320 145865 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 176920 145865 364 364 0 176556 0 [pid=10156] vsize: 707680 Current children cumulated CPU time (s) 723.7 Current children cumulated vsize (Kb) 707680 [startup+740.035 s] Raw data (loadavg): 1.11 1.03 0.96 2/55 10215 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 258536 0 0 0 72449 912 0 0 25 0 1 0 21752294 737607680 149011 4294967295 134512640 135987407 3221224560 3221222928 134829291 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 180080 149011 364 364 0 179716 0 [pid=10156] vsize: 720320 Current children cumulated CPU time (s) 733.61 Current children cumulated vsize (Kb) 720320 [startup+750.035 s] Raw data (loadavg): 1.10 1.03 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 258685 0 0 0 73427 921 0 0 25 0 1 0 21752294 725745664 146033 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177184 146033 364 364 0 176820 0 [pid=10156] vsize: 708736 Current children cumulated CPU time (s) 743.48 Current children cumulated vsize (Kb) 708736 [startup+760.036 s] Raw data (loadavg): 1.08 1.03 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 258972 0 0 0 74403 929 0 0 25 0 1 0 21752294 727076864 146254 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177509 146254 364 364 0 177145 0 [pid=10156] vsize: 710036 Current children cumulated CPU time (s) 753.32 Current children cumulated vsize (Kb) 710036 [startup+770.036 s] Raw data (loadavg): 1.07 1.03 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 259028 0 0 0 75384 935 0 0 25 0 1 0 21752294 727343104 146310 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177574 146310 364 364 0 177210 0 [pid=10156] vsize: 710296 Current children cumulated CPU time (s) 763.19 Current children cumulated vsize (Kb) 710296 [startup+780.036 s] Raw data (loadavg): 1.06 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 259032 0 0 0 76361 942 0 0 25 0 1 0 21752294 727343104 146314 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177574 146314 364 364 0 177210 0 [pid=10156] vsize: 710296 Current children cumulated CPU time (s) 773.03 Current children cumulated vsize (Kb) 710296 [startup+790.037 s] Raw data (loadavg): 1.05 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262182 0 0 0 77341 955 0 0 25 0 1 0 21752294 740151296 149464 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 180701 149464 364 364 0 180337 0 [pid=10156] vsize: 722804 Current children cumulated CPU time (s) 782.96 Current children cumulated vsize (Kb) 722804 [startup+800.036 s] Raw data (loadavg): 1.04 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262193 0 0 0 78337 957 0 0 25 0 1 0 21752294 727539712 146348 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177622 146348 364 364 0 177258 0 [pid=10156] vsize: 710488 Current children cumulated CPU time (s) 792.94 Current children cumulated vsize (Kb) 710488 [startup+810.037 s] Raw data (loadavg): 1.03 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262206 0 0 0 79315 965 0 0 25 0 1 0 21752294 727539712 146361 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 177622 146361 364 364 0 177258 0 [pid=10156] vsize: 710488 Current children cumulated CPU time (s) 802.8 Current children cumulated vsize (Kb) 710488 [startup+820.038 s] Raw data (loadavg): 1.03 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262253 0 0 0 80294 973 0 0 25 0 1 0 21752294 727810048 146408 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177688 146408 364 364 0 177324 0 [pid=10156] vsize: 710752 Current children cumulated CPU time (s) 812.67 Current children cumulated vsize (Kb) 710752 [startup+830.038 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262254 0 0 0 81276 979 0 0 25 0 1 0 21752294 727810048 146409 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177688 146409 364 364 0 177324 0 [pid=10156] vsize: 710752 Current children cumulated CPU time (s) 822.55 Current children cumulated vsize (Kb) 710752 [startup+840.039 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262255 0 0 0 82260 985 0 0 25 0 1 0 21752294 727810048 146410 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177688 146410 364 364 0 177324 0 [pid=10156] vsize: 710752 Current children cumulated CPU time (s) 832.45 Current children cumulated vsize (Kb) 710752 [startup+850.039 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262256 0 0 0 83243 991 0 0 25 0 1 0 21752294 727810048 146411 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177688 146411 364 364 0 177324 0 [pid=10156] vsize: 710752 Current children cumulated CPU time (s) 842.34 Current children cumulated vsize (Kb) 710752 [startup+860.04 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265388 0 0 0 84229 1001 0 0 25 0 1 0 21752294 727810048 146416 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177688 146416 364 364 0 177324 0 [pid=10156] vsize: 710752 Current children cumulated CPU time (s) 852.3 Current children cumulated vsize (Kb) 710752 [startup+870.041 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265444 0 0 0 85206 1008 0 0 25 0 1 0 21752294 728215552 146472 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177787 146472 364 364 0 177423 0 [pid=10156] vsize: 711148 Current children cumulated CPU time (s) 862.14 Current children cumulated vsize (Kb) 711148 [startup+880.041 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265448 0 0 0 86184 1015 0 0 25 0 1 0 21752294 728215552 146476 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177787 146476 364 364 0 177423 0 [pid=10156] vsize: 711148 Current children cumulated CPU time (s) 871.99 Current children cumulated vsize (Kb) 711148 [startup+890.042 s] Raw data (loadavg): 1.01 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265449 0 0 0 87163 1021 0 0 25 0 1 0 21752294 728215552 146477 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177787 146477 364 364 0 177423 0 [pid=10156] vsize: 711148 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (Kb) 711148 [startup+900.041 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265451 0 0 0 88143 1027 0 0 25 0 1 0 21752294 728215552 146479 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177787 146479 364 364 0 177423 0 [pid=10156] vsize: 711148 Current children cumulated CPU time (s) 891.7 Current children cumulated vsize (Kb) 711148 [startup+910.042 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268601 0 0 0 89133 1036 0 0 25 0 1 0 21752294 728350720 146502 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177820 146502 364 364 0 177456 0 [pid=10156] vsize: 711280 Current children cumulated CPU time (s) 901.69 Current children cumulated vsize (Kb) 711280 [startup+920.043 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268602 0 0 0 90113 1042 0 0 25 0 1 0 21752294 728350720 146503 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177820 146503 364 364 0 177456 0 [pid=10156] vsize: 711280 Current children cumulated CPU time (s) 911.55 Current children cumulated vsize (Kb) 711280 [startup+930.043 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268609 0 0 0 91093 1050 0 0 25 0 1 0 21752294 728350720 146510 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177820 146510 364 364 0 177456 0 [pid=10156] vsize: 711280 Current children cumulated CPU time (s) 921.43 Current children cumulated vsize (Kb) 711280 [startup+940.043 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268611 0 0 0 92066 1059 0 0 25 0 1 0 21752294 728350720 146512 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177820 146512 364 364 0 177456 0 [pid=10156] vsize: 711280 Current children cumulated CPU time (s) 931.25 Current children cumulated vsize (Kb) 711280 [startup+950.043 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268616 0 0 0 93045 1066 0 0 25 0 1 0 21752294 728350720 146517 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177820 146517 364 364 0 177456 0 [pid=10156] vsize: 711280 Current children cumulated CPU time (s) 941.11 Current children cumulated vsize (Kb) 711280 [startup+960.044 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268636 0 0 0 94022 1074 0 0 25 0 1 0 21752294 728547328 146537 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177868 146537 364 364 0 177504 0 [pid=10156] vsize: 711472 Current children cumulated CPU time (s) 950.96 Current children cumulated vsize (Kb) 711472 [startup+970.045 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 271807 0 0 0 95002 1085 0 0 25 0 1 0 21752294 741490688 149708 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 181028 149708 364 364 0 180664 0 [pid=10156] vsize: 724112 Current children cumulated CPU time (s) 960.87 Current children cumulated vsize (Kb) 724112 [startup+980.045 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 271813 0 0 0 95984 1092 0 0 25 0 1 0 21752294 728682496 146587 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 177901 146587 364 364 0 177537 0 [pid=10156] vsize: 711604 Current children cumulated CPU time (s) 970.76 Current children cumulated vsize (Kb) 711604 [startup+990.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 271963 0 0 0 96968 1098 0 0 25 0 1 0 21752294 729075712 146638 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 177997 146638 364 364 0 177633 0 [pid=10156] vsize: 711988 Current children cumulated CPU time (s) 980.66 Current children cumulated vsize (Kb) 711988 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 272028 0 0 0 97953 1103 0 0 25 0 1 0 21752294 729341952 146703 4294967295 134512640 135987407 3221224560 3221223200 134789444 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178062 146703 364 364 0 177698 0 [pid=10156] vsize: 712248 Current children cumulated CPU time (s) 990.56 Current children cumulated vsize (Kb) 712248 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 275177 0 0 0 98930 1116 0 0 25 0 1 0 21752294 729477120 146725 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178095 146725 364 364 0 177731 0 [pid=10156] vsize: 712380 Current children cumulated CPU time (s) 1000.46 Current children cumulated vsize (Kb) 712380 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 275181 0 0 0 99902 1125 0 0 25 0 1 0 21752294 729477120 146729 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178095 146729 364 364 0 177731 0 [pid=10156] vsize: 712380 Current children cumulated CPU time (s) 1010.27 Current children cumulated vsize (Kb) 712380 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10217 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 275183 0 0 0 100877 1134 0 0 25 0 1 0 21752294 729477120 146731 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178095 146731 364 364 0 177731 0 [pid=10156] vsize: 712380 Current children cumulated CPU time (s) 1020.11 Current children cumulated vsize (Kb) 712380 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 278397 0 0 0 101856 1147 0 0 25 0 1 0 21752294 742551552 149912 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 181287 149912 364 364 0 180923 0 [pid=10156] vsize: 725148 Current children cumulated CPU time (s) 1030.03 Current children cumulated vsize (Kb) 725148 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 278397 0 0 0 102849 1150 0 0 25 0 1 0 21752294 729743360 146785 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178160 146785 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1039.99 Current children cumulated vsize (Kb) 712640 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 278398 0 0 0 103824 1159 0 0 25 0 1 0 21752294 729743360 146786 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178160 146786 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1049.83 Current children cumulated vsize (Kb) 712640 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 278400 0 0 0 104797 1168 0 0 25 0 1 0 21752294 729743360 146788 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178160 146788 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1059.65 Current children cumulated vsize (Kb) 712640 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 281528 0 0 0 105774 1180 0 0 25 0 1 0 21752294 742551552 149916 4294967295 134512640 135987407 3221224560 3221222944 134829261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 181287 149916 364 364 0 180923 0 [pid=10156] vsize: 725148 Current children cumulated CPU time (s) 1069.54 Current children cumulated vsize (Kb) 725148 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 281530 0 0 0 106754 1189 0 0 25 0 1 0 21752294 729743360 146791 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 178160 146791 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1079.43 Current children cumulated vsize (Kb) 712640 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 281531 0 0 0 107725 1198 0 0 25 0 1 0 21752294 729743360 146792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 178160 146792 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1089.23 Current children cumulated vsize (Kb) 712640 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 281533 0 0 0 108702 1207 0 0 25 0 1 0 21752294 729743360 146794 4294967295 134512640 135987407 3221224560 3221223280 134814260 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178160 146794 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1099.09 Current children cumulated vsize (Kb) 712640 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 284661 0 0 0 109684 1217 0 0 25 0 1 0 21752294 729743360 146795 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178160 146795 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1109.01 Current children cumulated vsize (Kb) 712640 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 284663 0 0 0 110657 1225 0 0 25 0 1 0 21752294 729743360 146797 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178160 146797 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1118.82 Current children cumulated vsize (Kb) 712640 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 287791 0 0 0 111632 1237 0 0 25 0 1 0 21752294 742551552 149925 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 181287 149925 364 364 0 180923 0 [pid=10156] vsize: 725148 Current children cumulated CPU time (s) 1128.69 Current children cumulated vsize (Kb) 725148 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 287792 0 0 0 112615 1244 0 0 25 0 1 0 21752294 729743360 146799 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10156/statm): 178160 146799 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1138.59 Current children cumulated vsize (Kb) 712640 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 287795 0 0 0 113589 1253 0 0 25 0 1 0 21752294 729743360 146802 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178160 146802 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1148.42 Current children cumulated vsize (Kb) 712640 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 290922 0 0 0 114570 1264 0 0 25 0 1 0 21752294 729743360 146802 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178160 146802 364 364 0 177796 0 [pid=10156] vsize: 712640 Current children cumulated CPU time (s) 1158.34 Current children cumulated vsize (Kb) 712640 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 290942 0 0 0 115548 1274 0 0 25 0 1 0 21752294 729878528 146822 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178193 146822 364 364 0 177829 0 [pid=10156] vsize: 712772 Current children cumulated CPU time (s) 1168.22 Current children cumulated vsize (Kb) 712772 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 290946 0 0 0 116522 1282 0 0 25 0 1 0 21752294 729878528 146826 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178193 146826 364 364 0 177829 0 [pid=10156] vsize: 712772 Current children cumulated CPU time (s) 1178.04 Current children cumulated vsize (Kb) 712772 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 294074 0 0 0 117506 1292 0 0 25 0 1 0 21752294 729878528 146827 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10156/statm): 178193 146827 364 364 0 177829 0 [pid=10156] vsize: 712772 Current children cumulated CPU time (s) 1187.98 Current children cumulated vsize (Kb) 712772 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 294096 0 0 0 118494 1297 0 0 25 0 1 0 21752294 730013696 146849 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10156/statm): 178226 146849 364 364 0 177862 0 [pid=10156] vsize: 712904 Current children cumulated CPU time (s) 1197.91 Current children cumulated vsize (Kb) 712904 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 294098 0 0 0 119471 1305 0 0 25 0 1 0 21752294 730013696 146851 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 178226 146851 364 364 0 177862 0 [pid=10156] vsize: 712904 Current children cumulated CPU time (s) 1207.76 Current children cumulated vsize (Kb) 712904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 10219 Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 294098 0 0 0 119471 1305 0 0 25 0 1 0 21752294 730013696 146851 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10156/statm): 178226 146851 364 364 0 177862 0 [pid=10156] vsize: 712904 Current children cumulated CPU time (s) 1207.76 Current children cumulated vsize (Kb) 712904 Sending SIGTERM to -10156 Sleeping 2 seconds Sending SIGKILL to -10156 One traced child (pid=10156) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 1222.21 CPU time (s): 1209.91 CPU user time (s): 1196.55 CPU system time (s): 13.362 CPU usage (%): 98.9933 Max. virtual memory (cumulated for all children) (Kb): 725148
ERROR: no interpretation found !