Name | mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb |
MD5SUM | d2a2dc4ff7a501b7efb12f8e274e186d |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 162974515200 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 16640 |
Biggest coefficient in the objective function | 5242880000 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1683190350400 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5242880000 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1683190350400 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1243.97 |
Number of variables | 29440 |
Total number of constraints | 6310 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6270 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 251 |
LAUNCH ON wulflinc26 THE 2005-09-23 19:13:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9350 boxname=wulflinc26 idbench=1146 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d2a2dc4ff7a501b7efb12f8e274e186d /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-dg012142.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-dg012142.opb IDLAUNCH: 9350 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.055 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.055 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: 897932 kB Buffers: 12496 kB Cached: 106776 kB SwapCached: 0 kB Active: 52520 kB Inactive: 69648 kB HighTotal: 131008 kB HighFree: 29288 kB LowTotal: 903652 kB LowFree: 868644 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8944 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 19:33:51 (client local time) WITH STATUS 0 IN 1211.01 SECONDS stats: 9350 7 1211.01 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 50512/1712630 Time: 182.226/86400 c Decision: 50512/1712630 Time: 208.598/86400 c Decision: 50512/1712630 Time: 245.007/86400 c Decision: 50584/1712630 Time: 290.913/86400 c Decision: 50631/1712630 Time: 369.954/86400 c Decision: 50665/1712630 Time: 493.757/86400 c Decision: 50685/1712630 Time: 585.51/86400 c Decision: 50693/1712630 Time: 658.578/86400 c Decision: 50710/1712630 Time: 717.037/86400 c Decision: 50718/1712630 Time: 799.974/86400 c Decision: 50730/1712630 Time: 879.888/86400 c Decision: 50743/1712630 Time: 958.633/86400 c Decision: 50743/1712630 Time: 992.386/86400 c Decision: 50750/1712630 Time: 1070.82/86400 c Decision: 50753/1712630 Time: 1111.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/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22584090 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 373 2 364 364 0 9 0 [pid=10534] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-dg012142.opb [startup+10.0016 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 14113 0 0 0 962 36 0 0 25 0 1 0 22584090 44179456 8481 4294967295 134512640 135987407 3221224560 3221186800 134887887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 10786 8481 364 364 0 10422 0 [pid=10534] vsize: 43144 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 43144 [startup+20.0023 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 47220 0 0 0 1890 107 0 0 25 0 1 0 22584090 141336576 24868 4294967295 134512640 135987407 3221224560 3221221744 134635350 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 34506 24868 364 364 0 34142 0 [pid=10534] vsize: 138024 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 138024 [startup+30.003 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 75319 0 0 0 2819 174 0 0 25 0 1 0 22584090 224518144 43031 4294967295 134512640 135987407 3221224560 3221180744 134560082 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 54814 43031 364 364 0 54450 0 [pid=10534] vsize: 219256 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 219256 [startup+40.0037 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 101061 0 0 0 3757 236 0 0 25 0 1 0 22584090 312594432 56257 4294967295 134512640 135987407 3221224560 3221199664 134864231 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 76317 56257 364 364 0 75953 0 [pid=10534] vsize: 305268 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 305268 [startup+50.0044 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 120474 0 0 0 4705 286 0 0 25 0 1 0 22584090 465747968 75292 4294967295 134512640 135987407 3221224560 3221197324 135499992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 113708 75292 364 364 0 113344 0 [pid=10534] vsize: 454832 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (Kb) 454832 [startup+60.0051 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 182193 0 0 0 5572 415 0 0 25 0 1 0 22584090 546877440 92927 4294967295 134512640 135987407 3221224560 3221215740 135485061 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 133515 92927 364 364 0 133151 0 [pid=10534] vsize: 534060 Current children cumulated CPU time (s) 59.87 Current children cumulated vsize (Kb) 534060 [startup+70.0048 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 191371 0 0 0 6543 442 0 0 25 0 1 0 22584090 583946240 101946 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 142565 101946 364 364 0 142201 0 [pid=10534] vsize: 570260 Current children cumulated CPU time (s) 69.85 Current children cumulated vsize (Kb) 570260 [startup+80.0065 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 202436 0 0 0 7514 470 0 0 25 0 1 0 22584090 587730944 112825 4294967295 134512640 135987407 3221224560 3221182560 134866047 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 143489 112825 364 364 0 143125 0 [pid=10534] vsize: 573956 Current children cumulated CPU time (s) 79.84 Current children cumulated vsize (Kb) 573956 [startup+90.0071 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 218514 0 0 0 8475 509 0 0 25 0 1 0 22584090 617979904 128748 4294967295 134512640 135987407 3221224560 3221223200 134831705 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 150874 128748 364 364 0 150510 0 [pid=10534] vsize: 603496 Current children cumulated CPU time (s) 89.84 Current children cumulated vsize (Kb) 603496 [startup+100.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 222122 0 0 0 9408 537 0 0 25 0 1 0 22584090 618987520 128978 4294967295 134512640 135987407 3221224560 3221223248 134812163 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 151120 128978 364 364 0 150756 0 [pid=10534] vsize: 604480 Current children cumulated CPU time (s) 99.45 Current children cumulated vsize (Kb) 604480 [startup+110.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 223150 0 0 0 10367 551 0 0 25 0 1 0 22584090 623280128 130006 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 152168 130006 364 364 0 151804 0 [pid=10534] vsize: 608672 Current children cumulated CPU time (s) 109.18 Current children cumulated vsize (Kb) 608672 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 223708 0 0 0 11319 568 0 0 25 0 1 0 22584090 625684480 130564 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10534/statm): 152755 130564 364 364 0 152391 0 [pid=10534] vsize: 611020 Current children cumulated CPU time (s) 118.87 Current children cumulated vsize (Kb) 611020 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 224161 0 0 0 12245 592 0 0 25 0 1 0 22584090 627638272 131017 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 153232 131017 364 364 0 152868 0 [pid=10534] vsize: 612928 Current children cumulated CPU time (s) 128.37 Current children cumulated vsize (Kb) 612928 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 224569 0 0 0 13208 604 0 0 25 0 1 0 22584090 629604352 131425 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 153712 131425 364 364 0 153348 0 [pid=10534] vsize: 614848 Current children cumulated CPU time (s) 138.12 Current children cumulated vsize (Kb) 614848 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225026 0 0 0 14194 608 0 0 25 0 1 0 22584090 631836672 131882 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 154257 131882 364 364 0 153893 0 [pid=10534] vsize: 617028 Current children cumulated CPU time (s) 148.02 Current children cumulated vsize (Kb) 617028 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225314 0 0 0 15180 613 0 0 25 0 1 0 22584090 633421824 132170 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 154644 132170 364 364 0 154280 0 [pid=10534] vsize: 618576 Current children cumulated CPU time (s) 157.93 Current children cumulated vsize (Kb) 618576 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225430 0 0 0 16167 618 0 0 25 0 1 0 22584090 634011648 132286 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 154788 132286 364 364 0 154424 0 [pid=10534] vsize: 619152 Current children cumulated CPU time (s) 167.85 Current children cumulated vsize (Kb) 619152 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225577 0 0 0 17155 622 0 0 25 0 1 0 22584090 634474496 132400 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 154901 132400 364 364 0 154537 0 [pid=10534] vsize: 619604 Current children cumulated CPU time (s) 177.77 Current children cumulated vsize (Kb) 619604 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225603 0 0 0 18145 625 0 0 25 0 1 0 22584090 634671104 132426 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 154949 132426 364 364 0 154585 0 [pid=10534] vsize: 619796 Current children cumulated CPU time (s) 187.7 Current children cumulated vsize (Kb) 619796 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225705 0 0 0 19134 629 0 0 25 0 1 0 22584090 635002880 132528 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 155030 132528 364 364 0 154666 0 [pid=10534] vsize: 620120 Current children cumulated CPU time (s) 197.63 Current children cumulated vsize (Kb) 620120 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 225834 0 0 0 20126 632 0 0 25 0 1 0 22584090 635604992 132657 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10534/statm): 155177 132657 364 364 0 154813 0 [pid=10534] vsize: 620708 Current children cumulated CPU time (s) 207.58 Current children cumulated vsize (Kb) 620708 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225924 0 0 0 21111 637 0 0 25 0 1 0 22584090 636133376 132747 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 155306 132747 364 364 0 154942 0 [pid=10534] vsize: 621224 Current children cumulated CPU time (s) 217.48 Current children cumulated vsize (Kb) 621224 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 226191 0 0 0 22092 644 0 0 25 0 1 0 22584090 637706240 133014 4294967295 134512640 135987407 3221224560 3221223020 135481620 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 155690 133014 364 364 0 155326 0 [pid=10534] vsize: 622760 Current children cumulated CPU time (s) 227.36 Current children cumulated vsize (Kb) 622760 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 226252 0 0 0 23076 648 0 0 25 0 1 0 22584090 637976576 133075 4294967295 134512640 135987407 3221224560 3221223300 135478131 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 155756 133075 364 364 0 155392 0 [pid=10534] vsize: 623024 Current children cumulated CPU time (s) 237.24 Current children cumulated vsize (Kb) 623024 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 226527 0 0 0 24057 656 0 0 25 0 1 0 22584090 639291392 133350 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 156077 133350 364 364 0 155713 0 [pid=10534] vsize: 624308 Current children cumulated CPU time (s) 247.13 Current children cumulated vsize (Kb) 624308 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 226607 0 0 0 25042 661 0 0 25 0 1 0 22584090 639488000 133430 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 156125 133430 364 364 0 155761 0 [pid=10534] vsize: 624500 Current children cumulated CPU time (s) 257.03 Current children cumulated vsize (Kb) 624500 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 229952 0 0 0 26034 669 0 0 25 0 1 0 22584090 639488000 133430 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 156125 133430 364 364 0 155761 0 [pid=10534] vsize: 624500 Current children cumulated CPU time (s) 267.03 Current children cumulated vsize (Kb) 624500 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 230007 0 0 0 27026 671 0 0 25 0 1 0 22584090 639623168 133485 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 156158 133485 364 364 0 155794 0 [pid=10534] vsize: 624632 Current children cumulated CPU time (s) 276.97 Current children cumulated vsize (Kb) 624632 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 230176 0 0 0 28013 676 0 0 25 0 1 0 22584090 640360448 133654 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 156338 133654 364 364 0 155974 0 [pid=10534] vsize: 625352 Current children cumulated CPU time (s) 286.89 Current children cumulated vsize (Kb) 625352 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 233524 0 0 0 29000 686 0 0 25 0 1 0 22584090 640360448 133657 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 156338 133657 364 364 0 155974 0 [pid=10534] vsize: 625352 Current children cumulated CPU time (s) 296.86 Current children cumulated vsize (Kb) 625352 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 233748 0 0 0 29986 690 0 0 25 0 1 0 22584090 641167360 133848 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 156535 133848 364 364 0 156171 0 [pid=10534] vsize: 626140 Current children cumulated CPU time (s) 306.76 Current children cumulated vsize (Kb) 626140 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 233870 0 0 0 30961 700 0 0 25 0 1 0 22584090 641761280 133970 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 156680 133970 364 364 0 156316 0 [pid=10534] vsize: 626720 Current children cumulated CPU time (s) 316.61 Current children cumulated vsize (Kb) 626720 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237270 0 0 0 31940 713 0 0 25 0 1 0 22584090 655794176 137370 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160106 137370 364 364 0 159742 0 [pid=10534] vsize: 640424 Current children cumulated CPU time (s) 326.53 Current children cumulated vsize (Kb) 640424 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237302 0 0 0 32933 715 0 0 25 0 1 0 22584090 642093056 134057 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 156761 134057 364 364 0 156397 0 [pid=10534] vsize: 627044 Current children cumulated CPU time (s) 336.48 Current children cumulated vsize (Kb) 627044 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237348 0 0 0 33924 718 0 0 25 0 1 0 22584090 642228224 134103 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 156794 134103 364 364 0 156430 0 [pid=10534] vsize: 627176 Current children cumulated CPU time (s) 346.42 Current children cumulated vsize (Kb) 627176 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237399 0 0 0 34914 722 0 0 25 0 1 0 22584090 642424832 134154 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 156842 134154 364 364 0 156478 0 [pid=10534] vsize: 627368 Current children cumulated CPU time (s) 356.36 Current children cumulated vsize (Kb) 627368 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237457 0 0 0 35897 728 0 0 25 0 1 0 22584090 642695168 134212 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 156908 134212 364 364 0 156544 0 [pid=10534] vsize: 627632 Current children cumulated CPU time (s) 366.25 Current children cumulated vsize (Kb) 627632 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 240814 0 0 0 36883 739 0 0 25 0 1 0 22584090 642891776 134224 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 156956 134224 364 364 0 156592 0 [pid=10534] vsize: 627824 Current children cumulated CPU time (s) 376.22 Current children cumulated vsize (Kb) 627824 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 240843 0 0 0 37870 744 0 0 25 0 1 0 22584090 642891776 134253 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10534/statm): 156956 134253 364 364 0 156592 0 [pid=10534] vsize: 627824 Current children cumulated CPU time (s) 386.14 Current children cumulated vsize (Kb) 627824 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 240951 0 0 0 38859 747 0 0 25 0 1 0 22584090 643358720 134361 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157070 134361 364 364 0 156706 0 [pid=10534] vsize: 628280 Current children cumulated CPU time (s) 396.06 Current children cumulated vsize (Kb) 628280 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241025 0 0 0 39847 751 0 0 25 0 1 0 22584090 643629056 134435 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157136 134435 364 364 0 156772 0 [pid=10534] vsize: 628544 Current children cumulated CPU time (s) 405.98 Current children cumulated vsize (Kb) 628544 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241171 0 0 0 40834 756 0 0 25 0 1 0 22584090 644440064 134581 4294967295 134512640 135987407 3221224560 3221223148 135500004 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157334 134581 364 364 0 156970 0 [pid=10534] vsize: 629336 Current children cumulated CPU time (s) 415.9 Current children cumulated vsize (Kb) 629336 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241287 0 0 0 41820 761 0 0 25 0 1 0 22584090 644980736 134697 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157466 134697 364 364 0 157102 0 [pid=10534] vsize: 629864 Current children cumulated CPU time (s) 425.81 Current children cumulated vsize (Kb) 629864 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241392 0 0 0 42808 765 0 0 25 0 1 0 22584090 645246976 134769 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157531 134769 364 364 0 157167 0 [pid=10534] vsize: 630124 Current children cumulated CPU time (s) 435.73 Current children cumulated vsize (Kb) 630124 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241445 0 0 0 43794 770 0 0 25 0 1 0 22584090 645382144 134822 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157564 134822 364 364 0 157200 0 [pid=10534] vsize: 630256 Current children cumulated CPU time (s) 445.64 Current children cumulated vsize (Kb) 630256 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 244834 0 0 0 44780 781 0 0 25 0 1 0 22584090 645652480 134866 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157630 134866 364 364 0 157266 0 [pid=10534] vsize: 630520 Current children cumulated CPU time (s) 455.61 Current children cumulated vsize (Kb) 630520 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 244856 0 0 0 45759 789 0 0 25 0 1 0 22584090 645652480 134888 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157630 134888 364 364 0 157266 0 [pid=10534] vsize: 630520 Current children cumulated CPU time (s) 465.48 Current children cumulated vsize (Kb) 630520 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245092 0 0 0 46699 811 0 0 25 0 1 0 22584090 646848512 135124 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 157922 135124 364 364 0 157558 0 [pid=10534] vsize: 631688 Current children cumulated CPU time (s) 475.1 Current children cumulated vsize (Kb) 631688 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245195 0 0 0 47677 818 0 0 25 0 1 0 22584090 647254016 135227 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 158021 135227 364 364 0 157657 0 [pid=10534] vsize: 632084 Current children cumulated CPU time (s) 484.95 Current children cumulated vsize (Kb) 632084 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245239 0 0 0 48659 824 0 0 25 0 1 0 22584090 647401472 135271 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 158057 135271 364 364 0 157693 0 [pid=10534] vsize: 632228 Current children cumulated CPU time (s) 494.83 Current children cumulated vsize (Kb) 632228 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245360 0 0 0 49645 827 0 0 25 0 1 0 22584090 647864320 135359 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158170 135359 364 364 0 157806 0 [pid=10534] vsize: 632680 Current children cumulated CPU time (s) 504.72 Current children cumulated vsize (Kb) 632680 [startup+520.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245405 0 0 0 50631 832 0 0 25 0 1 0 22584090 647999488 135404 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158203 135404 364 364 0 157839 0 [pid=10534] vsize: 632812 Current children cumulated CPU time (s) 514.63 Current children cumulated vsize (Kb) 632812 [startup+530.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245481 0 0 0 51622 835 0 0 25 0 1 0 22584090 648404992 135480 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158302 135480 364 364 0 157938 0 [pid=10534] vsize: 633208 Current children cumulated CPU time (s) 524.57 Current children cumulated vsize (Kb) 633208 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 245531 0 0 0 52602 843 0 0 25 0 1 0 22584090 648675328 135530 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158368 135530 364 364 0 158004 0 [pid=10534] vsize: 633472 Current children cumulated CPU time (s) 534.45 Current children cumulated vsize (Kb) 633472 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245568 0 0 0 53592 846 0 0 25 0 1 0 22584090 648810496 135567 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158401 135567 364 364 0 158037 0 [pid=10534] vsize: 633604 Current children cumulated CPU time (s) 544.38 Current children cumulated vsize (Kb) 633604 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245613 0 0 0 54573 853 0 0 25 0 1 0 22584090 648945664 135612 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158434 135612 364 364 0 158070 0 [pid=10534] vsize: 633736 Current children cumulated CPU time (s) 554.26 Current children cumulated vsize (Kb) 633736 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245687 0 0 0 55556 858 0 0 25 0 1 0 22584090 649351168 135686 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158533 135686 364 364 0 158169 0 [pid=10534] vsize: 634132 Current children cumulated CPU time (s) 564.14 Current children cumulated vsize (Kb) 634132 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249062 0 0 0 56543 868 0 0 25 0 1 0 22584090 649515008 135716 4294967295 134512640 135987407 3221224560 3221223376 134876924 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158573 135716 364 364 0 158209 0 [pid=10534] vsize: 634292 Current children cumulated CPU time (s) 574.11 Current children cumulated vsize (Kb) 634292 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249080 0 0 0 57534 871 0 0 25 0 1 0 22584090 649650176 135734 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158606 135734 364 364 0 158242 0 [pid=10534] vsize: 634424 Current children cumulated CPU time (s) 584.05 Current children cumulated vsize (Kb) 634424 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 249109 0 0 0 58517 877 0 0 25 0 1 0 22584090 649785344 135763 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10534/statm): 158639 135763 364 364 0 158275 0 [pid=10534] vsize: 634556 Current children cumulated CPU time (s) 593.94 Current children cumulated vsize (Kb) 634556 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249213 0 0 0 59499 883 0 0 25 0 1 0 22584090 650387456 135867 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 158786 135867 364 364 0 158422 0 [pid=10534] vsize: 635144 Current children cumulated CPU time (s) 603.82 Current children cumulated vsize (Kb) 635144 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249217 0 0 0 60485 889 0 0 25 0 1 0 22584090 650387456 135871 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 158786 135871 364 364 0 158422 0 [pid=10534] vsize: 635144 Current children cumulated CPU time (s) 613.74 Current children cumulated vsize (Kb) 635144 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249240 0 0 0 61475 892 0 0 25 0 1 0 22584090 650522624 135894 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 158819 135894 364 364 0 158455 0 [pid=10534] vsize: 635276 Current children cumulated CPU time (s) 623.67 Current children cumulated vsize (Kb) 635276 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249342 0 0 0 62470 895 0 0 25 0 1 0 22584090 651055104 135996 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 158949 135996 364 364 0 158585 0 [pid=10534] vsize: 635796 Current children cumulated CPU time (s) 633.65 Current children cumulated vsize (Kb) 635796 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249380 0 0 0 63456 900 0 0 25 0 1 0 22584090 651190272 136034 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 158982 136034 364 364 0 158618 0 [pid=10534] vsize: 635928 Current children cumulated CPU time (s) 643.56 Current children cumulated vsize (Kb) 635928 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249396 0 0 0 64446 902 0 0 25 0 1 0 22584090 651190272 136050 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 158982 136050 364 364 0 158618 0 [pid=10534] vsize: 635928 Current children cumulated CPU time (s) 653.48 Current children cumulated vsize (Kb) 635928 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249446 0 0 0 65437 907 0 0 25 0 1 0 22584090 651325440 136100 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 159015 136100 364 364 0 158651 0 [pid=10534] vsize: 636060 Current children cumulated CPU time (s) 663.44 Current children cumulated vsize (Kb) 636060 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 252802 0 0 0 66425 917 0 0 25 0 1 0 22584090 651325440 136111 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 159015 136111 364 364 0 158651 0 [pid=10534] vsize: 636060 Current children cumulated CPU time (s) 673.42 Current children cumulated vsize (Kb) 636060 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 252836 0 0 0 67414 921 0 0 25 0 1 0 22584090 651460608 136145 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 159048 136145 364 364 0 158684 0 [pid=10534] vsize: 636192 Current children cumulated CPU time (s) 683.35 Current children cumulated vsize (Kb) 636192 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 252911 0 0 0 68398 926 0 0 25 0 1 0 22584090 651821056 136220 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159136 136220 364 364 0 158772 0 [pid=10534] vsize: 636544 Current children cumulated CPU time (s) 693.24 Current children cumulated vsize (Kb) 636544 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 253017 0 0 0 69376 935 0 0 25 0 1 0 22584090 652349440 136326 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159265 136326 364 364 0 158901 0 [pid=10534] vsize: 637060 Current children cumulated CPU time (s) 703.11 Current children cumulated vsize (Kb) 637060 [startup+720.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 253189 0 0 0 70356 942 0 0 25 0 1 0 22584090 653017088 136432 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159428 136432 364 364 0 159064 0 [pid=10534] vsize: 637712 Current children cumulated CPU time (s) 712.98 Current children cumulated vsize (Kb) 637712 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 253198 0 0 0 71338 948 0 0 25 0 1 0 22584090 653017088 136441 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159428 136441 364 364 0 159064 0 [pid=10534] vsize: 637712 Current children cumulated CPU time (s) 722.86 Current children cumulated vsize (Kb) 637712 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 253216 0 0 0 72326 952 0 0 25 0 1 0 22584090 653017088 136459 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 159428 136459 364 364 0 159064 0 [pid=10534] vsize: 637712 Current children cumulated CPU time (s) 732.78 Current children cumulated vsize (Kb) 637712 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256567 0 0 0 73313 962 0 0 25 0 1 0 22584090 666718208 139810 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 162773 139810 364 364 0 162409 0 [pid=10534] vsize: 651092 Current children cumulated CPU time (s) 742.75 Current children cumulated vsize (Kb) 651092 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256574 0 0 0 74295 968 0 0 25 0 1 0 22584090 653017088 136472 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159428 136472 364 364 0 159064 0 [pid=10534] vsize: 637712 Current children cumulated CPU time (s) 752.63 Current children cumulated vsize (Kb) 637712 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256608 0 0 0 75281 972 0 0 25 0 1 0 22584090 653152256 136506 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159461 136506 364 364 0 159097 0 [pid=10534] vsize: 637844 Current children cumulated CPU time (s) 762.53 Current children cumulated vsize (Kb) 637844 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256686 0 0 0 76269 976 0 0 25 0 1 0 22584090 653418496 136551 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159526 136551 364 364 0 159162 0 [pid=10534] vsize: 638104 Current children cumulated CPU time (s) 772.45 Current children cumulated vsize (Kb) 638104 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256942 0 0 0 77257 980 0 0 25 0 1 0 22584090 654352384 136708 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159754 136708 364 364 0 159390 0 [pid=10534] vsize: 639016 Current children cumulated CPU time (s) 782.37 Current children cumulated vsize (Kb) 639016 [startup+800.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 257092 0 0 0 78238 987 0 0 25 0 1 0 22584090 655024128 136825 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159918 136825 364 364 0 159554 0 [pid=10534] vsize: 639672 Current children cumulated CPU time (s) 792.25 Current children cumulated vsize (Kb) 639672 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260443 0 0 0 79225 997 0 0 25 0 1 0 22584090 655024128 136831 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159918 136831 364 364 0 159554 0 [pid=10534] vsize: 639672 Current children cumulated CPU time (s) 802.22 Current children cumulated vsize (Kb) 639672 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260452 0 0 0 80209 1002 0 0 25 0 1 0 22584090 655024128 136840 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 159918 136840 364 364 0 159554 0 [pid=10534] vsize: 639672 Current children cumulated CPU time (s) 812.11 Current children cumulated vsize (Kb) 639672 [startup+830.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260484 0 0 0 81190 1009 0 0 25 0 1 0 22584090 655159296 136872 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 159951 136872 364 364 0 159587 0 [pid=10534] vsize: 639804 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (Kb) 639804 [startup+840.031 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 260517 0 0 0 82172 1015 0 0 25 0 1 0 22584090 655294464 136905 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10534/statm): 159984 136905 364 364 0 159620 0 [pid=10534] vsize: 639936 Current children cumulated CPU time (s) 831.87 Current children cumulated vsize (Kb) 639936 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260567 0 0 0 83151 1022 0 0 25 0 1 0 22584090 655564800 136955 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160050 136955 364 364 0 159686 0 [pid=10534] vsize: 640200 Current children cumulated CPU time (s) 841.73 Current children cumulated vsize (Kb) 640200 [startup+860.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260575 0 0 0 84131 1027 0 0 25 0 1 0 22584090 655564800 136963 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160050 136963 364 364 0 159686 0 [pid=10534] vsize: 640200 Current children cumulated CPU time (s) 851.58 Current children cumulated vsize (Kb) 640200 [startup+870.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260630 0 0 0 85119 1031 0 0 25 0 1 0 22584090 655695872 136985 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160082 136985 364 364 0 159718 0 [pid=10534] vsize: 640328 Current children cumulated CPU time (s) 861.5 Current children cumulated vsize (Kb) 640328 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260666 0 0 0 86106 1036 0 0 25 0 1 0 22584090 655831040 137021 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160115 137021 364 364 0 159751 0 [pid=10534] vsize: 640460 Current children cumulated CPU time (s) 871.42 Current children cumulated vsize (Kb) 640460 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264110 0 0 0 87084 1050 0 0 25 0 1 0 22584090 670072832 140465 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 163592 140465 364 364 0 163228 0 [pid=10534] vsize: 654368 Current children cumulated CPU time (s) 881.34 Current children cumulated vsize (Kb) 654368 [startup+900.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264117 0 0 0 88076 1053 0 0 25 0 1 0 22584090 656371712 137127 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160247 137127 364 364 0 159883 0 [pid=10534] vsize: 640988 Current children cumulated CPU time (s) 891.29 Current children cumulated vsize (Kb) 640988 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264137 0 0 0 89064 1058 0 0 25 0 1 0 22584090 656371712 137147 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160247 137147 364 364 0 159883 0 [pid=10534] vsize: 640988 Current children cumulated CPU time (s) 901.22 Current children cumulated vsize (Kb) 640988 [startup+920.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264157 0 0 0 90051 1062 0 0 25 0 1 0 22584090 656371712 137167 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160247 137167 364 364 0 159883 0 [pid=10534] vsize: 640988 Current children cumulated CPU time (s) 911.13 Current children cumulated vsize (Kb) 640988 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264223 0 0 0 91034 1069 0 0 25 0 1 0 22584090 656642048 137233 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160313 137233 364 364 0 159949 0 [pid=10534] vsize: 641252 Current children cumulated CPU time (s) 921.03 Current children cumulated vsize (Kb) 641252 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264240 0 0 0 92017 1075 0 0 25 0 1 0 22584090 656642048 137250 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160313 137250 364 364 0 159949 0 [pid=10534] vsize: 641252 Current children cumulated CPU time (s) 930.92 Current children cumulated vsize (Kb) 641252 [startup+950.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264289 0 0 0 92998 1082 0 0 25 0 1 0 22584090 656912384 137299 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160379 137299 364 364 0 160015 0 [pid=10534] vsize: 641516 Current children cumulated CPU time (s) 940.8 Current children cumulated vsize (Kb) 641516 [startup+960.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264331 0 0 0 93980 1088 0 0 25 0 1 0 22584090 657047552 137341 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160412 137341 364 364 0 160048 0 [pid=10534] vsize: 641648 Current children cumulated CPU time (s) 950.68 Current children cumulated vsize (Kb) 641648 [startup+970.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267677 0 0 0 94969 1097 0 0 25 0 1 0 22584090 657047552 137342 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160412 137342 364 364 0 160048 0 [pid=10534] vsize: 641648 Current children cumulated CPU time (s) 960.66 Current children cumulated vsize (Kb) 641648 [startup+980.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267680 0 0 0 95964 1099 0 0 25 0 1 0 22584090 657047552 137345 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160412 137345 364 364 0 160048 0 [pid=10534] vsize: 641648 Current children cumulated CPU time (s) 970.63 Current children cumulated vsize (Kb) 641648 [startup+990.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267748 0 0 0 96953 1104 0 0 25 0 1 0 22584090 657317888 137413 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160478 137413 364 364 0 160114 0 [pid=10534] vsize: 641912 Current children cumulated CPU time (s) 980.57 Current children cumulated vsize (Kb) 641912 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267806 0 0 0 97940 1108 0 0 25 0 1 0 22584090 657448960 137438 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160510 137438 364 364 0 160146 0 [pid=10534] vsize: 642040 Current children cumulated CPU time (s) 990.48 Current children cumulated vsize (Kb) 642040 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267816 0 0 0 98931 1111 0 0 25 0 1 0 22584090 657448960 137448 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160510 137448 364 364 0 160146 0 [pid=10534] vsize: 642040 Current children cumulated CPU time (s) 1000.42 Current children cumulated vsize (Kb) 642040 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267876 0 0 0 99916 1117 0 0 25 0 1 0 22584090 657719296 137508 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160576 137508 364 364 0 160212 0 [pid=10534] vsize: 642304 Current children cumulated CPU time (s) 1010.33 Current children cumulated vsize (Kb) 642304 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267885 0 0 0 100898 1124 0 0 25 0 1 0 22584090 657719296 137517 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160576 137517 364 364 0 160212 0 [pid=10534] vsize: 642304 Current children cumulated CPU time (s) 1020.22 Current children cumulated vsize (Kb) 642304 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267888 0 0 0 101886 1129 0 0 25 0 1 0 22584090 657719296 137520 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160576 137520 364 364 0 160212 0 [pid=10534] vsize: 642304 Current children cumulated CPU time (s) 1030.15 Current children cumulated vsize (Kb) 642304 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 271234 0 0 0 102865 1140 0 0 25 0 1 0 22584090 671420416 140866 4294967295 134512640 135987407 3221224560 3221222932 134829288 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 163921 140866 364 364 0 163557 0 [pid=10534] vsize: 655684 Current children cumulated CPU time (s) 1040.05 Current children cumulated vsize (Kb) 655684 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 271241 0 0 0 103856 1144 0 0 25 0 1 0 22584090 657719296 137528 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160576 137528 364 364 0 160212 0 [pid=10534] vsize: 642304 Current children cumulated CPU time (s) 1050 Current children cumulated vsize (Kb) 642304 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 271248 0 0 0 104841 1148 0 0 25 0 1 0 22584090 657719296 137535 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160576 137535 364 364 0 160212 0 [pid=10534] vsize: 642304 Current children cumulated CPU time (s) 1059.89 Current children cumulated vsize (Kb) 642304 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 271274 0 0 0 105829 1152 0 0 25 0 1 0 22584090 657719296 137561 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160576 137561 364 364 0 160212 0 [pid=10534] vsize: 642304 Current children cumulated CPU time (s) 1069.81 Current children cumulated vsize (Kb) 642304 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 274627 0 0 0 106818 1162 0 0 25 0 1 0 22584090 657719296 137569 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10534/statm): 160576 137569 364 364 0 160212 0 [pid=10534] vsize: 642304 Current children cumulated CPU time (s) 1079.8 Current children cumulated vsize (Kb) 642304 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274645 0 0 0 107808 1165 0 0 25 0 1 0 22584090 657719296 137587 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160576 137587 364 364 0 160212 0 [pid=10534] vsize: 642304 Current children cumulated CPU time (s) 1089.73 Current children cumulated vsize (Kb) 642304 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274801 0 0 0 108791 1171 0 0 25 0 1 0 22584090 658665472 137743 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160807 137743 364 364 0 160443 0 [pid=10534] vsize: 643228 Current children cumulated CPU time (s) 1099.62 Current children cumulated vsize (Kb) 643228 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274848 0 0 0 109773 1177 0 0 25 0 1 0 22584090 658796544 137757 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160839 137757 364 364 0 160475 0 [pid=10534] vsize: 643356 Current children cumulated CPU time (s) 1109.5 Current children cumulated vsize (Kb) 643356 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274871 0 0 0 110759 1182 0 0 25 0 1 0 22584090 658796544 137780 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160839 137780 364 364 0 160475 0 [pid=10534] vsize: 643356 Current children cumulated CPU time (s) 1119.41 Current children cumulated vsize (Kb) 643356 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274887 0 0 0 111748 1186 0 0 25 0 1 0 22584090 658796544 137796 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160839 137796 364 364 0 160475 0 [pid=10534] vsize: 643356 Current children cumulated CPU time (s) 1129.34 Current children cumulated vsize (Kb) 643356 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274963 0 0 0 112737 1190 0 0 25 0 1 0 22584090 659062784 137839 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160904 137839 364 364 0 160540 0 [pid=10534] vsize: 643616 Current children cumulated CPU time (s) 1139.27 Current children cumulated vsize (Kb) 643616 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274986 0 0 0 113724 1195 0 0 25 0 1 0 22584090 659197952 137862 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160937 137862 364 364 0 160573 0 [pid=10534] vsize: 643748 Current children cumulated CPU time (s) 1149.19 Current children cumulated vsize (Kb) 643748 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 278343 0 0 0 114706 1207 0 0 25 0 1 0 22584090 659197952 137874 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 160937 137874 364 364 0 160573 0 [pid=10534] vsize: 643748 Current children cumulated CPU time (s) 1159.13 Current children cumulated vsize (Kb) 643748 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 278432 0 0 0 115696 1210 0 0 25 0 1 0 22584090 659468288 137963 4294967295 134512640 135987407 3221224560 3221223344 134812377 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 161003 137963 364 364 0 160639 0 [pid=10534] vsize: 644012 Current children cumulated CPU time (s) 1169.06 Current children cumulated vsize (Kb) 644012 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 278611 0 0 0 116686 1215 0 0 25 0 1 0 22584090 659996672 138043 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 161132 138043 364 364 0 160768 0 [pid=10534] vsize: 644528 Current children cumulated CPU time (s) 1179.01 Current children cumulated vsize (Kb) 644528 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 278631 0 0 0 117675 1218 0 0 25 0 1 0 22584090 659996672 138063 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 161132 138063 364 364 0 160768 0 [pid=10534] vsize: 644528 Current children cumulated CPU time (s) 1188.93 Current children cumulated vsize (Kb) 644528 [startup+1210.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 281984 0 0 0 118666 1226 0 0 25 0 1 0 22584090 659996672 138071 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 161132 138071 364 364 0 160768 0 [pid=10534] vsize: 644528 Current children cumulated CPU time (s) 1198.92 Current children cumulated vsize (Kb) 644528 [startup+1220.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 282010 0 0 0 119656 1230 0 0 25 0 1 0 22584090 659996672 138097 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 161132 138097 364 364 0 160768 0 [pid=10534] vsize: 644528 Current children cumulated CPU time (s) 1208.86 Current children cumulated vsize (Kb) 644528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10534 Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 282010 0 0 0 119656 1230 0 0 25 0 1 0 22584090 659996672 138097 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10534/statm): 161132 138097 364 364 0 160768 0 [pid=10534] vsize: 644528 Current children cumulated CPU time (s) 1208.86 Current children cumulated vsize (Kb) 644528 Sending SIGTERM to -10534 Sleeping 2 seconds Sending SIGKILL to -10534 One traced child (pid=10534) 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.2 CPU time (s): 1211.01 CPU user time (s): 1198.43 CPU system time (s): 12.5801 CPU usage (%): 99.0849 Max. virtual memory (cumulated for all children) (Kb): 655684
ERROR: no interpretation found !